A Note on Anomaly Matching for Finite Density QCD
中英文对照英文版
Structural Systems to resist lateral loads Commonly Used structural SystemsWith loads measured in tens of thousands kips, there is little room in the design of high-rise buildings for excessively complex thoughts. Indeed, the better high-rise buildings carry the universal traits of simplicity of thought and clarity of expression.It does not follow that there is no room for grand thoughts. Indeed, it is with such grand thoughts that the new family of high-rise buildings has evolved. Perhaps more important, the new concepts of but a few years ago have become commonplace in today’ s technology.Omitting some concepts that are related strictly to the materials of construction, the most commonly used structural systems used in high-rise buildings can be categorized as follows:1.Moment-resisting frames.2.Braced frames, including eccentrically braced frames.3.Shear walls, including steel plate shear walls.4.Tube-in-tube structures.5.Tube-in-tube structures.6.Core-interactive structures.7.Cellular or bundled-tube systems.Particularly with the recent trend toward more complex forms, but in response also to the need for increased stiffness to resist the forces from wind and earthquake, most high-rise buildings have structural systems built up of combinations of frames, braced bents, shear walls, and related systems. Further, for the taller buildings, the majorities are composed of interactive elements in three-dimensional arrays.The method of combining these elements is the very essence of the design process for high-rise buildings. These combinations need evolve in response to environmental, functional, and cost considerations so as to provide efficient structures that provoke the architectural development to new heights. This is not to say that imaginative structural design can create great architecture. To the contrary, many examples of fine architecture have been created with only moderate support from the structural engineer, while only fine structure, not great architecture, can be developed without the genius and the leadership of a talented architect. In any event, the best of both isneeded to formulate a truly extraordinary design of a high-rise building.While comprehensive discussions of these seven systems are generally available in the literature, further discussion is warranted here .The essence of the design process is distributed throughout the discussion.Moment-Resisting FramesPerhaps the most commonly used system in low-to medium-rise buildings, the moment-resisting frame, is characterized by linear horizontal and vertical members connected essentially rigidly at their joints. Such frames are used as a stand-alone system or in combination with other systems so as to provide the needed resistance to horizontal loads. In the taller of high-rise buildings, the system is likely to be found inappropriate for a stand-alone system, this because of the difficulty in mobilizing sufficient stiffness under lateral forces.Analysis can be accomplished by STRESS, STRUDL, or a host of other appropriate computer programs; analysis by the so-called portal method of the cantilever method has no place in today’s technology.Because of the intrinsic flexibility of the column/girder intersection, and because preliminary designs should aim to highlight weaknesses of systems, it is not unusual to use center-to-center dimensions for the frame in the preliminary analysis. Of course, in the latter phases of design, a realistic appraisal in-joint deformation is essential.Braced Frame sThe braced frame, intrinsically stiffer than the moment –resisting frame, finds also greater application to higher-rise buildings. The system is characterized by linear horizontal, vertical, and diagonal members, connected simply or rigidly at their joints. It is used commonly in conjunction with other systems for taller buildings and as a stand-alone system in low-to medium-rise buildings.While the use of structural steel in braced frames is common, concrete frames are more likely to be of the larger-scale variety.Of special interest in areas of high seismicity is the use of the eccentric braced frame.Again, analysis can be by STRESS, STRUDL, or any one of a series of two –or three dimensional analysis computer programs. And again, center-to-center dimensions are used commonly in the preliminary analysis.Shear wallsThe shear wall is yet another step forward along a progression of ever-stiffer structural systems. The system is characterized by relatively thin, generally (but not always) concrete elements that provide both structural strength and separation between building functions.In high-rise buildings, shear wall systems tend to have a relatively high aspect ratio, that is, their height tends to be large compared to their width. Lacking tension in the foundation system, any structural element is limited in its ability to resist overturning moment by the width of the system and by the gravity load supported by the element. Limited to a narrow overturning, One obvious use of the system, which does have the needed width, is in the exterior walls of building, where the requirement for windows is kept small.Structural steel shear walls, generally stiffened against buckling by a concrete overlay, have found application where shear loads are high. The system, intrinsically more economical than steel bracing, is particularly effective in carrying shear loads down through the taller floors in the areas immediately above grade. The sys tem has the further advantage of having high ductility a feature of particular importance in areas of high seismicity.The analysis of shear wall systems is made complex because of the inevitable presence of large openings through these walls. Preliminary analysis can be by truss-analogy, by the finite element method, or by making use of a proprietary computer program designed to consider the interaction, or coupling, of shear walls.Framed or Braced TubesThe concept of the framed or braced or braced tube erupted into the technology with the IBM Building in Pittsburgh, but was followed immediately with the twin 110-story towers of the World Trade Center, New York and a number of other buildings .The system is characterized by three –dimensional frames, braced frames, or shear walls, forming a closed surface more or less cylindrical in nature, but of nearly any plan configuration. Because those columns that resist lateral forces are placed as far as possible from the cancroids of the system, the overall moment of inertia is increased and stiffness is very high.The analysis of tubular structures is done using three-dimensional concepts, or by two- dimensional analogy, where possible, whichever method is used, it must be capable of accounting for the effects of shear lag.The presence of shear lag, detected first in aircraft structures, is a serious limitation in the stiffness of framed tubes. The concept has limited recent applications of framed tubes to the shear of 60 stories. Designers have developed various techniques for reducing the effects of shear lag, most noticeably the use of belt trusses. This system finds application in buildings perhaps 40stories and higher. However, except for possible aesthetic considerations, belt trusses interfere with nearly every building function associated with the outside wall; the trusses are placed often at mechanical floors, mush to the disapproval of the designers of the mechanical systems. Nevertheless, as a cost-effective structural system, the belt truss works well and will likely find continued approval from designers. Numerous studies have sought to optimize the location of these trusses, with the optimum location very dependent on the number of trusses provided. Experience would indicate, however, that the location of these trusses is provided by the optimization of mechanical systems and by aesthetic considerations, as the economics of the structural system is not highly sensitive to belt truss location.Tube-in-Tube StructuresThe tubular framing system mobilizes every column in the exterior wall in resisting over-turning and shearing forces. The term‘tube-in-tube’is largely self-explanatory in that a second ring of columns, the ring surrounding the central service core of the building, is used as an inner framed or braced tube. The purpose of the second tube is to increase resistance to over turning and to increase lateral stiffness. The tubes need not be of the same character; that is, one tube could be framed, while the other could be braced.In considering this system, is important to understand clearly the difference between the shear and the flexural components of deflection, the terms being taken from beam analogy. In a framed tube, the shear component of deflection is associated with the bending deformation of columns and girders (i.e, the webs of the framed tube) while the flexural component is associated with the axial shortening and lengthening of columns (i.e, the flanges of the framed tube). In a braced tube, the shear component of deflection is associated with the axial deformation of diagonals while the flexural component of deflection is associated with the axial shortening and lengthening of columns.Following beam analogy, if plane surfaces remain plane (i.e, the floor slabs),then axial stresses in the columns of the outer tube, being farther form the neutral axis, will be substantiallylarger than the axial stresses in the inner tube. However, in the tube-in-tube design, when optimized, the axial stresses in the inner ring of columns may be as high, or even higher, than the axial stresses in the outer ring. This seeming anomaly is associated with differences in the shearing component of stiffness between the two systems. This is easiest to under-stand where the inner tube is conceived as a braced (i.e, shear-stiff) tube while the outer tube is conceived as a framed (i.e, shear-flexible) tube.Core Interactive StructuresCore interactive structures are a special case of a tube-in-tube wherein the two tubes are coupled together with some form of three-dimensional space frame. Indeed, the system is used often wherein the shear stiffness of the outer tube is zero. The United States Steel Building, Pittsburgh, illustrates the system very well. Here, the inner tube is a braced frame, the outer tube has no shear stiffness, and the two systems are coupled if they were considered as systems passing in a straight line from the “hat”structure. Note that the exterior columns would be improperly modeled if they were considered as systems passing in a straight line from the “hat”to the foundations; these columns are perhaps 15% stiffer as they follow the elastic curve of the braced core. Note also that the axial forces associated with the lateral forces in the inner columns change from tension to compression over the height of the tube, with the inflection point at about 5/8 of the height of the tube. The outer columns, of course, carry the same axial force under lateral load for the full height of the columns because the columns because the shear stiffness of the system is close to zero.The space structures of outrigger girders or trusses, that connect the inner tube to the outer tube, are located often at several levels in the building. The AT&T headquarters is an example of an astonishing array of interactive elements:1.The structural system is 94 ft (28.6m) wide, 196ft(59.7m) long, and 601ft (183.3m) high.2.Two inner tubes are provided, each 31ft(9.4m) by 40 ft (12.2m), centered 90 ft (27.4m) apart in the long direction of the building.3.The inner tubes are braced in the short direction, but with zero shear stiffness in the long direction.4. A single outer tube is supplied, which encircles the building perimeter.5.The outer tube is a moment-resisting frame, but with zero shear stiffness for the center50ft (15.2m) of each of the long sides.6. A space-truss hat structure is provided at the top of the building.7. A similar space truss is located near the bottom of the building8.The entire assembly is laterally supported at the base on twin steel-plate tubes, because the shear stiffness of the outer tube goes to zero at the base of the building.Cellular structuresA classic example of a cellular structure is the Sears Tower, Chicago, a bundled tube structure of nine separate tubes. While the Sears Tower contains nine nearly identical tubes, the basic structural system has special application for buildings of irregular shape, as the several tubes need not be similar in plan shape, It is not uncommon that some of the individual tubes one of the strengths and one of the weaknesses of the system.This special weakness of this system, particularly in framed tubes, has to do with the concept of differential column shortening. The shortening of a column under load is given by the expression△=ΣfL/EFor buildings of 12 ft (3.66m) floor-to-floor distances and an average compressive stress of 15 ksi (138MPa), the shortening of a column under load is 15 (12)(12)/29,000 or 0.074in (1.9mm) per story. At 50 stories, the column will have shortened to 3.7 in. (94mm) less than its unstressed length. Where one cell of a bundled tube system is, say, 50stories high and an adjacent cell is, say, 100stories high, those columns near the boundary between .the two systems need to have this differential deflection reconciled.Major structural work has been found to be needed at such locations. In at least one building, the Rialto Project, Melbourne, the structural engineer found it necessary to vertically pre-stress the lower height columns so as to reconcile the differential deflections of columns in close proximity with the post-tensioning of the shorter column simulating the weight to be added on to adjacent, higher columns。
河北省唐山市第二中学2024-2025学年高三上学期第一次月考英语试题
河北省唐山市第二中学2024-2025学年高三上学期第一次月考英语试题一、阅读理解Fine Arts Students Deliver Magical PerformancesAs the winter holidays approach,Brookhaven School students presented an array of extraordinary performances showcasing immense talent within our fine arts community. From the band concert to the choral concerts, each event highlighted the dedication and exceptional gifts of our students.The December 12 Eagles Band Concert filled Woodruff Auditorium with melodies that captured the festive spirit.On December 14, the Foundations Christmas Choral Concert featured spirited performances by our 7th graders. The finale of seasonal fine arts showcases occurred on December 18 in Brady Theater with the Senior Chior Concert,spotlighting high school singers.A highly anticipated tradition,the school-wide Holiday Assembly on December 19, hosted by esteemed Fine Arts Department Chair Mr.Kaminer, embodied the true essence of the holiday season. Angelic songs filled Young Gym, followed by joyous laughter and cheers as the “best costume” winners received their awards. Even the youngest War Eagles,the children in the Brookhaven Early Learning Center, attended the celebrations.Following the event, students merrily left school for the holiday break.Looking toward 2024, anticipation builds for the Brookhaven theater spring productions. “Something Rotten!” promises high-energy comedic performances by theater students, while “Tuck Everlasting” assures a moving portrayal by talented Foundations students. Furthermore,the Brookhaven Dance Company will hold their showcase April 11-12 in Woodruff Auditorium. Tickets will soon be available for purchase.1.What did the students at Brookhaven School do before the winter holidays?A.They performed magic tricks.B.They participated in community service.C.They gave holiday concerts.D.They presented new theatre productions. 2.What can we learn about Holiday Assembly on December 19?A.It was a large celebration within the school.B.It was an award presentation for beststudents.C.It featured various fun music and sports events.D.It was held on the first day of the winter holiday.3.What is the text?A.A fine arts brochure.B.A school announcement.C.A school newsletter.D.A concert advertisement.Education in 2080 is distinctive from education in the 2020s. Until about 2035, the main function of education systems was to supply the economy with the next generation of workers. In 2080, the purpose of education is the well-being of society and all its members. To make this a bit more tangible for you, I would like to give an example of what a child’s education looks like in 2080. Her name is Shemsy. Shemsy is 13, and she is confident and loves learning.Shemsy does not go to school in the morning because schools as you know them no longer exist. The institution was abolished as it was widely thought of as more like a prison or a factory than a creative learning environment. Schools have been replaced with “Learning Hubs” that are not restricted to certain ages. They are where intergenerational learning happens, in line with the belief that learning is a lifelong pursuit.Every year, Shemsy designs her learning journey for the year with a highly attentive “teacher-citizen”. Shemsy is actively engaged in designing her education and has to propose projects she would like to be involved in to contribute to and serve her community. She also spends lots of time playing as the role of play in learning has finally been recognized as essential and core to our humanity. Shemsy works a lot collaboratively. Access to education is universal, and higher education institutions no longer differentiate themselves by how many people they reject yearly. Variability between students is expected and leveraged (利用) as young people teach one another and use their differences as a source of strength. Shemsy naturally explores what she is curious about at a pace she sets. She still has some classes to take that are mandatory for children globally: Being Human and the History of Humanity.We invite you to think about your vision for education in the year 2080, what does it look like, who does it serve,and how does it transform our societies?4.What does paragraph 1 mainly tell us?A.There are different types of education.B.The present education needs improvements.C.Education and economy are closely associated.D.The goal of future education is fundamentally different.5.What do we know about the Learning Hub that Shemsy goes to?A.It accepts students of all ages.B.It promotes competition.C.It discourages individualized learning.D.It is all about play-based learning. 6.What does the underlined word “mandatory” in paragraph 3 mean?A.Tough.B.Satisfactory.C.Optional.D.Required. 7.What is the suitable title for the text?A.An Example to All B.A Vision for EducationC.A Challenge for Education D.A Journey into the FutureAny schoolchild knows that a whale breathes through its blowhole. Fewer know that a blowhole is a nostril (鼻孔) slightly changed by evolution into a form more useful for a mammal that spends its life at sea. And only a dedicated expert would know that while toothed whales, such as sperm whales, have one hole, baleen (鲸须) whales, such as humpback and Rice whales, have two.Even among the baleen whales, the placing of those nostrils differs. In some species they are close together. In others, they are much further apart. In a paper published in Biology Letters Conor Ryan, a marine biologist at the Scottish Association for Marine Science, suggests why that might be. Having two nostrils, he argues, helps whales smell in stereo (立体空间).Many types of baleen whales eat tiny animals known as zooplankton (浮游动物), which they catch by filtering (过滤) them from seawater using the sheets of fibrous baleen that have replaced teeth in their mouths. But to eat something you first have to find it. Toothed whales do not hunt by scent. In fact, the olfactory bulb—the part of the brain that processes smell—is absent in such creatures. But baleen whales still have olfactory bulbs, which suggests smell remains important. And scent can indeed give zooplankton away. Zooplankton like to eat other tiny creatures called phytoplankton (浮游植物). When these are under attack, they release a special gas called dimethyl sulphide, which in turn attracts baleen whales.Most animals have stereoscopic senses. Having two eyes, for instance, allows an animal to compare the images from each in order to perceive depth. Having two ears lets them locate the direction from which a sound is coming. Dr Ryan theorized that paired blowholes might bring baleen whales the same sorts of benefits.The farther apart the sensory organs are, the more information can be extracted by the animal that bears them. The researchers used drones to photograph the nostrils of 143 whales belonging to 14 different species. Sure enough, baleen whales that often eat zooplankton, such as the North Atlantic right whale, have nostrils that are farther apart than do those, such as humpback whales, that eat zooplankton occasionally. Besides allowing them to breathe, it seems that some whales use their blowholes to determine in which direction dinner lies.8.What do we know about whales’ nostrils according to the first two paragraphs?A.They are adapted ones.B.They are developed merely for smell.C.They are not easy to detect.D.They are fixed universally in numbers. 9.What plays a role when baleen whales hunt zooplankton?A.The teeth that baleen whales have.B.The smell that phytoplankton send.C.The sound waves that zooplankton create.D.The chemical signals that zooplankton give off.10.How is the concept of stereoscopic senses explained in paragraph 4?A.By quoting a theory.B.By using examples.C.By making contrast.D.By making inferences.11.What is the position of nostrils related to according to the last paragraph?A.The sense of smell.B.The possibility to attract food.C.The ability to locate food.D.The ability to communicate.Is forgiveness against our human nature? To answer our question, we need to ask a further question: What is the essence of our humanity? For the sake of simplicity, people consider two distinctly different views of humanity.The first view involves dominance and power. In an early paper on the psychology of forgiveness, Droll (1984) made the interesting claim that humans’ essential nature is moreaggressive than forgiving allows. Those who forgive are against their basic nature, much to their harm. In his opinion, forgivers are compromising their well-being as they offer mercy to others, who might then take advantage of them.The second view involves the theme of cooperation, mutual respect, and even love as the basis of who we are as humans. Researchers find that to fully grow as human beings, we need both to receive love from and offer love to others. Without love, our connections with a wide range of individuals in our lives can fall apart. Even common sense strongly suggests that the will to power over others does not make for harmonious interactions. For example, how well has slavery worked as a mode of social harmony?From this second viewpoint of who we are as humans, forgiveness plays a key role in the biological and psychological integrity of both individuals and communities because one of the outcomes of forgiveness, shown through scientific studies, is the decreasing of hate and the restoration of harmony. Forgiveness can break the cycle of anger. At least to the extent the people from whom you are estranged (不和的) accept your love and forgiveness and are prepared to make the required adjustments. Forgiveness can heal relationships and reconnect people.As an important note, when we take a classical philosophical perspective, we see the distinction between potentiality and actuality. We are not necessarily born with the capacity to forgive, but instead with the potential to learn about it and to grow in our ability to forgive. The actuality of forgiving, in real situations, develops with practice.12.What is Droll’s idea about forgiveness?A.People should offer mercy to others.B.Aggressive people should learn to forgive.C.Forgiveness depends on the nature of humanity.D.People who forgive can have their own welfare affected.13.What does the example in Paragraph 3 illustrate?A.To fight is to grow.B.To give is to receive.C.To forgive is to abuse.D.To dominate is to harm.14.What is the writer’s attitude toward forgiveness?A.Favorable.B.Reserved.C.Objective.D.Skeptical. 15.What message does the last paragraph convey?A.Forgiveness is in our nature.B.Forgiveness grows with time.C.It takes practice to forgive.D.Actuality is based on potentiality.It’s no secret that reading good news feels a lot better than reading bad news. Like, would you rather bite into a lemon, or sip on a fresh glass of lemonade?16 The world is full of problems and conflicts and we need to stay informed and alert (警觉的) to what’s going on around us. While reading traditional, more negative news is important, consuming good news is also part of staying informed. 17 And it also brings meaningful benefits, like reduced stress and anxiety, higher rates of engagement, community building skills, and inspiration for creating a better world. Plus, knowing what to look for in the good news landscape is a key part of improving our media literacy skills and being thoughtful news consumers.In fact, good news, known as solutions journalism, is becoming more popular, as publishers and news stations discover the benefits of sharing positive stories. Good Good Good is one of them. 18 A team of reporters and editors there work daily to deliver stories that make readers feel hopeful and equipped to do more good with possible solutions.“If it bleeds, it leads.” has long been a saying used in the media to describe how news stories about violence, death and destruction draw readers’ attention.19 The thing is, however, there’s also good stuff out there—the delightful and kind parts of humanity. “Beautiful stories are happening worldwide. 20 When you do find them, the world can suddenly feel like a very different place. Good news is a vital part of how we learn about the world and solving the world’s problems.” Hervey, one of Good Good Good’s editors said.A.Share good news with people around you.B.It’s just that we don’t hear as much about them.C.But the “bad news” has its place in the world.D.It provides a more balanced view of the world.E.And so, negative news stories are everywhere on news media.F.Heartwarming stories make you cry and feel good.G.The news media company is devoted to providing good news intentionally.二、完形填空For the past 18 years, my daughter has been around me all the time. Now that she is in college, the 21 of our relationship has totally changed and our relationship is completely 22 . I’m not going to be there every morning to have breakfast with her. I won’t know when she’s mad or when she’s happy. Here’s a little story of our new 23 .A week ago, my daughter wanted to 24 so she called me during the day as I was in meetings. I 25 her later on, but she was in class. At midnight, she reached out 26 to ask if we could talk. Well, guess what? I was 27 . I thought we would talk the next day, but she was not28 .Research shows that parents are 29 when their children are grown up, but for me that is when I start to get concerned. I am always left to 30 , how can I, as a parent, remain 31 to my daughter to guide, support and love through life's changes?We may have to 32 the way we communicate. My daughter encouraged me to go digital. That’s how I ventured into the world of social media, following her updates and occasionally sharing my own experiences. Through this33 presence, the physical gap is34 and I feel I still have an active role in her life. This experience serves as a reminder that35 , however scary, holds the promise of growth in our shared journey.21.A.problem B.progress C.goal D.context 22.A.cold B.special C.different D.casual 23.A.normal B.idea C.approach D.solution 24.A.catch up B.take over C.check out D.break away 25.A.visited B.touched C.tried D.emailed 26.A.by taxi B.by text C.in private D.in person 27.A.stupid B.angry C.excited D.asleep 28.A.available B.interested C.ready D.guilty 29.A.saddest B.busiest C.happiest D.best 30.A.decide B.wonder C.investigate D.distinguish 31.A.kind B.appreciative C.sensitive D.relevant 32.A.voice B.ignore C.shift D.continue33.A.human B.virtual C.physical D.permanent 34.A.widened B.formed C.broken D.bridged 35.A.college B.relationship C.change D.communication三、语法填空阅读下面短文,在空白处填入1个适当的单词或括号内单词的正确形式。
2025届高考英语培优外刊阅读学案:芯片行业话题
高三英语培优外刊阅读班级:____________学号:____________姓名:____________外刊精选|这家芯片业隐形巨头,拿下全球年内最大IPO 很多人没有听说过Arm这家公司,但都在用它的产品。
9月14日,这家芯片公司在美国纳斯达克证券交易所成功上市,一夜市值突破650亿美元,融资近50亿美元。
这是今年以来美股以及全球最大规模IPO,同时也是继阿里巴巴、Facebook之后,科技公司史上第三大IPO。
Arm是一家什么样的公司?为什么媒体会用“春天到来”形容它的IPO?Arm Soars 25% in the Year's Biggest Initial Public OfferingBy Erin Griffith and Don ClarkCall it Wall Street's Groundhog Day. When shares of Arm, the British chip designer, began trading on the Nasdaq stock exchange on Thursday in the year's biggest initial public offering, investors, tech executives, bankers and start-up founders were watching closely for how it performed.They quickly got their answer: It was an early spring. Arm's shares opened trading at $56.10, up 10 percent from its initial offering price of $51. Shares quickly soared further, rising 25 percent by the end of trading to close at $63.59 and giving the company a valuation of $67.9 billion.That stands out in a year that has been the worst for I.P.O.s since 2009. Arm is a particularly interesting test of the public market because it provides an essential technology that is geopolitically and strategically coveted, which also means it faces challenges.Founded in 1990 in Cambridge, England, the company sells blueprints of a part of a chip known as a processor core. Its customers include many of the world's largest tech companies, like Apple, Google, Samsung and Nvidia.Arm's chip designs are primarily used in smartphones, but the company has pitched itself as able to ride the wave of artificial intelligence sweeping Silicon Valley. Many A.I. companies need the most advanced computer chips to do the sophisticated calculations required to develop the tech.【词汇过关】请写出下面文单词在文章中的中文意思。
常用语言学术语
常用语言学词汇表abbreviation缩写法acculturation语言文化移入acoustic phonetics声学语言学acronym词首字母缩略词address term称谓语addresser发话人addressee受话人adjacency毗邻Adjacency Condition毗邻条件Adjacency Parameter毗邻参数Affix词缀Affixation加词缀法Affricate塞擦音Afroasiatic非亚语系agreement rule一致关系规则allophone音位变体alveolar齿龈音alveolus齿龈angular gyrus角形脑回antonymy反义现象antonym反以词apocope词尾音脱落aphasia失语症aphasic失语症患者applied linguistics应用语言学arbitrariness任意性argument论元articulatory phonetics发音语音学articulatory variable发音变项aspiration送气assimilation同化approximation近似化auditory phonetics听觉语音学Austronesian…语系Babbling咿呀学语back-formation逆向构词法back vowel后元音Behaviorism行为主义Behaviorist learning theory行为主义学习理论Behaviorist Psychology行为主义心理学Bilabial双唇音Bilingualism双语现象Black English黑人英语Blending混合法Borrowing借用bound morpheme黏着语素brain lateralization大脑左右半球侧化branching node分叉点broad transcription宽式音标Broca’s area布罗卡区caretaker speech保姆语case格Case Condition格条件case marking格标志causative verb使役动词central vowel中元音cerebral cortex大脑皮层cerebral plasticity大脑弹性channel渠道classical language古典语言clipping略写法closed class word封闭类词code代码code-switching代码切换cognate同源词co-hyponyms并列下义词coinage创新词color word色彩词combinational rule组合规则commissives承诺类词communicative competence交际能力comparative reconstruction比较重建法competence语言能力complement补语complement construction补足语complementarity互补性反义现象complementary distribution互补分布complex sentence复合句componential analysis成分分析法components of meaning意义成分compound word复合词compounding复合法computational linguistics计算语言学concept概念conceptualist view意念观consonant辅音constituent成分constituent structure成分结构constraint制约construction结构content word实词context语境;上下文contextualism语境论Contrastive Analysis对比分析法conversational implicature会话含义co-operative principle合作原则coordinate sentence并列句creativity创造性critical period关键期;临界期cultural transmission文化传播declaration宣告类deep structure深层结构dental齿音derivation派生法derivational morpheme派生语素derivative派生词descriptive linguistics描写语言学design feature识别特征determiner限定词diachronic linguistics历时语言学diacritics变音符号dialect方言dialectal synonym方言同义词dichotic listening test两耳分听测试diglossia双言现象diphthong复合元音Directionalilty Parameter方位参数Directives指令类Displacement不受时空限制的特性distinctive feature区别性特征D-structure深层结构duality of structure结构二重性e double articulation结构二重性embedded clause嵌入句emotive meaning表情意义entailment含义entity实体epenthesis插入音Error Analysis错误分析法euphemism委婉语evaluative meaning评价意义expressives表达类factive predicate叙述性谓词family tree谱系树feature symbol特征标记features of meaning意义特征finite clause 限定小句finite verb限定动词formalize形式化fossilization语言僵化framework框架free morpheme自由语素fricative擦音front vowel前元音function word虚词functional shift功能性转换functor element起功能作用成分gender性Generative Grammar生成语法Generative Semantics生成语义学genetic predisposition基因先天条件genetic relationship亲缘关系glide滑音glottal喉音glottis声门gradable antonym/opposites可分等级的反义词grammaticality语法性grammatical meaning语法意义Great V owel Shift元音大变位hard palate硬腭head 中心词,核心词hemispheric dominance for language大脑半球的语言优势hierarchical structure层次结构high variety高层次变体historical comparative linguistics历史比较语言学historical linguistics历史语言学holophrastic sentence独词句homography同形homonymy同音异义;同形异义homophony同音异义hyponymy下义关系hyponym下义词idiolect个人语言特点illocutionary act言外形为inconsistency自相矛盾Indo-European印欧语系infinitive marker不定式标记inflection曲折变化inflectional morpheme曲折语素input输入instrumental motivation工具性学习动机intake接受integrative motivation介入性学习动机interference干扰interlanguage中介语,语际语internalize内在化International Phonetic Alphabet国际音标interpersonal communication人际交际intonation 语调intuition 直觉labeled (unlabeled) tree diagram加标记树形图labial唇音LAD 语言习得机制Language Acquisition Device language acquisition语言习得language behavior语言行为language center语言中枢language faculty语言机制language family语系language perception语言感知language planning语言规划language variation语言变异larynx喉lax vowel松元音level层;平面level of language语言层次lexical category词类lexical structure词汇结构lexicology词汇学lexicon词汇linear structure线性结构linguistic competence语言能力linguistic determinism语言决定论linguistic lateralization语言侧化linguistic performance语言运用linguistic relativism语言相对论linguistic repertoire全部语言知识linguistic taboo禁忌语linguistics语言学liquid流音loan word外来词localization定位locutionary act言内行为low variety低层次语言变体manner of articulation发音方法matrix clause主句maxim of manner方式准则maxim of quality质量准则maxim of quantity数量准则maxim of relation关联准则meaning意义meaningfulness有意义meaning relation意义关系mentalism心理主义mentalistic theory精神论message信息metathesis语音变位Middle English中世纪英语minimal pair最小对立对Modern English现代英语Monophthong单元音Morpheme词素morphlogical rule形态学规则morphology形态学mother tongue母语Move α移动α规则movement rule移位规则naming theory命名论narrow transcription严式音标narrowing of meaning词义缩小nasal cavity鼻腔nasality鼻音化nasalize鼻音化natural route of development自然发展轨道negator否定词neurolinguist神经语言学家neuron神经元no-place predication空位述谓结构object宾语Old English古英语one-place predication一位述谓结构optimum age最佳学习年龄oral cavity口腔overextension扩展过度overgeneralization概括过度overt thought有声思维palatal腭音paralinguistic副语言学的parameter参数performance语言运用performance error语言运用错误perlocutionary act言后行为pharyngeal cavity咽腔phone音素phoneme音位phonemic contrast音位对立phonetic feature语音特征phonetics语音学phonological rule音位规则phonology音位学phrasal category词组类phrase structure rule短语结构规则pidgin洋泾浜语place of articulation发音部位plosive爆破音polysemy多义性postpone后移prepose前移postvocalic元音后的pragmatics语用学predicate谓语predication述谓结构predication analysis述谓结构分析prefix前缀presprictive (grammar)规定语法presupposition前提proposition命题prepositional content命题内容protolanguage原始语psycholinguistics心理语言学puberty青春期qualifying predication修饰性述谓结构Received Pronunciation标准发音Recursiveness循环性Reference所指语义referring expression所指名词register语域relational opposites关系反义词representation表达;呈现representatives阐述类response反应retroflex卷舌音rewrite rule重写规则rounded vowel圆唇元音SAE标准美国英语Sapir-Whorf hypothesis 萨皮尔-沃尔夫假设second language acquisition第二语言习得segment切分成分semantic anomaly语义异体semantic deviation语义变异semantic broadening语义广义化semantic narrowing语义狭义化semantic shift语义演变semantics语义学semantic structure语义结构semantic triangle语义三角sense意义sequential rule序列规则setting背景;环境sexist language性别歧视语sibilant咝音simple sentence简单句Sino-Tibetan汉藏语系situational dialect语域方言sociolect社会方言sociolinguistics社会语言学soft palate软腭species-specific capacity物种特有能力specifier指示语spectrograph频谱仪speech act言语行为speech community言语社区speech variety言语变体S-structure表层结构standard language标准语stem词干stimulus刺激stop爆破音stress重音structural constituency结构成分性structural linguistics结构主义语言学subject主语subordinate predication主从述谓性结构subscript下标subvocal predication无声言语suffix后缀superordinate上坐标词suprasegmental feature超切分特征surface structure表层结构synchronic linguistics共时语言synonymy同义词syntactic ambiguity句法歧义syntactic category句法类型syntactic rule句法规则syntax句法taboo word禁忌词target language目标语tautology同义反复teeth ridge齿龈隆骨telegraphic speech电报式言语tense and aspect时和体tense vowel紧元音tone音调;声调tone language声调语言topic话题;主题transfer转移Transformational-Generative Grammar转换生成语法transformational rule转换规则tree diagram树形图two-place predication双位述谓结构unaspirated不送气underextension扩展不足Universal Grammar普遍语法Utterance话语utterance meaning话语意义uvula小舌validity有效性variable变项velar软腭音velum软腭vernacular本地话;本国语vocal cord声带voiced浊音化的voiceless不带音的,清音的voicing带音化,浊音化vowel元音Wernicke’s area韦尼克区widening of meaning词义扩大X-bar theory X标杆理论。
《人工智能英语》试卷(含答案)
参考试卷一、写出以下单词的中文意思(每小题0.5分,共10分)1 accuracy 11 customize2 actuator 12 definition3 adjust 13 defuzzification4 agent 14 deployment5 algorithm 15 effector6 analogy 16 entity7 attribute 17 extract8 backtrack 18 feedback9 blockchain 19 finite10 cluster 20 framework二、根据给出的中文意思,写出英文单词(每小题0.5分,共10分)1 v.收集,搜集11 n.神经元;神经细胞2 adj.嵌入的,内置的12 n.节点3 n.指示器;指标13 v.运转;操作4 n.基础设施,基础架构14 n.模式5 v.合并;集成15 v.察觉,发觉6 n.解释器,解释程序16 n.前提7 n.迭代;循环17 adj.程序的;过程的8 n.库18 n.回归9n.元数据19 adj.健壮的,强健的;结实的10 v.监视;控制;监测20 v.筛选三、根据给出的短语,写出中文意思(每小题1分,共10分)1 data object2 cyber security3 smart manufacturing4 clustered system5 data visualization6 open source7 analyze text8 cloud computing9 computation power10 object recognition四、根据给出的中文意思,写出英文短语(每小题1分,共10分)1 数据结构2 决策树3 演绎推理4 贪婪最佳优先搜索5 隐藏模式,隐含模式6 知识挖掘7 逻辑推理8 预测性维护9 搜索引擎10 文本挖掘技术五、写出以下缩略语的完整形式和中文意思(每小题1分,共10分)缩略语完整形式中文意思1 ANN2 AR3 BFS4 CV5 DFS6 ES7 IA8 KNN9 NLP10 VR六、阅读短文,回答问题(每小题2分,共10分)Artificial Neural Network (ANN)An artificial neural network (ANN) is the piece of a computing system designed to simulate the way the human brain analyzes and processes information. It is the foundation of artificial intelligence (AI) and solves problems that would prove impossible or difficult by human or statistical standards. ANNs have self-learning capabilities that enable them to produce better results as more data becomes available.Artificial neural networks are built like the human brain, with neuron nodes interconnected like a web. The human brain has hundreds of billions of cells called neurons. Each neuron is made up of a cell body that is responsible for processing information by carrying information towards (inputs) and away (outputs) from the brain.An ANN has hundreds or thousands of artificial neurons called processing units, which are interconnected by nodes. These processing units are made up of input and output units. The input units receive various forms and structures of information based on an internal weighting system, and the neural network attempts to learn about the information presented to produce one output report. Just like humans need rules and guidelines to come up with a result or output, ANNs alsouse a set of learning rules called backpropagation, an abbreviation for backward propagation of error, to perfect their output results.An ANN initially goes through a training phase where it learns to recognize patterns in data, whether visually, aurally, or textually. During this supervised phase, the network compares its actual output produced with what it was meant to produce — the desired output. The difference between both outcomes is adjusted using backpropagation. This means that the network works backward, going from the output unit to the input units to adjust the weight of its connections between the units until the difference between the actual and desired outcome produces the lowest possible error.A neural network may contain the following 3 layers:Input layer – The activity of the input units represents the raw information that can feed into the network.Hidden layer – To determine the activity of each hidden unit. The activities of the input units and the weights on the connections between the input and the hidden units. There may be one or more hidden layers.Output layer – The behavior of the output units depends on the activity of the hidden units and the weights between the hidden and output units.1. What is an artificial neural network (ANN)?2.What is each neuron made up of?3.Wha do the input units do?4.What does an ANN initially go through?5.How many layers may a neural network contain? What are they?七、将下列词填入适当的位置(每词只用一次)。
英语写作之Paragraph
When providing detailed explanations or long arguments, use long paragraphs Longer paragraphs allow for a more comprehensive and nuanced discussion, giving the reader more information to consider
Summary
Examples
Importance
The relationship between paragraphs should be clear and logical, with each paragraph building on the previous one
Paragraphs can be organized in a linear fashion, with each paragraph discussing a different aspect of the overall topic Alternately, paragraphs can be grouped theoretically, with each group discussing similar ideas or concepts
It should not simply repeat the theme presence, but rather synthesize the
main points and give readers a sense of closure
02
The organizational structure of Paragraphs
专八英语阅读
英语专业八级考试TEM-8阅读理解练习册(1)(英语专业2012级)UNIT 1Text AEvery minute of every day, what ecologist生态学家James Carlton calls a global ―conveyor belt‖, redistributes ocean organisms生物.It’s planetwide biological disruption生物的破坏that scientists have barely begun to understand.Dr. Carlton —an oceanographer at Williams College in Williamstown,Mass.—explains that, at any given moment, ―There are several thousand marine species traveling… in the ballast water of ships.‖ These creatures move from coastal waters where they fit into the local web of life to places where some of them could tear that web apart. This is the larger dimension of the infamous无耻的,邪恶的invasion of fish-destroying, pipe-clogging zebra mussels有斑马纹的贻贝.Such voracious贪婪的invaders at least make their presence known. What concerns Carlton and his fellow marine ecologists is the lack of knowledge about the hundreds of alien invaders that quietly enter coastal waters around the world every day. Many of them probably just die out. Some benignly亲切地,仁慈地—or even beneficially — join the local scene. But some will make trouble.In one sense, this is an old story. Organisms have ridden ships for centuries. They have clung to hulls and come along with cargo. What’s new is the scale and speed of the migrations made possible by the massive volume of ship-ballast water压载水— taken in to provide ship stability—continuously moving around the world…Ships load up with ballast water and its inhabitants in coastal waters of one port and dump the ballast in another port that may be thousands of kilometers away. A single load can run to hundreds of gallons. Some larger ships take on as much as 40 million gallons. The creatures that come along tend to be in their larva free-floating stage. When discharged排出in alien waters they can mature into crabs, jellyfish水母, slugs鼻涕虫,蛞蝓, and many other forms.Since the problem involves coastal species, simply banning ballast dumps in coastal waters would, in theory, solve it. Coastal organisms in ballast water that is flushed into midocean would not survive. Such a ban has worked for North American Inland Waterway. But it would be hard to enforce it worldwide. Heating ballast water or straining it should also halt the species spread. But before any such worldwide regulations were imposed, scientists would need a clearer view of what is going on.The continuous shuffling洗牌of marine organisms has changed the biology of the sea on a global scale. It can have devastating effects as in the case of the American comb jellyfish that recently invaded the Black Sea. It has destroyed that sea’s anchovy鳀鱼fishery by eating anchovy eggs. It may soon spread to western and northern European waters.The maritime nations that created the biological ―conveyor belt‖ should support a coordinated international effort to find out what is going on and what should be done about it. (456 words)1.According to Dr. Carlton, ocean organism‟s are_______.A.being moved to new environmentsB.destroying the planetC.succumbing to the zebra musselD.developing alien characteristics2.Oceanographers海洋学家are concerned because_________.A.their knowledge of this phenomenon is limitedB.they believe the oceans are dyingC.they fear an invasion from outer-spaceD.they have identified thousands of alien webs3.According to marine ecologists, transplanted marinespecies____________.A.may upset the ecosystems of coastal watersB.are all compatible with one anotherC.can only survive in their home watersD.sometimes disrupt shipping lanes4.The identified cause of the problem is_______.A.the rapidity with which larvae matureB. a common practice of the shipping industryC. a centuries old speciesD.the world wide movement of ocean currents5.The article suggests that a solution to the problem__________.A.is unlikely to be identifiedB.must precede further researchC.is hypothetically假设地,假想地easyD.will limit global shippingText BNew …Endangered‟ List Targets Many US RiversIt is hard to think of a major natural resource or pollution issue in North America today that does not affect rivers.Farm chemical runoff残渣, industrial waste, urban storm sewers, sewage treatment, mining, logging, grazing放牧,military bases, residential and business development, hydropower水力发电,loss of wetlands. The list goes on.Legislation like the Clean Water Act and Wild and Scenic Rivers Act have provided some protection, but threats continue.The Environmental Protection Agency (EPA) reported yesterday that an assessment of 642,000 miles of rivers and streams showed 34 percent in less than good condition. In a major study of the Clean Water Act, the Natural Resources Defense Council last fall reported that poison runoff impairs损害more than 125,000 miles of rivers.More recently, the NRDC and Izaak Walton League warned that pollution and loss of wetlands—made worse by last year’s flooding—is degrading恶化the Mississippi River ecosystem.On Tuesday, the conservation group保护组织American Rivers issued its annual list of 10 ―endangered‖ and 20 ―threatened‖ rivers in 32 states, the District of Colombia, and Canada.At the top of the list is the Clarks Fork of the Yellowstone River, whereCanadian mining firms plan to build a 74-acre英亩reservoir水库,蓄水池as part of a gold mine less than three miles from Yellowstone National Park. The reservoir would hold the runoff from the sulfuric acid 硫酸used to extract gold from crushed rock.―In the event this tailings pond failed, the impact to th e greater Yellowstone ecosystem would be cataclysmic大变动的,灾难性的and the damage irreversible不可逆转的.‖ Sen. Max Baucus of Montana, chairman of the Environment and Public Works Committee, wrote to Noranda Minerals Inc., an owner of the ― New World Mine‖.Last fall, an EPA official expressed concern about the mine and its potential impact, especially the plastic-lined storage reservoir. ― I am unaware of any studies evaluating how a tailings pond尾矿池,残渣池could be maintained to ensure its structural integrity forev er,‖ said Stephen Hoffman, chief of the EPA’s Mining Waste Section. ―It is my opinion that underwater disposal of tailings at New World may present a potentially significant threat to human health and the environment.‖The results of an environmental-impact statement, now being drafted by the Forest Service and Montana Department of State Lands, could determine the mine’s future…In its recent proposal to reauthorize the Clean Water Act, the Clinton administration noted ―dramatically improved water quality since 1972,‖ when the act was passed. But it also reported that 30 percent of riverscontinue to be degraded, mainly by silt泥沙and nutrients from farm and urban runoff, combined sewer overflows, and municipal sewage城市污水. Bottom sediments沉积物are contaminated污染in more than 1,000 waterways, the administration reported in releasing its proposal in January. Between 60 and 80 percent of riparian corridors (riverbank lands) have been degraded.As with endangered species and their habitats in forests and deserts, the complexity of ecosystems is seen in rivers and the effects of development----beyond the obvious threats of industrial pollution, municipal waste, and in-stream diversions改道to slake消除the thirst of new communities in dry regions like the Southwes t…While there are many political hurdles障碍ahead, reauthorization of the Clean Water Act this year holds promise for US rivers. Rep. Norm Mineta of California, who chairs the House Committee overseeing the bill, calls it ―probably the most important env ironmental legislation this Congress will enact.‖ (553 words)6.According to the passage, the Clean Water Act______.A.has been ineffectiveB.will definitely be renewedC.has never been evaluatedD.was enacted some 30 years ago7.“Endangered” rivers are _________.A.catalogued annuallyB.less polluted than ―threatened rivers‖C.caused by floodingD.adjacent to large cities8.The “cataclysmic” event referred to in paragraph eight would be__________.A. fortuitous偶然的,意外的B. adventitious外加的,偶然的C. catastrophicD. precarious不稳定的,危险的9. The owners of the New World Mine appear to be______.A. ecologically aware of the impact of miningB. determined to construct a safe tailings pondC. indifferent to the concerns voiced by the EPAD. willing to relocate operations10. The passage conveys the impression that_______.A. Canadians are disinterested in natural resourcesB. private and public environmental groups aboundC. river banks are erodingD. the majority of US rivers are in poor conditionText CA classic series of experiments to determine the effects ofoverpopulation on communities of rats was reported in February of 1962 in an article in Scientific American. The experiments were conducted by a psychologist, John B. Calhoun and his associates. In each of these experiments, an equal number of male and female adult rats were placed in an enclosure and given an adequate supply of food, water, and other necessities. The rat populations were allowed to increase. Calhoun knew from experience approximately how many rats could live in the enclosures without experiencing stress due to overcrowding. He allowed the population to increase to approximately twice this number. Then he stabilized the population by removing offspring that were not dependent on their mothers. He and his associates then carefully observed and recorded behavior in these overpopulated communities. At the end of their experiments, Calhoun and his associates were able to conclude that overcrowding causes a breakdown in the normal social relationships among rats, a kind of social disease. The rats in the experiments did not follow the same patterns of behavior as rats would in a community without overcrowding.The females in the rat population were the most seriously affected by the high population density: They showed deviant异常的maternal behavior; they did not behave as mother rats normally do. In fact, many of the pups幼兽,幼崽, as rat babies are called, died as a result of poor maternal care. For example, mothers sometimes abandoned their pups,and, without their mothers' care, the pups died. Under normal conditions, a mother rat would not leave her pups alone to die. However, the experiments verified that in overpopulated communities, mother rats do not behave normally. Their behavior may be considered pathologically 病理上,病理学地diseased.The dominant males in the rat population were the least affected by overpopulation. Each of these strong males claimed an area of the enclosure as his own. Therefore, these individuals did not experience the overcrowding in the same way as the other rats did. The fact that the dominant males had adequate space in which to live may explain why they were not as seriously affected by overpopulation as the other rats. However, dominant males did behave pathologically at times. Their antisocial behavior consisted of attacks on weaker male,female, and immature rats. This deviant behavior showed that even though the dominant males had enough living space, they too were affected by the general overcrowding in the enclosure.Non-dominant males in the experimental rat communities also exhibited deviant social behavior. Some withdrew completely; they moved very little and ate and drank at times when the other rats were sleeping in order to avoid contact with them. Other non-dominant males were hyperactive; they were much more active than is normal, chasing other rats and fighting each other. This segment of the rat population, likeall the other parts, was affected by the overpopulation.The behavior of the non-dominant males and of the other components of the rat population has parallels in human behavior. People in densely populated areas exhibit deviant behavior similar to that of the rats in Calhoun's experiments. In large urban areas such as New York City, London, Mexican City, and Cairo, there are abandoned children. There are cruel, powerful individuals, both men and women. There are also people who withdraw and people who become hyperactive. The quantity of other forms of social pathology such as murder, rape, and robbery also frequently occur in densely populated human communities. Is the principal cause of these disorders overpopulation? Calhoun’s experiments suggest that it might be. In any case, social scientists and city planners have been influenced by the results of this series of experiments.11. Paragraph l is organized according to__________.A. reasonsB. descriptionC. examplesD. definition12.Calhoun stabilized the rat population_________.A. when it was double the number that could live in the enclosure without stressB. by removing young ratsC. at a constant number of adult rats in the enclosureD. all of the above are correct13.W hich of the following inferences CANNOT be made from theinformation inPara. 1?A. Calhoun's experiment is still considered important today.B. Overpopulation causes pathological behavior in rat populations.C. Stress does not occur in rat communities unless there is overcrowding.D. Calhoun had experimented with rats before.14. Which of the following behavior didn‟t happen in this experiment?A. All the male rats exhibited pathological behavior.B. Mother rats abandoned their pups.C. Female rats showed deviant maternal behavior.D. Mother rats left their rat babies alone.15. The main idea of the paragraph three is that __________.A. dominant males had adequate living spaceB. dominant males were not as seriously affected by overcrowding as the otherratsC. dominant males attacked weaker ratsD. the strongest males are always able to adapt to bad conditionsText DThe first mention of slavery in the statutes法令,法规of the English colonies of North America does not occur until after 1660—some forty years after the importation of the first Black people. Lest we think that existed in fact before it did in law, Oscar and Mary Handlin assure us, that the status of B lack people down to the 1660’s was that of servants. A critique批判of the Handlins’ interpretation of why legal slavery did not appear until the 1660’s suggests that assumptions about the relation between slavery and racial prejudice should be reexamined, and that explanation for the different treatment of Black slaves in North and South America should be expanded.The Handlins explain the appearance of legal slavery by arguing that, during the 1660’s, the position of white servants was improving relative to that of black servants. Thus, the Handlins contend, Black and White servants, heretofore treated alike, each attained a different status. There are, however, important objections to this argument. First, the Handlins cannot adequately demonstrate that t he White servant’s position was improving, during and after the 1660’s; several acts of the Maryland and Virginia legislatures indicate otherwise. Another flaw in the Handlins’ interpretation is their assumption that prior to the establishment of legal slavery there was no discrimination against Black people. It is true that before the 1660’s Black people were rarely called slaves. But this shouldnot overshadow evidence from the 1630’s on that points to racial discrimination without using the term slavery. Such discrimination sometimes stopped short of lifetime servitude or inherited status—the two attributes of true slavery—yet in other cases it included both. The Handlins’ argument excludes the real possibility that Black people in the English colonies were never treated as the equals of White people.The possibility has important ramifications后果,影响.If from the outset Black people were discriminated against, then legal slavery should be viewed as a reflection and an extension of racial prejudice rather than, as many historians including the Handlins have argued, the cause of prejudice. In addition, the existence of discrimination before the advent of legal slavery offers a further explanation for the harsher treatment of Black slaves in North than in South America. Freyre and Tannenbaum have rightly argued that the lack of certain traditions in North America—such as a Roman conception of slavery and a Roman Catholic emphasis on equality— explains why the treatment of Black slaves was more severe there than in the Spanish and Portuguese colonies of South America. But this cannot be the whole explanation since it is merely negative, based only on a lack of something. A more compelling令人信服的explanation is that the early and sometimes extreme racial discrimination in the English colonies helped determine the particular nature of the slavery that followed. (462 words)16. Which of the following is the most logical inference to be drawn from the passage about the effects of “several acts of the Maryland and Virginia legislatures” (Para.2) passed during and after the 1660‟s?A. The acts negatively affected the pre-1660’s position of Black as wellas of White servants.B. The acts had the effect of impairing rather than improving theposition of White servants relative to what it had been before the 1660’s.C. The acts had a different effect on the position of white servants thandid many of the acts passed during this time by the legislatures of other colonies.D. The acts, at the very least, caused the position of White servants toremain no better than it had been before the 1660’s.17. With which of the following statements regarding the status ofBlack people in the English colonies of North America before the 1660‟s would the author be LEAST likely to agree?A. Although black people were not legally considered to be slaves,they were often called slaves.B. Although subject to some discrimination, black people had a higherlegal status than they did after the 1660’s.C. Although sometimes subject to lifetime servitude, black peoplewere not legally considered to be slaves.D. Although often not treated the same as White people, black people,like many white people, possessed the legal status of servants.18. According to the passage, the Handlins have argued which of thefollowing about the relationship between racial prejudice and the institution of legal slavery in the English colonies of North America?A. Racial prejudice and the institution of slavery arose simultaneously.B. Racial prejudice most often the form of the imposition of inheritedstatus, one of the attributes of slavery.C. The source of racial prejudice was the institution of slavery.D. Because of the influence of the Roman Catholic Church, racialprejudice sometimes did not result in slavery.19. The passage suggests that the existence of a Roman conception ofslavery in Spanish and Portuguese colonies had the effect of _________.A. extending rather than causing racial prejudice in these coloniesB. hastening the legalization of slavery in these colonies.C. mitigating some of the conditions of slavery for black people in these coloniesD. delaying the introduction of slavery into the English colonies20. The author considers the explanation put forward by Freyre andTannenbaum for the treatment accorded B lack slaves in the English colonies of North America to be _____________.A. ambitious but misguidedB. valid有根据的but limitedC. popular but suspectD. anachronistic过时的,时代错误的and controversialUNIT 2Text AThe sea lay like an unbroken mirror all around the pine-girt, lonely shores of Orr’s Island. Tall, kingly spruce s wore their regal王室的crowns of cones high in air, sparkling with diamonds of clear exuded gum流出的树胶; vast old hemlocks铁杉of primeval原始的growth stood darkling in their forest shadows, their branches hung with long hoary moss久远的青苔;while feathery larches羽毛般的落叶松,turned to brilliant gold by autumn frosts, lighted up the darker shadows of the evergreens. It was one of those hazy朦胧的, calm, dissolving days of Indian summer, when everything is so quiet that the fainest kiss of the wave on the beach can be heard, and white clouds seem to faint into the blue of the sky, and soft swathing一长条bands of violet vapor make all earth look dreamy, and give to the sharp, clear-cut outlines of the northern landscape all those mysteries of light and shade which impart such tenderness to Italian scenery.The funeral was over,--- the tread鞋底的花纹/ 踏of many feet, bearing the heavy burden of two broken lives, had been to the lonely graveyard, and had come back again,--- each footstep lighter and more unconstrained不受拘束的as each one went his way from the great old tragedy of Death to the common cheerful of Life.The solemn black clock stood swaying with its eternal ―tick-tock, tick-tock,‖ in the kitchen of the brown house on Orr’s Island. There was there that sense of a stillness that can be felt,---such as settles down on a dwelling住处when any of its inmates have passed through its doors for the last time, to go whence they shall not return. The best room was shut up and darkened, with only so much light as could fall through a little heart-shaped hole in the window-shutter,---for except on solemn visits, or prayer-meetings or weddings, or funerals, that room formed no part of the daily family scenery.The kitchen was clean and ample, hearth灶台, and oven on one side, and rows of old-fashioned splint-bottomed chairs against the wall. A table scoured to snowy whiteness, and a little work-stand whereon lay the Bible, the Missionary Herald, and the Weekly Christian Mirror, before named, formed the principal furniture. One feature, however, must not be forgotten, ---a great sea-chest水手用的储物箱,which had been the companion of Zephaniah through all the countries of the earth. Old, and battered破旧的,磨损的, and unsightly难看的it looked, yet report said that there was good store within which men for the most part respect more than anything else; and, indeed it proved often when a deed of grace was to be done--- when a woman was suddenly made a widow in a coast gale大风,狂风, or a fishing-smack小渔船was run down in the fogs off the banks, leaving in some neighboring cottage a family of orphans,---in all such cases, the opening of this sea-chest was an event of good omen 预兆to the bereaved丧亲者;for Zephaniah had a large heart and a large hand, and was apt有…的倾向to take it out full of silver dollars when once it went in. So the ark of the covenant约柜could not have been looked on with more reverence崇敬than the neighbours usually showed to Captain Pennel’s sea-chest.1. The author describes Orr‟s Island in a(n)______way.A.emotionally appealing, imaginativeB.rational, logically preciseC.factually detailed, objectiveD.vague, uncertain2.According to the passage, the “best room”_____.A.has its many windows boarded upB.has had the furniture removedC.is used only on formal and ceremonious occasionsD.is the busiest room in the house3.From the description of the kitchen we can infer that thehouse belongs to people who_____.A.never have guestsB.like modern appliancesC.are probably religiousD.dislike housework4.The passage implies that_______.A.few people attended the funeralB.fishing is a secure vocationC.the island is densely populatedD.the house belonged to the deceased5.From the description of Zephaniah we can see thathe_________.A.was physically a very big manB.preferred the lonely life of a sailorC.always stayed at homeD.was frugal and saved a lotText BBasic to any understanding of Canada in the 20 years after the Second World War is the country' s impressive population growth. For every three Canadians in 1945, there were over five in 1966. In September 1966 Canada's population passed the 20 million mark. Most of this surging growth came from natural increase. The depression of the 1930s and the war had held back marriages, and the catching-up process began after 1945. The baby boom continued through the decade of the 1950s, producing a population increase of nearly fifteen percent in the five years from 1951 to 1956. This rate of increase had been exceeded only once before in Canada's history, in the decade before 1911 when the prairies were being settled. Undoubtedly, the good economic conditions of the 1950s supported a growth in the population, but the expansion also derived from a trend toward earlier marriages and an increase in the average size of families; In 1957 the Canadian birth rate stood at 28 per thousand, one of the highest in the world. After the peak year of 1957, thebirth rate in Canada began to decline. It continued falling until in 1966 it stood at the lowest level in 25 years. Partly this decline reflected the low level of births during the depression and the war, but it was also caused by changes in Canadian society. Young people were staying at school longer, more women were working; young married couples were buying automobiles or houses before starting families; rising living standards were cutting down the size of families. It appeared that Canada was once more falling in step with the trend toward smaller families that had occurred all through theWestern world since the time of the Industrial Revolution. Although the growth in Canada’s population had slowed down by 1966 (the cent), another increase in the first half of the 1960s was only nine percent), another large population wave was coming over the horizon. It would be composed of the children of the children who were born during the period of the high birth rate prior to 1957.6. What does the passage mainly discuss?A. Educational changes in Canadian society.B. Canada during the Second World War.C. Population trends in postwar Canada.D. Standards of living in Canada.7. According to the passage, when did Canada's baby boom begin?A. In the decade after 1911.B. After 1945.C. During the depression of the 1930s.D. In 1966.8. The author suggests that in Canada during the 1950s____________.A. the urban population decreased rapidlyB. fewer people marriedC. economic conditions were poorD. the birth rate was very high9. When was the birth rate in Canada at its lowest postwar level?A. 1966.B. 1957.C. 1956.D. 1951.10. The author mentions all of the following as causes of declines inpopulation growth after 1957 EXCEPT_________________.A. people being better educatedB. people getting married earlierC. better standards of livingD. couples buying houses11.I t can be inferred from the passage that before the IndustrialRevolution_______________.A. families were largerB. population statistics were unreliableC. the population grew steadilyD. economic conditions were badText CI was just a boy when my father brought me to Harlem for the first time, almost 50 years ago. We stayed at the hotel Theresa, a grand brick structure at 125th Street and Seventh avenue. Once, in the hotel restaurant, my father pointed out Joe Louis. He even got Mr. Brown, the hotel manager, to introduce me to him, a bit punchy强力的but still champ焦急as fast as I was concerned.Much has changed since then. Business and real estate are booming. Some say a new renaissance is under way. Others decry责难what they see as outside forces running roughshod肆意践踏over the old Harlem. New York meant Harlem to me, and as a young man I visited it whenever I could. But many of my old haunts are gone. The Theresa shut down in 1966. National chains that once ignored Harlem now anticipate yuppie money and want pieces of this prime Manhattan real estate. So here I am on a hot August afternoon, sitting in a Starbucks that two years ago opened a block away from the Theresa, snatching抓取,攫取at memories between sips of high-priced coffee. I am about to open up a piece of the old Harlem---the New York Amsterdam News---when a tourist。
Anomalies and financial distress.
Anomalies andfinancial distress$Doron Avramov a,Tarun Chordia b,Gergana Jostova c,Alexander Philipov d,na School of Business,The Hebrew University of Jerusalem,Jerusalem,Israelb Goizueta Business School,Emory University,Atlanta,GA30322,USAc School of Business,George Washington University,Washington,DC20052,USAd School of Management,George Mason University,MSN5F5,4400University Drive,Fairfax,VA22030,USAa r t i c l e i n f oArticle history:Received14November2011Received in revised form5January2012Accepted15January2012Available online23October2012JEL classification:G14G12G11Keywords:Asset pricing anomaliesFinancial distressCredit ratingsa b s t r a c tThis paper explores commonalities across asset pricing anomalies.In particular,we assess implications offinancial distress for the profitability of anomaly-based tradingstrategies.Strategies based on price momentum,earnings momentum,credit risk,dispersion,idiosyncratic volatility,and capital investments derive their profitabilityfrom taking short positions in high credit riskfirms that experience deteriorating creditconditions.In contrast,the value-based strategy derives most of its profitability fromtaking long positions in high credit riskfirms that survivefinancial distress andsubsequently realize high returns.The accruals anomaly is an exception.It is robustamong high and low credit riskfirms in all credit conditions.&2012Elsevier B.V.All rights reserved.1.IntroductionAsset pricing theories prescribe that riskier assetsshould command higher returns.Existing theories,how-ever,leave unexplained a host of empirically documentedcross-sectional patterns in stock returns,classified asanomalies.Specifically,the literature has shown that,in the cross section,future stock returns are positivelyrelated to past returns(Jegadeesh and Titman,1993,pricemomentum),unexpected earnings(Ball and Brown,1968,earnings momentum),and book-to-market(BM;Fama andFrench,1992,value effect).Further,stock returns are nega-tively related tofirm size(Fama and French,1992),accruals(Sloan,1996),credit risk(Dichev,1998;Campbell,Hilscher,and Szilagyi,2008;Avramov,Chordia,Jostova,and Philipov,2009a),dispersion in analysts’earnings forecasts(Diether,Malloy,and Scherbina,2002),capital investments(Titman,Wei,and Xie,2004),asset growth(Cooper,Gulen,and Schill,2008),and idiosyncratic volatility(Ang,Hodrick,Xing,andZhang,2006).Contents lists available at SciVerse ScienceDirectjournal homepage:/locate/jfecJournal of Financial Economics0304-405X/$-see front matter&2012Elsevier B.V.All rights reserved./10.1016/j.jfineco.2012.10.005$We are grateful forfinancial support from the Q-Group and theFederal Deposit Insurance Corporation Center for Financial Research.Wethank Eugene F.Fama(the referee),G.William Schwert(the editor),CemDemiroglu,Amit Goyal,Jens Hilscher,Stefan Jacewitz,Michael J.Schill,Andreas Schrimpf,Matthew Spiegel,Avanidhar Subrahmanyam,andseminar participants at the Adam Smith Asset Pricing conference(University of Oxford),University of Alberta,the2011,Asian FinanceAssociation conference,Bar Ilan University,Burridge Center InvestmentConference,2010Conference on Financial Economics and Accounting,Deakin University,FDIC,Florida International University,2010FinancialManagement Association(FMA)conference,2010FMA Asian conference,Goldman Sachs Asset Management,Hebrew University of Jerusalem,Indian School of Business,Interdisciplinary Center Herzlia,2011JacksonHole Finance conference,Koc University,National University of Singa-pore,SAC Capital,Singapore Management University,State Street GlobalAdvisors,Tel Aviv University,and Texas A&M University for usefulcomments andsuggestions.n Corresponding author.Tel.:þ17039939762.E-mail addresses:davramov@huji.ac.il(D.Avramov),Tarun.Chordia@(T.Chordia),jostova@(G.Jostova),aphilipo@(A.Philipov).Journal of Financial Economics108(2013)139–159This paper examines the price momentum,earnings momentum,credit risk,dispersion,idiosyncratic volatility,asset growth,capital investments,accruals,and value anoma-lies in a unified framework.We explore commonalities across anomalies and,in particular,assess the implications of financial distress for the profitability of anomaly-based trad-ing strategies.Financial distress leads to sharp responses in stock and bond prices,and this pattern could potentially be related to the dynamics of anomalies.1Our motivation to examine financial distress follows Fama and French (1993),who suggest that the size and value factors proxy for a priced distress factor.However,Campbell,Hilscher,and Szilagyi (2008)find that while distressed firms have high loadings on the small-minus-big (SMB)and high-minus-low (HML)factors,they generate lower,not higher,returns,and the authors argue against the existence of a priced distress factor.Moreover,consis-tent with the anomalies literature,Daniel and Titman (1997)argue that it is the size and value characteristics,not SMB and HML factor loadings,that impact stock returns.In this paper,we consider financial distress to be a characteristic and examine its impact on stock returns and the profitability of anomalies.The potential implications of financial distress for asset pricing anomalies have not yet been comprehensively explored.This paper attempts to fill this gap.We focus on financial distress,instead of other possibly correlated characteristics,because it has direct implications for a firm’s future performance.For example,triggers in bond covenants could stipulate coupon rate increases if rating drops below a certain grade.Creditors could abandon low-rated firms.2Financial distress could result in loss of customers,suppliers,and key employees.Further,manage-rial time could be spent on dealing with financial distress instead of focusing on value-enhancing projects.There are also regulatory restrictions on the minimum ratings of firms,which some institutions can invest in.These restric-tions could be difficult to tie to other firm characteristics such as size,illiquidity,or volatility.In addition,a credit rating downgrade offers a directly observable measure of deteriorating firm conditions.Thus,financial distress,as proxied by rating downgrades,is likely to be a primary ex ante indicator of a firm’s future performance.The evidence,based on portfolio sorts and cross-sectional regressions as in Fama and French (2008),shows that the profitability of strategies based on price momentum,earnings momentum,credit risk,dispersion,idiosyncratic volatility,asset growth,and capital investments is concentrated in the worst-rated stocks.Their profitability disappears when firms rated BB þor below are excluded from the investment universe.Strikingly,these low-rated firms represent only 9.7%of the market capitalization of rated firms.Yet credit risk is not merely a proxy for size or illiquidity.Results from double sorts on rating and size (or illiquidity)show that theanomalies are reasonably robust across size (and illiquidity)groups.The results also suggest that the profitability of the anomaly-based trading strategies is generated almost entirely by the short side of the strategy among the worst-rated firms.The value effect is also significant only among low-rated stocks.The accruals strategy is an exception.While more profitable among low-rated firms,it is robust across all credit risk groups.The profitability of the price momentum,earnings momentum,credit risk,dispersion,idiosyncratic volati-lity,and capital investments anomalies derives exclu-sively from periods of financial distress.None of these strategies is profitable when periods around credit rating downgrades are excluded from the sample.In contrast,the value anomaly derives most of its profitability during stable or improving credit conditions from long positions in low-rated stocks.Accruals is again an exception.It is profitable during deteriorating,stable,and improving credit conditions.The distinct patterns of the accruals and value effects suggest that these effects emerge from different economic premises.Accruals are based on managerial discretion about the desired gap between net profits and operating cash flows,and this target gap appears insensitive to credit conditions.The value effect emerges from long positions in low-rated firms that survive financial distress and realize relatively high subsequent returns.All other anomalies derive their profitability from low-rated firms experiencing falling stock prices during periods of financial distress.We find that financial distress causes these anomalies’conditioning variables for the low-rated stocks to take extreme values,which in turn puts these distressed low-rated stocks on the short side of the trading strategies.These distressed stocks subsequently realize extremely low returns,thus producing the anomalous profits from the short side of the trading strategy.Financial distress provides the link between the anomalies’condi-tioning variables and the subsequent profitability of the anomaly-based trading strategy.The paper proceeds as follows.The next section describes the data.Section 3discusses the methodology.Section 4presents the results,and Section 5concludes.2.DataThe full sample consists of the intersection of all US firms listed on NYSE,Amex,and Nasdaq with available monthly returns in the Center for Research in Security Prices (CRSP)and monthly Standard &Poor’s (S&P)Long-Term Domestic Issuer Credit Rating available on Compustat North America or S&P Credit Ratings (also called RatingsXpress)on Wharton Research Data Services.The total number of rated firms with available return observations is 4,953with an average of 1,931per month.There are 1,232rated firms in October 1985,when the sample begins,and 2,196in December 2008,when the sample ends.The maximum number of firms,2,497,is recorded in April 2000.The asset pricing anomalies we study require data on stock return,credit rating,and a variety of equity characteristics.The sample size changes based on the conditioning variable for each anomaly.1See Hand,Holthausen,and Leftwich (1992)and Dichev and Piotroski (2001).2Our analysis uses Standard &Poor’s (S&P)entity ratings,which are based on the firm’s overall ability to service its financial commitments.Section 2provides more details about the S&P definition of a company’s rating.D.Avramov et al./Journal of Financial Economics 108(2013)139–159140Afirm’s long-term issuer credit rating is provided in both Compustat and RatingsXpress directly by S&P.As defined by S&P,the‘‘long-term issuer credit rating is a current opinion of an issuer’s overall creditworthiness,apart from its ability to repay individual obligations.This opinion focuses on the obligor’s capacity and willingness to meet its long-term financial commitments(those with maturities of more than one year)as they come due.’’We transform the S&P ratings into numeric scores.Specifically,1represents a AAA rating and22reflects a D rating.3Hence,a higher numeric score reflects higher credit risk.Numeric ratings of10or below (BBBÀor better)are considered investment-grade,and ratings of11or higher(BBþor worse)are labeled high-yield or non-investment grade.Some stocks in our sample are delisted during the holding period.Delisting returns from CRSP are used whenever stocks are delisted.We check that our results are not driven by the delisting returns either by setting the delisting returns to zero or by eliminating the delisting returns from the sample.Stocks priced less than a dollar at the beginning of the month are excluded from the analysis.Summary statistics are reported in Table1.Each month t,all stocks rated by S&P are sorted into terciles based on their credit rating.For each tercile,we compute the cross-sectional median characteristic for month tþ1. Table1reports the time series average of the monthly median cross-sectional characteristic.The best-rated stock tercile(C1)has an average rating of Aþ,the medium-rated tercile(C2)has an average rating of BBBÀ,and the worst-rated tercile(C3)has an average rating of Bþ.Worse-ratedfirms tend to be smaller.The average market capitalization of the best-rated stocks is$3.30 billion,and that of the worst-rated is$0.35billion.The book-to-market ratio increases monotonically from0.52 in C1to0.64in C3.The average stock price decreases monotonically from$38.07in C1to$12.47in C3.Institu-tions hold on average59%of the shares outstanding of the best-rated stocks(an average holding of$1.95billion)and 49%of those of the worst-rated stocks(an average holding of$0.17billion).The worst-ratedfirms are considerably less liquid than the best-ratedfirms.The average monthly dollar trading volume decreases from$284million for the best-rated to$53 million for the worst-rated NYSE/Amex stocks and from$73 million for the best-rated to$40million for the worst-rated Nasdaq stocks.The Amihud(2002)illiquidity measure is0.02 and0.12for the best-rated NYSE/Amex and Nasdaq stocks, respectively.For the lowest-rated stocks,the illiquidity measure is0.44and0.48for NYSE/Amex and Nasdaq, respectively.This measure is computed as the absolute return per dollar of daily trading volume:ILLIQ it¼1it X D itt¼19Ritd9itdn107,ð1Þwhere R itd is the return,DVOL itd is the dollar trading volumeof stock i on day d in month t,and D it is the number of dayswith positive DVOL itd for stock i in month t(a minimum often days is required).Next,we analyze several variables that proxy for uncer-tainty about afirm’s future fundamentals.In particular,theaverage number of analysts following afirm decreasesmonotonically from14for the highest-tofive for thelowest-rated stocks.Analysts’revisions of earnings per share(EPS)forecasts are negative and much larger in absolutevalue for the low-versus high-rated stocks.Standardizedunexpected earnings(SUE)decrease monotonically from0.58for C1to0.14for C3stocks.4Dispersion in analysts’EPS forecasts increases from0.03in C1to0.11in C3stocks.Leverage,computed as the book value of long-term debt tocommon equity,increases monotonically from0.54for C1to1.17for C3stocks.Worse-rated stocks have more systematic risk andearn lower risk-adjusted returns than better-rated stocks.Market betas increase monotonically from0.82forthe highest-rated to 1.31for the lowest-rated stocks.The Fama and French SMB betas also increase fromÀ0.06for C1to0.82for C3stocks.However,the CapitalAsset Pricing Model(CAPM)alphas decrease from0.30%per month for C1toÀ0.60%for C3stocks,and the Famaand French alphas decrease from0.11%toÀ0.80%.This isthe credit risk puzzle—one of the anomalies we address inthis paper.3.MethodologyOur analysis of anomalies is based on portfolio sorts andcross-sectional regressions.Focusing on the former,portfolioreturns are value-weighted as well as equally weightedacross stocks.Equally weighted portfolio returns can bedominated by tiny(microcap)stocks that account for a verylow fraction of the market capitalization but a vast majorityof the stocks in the extreme anomaly-sorted portfolios.Value-weighted returns can be dominated by a few bigstocks.Separately,either case could result in an unrepre-sentative picture of the importance of an anomaly.Thus,wepresent both.Portfolio returns and cross-sectional regressions arebased on size-and BM-adjusted stock returns,as in Famaand French(2008).5In particular,using all stocks in CRSP,we form5Â5independently sorted size and BM portfo-lios based on NYSE size and BM quintile cutoffs as ofDecember of year tÀ1.Value-weighted monthly portfolioreturns are then calculated for each of the25size-andBM-sorted portfolios from July of year t to June of yeartþ1.We then subtract the monthly return of the match-ing size and BM portfolio from each individual monthlystock return to obtain the stock’s size-and BM-adjustedreturn.3The entire spectrum of ratings is as follows:AAA¼1,AAþ¼2, AA¼3,AAÀ¼4,Aþ¼5,A¼6,AÀ¼7,BBBþ¼8,BBB¼9,BBBÀ¼10, BBþ¼11,BB¼12,BBÀ¼13,Bþ¼14,B¼15,BÀ¼16,CCCþ¼17, CCC¼18,CCCÀ¼19,CC¼20,C¼21,and D¼22.4SUE is the difference between current quarterly EPS and EPS reported four quarters ago,divided by the standard deviation of quarterly EPS changes over the preceding eight quarters.5We check that our results are robust to using raw,instead of size-and BM-adjusted,returns.In fact,the raw anomaly profits are stronger and are again concentrated in high credit riskfirms.D.Avramov et al./Journal of Financial Economics108(2013)139–159141We perform the analysis across all rated stocks as well as within subsets based on credit ratings and market capitalization.In particular,we implement the analysis within credit rating terciles (C1:best-rated,C2:medium-rated,C3:worst-rated),as well as within microcap,small,and big firms.The anomalies are also studied within subsamples based on an independent sort by the three size and three credit rating groups.Following Fama and French (2008),microcap firms are those with market cap below the 20th percentile of NYSE firms,measured as of June of the prior year.Small firms are those between the 20th and 50th percentile and big firms are those above the median NYSE capitalization.While microcap stocks represent 17.78%of the total number of rated stocks,they account for only 0.46%of the market capitalization of all rated stocks.Small stocks comprise 27.26%of the total number of rated stocks and 3.03%of the market capita-lization.Big stocks represent 54.97%of the total number of rated stocks and an overwhelming 96.51%of the market capitalization.Fama and French (2008)report that microcap stocks account for 3.07%,small stocks for 6.45%,and big stocks for 90.48%of the market capitalization of all CRSP stocks.Our percentages are different because large firms are more likely to be rated.Our portfolio formation methodology is consistent across anomalies.Each month t ,stocks are sorted into quintile portfolios on the basis of the anomaly-specific conditioning variable.P1(P5)denotes the portfolio containing stocks with the lowest (highest)value of the conditioning variable.Each anomaly-based tradingTable 1Stock characteristics,alphas,and betas by credit rating tercile.Each month t ,all stocks rated by Standard &Poor’s (S&P)are divided into terciles based on their credit rating.Stocks priced below $1are removed.Panel A reports the average S&P numeric (and letter equivalent)rating for each group.The numeric rating is 1¼AAA,2¼AA þ,y ,21¼C,22¼D.For each tercile,we compute the cross-sectional median characteristic for month t þ1.The sample period is October 1985to December 2008.Panel A reports the time series average of these monthly medians.Institutional share is the percentage of shares outstanding owned by institutions.Dollar volume is the monthly dollar trading volume.Amihud’s illiquidity is computed,as in Amihud (2002)[see Eq.(1)].Analysts’EPS revisions is the change in mean earnings per share forecast since the prior month divided by the absolute value of the prior month mean EPS forecast.Standardized unexpected earnings (SUE)are the EPS reported this quarter minus the EPS four quarters ago,divided by the standard deviation of EPS changes over the last eight quarters.Dispersion is the standard deviation in analysts’EPS forecasts standardized by the absolute value of the consensus forecast.Leverage is the ratio of book value of long-term debt to common equity.Panel B reports capital asset pricing model (CAPM)and Fama and French (1993)alphas and betas from time series regressions of the credit risk tercile portfolio excess returns on the factor returns.SMB ¼small minus big,HML ¼high minus low.t -statistics are in parentheses (bold if significant at the 5%level).Panel A:Stock characteristicsRating tercile (C1¼lowest,C3¼highest risk)CharacteristicC1C2C3Average S&P letter rating A þBBB ÀB þAverage S&P numeric rating5.559.6414.39Market capitalization (billions of dollars) 3.30 1.260.35Book-to-market ratio 0.520.620.64Price (dollars)38.0726.4012.47Institutional share0.590.610.49Dollar volume -NYSE/Amex (millions of dollars)284.34147.2753.28Dollar volume -Nasdaq (millions of dollars)73.0784.6439.57Illiquidity -NYSE/Amex (Â107)0.020.050.44Illiquidity -Nasdaq (Â107)0.120.190.48Number of analysts14.049.30 5.28Analysts’EPS revisions (percent)À0.02À0.11À0.14SUE0.580.330.14Dispersion in analysts’EPS forecasts 0.030.050.11Long-term debt to common equity 0.540.771.17Panel B:Portfolio alphas and betasC1C2C3C1–C3CAPM alpha (percent per month)0.300.21À0.600.90(2.96)(1.71)(À3.06)(4.12)CAPM beta0.820.95 1.31À0.48(37.46)(34.68)(30.17)(À10.06)FF93alpha (percent per month)0.11À0.05À0.800.91(1.69)(À0.58)(À6.49)(6.81)Market beta 0.96 1.08 1.32À0.37(59.33)(56.48)(44.78)(À11.42)SMB beta À0.060.280.82À0.89(À3.00)(11.07)(21.12)(À20.88)HML beta0.410.600.47À0.06(16.47)(19.95)(10.24)(À1.16)D.Avramov et al./Journal of Financial Economics 108(2013)139–159142strategy involves buying one of the extreme portfolios (P1or P5),selling the opposite extreme portfolio(P5or P1), and holding both portfolios for the following K months. Each quintile portfolio return is calculated as the equally or value-weighted average return of its constituent stocks. When the holding period,K,is longer than a month,the monthly return is based on an equally weighted average of portfolio returns from strategies implemented in the prior K months.While this methodology applies to all strategies, strategies differ with respect to their conditioning variable and their holding period,consistent with the literature on each anomaly.The price momentum strategy is constructed as in Jegadeesh and Titman(1993).Stocks are sorted on their cumulative return over the formation period(months tÀ6 to tÀ1).The momentum strategy involves buying the winner portfolio(P5),selling the loser portfolio(P1),and holding both positions for six months(tþ1to tþ6). We skip a month between the formation and holding periods to avoid the potential impact of short-run reversal.The earnings momentum strategy conditions on SUE, based on the latest quarterly EPS announced over months tÀ4to tÀ1.The strategy involves buying the highest SUE portfolio(P5),selling the lowest SUE portfolio(P1),and holding both portfolios for six months.The credit risk strategy conditions on the prior month credit rating.It involves buying the best-rated portfolio (P1),selling the worst-rated portfolio(P5),and holding both for a month.As in Diether,Malloy,and Scherbina(2002),the dis-persion strategy conditions on the prior month standard deviation of analysts’EPS forecasts for the upcomingfiscal year-end,standardized by the absolute value of the mean forecast.Observations based on less than two analysts are excluded.The strategy involves buying P1(lowest disper-sion),selling P5(highest dispersion),and holding them for one month.Idiosyncratic volatility(IV)is computed as the sum of the stock’s squared daily returns minus the sum of the squared daily returns on the value-weighted CRSP index, as in Campbell,Lettau,Malkiel,and Xu(2001).The strategy conditions on prior month IV and involves buying P1(lowest volatility),selling P5(highest volatility),and holding both for one month.Following Cooper,Gulen,and Schill(2008),the asset growth anomaly conditions on the percentage change in total assets from December of year tÀ2to December of year tÀ1.The strategy involves buying P1(lowest growth),selling P5(highest growth),and holding both from July of year t to June of year tþ1.As in Titman,Wei and Xie(2004),the capital invest-ments strategy conditions on the ratio of capital expen-ditures for year tÀ1to the amount of property,plant,and equipment as of December of year tÀ2.It involves buying P1(lowest investments),selling P5(highest investments), and holding both positions from July of year t through June of year tþ1.Accruals are computed following Sloan(1996)using quarterly Compustat data.There is a four-month lag between formation and holding periods to ensure that all accounting variables to calculate accruals are in the investor’s information set.The strategy involves buying P1(lowest accruals),selling P5(highest accruals),and holding them for12months.As in Fama and French(1992),the value strategy conditions on the BM ratio as of December of year tÀ1. It involves buying P5(highest BM:value stocks),selling P1(lowest BM:growth stocks),and holding both portfo-lios from July of year t to June of year tþ1.4.ResultsOne concern we address upfront is whether the sample of ratedfirms is representative.For each anomaly,we compute the fraction of market capitalization captured by our sample of ratedfirms relative to the entire CRSP sample.Our sample captures89.35%of market capitaliza-tion of the overall CRSP sample for price momentum;90.72%for earnings momentum;90.44%for the dispersion anomaly;89.30%for the idiosyncratic volatility anomaly;88.64%for the asset growth anomaly;88.60%for the investments anomaly;86.84%for the accruals anomaly; and88.43%for the value anomaly.On average we capture about89.04%of the overall CRSP market capitalization, suggesting that our sample of ratedfirms is reasonably representative.In addition,we compare anomaly profits in ratedfirms(Table2)and in all CRSPfirms(Table A1in the Appendix).Anomaly profits are comparable,suggest-ing that our sample of ratedfirms adequately represents the overall CRSP universe.This paper focuses on credit rating as a proxy for credit conditions,as the rating provides a publicly available,non-model-specific,mea-sure of credit risk andfinancial distress.6Table2presents for each anomaly monthly returns for the extreme portfolios,P1and P5,as well as return differentials,P5-P1or P1-P5,as noted at the top of each column.Panel A exhibits the size-and BM-adjusted equally weighted portfolio returns.Panel B presents the corresponding value-weighted returns.Wefirst examine anomaly-based profitability for all ratedfirms based on equally weighted returns.The price momentum strategy yields a winner-minus-loser return of100basis points(bps)per month with the loser stocks earningÀ74bps and the winner stocks earning27bps. The monthly profits are44bps for the earnings momen-tum strategy,71bps for the credit risk strategy,62bps for the dispersion strategy,81bps for the idiosyncratic vola-tility strategy,54bps for the asset growth strategy,45bps for the capital investments strategy,and27bps for the accruals strategy.All these anomalies’profits are statisti-cally significant.The value strategy delivers the lowest return—a statistically insignificantÀ15bps per month. Given that we use size-and BM-adjusted returns,it is not 6In Table A1,we use Altman’s Z-score instead of credit ratings to proxy forfinancial distress.One caveat with using Altman’s Z-score is that it uses past returns and is,thus,somewhat endogenous.Moreover, not allfirms have accounting data in Compustat to compute Z-scores,so the reduction in number offirms from Z-score is even larger.Wefind ratings to be a much betterfilter than Z-scores when isolating thefirms driving most anomalies.In any case,we show in Fig.2that the Z-score and downgrades are highly correlated.D.Avramov et al./Journal of Financial Economics108(2013)139–159143。
tpo37三篇阅读原文译文题目答案译文背景知识
tpo37三篇阅读原文译文题目答案译文背景知识阅读-1 (2)原文 (2)译文 (3)题目 (4)答案 (10)背景知识 (10)阅读-2 (11)原文 (11)译文 (13)题目 (14)答案 (19)背景知识 (19)阅读-3 (20)原文 (21)译文 (22)题目 (23)答案 (29)背景知识 (29)阅读-1原文Thales And The Milesians①While many other observers and thinkers had laid the groundwork for science, Thales(circa624B.C.E-ca547B.C.E.),the best known of the earliest Greek philosophers,made the first steps toward a new,more objective approach to finding out about the world.He posed a very basic question:"What is the world made of?"Many others had asked the same question before him,but Thales based his answer strictly on what he had observed and what he could reason out-not on imaginative stories about the gods or the supernatural.He proposed water as the single substance from which everything in the world was made and developed a model of the universe with Earth as a flat disk floating in water.②Like most of the great Greek philosophers,Thales had an influence on others around him.His two best-known followers,though there were undoubtedly others who attained less renown,were Anaximander and Anaximenes.Both were also from Miletus(located on the southern coast of present-day Turkey)and so,like Thales,were members of the Milesian School.Much more is known about Anaximander than about Anaximenes,probably because Anaximander,who was born sometime around610B.C.E,ambitiously attempted to write a comprehensive history of the universe.As would later happen between another teacher-student pair of philosophers,Plato and Aristotle,Anaximander disagreed with his teacher despite his respect for him.He doubted that the world and all its contents could be made of water and proposed instead a formless and unobservable substance he called"apeiron"that was the source of all matter.③Anaximander's most important contributions,though,were in other areas. Although he did not accept that water was the prime element,he did believe that all life originated in the sea,and he was thus one of the first to conceive of this important idea.Anaximander is credited with drawing up the first world map of the Greeks and also with recognizing that Earth's surface was curved.He believed, though,that the shape of Earth was that of a cylinder rather than the sphere that later Greek philosophers would conjecture.Anaximander,observing the motions of the heavens around the polestar,was probably the first of the Greek philosophers to picture the sky as sphere completely surrounding Earth-an idea that,elaborated upon later,would prevail until the advent of the Scientific Revolution in the seventeenth century.④Unfortunately,most of Anaximander's written history of the universe was lost, and only a few fragments survive today.Little is known about his other ideas. Unfortunately,too,most of the written work for Anaximenes,who may have been Anaximander's pupil,has also been lost.All we can say for certain about Anaximenes,who was probably born around560BCE,is that following in the tradition of Anaximander,he also disagreed with his mentor.The world,according to Anaximenes,was not composed of either water or apeiron,but air itself was the fundamental element of the pressed,it became water and earth, and when rarefied or thinned out,it heated up to become fire.Anaximenes may have also been the first to study rainbows and speculate upon their natural rather than supernatural cause.⑤With the door opened by Thales and the other early philosophers of Milestus, Greek thinkers began to speculate about the nature of the universe.This exciting burst of intellectual activity was for the most part purely creative.The Greeks,from Thales to Plato and Aristotle,were philosophers and not scientists in today's sense. It is possible for anyone to create"ideas"about the nature and structure of the universe,for instance,and many times these ideas can be so consistent and elaborately structured,or just so apparently obvious,that they can be persuasive to many people.A scientific theory about the universe,however,demands much more than the various observations and analogies that were woven together to form systems of reasoning,carefully constructed as they were,that would eventually culminate in Aristotle's model of the world and the universe.Without experimentation and objective,critical testing of their theories,the best these thinkers could hope to achieve was some internally consistent speculation that covered all the bases and satisfied the demands of reason.译文泰勒斯和米利西亚人①当许多其他观察家和思想家为科学奠定基础时,泰勒斯(约公元前624年-约公元前547年),最著名的古希腊哲学家,迈出了探索世界的更客观的新方法的第一步。
How thorough is thorough enough
How Thorough is Thorough Enough?Arie Gurfinkel and Marsha ChechikDepartment of Computer Science,University of Toronto,Email:arie,chechik@Abstract.Abstraction is the key for effectively dealing with the state explosionproblem in model-checking.Unfortunately,finding abstractions which are smalland yet enable us to get conclusive answers about properties of interest is no-toriously hard.Counterexample-guided abstraction refinement frameworks havebeen proposed to help build good abstractions iteratively.Although effective inmany cases,such frameworks can include unnecessary refinement steps,leadingto larger models,because the abstract verification step is not as conclusive as itcan be in theory.Abstract verification can be supplemented by a more precisebut much more expensive thorough check,but it is not clear how often this checkreally helps.In this paper,we study the relationship between model-checking andthorough checking and identify practical cases where the latter is not necessary,and those where it can be performed efficiently.1IntroductionAbstraction is arguably the most effective technique for dealing with the state explosion problem in model-checking.The goal of abstraction is to build a system which is small enough to analyze yet the one that allows to verify properties of interest.Such abstrac-tions may be very hard to build;instead,we typically start with an abstraction which may be too crude for certain properties,and then refine it,attempting to reach a definite answer.The best-known method for abstraction refinement,guided by counterexamples,has been suggested by Clarke et al.[5]and is outlined in Figure1(a).This framework assumes that the abstraction is an overapproximation of the system of interest, i.e.,every execution of is an execution of.When a universal property holds in,this result can be trusted.Otherwise,either does not hold in,or the abstraction is too crude.To tell between these cases,a counterexample obtained by verifying in is checked for feasibility by playing it back in.This either establishes the failure of,or enables the refinement of that eliminates the spurious counterexample.Several researchers[12,22,4,9,11]proposed an improvement of this framework that enables reasoning about arbitrary CTL formulas.In their framework,outlined in Figure1(b),an abstract model is3-valued,which combines over-and under-approxi-mation of.Model-checking a CTL formula on either yields true or false, which can be trusted without the need to resort to the counterexample,or it returns maybe,i.e.,inconclusive.In this case,the counterexample can be used to refine the ab-straction.Since building3-valued models is no more expensive than classical[11],and neither is3-valued model-checking[4]nor3-valued counterexample generation[15,22],this framework is not more expensive than classical,while allowing to reason abouta larger class of temporal logic properties.Goal:Check ACTL formula on a model1.repeat until resources are exhausted2.Build an abstract model.3.Model-check on.4.if YES,return“holds on”5.else6.Check if the counterexample is feasible7.if YES,return“fails on”8.else use the counterexample for refinement.Goal:Check CTL formula on a model1.repeat until resources are exhausted2.Build a3-val abstract model.3.Model-check on.4.if YES,return“holds on”5.if NO,return“fails on”6.else use the counterexample for refinement.(a)(b)Fig.1.Counterexample-guided abstraction refinement frameworks:(a)classical;(b)3-valued..(b)Fig.2.(a)A concrete model;(b)An abstraction of.Both of these frameworks sometimes force a refinement step even though a conclu-sive result can be obtained from the existing model.For example,consider checking a property,where the original model and its abstraction are shown in Figure2.In,states and correspond to and of,respectively, whereas is a merge of and,indicated by dashed lines in Figure2(a).In classi-cal abstraction,we typically treat literals of the concrete models as atomic propositions of the abstract,thus both and are false in state of.Our property fails in,and a counterexample is produced.Clearly,this counterexample is not feasible, so refinement is necessary.On a closer inspection,we note that this counterexample is spurious not only in but in every model that refines.There are two concretizations of this counterexample,and is true in both of them.Thus,it would be highly desirable to be able to conclude that the property holds,avoiding unnecessary refinement steps.Godefroid and Jagadeesan[12]suggested that one can use an additional,thorough, check when the result of model-checking is inconclusive.This changes both algorithms in Figure1after step5as follows:5a.Apply the thorough check of on.5b.if conclusive,tell user and stop.6.else use the counterexample for refinement.which we refer to as classical thorough and3-valued thorough,respectively.Even though the thorough check is exponentially more expensive than model-checking[12], this modification can potentially reduce the number of refinements.Since each refine-ment can lead to an exponential increase in the size of the abstraction,the extra cost seems justified.Unfortunately,if the thorough check is still inconclusive,it does not help the refinement,but levies a heavy performance penalty.Without empirical evi-dence,it is not clear how useful this framework is in practice.We are thus interested to find out answers to the following questions:1.Are there classes of problems where the thorough check is not necessary,i.e.,itdoes not give a more precise result than model-checking?22.In cases where the thorough check is required,can it be performed efficiently?In this paper,we show that the thorough check of universal properties on models built using predicate abstraction[14]does not give an additional precision and thus can be skipped.For arbitrary abstraction,we give an algorithm for deciding ACTL formulas,where the thorough check can be performed efficiently.This approach combines the model-checking and the thorough step,resulting in an algorithm which is as precise as the thorough check,while being only marginally more expensive than model-checking.This algorithm also produces counterexamples which can be used for refinement.The rest of this paper is organized as follows.We start by giving the necessary back-ground in Section2.In Section3,we extend results of Godefroid and Jagadeesan[13] to show that3-valued models in which each atomic proposition is either boolean(i.e., true or false),or maybe in each state,are as expressive as arbitrary3-valued Kripke structures.This is used in Section4to show that3-valued model-checking(referred to as compositional)and thorough checking correspond to different semantics of quanti-fied temporal logic(QTL).We answer the questions posed above in Section5,usingpreviously established results for QTL.We compare our approach with related work in Section6and conclude the paper in Section7.2BackgroundIn this section,we provide the necessary background on model-checking,3-valued rea-soning,and quantified temporal logic.3-Valued Kleene Logic.A3-valued Kleene logic[18]is an extension of a classical two-valued logic of true and false,with an additional value maybe,representing un-certainty.Logical operators in the logic are defined via the truth ordering,where false maybe true.Intuitively,indicates that is less true than.Conjunc-tion and disjunction are given by meet(minimum)and join(maximum)operators of the truth ordering,respectively.Negation is defined as:true false,false true,andmaybe maybe.Kleene logic preserves most of the laws of classical logic,such as De Morgan laws(),and an involution of negation(),butnot the laws of excluded middle(true)and non-contradiction(false). The values of Kleene logic can also be ordered according to the information pre-order ,where maybe true and maybe false.That is,maybe contains the least amount of information,whereas true and false are incomparable.We denote the set of boolean values true and false by,and the set of values of Kleene logic by.Models.A model is a3-valued Kripke structure,where is a finite set of states,is a total transition relation,is a set of initial states,is a set of atomic propositions,and is an interpretation function,assigning a value to each atomic proposition in each state.A classical (two-valued)Kripke structure is a3-valued Kripke structure that does not use the value maybe,i.e.the range of and is true false.Temporal putation Tree Logic(CTL)[7]is a branching temporal logic, whose syntax is defined with respect to set of atomic propositions,as follows:3Fig.3.Semantics of CTL.where is an atomic proposition and is a rmally,the meaning of the temporal operators is:given a state and all paths emanating from it,holds in one()or all()next states;holds in some future state along one()or all ()paths;holds globally along one()or all()paths,and holds until a point where holds along one()or all()paths.The value of in state of is denoted by;the value of in is defined with respect to all initial states of:.Temporal operators ,,and together with the propositional connectives form an adequate set[6]. The formal semantics of CTL is given in Figure3.The only difference between the2-and the3-valued semantics is the change in the domain of.To disambiguate from an alternative semantics presented below,we refer to this semantics as compositional. Compositional semantics of CTL is interpreted over3-valued Kripke structures with respect to Kleene logic.We write to indicate that the formula may contain an atomic proposition. An occurrence of is positive(or of positive polarity)if it occurs under the scope of an even number of negations,and negative otherwise.An atomic proposition is pure in if all of its occurrences have the same polarity,and is mixed otherwise.We write for a formula obtained from by simultaneously substituting all occurrences of by.A formula is universal(or in ACTL)if all of its temporal operators are universal,and is existential(or in ECTL)if they are existential.In both cases,negation is only allowed at the level of atomic propositions.Relationships Between Models.We revisit definitions of simulation and bisimulation for classical Kripke structures,and refinement for3-valued Kripke structures.Definition1.[20]Let and be classical Kripke structures with identical sets of atomic propositions.A relation is a simulation iff implies that1.,and2..A state simulates a state if.A Kripke structure simulates iff every initial state of is simulated by an initial state of.Simulation between and preserves ACTL:for any ACTL,.and are bisimilar iff exists a simulation between and such that is a simulation between and .The set of all structures bisimilar to is denoted by.Bisimulation preserves CTL:CTL.For a given a set of atomic propositions,let denote the result of removing all atomic propositions in from,i.e.,.Let and be Kripke structures such that.Then,is-bisimilar to iff is bisimilar to.The set of all-bisimilar structures to is denoted by.4Definition2.[2]A relation is a refinement between3-valued Kripke structures and iff implies1.;2.true true;3.maybe maybe.A state is refined by()if there exists a refinement containing.A Kripke structure is refined by()if there exists a refinement relating their initial states:and. Bisimulation and refinement coincide on classical structures,and refinement preserves 3-valued CTL:Theorem1.[2]For3-valued Kripke structures and and a CTL formula, implies.Refinement can relate3-valued and classical models as well.For a3-valued Kripke structure,let denote the set of completions[3]of–the set of all classical Kripke structures that refine.For any,the structure can be seen as less precise than in the sense that any CTL formula that evaluates to a definite value (either true or false)in,evaluates to the same value in,i.e.,true true and false false.Thorough positional semantics of CTL is inherently imprecise:if is maybe in,it may or may not be true in every completion.To address this,Bruns and Godefroid[3]proposed an alternative semantics,calling it thorough.A formula is true in under thorough semantics,written true,iff it is true in all completions of;it is false in if it is false in all completions;and maybe otherwise.The additional precision comes at a cost of complexity.Model-checking under compositional semantics is linear in the size of the model and linear in the size of the formula,but model-checking under thorough semantics is EXPTIME-complete,with the best known algorithm quadratic in the size of the model and exponential in[3]. Quantified CTL.Quantified CTL(QCTL)[19]is an extension of CTL with quantifi-cation over atomic propositions.Thus,QCTL formulas consist of all CTL formulas and formulas of the form and.In this paper,we only use a fragment of QCTL in which all quantifiers precede all other operators.Thus,we consider formulas like,but not like,orThe syntax of QCTL does not restrict the domain of quantifiers.Thus,there are several different definitions of the semantics of QCTL with respect to a classical Kripke structure;we consider two of these in this paper:structure[19]and amorphous[10]. Structure Semantics.Under this semantics,each free variable is interpreted as a boolean function over the statespace,i.e.,.For example,is true in under structure semantics if replacing by an arbitrary boolean function results in a formula that is true in.Formally,the values of and over a Kripke structure are defined as follows:if CTL(structure semantics)5where denotes the set of all boolean functions over.Alternatively,structure semantics can be understood as follows.For Kripke struc-tures and,we say that is an-variant of if there exists a set of atomic propositions such that and are isomorphic.A formula is satisfied by under structure semantics iff holds in all-variants of.Note that if is positive in,then is equivalent to false,and if is negative–to true.Amorphous Semantics.Amorphous semantics of QCTL is defined as follows:if CTL(amorphous semantics)That is,a formula is satisfied by under amorphous semantics iff is satisfied by every-bisimulation of.For formulas without existential()quantifiers,amorphous semantics implies struc-ture semantics;further,the implication is strict[10].3Expressiveness of3-valued ModelsIn this section,we extend the results of Godefroid and Jagadeesan[13]on expressive-ness of3-valued models.In particular,we describe a transformation of3-valued Kripke structures to Partial Kripke Structures(PKSs)–Kripke structures with boolean tran-sition relation–and from there to Partial Classical Kripke Structures(PCKSs),where each atomic proposition is either always true or false,or is always maybe.This transfor-mation enables us to use PCKSs as the theoretical model for developing our technical results.When compared to the original3-valued Kripke structure,the transformation increases the number of atomic propositions.However,the transformation is used for theoretical purposes only–we never propose to apply this transformation during anal-ysis.Furthermore,while increasing the number of atomic propositions,the transforma-tion to PCKSs does not affect the number of bits required to encode the original Kripke structure.From3-valued models to PKSs.A3-valued Kripke structure that has a boolean tran-sition relation()is called a Partial Kripke Structure(PKS)[2].An example of a PKS is shown in Figure5(a).PKSs are as expressive as3-valued Kripke structures[13].The transformation from3-valued to Partial Kripke structures is very similar to a transformation from La-beled Transition Systems to Kripke structures(e.g.,see[21]).Intuitively,we treat tran-sition values as actions,and the transformation“pushes”them into states.Given a3-valued Kripke structure,we construct a PKS,where and are as follows:1.true andmaybe,2.for every,,and3.the value of is determined by the second component of the state:is true if,and maybe otherwise.6Fig.4.Transformation of a temporal logic formula.(a)(b)Fig.5.(a)A PKS.(b)A PCKS.Intuitively,represents the value of the transition relation.For example,since thevalue of in a state is true,a transition between and indicates thatthe transition between and in is true.The transformation is also extended to CTL formulas as shown in Figure4. Intuitively,replaces every occurrence of with in thefixpointrepresentation of the semantics of CTL(see Figure3).Theorem2.[13]Partial Kripke Structures are as expressive as3-valued Kripke struc-tures.For any3-valued Kripke structure and a formula,. From PKSs to PCKSs.A PKS in which every atomic proposition is either boolean (i.e.,true or false in every state)or maybe(i.e.maybe in every state)is called a PartialClassical Kripke Structure(PCKS),an example of a PCKS is shown in Figure5(b). Intuitively,a PCKS is a classical Kripke structure extended with additional atomicpropositions such that nothing except their name is known about them.We show that,for compositional semantics,PCKSs containing a single maybe atomic proposition are as expressive as PKSs.A value of a propositional formula in a3-valued Kripke structure is given by a3-valued function over the statespace.Consider a PKS shown in Figure5(a).The value of in is given by a function that maps to true,to maybe,and to false.Next,consider the PCKS shown in Figure5(b):it is the same structure,but with different atomic propositions.All atomic propositions of are boolean,exceptfor which is maybe in every state.Note that has two boolean atomic propositions and such that is true in a state iff is true in the same state of,and is trueiff is not false.The formula in is semantically equivalent to in: for any state,both are true in,maybe in,and false in.Thus,any propositionalformula in can be reduced to a semantically equivalent one in.Furthermore,tem-poral operators of CTL can be seen as predicate transformers operating on the semantic meaning of their arguments.Thus,the value of in is equivalent to the value ofin.Formally,we define a transformation from a PKS to a PCKSas follows:(a)for each atomic proposition of, contains a pair of boolean atomic propositions and,(b)is true iff7is true,and is true iff is not false,and(c)contains an atomic proposition whose value is maybe in every state of.For an atomic proposition,is defined as,and for a CTL formula,is obtained by replacing each atomic proposition of with. For example,.Theorem3.Let be a PKS,and be a CTL formula.Then,. Combining this result with Theorem2,we obtain that PCKSs are as expressive(for compositional semantics)as3-valued Kripke structures.The transformation does not work in the case of thorough semantics:the value of in is not necessarily equivalent to the value of in.For example, under thorough semantics,the value of is maybe in a state where both and are maybe.However,since maybe implies false and true,the transformed formula is logically equivalent to ,which,in turn,is equivalent to true under thorough semantics.The problem is that in each state of,the atomic proposition controls how all of the atomic propositions in this state are refined(i.e.,either they are all set to true,or they are all set to false).This is easily avoided by introducing a different atomic proposition for each atomic proposition of.We define another transformation from a PKS to a PCKS as follows: (a)wefirst apply the transformation,i.e.,,and(b)for eachwe add a new atomic proposition to,setting it to maybe in every state.For an atomic proposition,is defined as,and for a CTL formula, is obtained by replacing each atomic proposition of with.Theorem4.Let be a PKS,and be a CTL formula.Then,. Combining this result with Theorems2and3,we obtain that PCKSs are as expressive as3-valued Kripke structures,for compositional and thorough semantics.The distinction between transformations and highlights the key difference be-tween compositional and thorough semantics.The former can be seen as a conservative approximation of laws of excluded middle and non-contradiction,i.e.,if is unknown, then so is,and thus maybe maybe maybe.On the other hand, thorough semantics can be seen as applying these laws symbolically.Thus,even if the value of is unknown,is still true.4Quantified Temporal Logic and3-valued Model-CheckingIn this section,we use the equivalence between3-valued Kripke structures and PCKSs established in Section3to relate3-valued model-checking and model-checking for QCTL.The definition of3-valued refinement,when restricted to PCKSs,is virtually iden-tical to the definition of-bisimulation.If is a PCKS and is the set of all of its maybe atomic propositions,then is a completion of iff is bisimilar to ,i.e.,is-bisimilar to.Thus,deciding whether a formula is either true or false in a PCKS reduces to amorphous model-checking of a universally quantified formula,as stated in the theorem below.8Theorem5.Let be a PCKS,be the set of all of its maybe atomic proposi-tions,and be an arbitrary CTL formula.Then,the value of in under thorough se-mantics is:true and false.Similarly,compositional semantics is related to structure semantics for QCTL;how-ever,the connection is somewhat more subtle.Let be a PCKS,be the only maybe atomic proposition of,and be a CTL formula containing.Furthermore,assume that all occurrences of are positive.Then,is true iff false is true[16].Next,consider the formula:since is positive in,is true iff false is true[17].Thus,in this case,deciding whether is true under compositional semantics reduces to checking under structure semantics. Moreover,the result easily extends to the case where occurs negatively.The above does not hold when is not of pure polarity in.For example,the value of is maybe,but is true.The problem is that compositional semantics treats positive and negative occurrences of the same atomic proposition independently.Thus,we can obtain the desired result by quantifying pos-itive and negative occurrences of separately.That is,we let and denote positive and negative occurrences of in,respectively;then,is true iff is true,and similarly is false iffis true.The following theorem formalizes this result for an arbitrary number of maybe atomic propositions.Theorem6.Let be a PCKS,and let be the set of all maybe atomic propositions of.For a CTL formula,let and denote the positive and negative occurrences of,respectively.Then,true andfalsewhere.A corollary of Theorem6is that if every maybe atomic proposition of occurs with pure polarity in,then both thorough and compositional semantics reduce to deciding the same universally quantified formula,under amorphous and structure se-mantics,respectively.Furthermore,for universally quantified formulas,amorphous se-mantics imply structure().Note that in general,for3-valued semantics the implication is reversed,i.e.,compositional semantics implies thorough (true true).So,when every maybe atomic proposition is pure in,thorough and compositional semantics for coincide:Theorem7.Let be a PCKS and be a CTL formula such that all occurrences of maybe atomic propositions of are of pure polarity in.Then,.Since every atomic proposition is either boolean or maybe in PCKSs,deciding whether all occurrences of maybe propositions in a formula are of pure polarity is trivial for these models.However,to determine this for arbitrary3-valued Kripke struc-tures,wefirst have to reduce them to PCKSs,which is not an option in practice since model-checking typically occurs on-the-fly during the construction of the model.In the next section,we use properties of particular abstractions to determine polarity of maybe propositions of and thus to decide when a thorough check is necessary.95Thorough Semantics and AbstractionIn this section,we exhibit practical cases where a thorough check does not give addi-tional precision and thus can be eliminated,and cases where a thorough check can beperformed efficiently.5.1Abstraction and3-Valued Model CheckingAbstraction is a mapping between a concrete system and a smaller,abstracted,system. Here,we consider abstractions that map sets of concrete states into a single abstractstate.Let be a Kripke structure with statespace and transition relation.An ab-stract domain is a pair,where is a set of abstract states,and is a total concretization function that associates each abstract state with its interpretationas a set of concrete states.Like Godefroid et al.[11],we use3-valued Kripke structures to represent abstract models over an abstract domain.A3-valued Kripke structure with a states-pace is an abstraction of a Kripke structure if its transition relation satisfies the following conditions:truemaybeNote that these conditions do not guarantee the precision of the abstract model.Inparticular,a3-valued Kripke structure over with a maybe transition between every pair of states satisfies the above conditions,and is a trivial abstraction of every classical Kripke structure over.Each atomic proposition of corresponds to a predicate over the statespace of .In an abstract state,an atomic proposition is true iff the corresponding predicate is true in every state of,false if is false in,and maybe otherwise.Note that any predicate over the concrete statespace can be replaced by an atomic proposition. Thus,without loss of generality,we assume that every atomic proposition of the abstract system corresponds to an atomic proposition of the concrete.As a3-valued Kripke structure,an abstraction of is refined by,i.e., ,which guarantees that preserves arbitrary CTL formulas.Moreover,an arbitrary3-valued Kripke structure is an abstraction of any model that refines it,where the concretization is induced by the refinement[11].Predicate(or boolean)abstraction[14,1,11]is a popular technique for building ab-stractions,and has been successfully applied in practice[14,5].Given a concrete system and a set of predicates,the abstract statespace of predicate ab-straction consists of(at most)states,where each state assigns a boolean value to each of the predicates.The concretization is defined as follows:That is,an abstract state corresponds to the set of all concrete states that agree with on the values of all of the predicates in.Thus,if is a result of predicate abstraction, then its transition relation is3-valued,but atomic propositions are boolean.Cartesian abstraction[1,11]is an extension of predicate abstraction,where the statespace consists of states,and each state assigns one of true,false,or maybe10to each of the predicates.The concretization is defined as follows:That is,an abstract state corresponds to the set of all concrete states that agree with on the values of all of the predicates in that have a definite value(i.e.true or false) in.Thus,if is a result of a Cartesian abstraction,then both its atomic propositions and the transition relation are3-valued.Model-checking a property in the abstract system is done with respect to compositional semantics.Thus,a maybe result from the model-checker does not nec-essarily indicate that the abstraction is at fault and must be refined.In these cases,it seems natural[12]that an additional check of under thorough semantics will yield more precise results.In what follows,we show that in many practical applications,thor-ough semantics does not offer an advantage over compositional.5.2Thorough Semantics and Predicate AbstractionLet be an abstract system constructed by predicate abstraction,andbe a PKS corresponding to it.Note that all of the atomic propositions of are boolean, except for,which was added as part of.Assume that we want to check a CTL formula in.By Theorem2,there exists a CTL formula such that.Although does not mentionexplicitly,each temporal operator of results in at least one occurrence of in .The polarity of these occurrences is positive for existential operators and negative for the universal ones.For example,is transformed by into, while is transformed into.Thus,if all temporal operators of are either universal or existential,i.e., ECTL or ACTL,then contains at most one non-boolean atomic proposition ,and is pure bining this with Theorem7,we establish that in this case thorough and compositional semantics for in coincide:Theorem8.Let be a3-valued Kripke structure constructed by predicate abstrac-tion.Then,ECTL ACTL.In particular,this theorem implies that for predicate abstraction and for universal prop-erties,the original abstraction-refinement framework of Clarke et al.[5]is as precise as the extension proposed by Godefroid and Jagadeesan[12].In the case of Cartesian abstraction,may contain3-valued atomic propositions, and Theorem8is no longer applicable.One way to ensure that thorough and composi-tional semantics coincide in this case,is to require that all atomic propositions,not just ,be of pure polarity.This gives rise to the following theorem:Theorem9.Let be a3-valued Kripke structure.Then,for any ACTL or ECTL formula in which every atomic proposition occurs with pure polarity,compositional and thorough semantics are equivalent.For example,according to the above theorem,compositional and thorough semantics of are equivalent,since each atomic proposition occurs once,and polarity of is negative,and polarity of is positive.Of course,many interesting properties do11。
Reply to ``Proof of the Gauge Independence of the Conformal Anomaly of Bosonic String in th
arXiv:h ep-th/971175v111N ov1997TUW 97-17Reply to “Proof of the Gauge Independence of the Conformal Anomaly of Bosonic String in the Sense of Kraemmer and Rebhan”Ulrike Kraemmer and Anton Rebhan Institut f¨u r Theoretische Physik,Technische Universit¨a t Wien,Wiedner Hauptstr.8–10,A-1040Vienna,Austria February 1,2008The standard approach to covariant quantization of string theory chooses the conformal gauge,which in the critical dimension permits to eliminate the world-sheet metric as a dynamical variable[1].The gauge independence of the conformal anomaly,which determines the critical dimension,has been investigatedfirst in Ref.[2],but only for algebraic gauges.In Ref.[3],the world-sheet anomalies were explicitly calculated for the harmonic gauge, which appeared to be of particular interest because of a vanishing ghost-number anomaly.The conformal anomaly on the other hand remained un-changed as expected.In Ref.[4]the present authors have confirmed these results,but have shown that the eliminated ghost-number anomaly has just been shifted to an analogous number-current anomaly for the now dynamical world-sheet metric;the sum of the ghost-number and the so-called Lagrange-multiplier anomalies turned out to be gauge independent.The gauge inde-pendence of the conformal anomaly was also verified in Refs.[5,6,7],which considered the background-covariant harmonic gauge,and in Refs.[8,4], where non-background-covariant de Donder gauges were used.In Ref.[9]we have reviewed and extended the explicit calculations of the various world-sheet anomalies and have given a simple proof of the observed gauge independences based on BRS symmetry.In a more general frame-work,the gauge independence of anomalies was subsequently confirmed in Refs.[10,11].Some years later,a seemingly contradictory result was published by Abe and Nakanishi[12],who claimed that in non-conformal gauges the confor-mal anomaly was undetermined due to ambiguities in the definition of the energy-momentum tensor.1Although later Ref.[13]has pointed out that their ambiguity disappears if one refrains from restricting to aflat back-ground prematurely,in Refs.[14,15]Abe and Nakanishi have recently ques-tioned the previous works that showed the gauge independence of world-sheet anomalies.In particular they claimed that the explicit proof in Ref.[9] was based on false assumptions and therefore wrong.(Not trusting the more general arguments of Refs.[10,11],they presented an alternative proof which is however so restricted that they cannot even“compare two gauges which have different Feynman rules”.)In Ref.[9]we have considered diffeomorphism and Weyl gauge conditionsof the formF mni[ˆg]h mn=0,Ωmn[ˆg]hmn=0,i,m,n=0,1(1)where h mn=g mn−ˆg mn withˆg being a classical backgroundfield.Imposing these gauge conditions by Lagrange multipliers b i and b,respectively,one finds that h mn and(b i,b)fields have only mixed propagators.As a conse-quence,the one-loop effective action is exact and the gauge-fixed action can be linearized with respect to the quantum metricfield h mn.Correspondingly, the BRS symmetry can be linearized,which moreover implies abelianization.As is well known,while anomalies arise only in the context of renor-malization,they are contained already in the regularized effective actionΓ, which is a functional of the background metricfieldˆg mn.Local contribu-tions to the latter can be changed by renormalization,but non-local ones can ing this freedom to restore any diffeomorphism invariance that a particular regularization scheme may have violated[16],the effective ac-tion is proportional to d2x√In order to determine the proportionality factor inΓ[ˆg]∝ d2x2It is called harmonic gauge in Ref.[17],but in the terminology of our Ref.[9]we have reserved this term for the background-covariant version.3References[1]A.M.Polyakov,Phys.Lett.B103(1981)207[2]S.Hwang and R.Marnelius,Nucl.Phys.B272(1986)389[3]D.W.D¨u sedau,Phys.Lett.B188(1987)51[4]A.Rebhan and U.Kraemmer,Phys.Lett.B196(1987)477[5]torre,Nucl.Phys.B297(1988)171[6]D.Z.Freedman,torre and K.Pilch,Nucl.Phys.B306(1988)77[7]V.Del Duca,L.Magnea,P.van Nieuwenhuizen,Int.J.Mod.Phys.A3(1988)1081[8]L.Baulieu and A.Bilal,Phys.Lett.B192(1987)339[9]U.Kraemmer and A.Rebhan,Nucl.Phys.B315(1989)717[10]W.Kummer,Phys.Lett.B231(1989)53;O.Piguet,D.Schwarz and M.Schweda,Phys.Lett.B245(1990)393 [11]W.Kummer,“Gauge independence of anomalies”,in Fields and Par-ticles,eds.H.Mitter and W.Schweiger(Springer-Verlag,1990)pp.231–253;Acta Phys.Polonica22(1991)37[12]M.Abe and N.Nakanishi,Mod.Phys.Lett.A7(1992)1799[13]W.M¨o dritsch,Mod.Phys.Lett.A9(1994)241(hep-th/9308074)[14]M.Abe and N.Nakanishi,preprint RIMS-1161(hep-th/9710131)[15]M.Abe and N.Nakanishi,preprint RIMS-1164(hep-th/9710132)[16]A.Rebhan,U.Kraemmer and R.Knienider,Phys.Rev.D39(1989)3625[17]T.Takahashi,Prog.Theor.Phys.95(1996)995(hep-th/9512015)4。
A Note on Singular Cardinals in Set Theory Without Choice
a r X i v :0709.2436v 1 [m a t h .L O ] 15 S e p 2007A Note on Singular Cardinals in Set Theory without Choice Denis I.Saveliev 2007August 11,BeijingPartially supported by grant 06-01-00608-a of Russian Foundationfor Basic ResearchIn this talk,I discuss how singular can cardi-nals be in absence of AC,the axiom of choice.I shall show that,contrasting with known neg-ative consistency results(of Gitik and others), certain positive results are provable.At the end,I pose some problems.PreliminariesDefinition.Given a set X,its cardinal number|X|is the class of all sets of the same size that X, i.e.,admitting a one-to-one map onto X.Thus|X|=|Y|means“There is a bijection of X onto Y”.Cardinals of nonempty sets are proper classes; so,we have a little technical obstacle:How quantify cardinals?In some happy cases we can represent them by sets:If|X|is a well-ordered cardinal,i.e.,meets the class of(von Neumann’s)ordinals,take the least such ordinal(an initial ordinal).If|X|is a well-founded cardinal,i.e.,meets the class of well-founded sets,take the lower level of the intersection(so-called Scott’s trick).What is in general?The answer isNo matterbecause instead of cardinals,we can say about sets and bijections.Thusϕ(|X|,|Y|,...)meansϕ(X′,Y′,...)whenever|X|=|X′|,|Y|= |Y′|,...Notations:The German lettersl,m,n,...denote arbitrary cardinals.The Greek lettersλ,µ,ν,...denote well-ordered ones(i.e.,initial ordinals), while the Greek lettersα,β,γ,...denote arbitrary ordinals.Two basic relations on cardinals(dual in a sense):|X|≤|Y|means“X is empty or there is an injection of X into Y”,and|X|≤∗|Y|means“X is empty or there is a surjection of Y onto X”.Equivalently,|X|≤|Y|means“There is a subset of Y of size|X|”,|X|≤∗|Y|means“X is empty or there is a par-tition of Y into|X|pieces”.Clearly:(i)Both≤and≤∗are reflexive and transitive.(ii)≤is antisymmetric(Dedekind;Bernstein),≤∗is not necessarily.(iii)≤is stronger than≤∗.Both relations co-incide on well-ordered cardinals.Two important functions on cardinals(Hartogs and Lindenbaum resp.):ℵ(n)={α:|α|≤n},ℵ∗(n)={α:|α|≤∗n}. Equivalently,ℵ(n)is the leastαsuch that on a set of size n there is no well-ordering of lengthα,ℵ∗(n)is the leastαsuch that on a set of size n there is no pre-well-ordering of lengthα.Customarily,ν+denotesℵ(ν)forνwell-ordered.Clearly:(i)ℵ(n)andℵ∗(n)are well-ordered cardinals. (ii)ℵ(n)≤n andℵ∗(n)≤∗n.It followsν<ν+and so<...ℵ0<ℵ1<...<ℵω<...<ℵω1(whereℵαisαth iteration ofℵstarting fromℵ0).(iii)ℵ(n)≤ℵ∗(n),and both operations coincide on well-ordered cardinals.On other cardinals, the gap can be very large:Example.Assume AD.Thenℵ(2ℵ0)=ℵ1while ℵ∗(2ℵ0)is a very large cardinal(customarily de-notedΘ).Results on SingularityNotations:Cov(l,m,n)means“A set of size n can be covered by m sets of size l”.Cov(<l,m,n)and Cov(L,m,n)(where L is a class of cardinals)have the appropriate meanings.Definition.A cardinal n is singular iffCov(<n,<n,n),and regular otherwise.What is under AC?Fact.Assume AC.Then Cov(l,m,n)implies n≤l·m.Corollary.Assume AC.Then all the successor alephs are regular.Thus¬Cov(λ,λ,λ+)for allλ≥ℵ0.What happens without AC?Theorem(Feferman L´e vy).ℵ1can be singu-lar.Thus Cov(ℵ0,ℵ0,ℵ1)is consistent.Moreover,under a large cardinal hypothesis,so can be all uncountable alephs:Theorem(Gitik).All uncountable alephs can be singular.Clearly,then Cov(<λ,ℵ0,λ)for allλ≥ℵ0.Remark.What is the consistency strength?Without successive singular alephs:The same as of ZFC.Withλ,λ+both singular:Between1Woodin cardinal(Schindler improv-ing Mitchell)andωWoodin cardinals(Martin Steel Woodin).So,in general case:A proper class of Woodins.Specker’s problem:Is Cov(ℵα,ℵ0,2ℵα)consistent for allαsimulta-neously?Partial answer:Theorem(Apter Gitik).Let A⊆Ord consist either(i)of all successor ordinals;or(ii)of all limit ordinals and all successor ordi-nals of formα=3n,3n+1,γ+3n,orγ+3n+2, whereγis a limit ordinal.Then(∀α∈A)Cov(ℵα,ℵ0,2ℵα)is consistent(modulo large cardinals).(Really,their technique gives slightly more.) In general,the problem remains open.Question:How singular can cardinals be with-out AC?in the following sense:How small are l≤n and m≤n satisfying(i)Cov(<l,<n,n)?(ii)Cov(<n,<m,n)?(iii)Cov(<l,<m,n)?On(iii):Specker’s problem is a partial case.On(ii):The answer isAs small as possiblesince Gitik’s model satisfies Cov(<n,ℵ0,n)for all(not only well-ordered)n.On(i):For well-ordered n,the answer isl<n is impossible.Theorem1.Cov(<λ,m,ν)impliesν≤∗λ·m, and soν+≤ℵ∗(λ·m).Corollary.¬Cov(<λ,λ,λ+)for allλ≥ℵ0.Since Cov(λ,λ,λ+)is consistent,the result is exact.Remark.¬Cov(ℵ0,ℵ0,ℵ2)is an old result of Jech.(I am indebted to Prof.Blass who informed me.) By Corollary,really¬Cov(ℵ0,ℵ1,ℵ2).Next question:Let Cov(l,m,n),is n estimated via l and m?(when n is not well-ordered). Without Foundation,the answer isNoEven in the simplest case l=2and m=ℵ0 such an estimation of n is not provable:Theorem 2.It is consistent that for any p there exists n p such that Cov(2,ℵ0,n).The proof uses a generalization of permuta-tion model technique to the case of a proper class of atoms.We use non-well-founded sets instead of atoms.On the other hand,ℵ(n)andℵ∗(n)are esti-mated viaℵ(l),ℵ∗(l),andℵ∗(m):Theorem3.Cov(L,m,n)impliesℵ(n)≤ℵ∗(supl∈Lℵ(l)·m)andℵ∗(n)≤ℵ∗(supl∈Lℵ∗(l)·m).Corollary1.¬Cov(<λ,λ,2λ)and¬Cov(n,2n2,22n 2·2).In particular:¬Cov(λ,2λ,22λ)and¬Cov( α, α+1, α+2).Since Cov(n,n,2n)is consistent,the result is near optimal.Another corollary is that Specker’s request,even in a weaker form,gives the least possible eval-uation ofℵ∗(2λ)(which isλ++):Corollary2.Cov(λ,λ+,2λ)impliesℵ∗(2λ)=ℵ(2λ)=λ++.So,if there exists a model which gives the pos-itive answer to Specker’s problem,then in it, all the cardinalsℵ∗(2λ)have the least possible values.As the last corollary,we provide a“pathology”when a set admits neither well-ordered cover-ing(of arbitrary size)by sets of smaller size, nor covering of smaller size by well-orderable sets(of arbitrary size).Moreover,it can be the real line:Corollary3.Assume CH holds andΘis limit.(E.g.,assume AD.)Then for any well-orderedλ¬Cov(<2ℵ0,λ,2ℵ0)and¬Cov(λ,<2ℵ0,2ℵ0).(Here CH means“There is no m such thatℵ0<m<2ℵ0”.)ProblemsProblem1.Is¬Cov(n,2n,22n)true for all n?That holds if n=n2(by Corollary1of Theo-rem3).Problem2.Is¬Cov(< α, α, α+1)true for allα?That near holds ifαis successor(again by Corollary1of Theorem3).Problem 3.Is Cov(n,ℵ0,2n2)consistent for all n simultaneously?This sharps Specker’s problem of course.Problem4.Can Theorem2be proved assum-ing Foundation?More generally,expand the Transfer Theorem(Jech Sohor)to the case of a proper class of atoms.Problem5.Is it true that on successor alephs the cofinality can behave anyhow,in the fol-lowing sense:Let F be any function such thatF:SuccOrd→SuccOrd∪{0}and F satisfies(i)F(α)≤αand(ii)F(F(α))=F(α)for all successorα.Is it consistentcfℵα=ℵF(α)for all successorα?Perhaps if F makes no successive cardinals sin-gular,it is rather easy;otherwise very hard.References[1]Arthur W.Apter and Moti Gitik.Some results on Specker’s problem.Pacific Journal of Mathematics,134,2(1988),227–249.[2]Solomon Feferman and Azriel L´e vy.In-dependences results in set theory by Cohen’s method,II.Notices of the American Mathe-matical Society,10(1963),593.Abstract.[3]Moti Gitik.All uncountable cardinals can be singular.Israel Journal of Mathematics, 35,1–2(1980),61–88.[4]Moti Gitik.Regular cardinals in models of ZF.Transactions of the American Math-ematical Society,290,1(1985),41–68.[5]Donald A.Martin and John R.Steel.Pro-jective determinacy.Proceedings of the Na-tional Academy of Sciences of U.S.A.,85,18 (1988),6582–6586.[6]Donald A.Martin and John R.Steel.A proof of projective determinacy.Journal of the Amer-ican Mathematical Society,2,1(1989),71–125.[7]Ralf Dieter Schindler.Successive weakly compact or singular cardinals.Journal of Sym-bolic Logic,64(1999),139–146.[8]Ernst P.Specker.Zur Axiomatik der Men-genlehre(Fundierungs-und Auswahlaxiom). Zeitschrift f¨u r Mathematische Logik und Grund-lagen der Mathematik,3,3(1957),173–210.[9]W.Hugh Woodin.Supercompact cardinals, sets of reals,and weakly homogeneous trees. Proceedings of the National Academy of Sci-ences of U.S.A.,85,18(1988),6587–6591.。
大学应该禁止学生ai去完成作业吗英语作文
大学应该禁止学生ai去完成作业吗英语作文全文共3篇示例,供读者参考篇1Should universities prohibit students from using AI to complete assignments?In recent years, artificial intelligence (AI) has made significant advancements in various fields, including education. AI tools can now assist students in completing their assignments more efficiently and accurately. However, the question arises: Should universities ban students from using AI to complete their assignments?On one hand, some argue that using AI to complete assignments is a form of cheating. Students who rely on AI tools may not fully understand the material and are therefore not learning effectively. This could lead to a lack of critical thinking skills and problem-solving abilities, which are essential for success in the real world. Additionally, using AI to complete assignments may create an unfair advantage for those who can afford such tools, placing students from lower-income backgrounds at a disadvantage.Furthermore, banning the use of AI for assignments could help preserve academic integrity and ensure that students are completing their work independently. This would uphold the value of hard work and dedication, and encourage students to put in the effort required to truly understand the material.On the other hand, proponents argue that AI can be a valuable learning tool for students. AI tools can provide instant feedback, suggest improvements, and help students identify areas where they need to focus their efforts. This can enhance students' learning experiences and improve their academic performance. Additionally, AI can help students save time and increase their productivity, allowing them to focus on other aspects of their education or personal development.In conclusion, the use of AI in completing assignments is a complex issue with valid arguments on both sides. While banning AI tools may help uphold academic integrity and promote independent learning, it may also limit students' access to valuable learning resources. Universities should carefully consider the implications of prohibiting the use of AI for assignments and explore ways to strike a balance between encouraging academic integrity and supporting students' learning and development. Ultimately, the goal should be tocreate a fair and equitable learning environment that promotes academic success and personal growth.篇2Should universities ban students from using AI to complete assignments?With the rapid development of technology, artificial intelligence (AI) has become more and more prevalent in various aspects of our daily lives. In the field of education, some students have started to use AI to help them complete their assignments. However, the question of whether universities should ban students from using AI to complete assignments has sparked a heated debate.On one hand, some people argue that using AI to complete assignments is unethical and goes against the principles of academic integrity. They believe that students who use AI are not truly learning and understanding the material, but rather relying on a machine to do the work for them. This could lead to a lack of critical thinking, problem-solving skills, and overall academic dishonesty. Additionally, it could create an unequal playing field for students who do not have access to AI technology, putting them at a disadvantage.On the other hand, proponents of using AI argue that it can actually help students learn more efficiently and effectively. AI technology can provide personalized feedback, resources, and support to help students improve their understanding of the material. It can also streamline the assignment process, saving students valuable time and allowing them to focus on deeper learning and exploration. In this sense, AI could be seen as a valuable tool for enhancing the learning experience and promoting academic success.Ultimately, the decision of whether universities should ban students from using AI to complete assignments is a complex one that requires careful consideration of the potential benefits and drawbacks. While AI technology can certainly offer some advantages in terms of efficiency and support, it is crucial to ensure that students are still actively engaging with the material and developing important skills. Perhaps a middle ground could be reached, where universities allow the use of AI as a supplementary tool, but emphasize the importance of independent thinking, analysis, and creativity in academic work.In conclusion, the use of AI technology in completing assignments is a contentious issue that raises important questions about academic integrity, learning, and the role oftechnology in education. While there are valid arguments on both sides of the debate, it is essential for universities to carefully evaluate the implications of allowing or banning the use of AI by students. Ultimately, the goal should be to promote a culture of integrity, critical thinking, and genuine learning in the academic environment.篇3Should Universities Ban Students from Using AI to Complete Assignments?In recent years, the use of artificial intelligence (AI) in various aspects of life has become increasingly common. One area where AI is being utilized is in completing academic assignments. With the advancement of AI technology, students now have access to tools that can help them with research, writing, and even problem-solving tasks. However, the question arises: should universities ban students from using AI to complete their assignments?On one hand, proponents argue that banning students from using AI to complete assignments is unfair and restrictive. They argue that AI tools can enhance students' learning experiences by providing them with access to more information andresources. For example, AI-powered research tools can help students find relevant sources and data more efficiently, saving them time and effort. Additionally, AI can help students improve their writing skills by providing suggestions for better sentence structure, grammar, and vocabulary usage.Furthermore, proponents argue that banning the use of AI in assignments would be impractical and difficult to enforce. With the widespread availability of AI tools online, it would be challenging for universities to monitor and regulate students' use of these tools. Moreover, AI technology is constantly evolving, making it difficult to create specific guidelines and rules for its use in assignments.On the other hand, opponents argue that allowing students to use AI to complete assignments undermines the integrity of the academic process. They argue that using AI to complete assignments robs students of the opportunity to develop critical thinking, research, and writing skills. By relying on AI to do the work for them, students are not fully engaging with the material and concepts being taught in their courses.Opponents also raise concerns about the potential for cheating and plagiarism when students use AI to complete assignments. Since AI tools can generate content and solutionsautomatically, there is a risk that students may submit work that is not their own. This could lead to academic dishonesty and compromise the academic standards of the university.In conclusion, the question of whether universities should ban students from using AI to complete assignments is a complex one with valid arguments on both sides. While AI technology can provide valuable support and assistance to students, it also raises concerns about academic integrity and the development of essential skills. Ultimately, universities may need to strike a balance between harnessing the benefits of AI technology and upholding the academic standards and integrity of their institutions.。
宇宙名言英文作文
宇宙名言英文作文Title: Insights from the Cosmos: Reflections on Space Quotes。
In the vast expanse of the universe, beyond the reaches of our atmosphere, lies a realm of mystery and wonder that has captivated human imagination for millennia. From ancient philosophers to modern scientists, humanity has sought to understand the cosmos and our place within it. In this essay, we will explore some of the most profound quotes about space and the universe, reflecting on their significance and relevance to our lives.1. "The cosmos is within us. We are made of star-stuff." Carl Sagan。
Carl Sagan's words remind us of the profound interconnectedness of the universe and ourselves. In a literal sense, the elements that make up our bodies were forged in the nuclear furnaces of stars billions of yearsago. But beyond the physical, Sagan's quote speaks to a deeper truth – that we are not separate from the cosmos, but rather integral parts of it. We are stardust beings, animated by the same cosmic forces that govern the galaxies. This realization can inspire a sense of awe and humility, reminding us of our place in the grand tapestry of existence.2. "Two possibilities exist: either we are alone in the Universe or we are not. Both are equally terrifying."Arthur C. Clarke。
algorithmics of matching under preferences
algorithmics of matching under preferencesMatching under preferences is a problem that arises in various domains such as online dating platforms, job markets, and college admissions. The goal is to pair individuals or entities with one another based on their preferences. This problem can be solved using algorithms that take into account these preferences and find an optimal matching.One of the most well-known algorithms for matching under preferences is the Gale-Shapley algorithm. This algorithm was proposed by David Gale and Lloyd Shapley in 1962 and is also known as the stable marriage algorithm. The algorithm works based on the concept of proposing and accepting/rejecting proposals.The Gale-Shapley algorithm starts with each individual/entity making proposals to their most preferred choices. Then, each receiver of the proposals accepts the proposal from their most preferred proposer and rejects all others. If a proposer gets rejected, they move on to their next choice and make another proposal. This process continues until a stable matching is achieved, where no individual has an incentive to break the current pairing.Another algorithm commonly used for matching under preferences is the deferred acceptance algorithm. This algorithm was also developed by Lloyd Shapley and Alvin Roth in the 1980s. It is a modified version of the Gale-Shapley algorithm and is widely used in many real-world scenarios.The deferred acceptance algorithm works by havingindividuals/entities submit their preferences and proposing to their most preferred choices. However, unlike the Gale-Shapley algorithm, the acceptance/rejection of proposals is deferred. Instead, receivers of proposals keep a "preliminary" match if it is better than any existing matches. After all proposals have been made, the process of accepting/rejecting proposals begins, starting with the most preferred receivers. Proposals are accepted if they result in a better match than the current preliminary match. This process continues until a stable matching is achieved.In addition to these two algorithms, there are also other variations and extensions that have been proposed. For example, the ranking algorithm takes into consideration not just the ordinal preferences but also the cardinal preferences (e.g., rating or scoring). This type of algorithm can be useful when preferences are not strictly ordered.Another important aspect of matching under preferences is the consideration of fairness criteria. For example, in college admissions, there is often a desire for diversity and equality among different groups of applicants. Algorithms like the affirmative action algorithm have been proposed to address these concerns and ensure fairness in the matching process.Overall, the algorithms for matching under preferences are designed to optimize the pairing based on the preferences of individuals/entities involved. These algorithms provide a systematic approach to solving the matching problem and have been successfully applied in various real-world scenarios. Byunderstanding and utilizing these algorithms, we can improve the efficiency and fairness of matching processes in various domains.。
英语作文的逻辑短语
英语作文的逻辑短语英文回答:Logical Transition Phrases for English Essays.Transition phrases are essential in academic writing. They help to guide the reader smoothly through your essay, ensuring that your arguments are clear and your ideas are well-connected. Here are some of the most commonly used logical transition phrases to help you write coherent and cohesive essays:Adding Points:In addition,。
Furthermore,。
Moreover,。
Additionally,。
Besides,。
Also,。
Contrasting Points: However,。
In contrast,。
Conversely,。
On the other hand,。
Nevertheless,。
Nonetheless,。
Comparing Points:Similarly,。
In the same way,。
Likewise,。
Comparatively,。
Analogously,。
Exemplifying Points: For instance,。
For example,。
Such as,。
To illustrate,。
Specifically,。
Emphasizing Points:Notably,。
Importantly,。
In particular,。
It is crucial to note,。
It is worth emphasizing,。
their geometric structure
Adv.Geom.3(2003),251–261Advances in Geometry(de Gruyter2003 More maximal arcs in Desarguesian projective planes andtheir geometric structureNicholas Hamilton*and Rudolf Mathon y(Communicated by H.Van Maldeghem)Abstract.In a previous paper R.Mathon gave a new construction method for maximal arcs infinite Desarguesian projective planes via closed sets of conics,as well as giving many new examples of maximal arcs.In the current paper,new classes of maximal arcs are constructed, and it is shown that every maximal arc so constructed gives rise to an infinite class of maximal arcs.Apart from when they are of Denniston type or dual hyperovals,closed sets of conics are shown to give maximal arcs that are not isomorphic to the known constructions.An easy characterisation of when a closed set of conics is of Denniston type is given.Results on the geometric structure of the maximal arcs and their duals are proved,as well as on elements of their collineation stabilisers.1IntroductionA maximal f qðnÀ1Þþn;n g-arc in a projective plane of order q is a subset of qðnÀ1Þþn points such that every line meets the set in0or n points for some 2c n c q.For such a maximal arc n is called the degree.If K is a maximal f qðnÀ1Þþn;n g-arc,the set of lines external to K is a maximal f qðqÀnþ1Þ=n; q=n g-arc in the dual plane called the dual of K.It follows that a necessary condition for the existence of a maximal f qðnÀ1Þþn;n g-arc in a projective plane of order q is that n divides q.Recently,Ball and Blokhuis[2]completed the classification of maximal arcs in the Desarguesian projective plane of order16.In[7],R.Mathon gave a construction method for maximal arcs in Desarguesian projective planes that generalised a pre-viously known construction of R.H.F.Denniston([4]).Using this method several new classes of maximal arcs were then constructed,and a large number of examples given in small order projective planes including the Desarguesian projective plane of order32.We begin by describing this construction method.*Supported by Ghent University GOA project number12050300.y Supported by NSERC grant OGP0008651.In the following the order of the fields will always be even.Let Tr q m =q be the usual trace map from the finite field GF ðq m Þonto GF ðq Þ.We represent the points of the Desarguesian projective plane,PG ð2;q Þ,via homogeneous coordinates over GF ðq Þ.For a ;b A GF ðq Þsuch that the absolute trace Tr q =2ðab Þ¼1,and l A GF ðq Þ,define F a ;b ;l to be the conicF a ;b ;l ¼fðx ;y ;z Þ:a x 2þxy þb y 2þl z 2¼0gand let F be the union of all such conics.Note that all the conics in F have the point F 0¼ð0;0;1Þas their nucleus.For given l 0l 0,define a compositionF a ;b ;l l F a 0;b 0;l 0¼F a l a 0;b l b 0;l þl 0where the operator l is defined bya lb ¼l a þl 0b l þl 0:Given some subset G of F ,we say G is closed if for every F a ;b ;l 0F a 0;b 0;l 0A G ,we have that F a l a 0;b l b 0;l þl 0A G .In [7],the following theorems are proved.Theorem 1([7,Theorem 2.4]).Let G be a closed set of conics with nucleus F 0in PG ð2;q Þ,q even .Then the union of the points of the conics of G together with F 0form the points of a degree j G j þ1maximal arc in PG ð2;q Þ.Theorem 2([7,Theorem 2.5]).Let A be an additive subgroup of GF ðq Þ,q even ,with j A j ¼d .Let p ðl Þ¼P d À1i ¼0a i l 2i À1and r ðl Þ¼P d À1i ¼0b i l 2i À1be polynomials with coe‰cients in GF ðq Þ,q even .If Tr q =2ðp ðl Þr ðl ÞÞ¼1for every l A A Àf 0g ,then the union of the points ofG ¼f F p ðl Þ;r ðl Þ;l :l A A Àf 0gg U f F 0gis a degree d maximal arc in PG ð2;q Þ.Suppose we choose a A GF ðq Þsuch that Tr q =2ða Þ¼1,and let A be some additive subgroup of GF ðq Þ.Then the set of conicsf F a ;1;l :l A A Àf 0gg U f F 0gis the set of points of a degree j A j maximal arc in PG ð2;q Þ.These maximal arcs were constructed by R.H.F.Denniston in [4].They are a subset of the pencil of conics given byf F a ;1;l :l A GF ðq ÞU f y gg :Nicholas Hamilton and Rudolf Mathon252More maximal arcs in Desarguesian projective planes and their geometric structure253 This pencil partitions the points of the plane into the line z¼0,qÀ1non-degenerate conics,and the common nucleusð0;0;1Þof these conics.The line z¼0is often called the line at infinity of the pencil and is denoted F y.The Denniston maximal arcs were characterised by Abatangelo and Larato in[1] as exactly those maximal arcs whose point set is the union of elements of such a pencil of conics.Alternatively they were characterised as exactly those maximal arcs whose homography stabiliser admits a cyclic group of order qþ1(the orbits of such a group are exactly the elements of the pencil).More generally a pencil of conics may be obtained as follows.Suppose F1and F2 are non-degenerate quadratic forms over GFðqÞthat have no common zeros,i.e.the conics that they define have no common points.Then the set of polynomialsf m F1þg F2:m;g A GFðqÞ;m and l not both zero gdetermineðqþ1Þquadratic forms:qÀ1pairwise disjoint non-degenerate conics;an exterior line to those conics;and a point that is the nucleus of all the conics.Together these conics partition the points of the plane.Up to isomorphism in P G Lð3;qÞthere is a unique such pencil,i.e.up to isomorphism the pencil is independent of the choice of F1and F2.We will call a closed set of conics that is a subset of such a pencil linear.It follows immediately from Abatangelo and Larato’s result that a linear closed set of conics corresponds to a maximal arc that is isomorphic to one of those of Denniston.In the next section a new construction of closed sets of conics is given,and it is shown that any closed set of conics is still a closed set of conics in an odd order extension of the underlyingfield.It is also shown that a closed set of conics of non-Denniston type gives rise to sub-maximal arcs that are not of Denniston type.In Section6the geometric structure of the closed sets of conics will be considered.In particular it is shown that the only non-degenerate conics contained in the associated maximal arcs are exactly those of the closed sets of conics,and the Denniston maxi-mal arcs are characterised as exactly those closed sets of conics whose dual maximal arcs contains a regular hyperoval.It is then shown that the maximal arcs of degree 2<n<q=2arising from closed sets of conics are not isomorphic to any of the known classes of maximal arcs,except when they happen to be Denniston.In Section3.2the types of collineations that may stabilise a closed set of conics are considered.2New maximal arcs in Desarguesian projective planesThe following theorem shows that in some sense no maximal arc arising from closed sets of conics is sporadic.Theorem3.Let G be a closed set of conics in PGð2;qÞ.Then the equations of the conics of G give a closed set of conics in PGð2;q mÞ,for any m d1,m odd.Proof.Wefirst show that the equations of the conics of G give non-degenerate conics over GFðq mÞ.For a conic in F a;b;l A G,the trace Tr q=2ðabÞfrom GFðqÞto GFð2Þis theidentity.Now Tr q m =2ðab Þ¼Tr q =2 Tr q m =q ðab Þ,but since ab A GF ðq Þ,Tr q m =q ðab Þ¼m ab .Hence Tr q m =2ðab Þ¼Tr q =2ðm ab Þ¼m Tr q =2ðab Þ¼1,since m is odd and q is even.Hence the equation of an F a ;b ;l A G also gives a non-degenerate conic in PG ð2;q m Þ.The set G then clearly gives a closed set of conics in PG ð2;q m Þ.r It immediately follows from the theorem that given a degree n maximal arc K in PG ð2;q Þarising from a closed set of conics,there exist degree n maximal arcs K m inPG ð2;q m Þfor all odd positive integers m .Note that K m contains K in the real sub-plane PG ð2;q Þof PG ð2;q m Þ.Theorem 4.Let r ðl Þ¼P m À1i ¼0b i l2i À1be any polynomial with coe‰cients b i A GF ðq m Þsuch that Tr q m =2ðb 0Þ¼1and for i >0,Tr q m =q ðb i Þ¼0.Then the points ofG ¼f F 1;r ðl Þ;l :l A GF ðq ÞÃg U f F 0gform a degree q maximal arc in PG ð2;q m Þ.Proof.We show that Tr q m =2ðr ðl ÞÞ¼1for every l A GF ðq Þand apply Theorem 2.First note that the trace function is additive,henceTr q m =2ðr ðl ÞÞ¼X m À1i ¼0Tr q m =2ðb i l 2i À1Þ:Now for i >1,since l A GF ðq Þwe haveTr q m =2ðb i l 2i À1Þ¼Tr q =2 Tr q m =q ðb i l 2i À1Þ¼Tr q =2ðl 2i À1Tr q m =q ðb i ÞÞ¼Tr q =2ðl 2i À1:0Þ¼0:Hence Tr q m =2ðr ðl ÞÞ¼Tr q m =2ðb 0Þ¼1for every l A GF ðq Þ.r Note that Theorem 3can also be applied to the maximal arcs of the theorem to get maximal arcs in odd order extensions of the plane.In Theorem 4there are q m À1choices for each of the b i ’s,i >0,and q m Àq m À1choices for b 0.But distinct polynomials may give isomorphic maximal arcs.In the theorem the conics defining such a maximal arc were parameterised by ele-ments of GF ðq ÞÃ.By taking a subset A of GF ðq ÞÃsuch that A U f 0g is closed under addition we may construct a maximal arc whose conics correspond to elements of A .Hence the theorem also implies the existence of degree r maximal arcs in these planes for all r dividing n ,though it may be that some of these sub-arcs are of Denniston type.But the following lemma shows that non-Denniston sub-arcs may be obtained from non-Denniston maximal arcs for r d 8.Nicholas Hamilton and Rudolf Mathon254More maximal arcs in Desarguesian projective planes and their geometric structure255 Lemma5.Let G be a closed set of conics giving rise to a degree8c n<q=2maximal arc K in PGð2;qÞthat is not of Denniston type.Then there exist maximal arcs of degree r that are not of type Denniston in PGð2;qÞfor all r d8,r dividing n.Proof.If we choose F a;b;l;F a0;b0;l0A G,then the conics F a;b;l;F a0;b0;l0and F a;b;l l F a0;b0;l0are contained in a(unique)pencil F(see[7,Lemma2.1]).Since K is not of Denniston type,the conics of G are not all contained in a single pencil of conics,so we may choose some F a00;b00;l00not contained in F.Taking the closure under l of F a;b;l;F a0;b0;l0and F a00;b00;l00then gives rise to a maximal arc K8of degree 8whose conics are not all contained in a single pencil and so is not of Denniston type (this uses the fact proved in the next section that the partition of K into disjoint conics on a common nucleus is unique).Non-Denniston maximal arcs of degree r,for all r d8,r dividing n,may then be obtained by extending the set of conics of K8by other elements of G.r3The structure of the maximal arcs3.1Conics and substructures within the maximal arcs.Theorem6.Let K be a degree n<q=2maximal arc in PGð2;qÞconstructed from a closed set of conics G with nucleus F0.Then the point set of K contains no non-degenerate conics apart from those of G.Proof.Suppose K does contain some conic C other than those of G.Sincefive points of a non-degenerate conic determine a unique non-degenerate conic,C meets each of nÀ1conics of G in at most four points.One of the points of C may be the nucleus F0 of the other conics.Hence we require that4ðnÀ1Þd q,and so n d q=4þ1.Since n divides q,this implies n d q=2,and the result is proved.r The case n¼q=2really is an exception to the theorem.For instance,the dual of a regular hyperoval may be thought of as a degree q=2maximal arc of Denniston type. But the fact that the collineation stabiliser of the regular hyperoval is transitive on exterior lines shows that the partition of the degree q=2maximal arc into conics on a common nucleus is not unique.Corollary1.Let K be a degree n<q=2maximal arc in PGð2;qÞconstructed from a closed set of conics G with nucleus F0.Then any element of the collineation stabiliser of K permutes the conics of G.Proof.A conic in K must be mapped to a conic contained in K.rThe corollary will be useful in the next subsection when the collineation stabilisers of the maximal arcs are examined.The following theorem gives an easy geometric characterisation of the Denniston maximal arcs.Theorem 7.Let K be a degree n maximal arc in PG ð2;q Þconstructed from a closed set of conics G with nucleus F 0.Then K is of Denniston type if and only if its dual contains a regular hyperoval .Proof.Let K be as in the statement of the theorem.Suppose K is of type Denniston.Then it is stabilised by a cyclic group of order q þ1whose orbits on points are a union of disjoint conics with common nucleus and exterior line.The action on the lines of the plane is the same in that orbits on the lines form a pencil of the same form in the dual plane (see for instance [6]).Hence the orbit of any non-fixed line that is exterior to K together with the fixed line forms a regular hyperoval in the dual plane.By definition this hyperoval is contained in the dual of K .Conversely,suppose that the dual maximal arc K D of K does contain a regular hyperoval H with nucleus N .We show that the conics of K are contained in a pencil of the required form,and hence K is of Denniston type.First notice that since H H K D the dual maximal arc H D of H contains K .We show that H D can be partitioned into a set of q =2À1conics in a linear pencil with common nucleus F 0,i.e.is of Denniston type.As noted above a Denniston maximal arc admits a cyclic group of order q þ1in its collineation stabiliser,and admitting such a cyclic group characterises the Den-niston maximal arcs.The orbits of this group are the points of q À1conics,a single fixed point which is the nucleus of the conics,and the points on a single line.This group has an identical orbit structure in the dual plane,and so the dual of a Denniston maximal arc is also of Denniston type.Now a regular hyperoval admits a collineation stabiliser that is transitive on lines exterior to the hyperoval,and contains cyclic sub-groups of order q þ1.Hence for any exterior line l to a regular hyperoval that we might choose,there exists a cyclic subgroup of order q þ1stabilising the hyperoval,and fixing l .It then follows that the dual of a regular hyperoval may be thought of as a degree q =2Denniston maximal arc,all of whose conics have common nucleus,namely the point of the dual plane corresponding to the line l .Now the point F 0corresponds to an external line to H in the dual plane.So choose the cyclic group of order q þ1fixing H and the line F 0in the dual plane.The dual of H is then partitioned into q =2À1conics on common nucleus F 0and contains K ;let C q =2À1denote the set of these q =2À1conics.If all of the conics of K are in C q =2À1,then K is Denniston and we are done.So suppose some conic C of K is not in C q =2À1.Then a nucleus and three points (forming a quadrangle)determine a unique conic on that nucleus.The conics of C q =2À1and C all share the nucleus F 0and so C meets each conic of C q =2À1in at most two points.But C has q þ1>2ðq =2À1Þpoints,giving a contradiction.Hence the only conics contained in K are some subset of C q =2À1,and K is Denniston.r The following corollary answers a question posed in [7].Corollary 2.The dual of a non-Denniston maximal arc constructed from a closed set of conics cannot be constructed from a closed set of conics .Nicholas Hamilton and Rudolf Mathon256More maximal arcs in Desarguesian projective planes and their geometric structure257 Hence a non-Denniston closed set of conics always gives two non-isomorphic max-imal arcs.The case for Dennistons is quite di¤erent;the dual of a Denniston maximal arc is always a Denniston maximal arc since both the maximal arc and its dual admit a cyclic group of order qþ1.In the case that q is a square and the Denniston maxi-ffiffiffiq p,the dual is often isomorphic to the original maximal arc.In mal arc has degreefact computer calculations based on the results contained in[6]show that the smallestffiffiffiq p Denniston maximal arc is not isomorphic to its order plane in which a degreedual is PGð2;256Þ.There take the pencil F l:x2þa xyþy2þl z2¼0where a is a fixed element of GFð256Þsuch that the quadratic polynomial x2þaxþ1is irreduc-ible,and letl A f0;1;o;o2;o33;o5;o36;o101;o15;o47;o50;o225;o138;o198;o25;o26gwhere o is a generator of GFð256ÞÃand satisfies o25þo¼1.Then this describes a degree16maximal arcs in PGð2;256Þthat is not isomorphic to its dual.Apart from maximal arcs arising from closed sets of conics the known construc-tions of degree n maximal arcs in PGð2;qÞare hyperovals(n¼2)and their duals (n¼q=2),the construction of Denniston[4],and two constructions of J.A.Thas[8], [9].The maximal arcs constructed in[9]were shown in[6]to be of Denniston type in PGð2;qÞ.Those in[8]are sometimes known as Thas074maximal arcs and are of two types.Thefirst uses a spread of tangent lines to an elliptic quadric in PGð3;qÞand gives rise to degree q maximal arcs in PGð2;q2Þfor all even q.These were also shown in[6]to be of Denniston type.The second uses a spread of tangent lines to a Tits’ovoid in PGð3;qÞand gives rise to degree q maximal arcs in PGð2;q2Þfor all q¼22hþ1,h d1.It was shown in[6]that up to isomorphism there are two such maximal arcs in PGð2;q2Þarising using the Tits’ovoid and that these maximal arcs were not of Denniston type.The collineation stabilisers of the maximal arcs were also calculated and shown to have distinct orders.The Thas074maximal arcs were char-acterised in[5]as exactly those degree q maximal arcs in PGð2;q2Þstabilised by an homology of order qÀ1.It follows that the duals of the Thas074maximal arcs are also of Thas074type,and since the order of the collineation stabiliser of the Thas074 maximal arc uniquely identifies that maximal arc it follows that the Thas074maxi-mal arcs are isomorphic to their dual maximal arcs.The following corollary is then an immediate consequence of this and the previous corollary.Corollary3.The Thas074maximal arcs arising from a spread of tangent lines to a Tits’ovoid cannot be constructed from a closed set of conics.We conclude this section by showing that a non-linear closed set of conics cannot contain pairs of‘‘large’’linear closed sets of conics.Theorem8.Let K be a degree n maximal arc in PGð2;qÞarising from a closed set of conics.Suppose K contains two maximal arcs K1and K2of degrees n1d4and n2d4, that are of Denniston type and are contained in distinct pencils,then n1n2c2n.Proof.Define an incidence structure ðP ;B ;I Þas follows.The points P are the n À1conics of the closed set of conics of K .The blocks are the sets of the form f C 1;C 2;C 1l C 2g for C 1;C 2A P ,C 10C 2,and incidence is containment.Then it is easily shown that the incidence structure is a 2Àðn À1;3;1Þdesign.We show that it is a projective space of dimension ðlog 2n ÞÀ1over GF ð2Þby showing that it satisfies the axiom of Pasch.For any distinct conics C 1;C 2and C 3in a closed set,it is readily verified that ðC 1l C 2Þl ðC 3l C 2Þ¼C 1l C 3.Also note that l is commutative.Letf C 1;C 2;C 3g and f C 1;C 02;C 03g be distinct blocks on C 1.Then C 2l C 03¼ðC 3l C 1Þl ðC 02l C 1Þ¼C 3l C 02.Hence the block joining C 2to C 03meets the block joining C 3toC 02in a point of the set P ,and so the design is a projective space PG ððlog 2n ÞÀ1;2Þ[3,Section 1.4].Notice that any closed subset of conics of K corresponds to a subspace of PG ððlog 2n ÞÀ1;2Þ.Hence K 1and K 2correspond to subspaces of dimension ðlog 2n 1ÞÀ1and ðlog 2n 2ÞÀ1respectively.Now a closed triple of conics determines a unique pencil of conics,and so for K 1and K 2to be contained in distinct pencils,their corresponding subspaces must meet in at most a point in PG ððlog 2n ÞÀ1;2Þ.Hence if m is the dimension of the span of the subspaces corresponding to K 1and K 2,we require that the dimension of intersection ðlog 2n 1ÞÀ1þðlog 2n 2ÞÀ1Àm is at most 0.But m is at most ðlog 2n ÞÀ1.Hence we get the condition that ðlog 2n 1ÞÀ1þðlog 2n 2ÞÀ1Àðlog 2n Þþ1c 0,i.e.n 1n 2c 2n .r Corollary 4.A degree n d 16maximal arc arising from a non-Denniston closed set of conics contains at most one degree n =2Denniston maximal arc .Proof.Suppose a degree n maximal arc arising from a non-Denniston closed set of conics contains two degree n =2Denniston maximal arcs.Then these maximal arcs must be in distinct pencils.Applying the theorem then gives n n c 2n and so n c 8.r The bound given in the corollary can be tight.Seven of the degree 16maximal arcs in PG ð2;64Þconstructed in [7]are shown there to contain unique degree 8Denniston maximal arcs.Taking the odd order extensions of these maximal arcs via Theorem 3will also give further examples.3.2Collineations of the maximal arcs.In [6],the collineation stabilisers of the Den-niston maximal arcs were calculated in terms of the additive subgroups of GF ðq Þthat defined them.In this section we examine the collineation stabilisers of closed sets of conics that are not of Denniston type.The general problem of calculating the colli-neation stabilisers seems at present to be intractable,but results may be obtained for particular cases.In the previous subsection we saw that for n <q =2,the only conics contained within a maximal arc constructed from a closed set of conics were those of the closed set of conics.We use this fact to prove results about the collineation stabilisers.Theorem 9.Let K be a non-Denniston maximal arc of degree n 0q =2in PG ð2;q ÞNicholas Hamilton and Rudolf Mathon258arising from a closed set of conics.Then there is at most one non-identity element ofPGLð3;qÞK thatfixes each of the conics of the closed set.Hence the subgroup ofP G Lð3;qÞfixing each of the conics of the closed set has order dividing2h,where q¼2h.Proof.Suppose that K contains the three conics C1;C2,C1l C2in some linear pencil F,and where C1l C2is the composition of C1and C2as defined in the introduction. Then it follows that the union of the conics of K in F with the nucleus is the set of points of a degree at least4maximal arc K sub that is of type Denniston.Now since K is not of Denniston type there exists some conic C0of K that is not contained in F.The closed set of conics C1;C0,C1l C0is in some linear pencil F0,and the conics of F0that are contained in K together with the nucleus again determine a maximal arc K0sub of Denniston type.Wefirst show that the line at infinity of the pencil F is distinct from the line at infinity of F0.Suppose we have some non-degenerate conic with quadratic form F C, and suppose there is a line l exterior to the conic and whose points are the zeros of some(degenerate)quadric F l.Then,just as two non-intersecting conics,taking GFðqÞlinear combinations of F C and F l determines a unique pencil of conics.Since F0F0 share the conic C1,it follows that the line at infinity of F must be distinct from that of F0.The full collineation stabiliser of a pencil of conics of the form we are interested in is isomorphic to GFðq2ÞÃc AutðGFðq2ÞÞ,and the homography stabiliser is isomorphic to GFðq2ÞÃc C2,where C2is an elation group of order2(see[6]).In[6]it is shown that the homography/collineation stabiliser of any Denniston maximal arc of degree n,2<n<q=2,is a subgroup of such a group.It is also shown that if youfix each of the conics in the Denniston maximal arc then this homography stabiliser is iso-morphic to the semidirect product C qþ1c C2of a cyclic group,C qþ1of order qþ1, whose orbits are the elements of the pencil with an elation of order2.Now every non-trivial element of C qþ1fixes a unique line,that line being the line at infinity of the pencil.So such an element cannotfix both the line at infinity of F and F0.It follows that no non-trivial element of the homography stabiliser of F can stabilise each of the elements of F0,apart from possibly an element of order2.r Note that in the proof the elation group C2stabilising a(sub)Denniston maximal arc has centre on the line at infinity of that maximal arc,and axis the line joining the nucleus to the centre.Hence for such an element to stabilise the non-Denniston maxi-mal arc,the lines at infinity of all the sub maximal arcs must be concurrent.We now examine the case where the collineation stabiliser of a closed set of conics is known to be a subgroup of some Denniston maximal arc that it contains. Theorem10.Let F be a non-linear closed set of conics in PGð2;2hÞand K the asso-ciated maximal arc.Let F sub be a linear closed subset of F and let K sub be the asso-ciated maximal arc,where j F sub j and j F j are coprime,j F sub j d4.Suppose that thecollineation stabiliser P G Lð3;qÞK of Kfixes K sub,then j P G Lð3;qÞKj divides2h.More maximal arcs in Desarguesian projective planes and their geometric structure259Proof.Let F ;K ;F sub and K sub be as in the statement of the theorem.Since K sub is fixed by P G L ð3;q ÞK and so by PGL ð3;q ÞK ,it follows as in the previous theorem that PGL ð3;q ÞK is a subgroup of the stabiliser of the Denniston maximal arc K ,and so is isomorphic to a group of the form GF ðq 2ÞÃc C 2.Now GF ðq 2ÞÃc C 2is isomorphic to G ¼ðC q þ1ÂC q À1Þc C 2where C q þ1is as in the proof of the previous theorem and C q À1is a (cyclic)homology group of order q À1.In [6]it is shown that the homology group has centre the nucleus of K sub and axis the line at infinity of the pencil asso-ciated with K sub .Let g be an non-identity element of PGL ð3;q ÞK .There are two cases to consider.(i)g A C q þ1ÂC q À1,g 01.Suppose there exists i such that g i A C q À1,g i 01.Now g i stabilises K .The orbits of non-fixed points of g i all have the same length,l say.On a line through the nucleus there are j F j points of K ,hence l divides j F j .But g i also stabilises K sub and so l divides j F sub j .This contradicts our assumption that j F j and j F sub j are coprime.Hence there does not exist i with g i A C q À1and g i 01.Since q þ1and q À1are coprime it follows that g A C q þ1.Suppose g 01.Now as previously mentioned the orbits of C q þ1are the conics of the pencil that make up K sub ,together with the nucleus and the line at infinity.So the orbits of the group generated by g not on the nucleus or the line at infinity are subsets of conics of size at least three.But three such points and the nucleus determine a unique conic,and this conic is an orbit of C q þ1.Hence since g stabilises K it follows that K is a union of conics of the pencil determined by C q þ1.Applying Abatangelo and Larato’s characterisation gives that K is then Denniston,contradicting our hypothesis.Hence g ¼1.(ii)g B C q þ1ÂC q À1.Then g 2A C q þ1ÂC q À1and arguing as in (i)gives that g 2¼1.So g has order 2and so is an elation.Suppose two distinct elations in G stabilise both K and K sub .Then it is easily shown that their product is in C q þ1ÂC q À1and is the identity if and only if they are equal.It follows that at most one elation in G fixes K and K sub .Hence the homography stabiliser of K has order at most 2,and the colli-neation stabiliser has order at most 2h .r As mentioned at the end of the previous section,seven of non-Denniston degree 16maximal arcs in PG ð2;64Þgiven in [7]contain a unique Denniston degree 8maximal arc.Hence they have collineation stabilisers of order dividing 12.In fact in the paper it is shown that five of them have collineation stabiliser of order 4,and three have collineation stabiliser of order 2.But the above theorem and the details of the proof explain the structure of the groups.Finally,taking extensions of maximal arcs satisfying this theorem via Theorem 3will also give maximal arcs that also have small order collineation stabilisers.4ConclusionIn this paper and in [7]several constructions of closed sets of conics that are non-linear,i.e.give rise to maximal arcs which are not of Denniston type,have been given.The largest known maximal arcs that are part of a class are of degree 2m þ1in GF ð22m Þ([7,Theorem 3.3]).It would be interesting to know what the largest n is such that in Nicholas Hamilton and Rudolf Mathon260。
地理专业词汇英语翻译(F)
地理专业词汇英语翻译(F)fabric 构造fabric diagram 组构图fabric domain 组构域fabric element 组构要素fabric unit 组构要素facetted pebble 棱石facetted peneplain 交叉准平原facetted spur 截切山嘴facies analysis 相分析facies change 相变facies fossil 指相化石facies index 指相化石factor 因素factor analysis 因数分析factor combination 因子组合factor matrix 因子矩阵factor model 因子模型factor of adhesion 粘着系数factorial experiment 因子试验facultative anaerobe 兼性嫌气生物fading 褪色faint negative 弱反差底片fair copy 出版原图fair drafting 出版原图fair draught 清绘原图fair sheet 海测原图fair wind 顺风fall line 瀑布线fall wind 下降风falling ball viscosimeter 落球粘度计falling tide 落潮fallow land 休地fallow soils 休闲土壤false anomaly 假异常false bedding 交错层false cirrus 伪卷云false cleavage 假劈理false color composite 假彩色合成false color film 假彩色胶片false colour composite image 假彩色合成影像false origin 假定原点false terrace 假阶地family 科fan fold 扇状褶皱fanglomerate 扇积砾fango 治疗矿泥far infrared 远红外线far infrared radiation 远红外辐射far point 远点far ultraviolet 远紫外线far ultraviolet radiation 远紫外辐射farm soil 耕琢farm water requirement 田间需水量farmland 农田farmland evaluation 农田评价farmyard manure 厩肥fascioliasis 片吸虫病fast fourier transform 快速傅里叶变换fast ice 固定冰fat coal 肥煤fat soil 肥土fathogram 测深图fatigue 疲劳fatigue of soil 土壤疲乏fault 断层fault amplitude 垂直断距fault basin 断层盆地fault bench 断层阶地fault block 断裂地块fault block mountain 断块山fault breccia 断层角砾岩fault bundle 断层束fault clay 断层粘土fault coal 劣质煤fault excarpment 断层崖fault facet 断层三角面fault fissure 断层裂缝fault fold 断层褶皱fault gouge 耳巴泥fault graben 地堑fault line 断层线fault line scarp 断层线崖fault line valley 断层线谷fault mountain 断层山fault movements 断层运动fault shoreline 断层海岸线fault surface 断面fault topography 断层地形fault trace 断层迹线fault valley 断层谷fault zone 断层带fauna 动物群faunal district 动物区域faunal kingdom 动物界faunal province 动物省faunal region 动物区faunal remains 动物残屑faunistic complex 动物复合体fayalite 铁橄榄石feather fracture 羽毛状断裂feather grass steppe 针茅草原feather joint 羽毛节理feathery structure 羽毛状结构feature extraction 特臻取feature geological map 专门性地质图feature hydrogeological map 专门性水文地质图feature point 特浙feature selection 特铡择feed crop 饲料罪feed unit 饲料单位feedback 反馈feeding area 摄食区域feldspar 长石feldspathization 长石化酌feldspathoids 类长石felling 伐木felse oat meadow 三毛草草甸felsite 长英岩felsitic texture 霏细结构felsophyre 霏细斑岩fen 沼泽fen clay 沼地粘土fen peat 低位泥炭fen soil 低位沼泽土fergusonite 褐钇铌矿ferment 酵素fermentation 发酵fermium 镄fern plot 蕨类种植园fernery 蕨类种植园ferns 蕨类ferralic arenosols 铁铝红砂土ferralic cambisols 铁铝始成土ferrallitic soils 铁铝土ferrallitization 铁铝质土化ferralsols 铁铝土ferric acrisols 铁质强淋溶土ferric luvisols 铁质淋溶土ferric podzols 铁质灰壤ferric siallitic soil 铁质硅铝土ferrimolybdite 铁钼华ferrimontmorillonite 铁蒙脱石ferrimorphic soil 铁成土ferromagnetism 铁磁性ferrudalf 铁质湿淋溶土ferruginization 铁质化ferruginous alteration product 铁质交替产物ferruginous concretions 铁结核ferruginous sandstone 铁质砂岩ferrum 铁ferry 渡船fertile pasture 能齐牧草场fertile soil 肥沃土fertility degree 肥力等级fertilization 施肥fertilizer formula 肥料配合式fertilizer requirement 需肥量festoon islands 花彩列岛fiber 纤维fiber optic image transmission 光纤传象fiber plant 纤维植物fibrist 低分解有机土fibrous peat 纤维质泥炭fibrous root 纤维根fibrous structure 纤维结构fibrovascular bundle 维管束fiducial marks 框标field 场field capacity 田间持水量field check 野外检查field crops 罪field culture 饲料罪field data collection 野外数据收集field evapotranspiration 农田蒸散field experiment 田间试验field fortification 野战筑城field geology 野外地质学field mapping 野外填图field measurement 野外测量field microclimate 农田小气候field moisture capacity 田间持水量field moisture deficiency 田间水分不足field moisture equivalent 田间水分当量field observation 野外观测field of gravity 重力场field of view 视场field sketch 外业草图field station 野外测站field stereoscope 野外立体镜field survey 野外测量field water capacity 田间持水量field weed 杂草field work 野外工作外业fifteen atmosphere percentage 15大气压百分率figure 图形figure of the earth 地球形状filar cross 十字丝file 文件filling 普染filling up of a depression 气旋填塞film 软片film distortion 胶片变形film loop 环形胶卷film pack magazine 散页胶片包装盒film water 薄膜水filmsetting 照相排字filmsetting machine 照相排字机filter 过滤机filterability 滤过率filterable membrane 滤膜filtered solution 滤过的溶液filtrate 滤液filtration 过滤filtration velocity 过滤速度final value 最后值finder 取景器寻景器fine clay 细粘土fine coal 细煤fine columer aggregate 细柱状团聚体fine crumb 细团块fine crumb aggregate 细团粒状团聚体fine earth 细土fine grain development 微粒显象fine grained detrital rock 细粒碎屑岩fine grained soil 细土fine grained texture 细粒结构fine ore 细矿石fine pore 小孔隙fine porosity 微气孔性fine prismatic aggregate 细棱柱状团聚体fine sand 细砂fine sandy loam 细砂壤土fine silt 细粉粒fine soil 细粒土壤fine soil grains 细土粒fine structure 精细结构finely granular structure 细团粒状结构finger lake 指形湖finger like delta 桨叶形三角洲finite difference method 有限差分法finite element method 有限单元法fiord 峡湾fir forest 冷杉林fire 火灾fire area 防火面积fire clay 耐火粘土fire on grassland 草场火灾fire resistance 抗火性firn 永久积雪firn basin 粒雪盆地firn field 永久积雪原firn line 永久雪线first bottom 河漫滩阶地first frost 初霜fish finder 鱼探仪fishery 渔业fishing chart 渔区图fishing remote sensing 渔业遥感fishing season 鱼汛期fission 分裂fission product 核裂产物fission track dating 裂变轨迹年代测定fission track dating method 裂变径迹法年龄测定fissure 裂隙fissure eruptions 裂缝喷发fissure limestone land 石灰岩裂隙地fissure network soil 网状裂隙土壤fissure of retreat 收缩裂缝fissure volcanoes 裂隙火山fissuring 裂隙fixation 固定fixed ash 固定灰分fixed points 观测点fixed weir 固定堰fixer 定影剂fjord 峡湾flair point 识别点flake 薄片flake structure 薄片结构flame coal 焰煤flame photometer 火焰光度计flame photometry 火焰光谱法flame reaction 焰色反应flame spectrophotometry 火焰分光光度测定flank 翼flank eruption 山侧喷发flank moraine 侧碛石flash spectrum 闪光光谱flashy flood 暴洪flat bed 水平层flat bed offset printing machine 平台胶印机flat bog 低位沼泽flat bottomed valley 平底谷flat coast 低平海岸flat interfluve 平坦河间地flat nutty structure 平核状结构flat sandy shore 低平砂质海滨flattening 扁率flattening index 平整指数flaw 横推断层flax 亚麻flexible automation 柔性自动化flexural wave 挠曲波flexure 挠曲flexure curve 变位线flexure scarp 弯曲悬崖flight altitude 飞行高度flight chart 飞行图flight direction 飞行方向flight forecast 飞行预极flight plan for aerial photography 航摄计划flight relative height 相对航高flight true altitude 绝对航高flightline 摄影航线float 浮标float gauging 浮标测流floating bog 浮草沼泽floating ice 浮冰floating island 浮岛floating mud 浮泥floating raft 漂筏flocculated colloid 絮凝胶体flocculation 凝结flocculation limit 絮凝极限flood and ebb 潮汐flood area 浸水地flood basin 泛滥盆地flood bed 泛滥地flood capacity 洪水量flood channel 洪水河道flood control 洪水控制flood current 涨潮流flood curve 洪水曲线flood discharge 洪水量flood fall 退洪flood flow 洪水量flood gate 水闸flood land 河漫滩flood level 洪水位flood plain 泛滥平原flood plain bench 泛滥平原阶地flood plain deposit 泛滥平原沉积flood plain forest 泛滥平原林flood plain meadow 泛水地草甸flood plain terrace 泛滥平原阶地flood protection 洪水控制flood risk forecasting system 洪水灾情预报系统flood routing 洪水演算flood tide 涨潮flood wave 洪水波flood zone 泛滥带flooding 水淹floodmarks 洪水遗迹floodway 排水渠道floor 底盘flora 植物群floral element 植物区系成分floral region 植物区floralelement 植物区系成分floristic composition 植物区系组成floristic element 植物区系成分floristic kingdom 植物界floristic region 植物区flow 流量flow cleavage 咙理flow folds 链褶皱flow injection analysis 怜注射分析flow injection atomic adsorption analysis 怜注射原子吸光法flow line 吝flow line map 运动线法专题地图flow line method 吝法flow net 柳flow of ground water 地下水流flow rate 量flow structure 疗构造flower bud 花芽flowering plant 有花植物flowing height 自喷高flowing method 吝法flowing pressure 自凉力flowing water 廉fluctuation 变动fluctuation of climate 气候变动fluctuation of river discharge 河量变动fluctuation of sea level 海平面变化fluctuation of water table 水位变动fluctuations of water table 地下水面波动flue dust 烟道灰flue gas 烟道气flue gases 烟道气fluid 铃fluid inclusion 液包体fluid inclusion geothermometer 液态包体地质温度计fluid phase 拎fluidal structure 疗构造fluidity 怜性flume 引水沟fluorapatite 氟磷灰石fluorescence 荧光fluorescence microscope 荧光显微镜fluorescent screen 荧光屏fluorimeter 荧光计fluorine 氟fluorine dating 氟年代测定法fluorine pollution 氟污染fluorite 萤石fluorite deposit 萤石矿床fluorography 荧光图照相术fluorosis 氟中毒fluvaquent 冲积潮新成土fluvent 冲积新成土fluvial bog 滩地沼泽fluvial cycle of erosion 河铃积循环fluvial erosion 河蚀fluvial geomorphology 廉地貌fluvial landforms 河川地形fluvial plains 冲积平原fluviatile deposit 河成沉积fluviatile facies 河相fluviatile gravel 河砾fluviatile loam 冲积壤土fluvioglacial deposit 冰水沉积fluvioglacial deposits 冰水沉积物fluvioglacial processes 冰水过程fluvioglacial soil 冰水土壤fluvioglacial terraces 冰水阶地fluviology 河璃fluvisols 冲积土flysch 复理层foam 泡沫focal distance 焦距focal distance of objective 物镜焦距focal plane 焦面focus 焦点focus difference 焦距差focusing 倒foehn 焚风foehn cloud 焚风云foehn wave 焚风波fog 雾fog dissipation 雾消散fog horizon 雾层fold 褶皱fold basement 褶皱基底fold belt 褶皱带fold fault 褶皱断层fold fissures 褶皱裂隙folded mountain 褶皱山folding 褶皱酌folding belt 褶皱带`foliage color 叶彩色foliated coal 层状褐煤foliated structure 薄片状结构foliation 剥理folist 末分解有机土folk custom 民俗fontology 温泉学food 食物food chain 食物链food chains trophic levels 食物链营养级food cycle 营养循环food plant 食用植物food poisoning 食物中毒foot 山脚foot of slope 斜井底foothill 山麓小丘foothills 前陆footwall 下盘forage crop 饲料罪forage reserve 饲料基地forage value 钶料价值forb meadow 杂类草草甸forb steppe 阔叶草本干草原force couple 力偶force of gravity 重力forced convection 强迫对流ford 浅滩fore sight 前视forecast 预报forecast map 预报图forecast of solar activity 太阳活动预告forecast period 预报期forecast windstorm with doppler radar 用多普勒雷达预测暴风雨forecasting 预报foredeep 陆外渊foreset bed 前积层foreshock 前震foreshore 前滨forest 季雨林forest amelioration 森林改良forest block 林块forest bog 森林沼泽forest climate 森林气候forest density 密封度forest edge 林缘forest floor 枯枝落叶层forest land 林地forest line 森林线forest management 森林经营forest meteorology 森林气象学forest opening 林中旷地forest peat 木质泥炭forest photogrammetry 林业摄影测量forest planting 造林forest resources 森林资源forest road in photo location survey 林区道路像片选线forest science 林业科学forest site 森林立地forest site interpretation 森林立地条件判读forest soil 森林土壤forest stand 林分forest steppe 森林草原forest steppe soil 森林草原土壤forest steppe zone 森林草原带forest survey 森林测量forest swamping 森林沼泽化forest tundra 森林冻原forest type map 森林类型图forest typology 林型学forest vegetation 森林植物群forest with grass layer 多草森林forest zone 森林地带forestry 林学forestry remote sensing 林业遥感form 形状form factor 形状因素form of poluttants 污染物形态formaldehyde water pollution 甲醛水污染format 规格formation 地层formation class 群系纲formation group 群系组formation heat 形成热formic acid 甲酸formlines 地形线forsterite 镁橄榄石fort 要塞fortification 筑城fortified area 筑城地域forward intersection 前方交会fossil 化石fossil anomaly 古异常fossil coenosis 化石群fossil delta 古三角洲fossil droppings 粪化石fossil erosion surface 古侵蚀面fossil ice 化石冰fossil men 化石人fossil penenplain 古准平原fossil plant 植物化石fossil pollen 花粉化石fossil pteridophytes 化石蕨fossil soil 埋藏土壤fossil soil method 古土壤法fossil soils 古土壤fossil species 化石种fossilisation 化石化foul land 污秽地foul weather 坏天气foundering 陷落fountain spring 喷泉fourier spectrometer 傅里叶谱仪fourier transform hologram 傅里叶变换全息图fowl 家禽fraction 粒级fractional analysis 分组分析fractional crystallization 分离结晶fractional isotopic abudance 同位素丰度fractional precipitation 分级沉淀fractional separation 分级fractionation 分级fractionation factor 分离系数fractocumulus 碎积云fractonimbus 碎雨云fractostratus 碎层云fracture 断口;隙泉fracture cleavage 破劈理fracture zone 断裂带fragipan 脆磐fragment 碎片fragmental limestone 钙屑灰岩fragmental structure 碎屑状结构fragmental texture 碎屑结构fragmentary material 碎屑物质fragrant plant 香料植物frame 框架frame of image 像幅framework 框架francium 钫frazil 底冰frazil ice 片冰free air reduction 空间改化free ammonia 游离氨free atmosphere 自由大气层free atmosphere climate 自由大气层气候free balloon 自由气球free convection 自由对流free energy of activation 自由活化能free energy of formation 生成的自由能free enthalpy 自由焓free gas 游离气体free generalization 任意综合free ground water 自由地下水free hand profile map 随手剖面图free iron 游离铁free open textured sand 松砂free organic acids 游离有机酸free oxide 游离氧化物free radical 自由基free radical reaction 游离基反应free state 游离状态free valence 自由价free water 自由水freeze hole 冻结钻孔freeze up 冰冻期freezing 冰冻freezing fog 冻雾freezing hole 冻结钻孔freezing nuclei 冻结核freezing point 冰点french curves 曲线板freon 氟利昴frequency 频率frequency analysis 频率分析frequency class 频率级frequency curve 频率曲线frequency distribution 频率分布frequency estimate 频率估价frequency map 频率分布图frequency range 频率范围frequency spectrum 频率谱frequency stability 频率稳定性frequent irrigation 频繁灌溉fresh regolith 新鲜风化层fresh water 淡水fresh water lake 淡湖fresh water lake deposits 淡水湖沉积物fresh water marsh 淡水沼泽fresh water plankton 淡水浮游生物fresh water plant 淡水植物fresh water swamp 淡水沼泽freshly exposed surface 新暴露面friability 松散性friable iron pan 松散铁磐friable soil 松散土壤friction 摩擦friction breccia 擦碎角砾岩friction head loss 摩擦水头损失friction layer 摩擦层friction losses 摩擦水头fringe region 大气边缘层fringe woodland 长廊林fringing reef 裙礁front 锋front anomaly 前缘异常front elements 前缘元素front line of snowmelt 融雪前锋线front view 正视图frontal analysis 锋面分析frontal fog 锋面雾frontal moraine 前碛frontal precipitation 锋面降水frontal surface 锋面frontal thunderstorm 锋面雷暴frontal waves 锋面波frontal zone 锋带frontier 国境frontogenesis 锋生frontolysis 锋消frost 霜frost cracking 冻裂frost cracks 霜裂frost damages 霜冻损害frost free period 解冻期frost heaving 冻拔frost mound 冻丘frost pocket 霜穴frost protection 防霜frost shake 冻裂隙frost weathering 冰冻风化frostless period 解冻期froth 泡沫frozen rain 冻雨frozen soil 冻土fructification 结实fructose 果糖fruit 水果fruit bud 果芽fruit tree 果树fruticous desert 灌木荒漠full moon 满月full sheet 全页图full water capacity 最大持水量fuller's earth 酸性白土fulvic acid 富里酸fumaric acid 延胡酸fumarole 喷气孔fume 尘云function 函数function of fluroine 氟元素功能functional diagram 功能图functional group 官能团functioning 起酌fundamental color 知颜色fundamental point 基准点fungi 菌类fungicide 杀菌剂fungus 真菌fungus disease 真菌病funnel cloud 漏斗云furrow 沟furrow irrigation 沟灌furrowing 开沟fusain 丝煤fused phosphate fertilizer 熔融磷酸肥料fusion analysis of soil 土壤熔解分析fusite 丝煤future reserves 远景储量。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
a rXiv:h ep-ph/2277v322Mar2YCTP-P-02-00A Note on Anomaly Matching for Finite Density QCDFrancesco Sannino ∗Department of Physics,Yale University,New Haven,CT 06520-8120,USA.Abstract We note that the QCD phases at large finite density respect ’t Hooft anomaly matching conditions.Specifically the spectrum of the light excita-tions possesses the correct quantum numbers required to obey global anomalyconstraints.We argue that ’t Hooft constraints can be used at finite densityalong with non perturbative methods to help selecting the correct phase.I.INTRODUCTIONRecently quark matter at very high density has attracted a greatflurry of interest[1–4]. In this regime quark matter is expected to behave as a color superconductor[1,2].Possible phenomenological applications are associated with the description of neutron star interiors, neutron star collisions and the physics near the core of collapsing stars.A better under-standing of highly squeezed nuclear matter might also shed some light on nuclear matter at low density,i.e.densities close to ordinary nuclear matter where some model already exist. See for example Ref.[5]where a rather complete soliton model at low density is constructed containing along with the Goldstone bosons also vector-bosons.In a superconductive phase,the color symmetry is spontaneously broken and a hierarchy of scales,for given chemical potential,is generated.Indicating with g the underlying coupling constant the relevant scales are:the chemical potentialµitself,the dynamically generated gluon mass m gluon∼gµand the gap parameter∆∼µe−1We also observe that QCD atfinite density can be envisioned,from a global symmetry and anomaly point of view,as a chiral gauge theory[8,9]for which at least part of the matter field content is in complex representations of the gauge group.Indeed an important distinc-tion from,zero density,vector-like theories is that these theories,when strongly coupled,can exist in the Higgs phase by dynamically breaking their own gauge symmetries[8,9].This is also the striking feature of the superconductive phase allowed for QCD at high density. In fact atfinite density vector like symmetries are no longer protected against spontaneous breaking by the Vafa-Witten theorem[10].As for a chiral gauge and in general for any gauge theory we expect the low energy mass-less spectrum of afinite density phase(fermions associated to intact chiral global anomalies and Goldstones for spontaneously broken symmetries)to possess the quantum numbers re-quired by the’t Hooft anomaly matching conditions.This further global constraint,when appropriately taken into account,can help selecting the low energy phase atfinite density.II.ANOMALY MATCHING AT FINITE DENSITYWe now show that the recently discussed superconductive QCD phases at high density do respect’t Hooft anomaly matching conditions.Specifically the spectrum of the light exci-tations possesses the correct quantum numbers needed to satisfy global anomaly constraints. The underlying gauge group is SU(3)while the quantumflavor group isSU L(N f)×SU R(N f)×U V(1),(2.1)and the classical U A(1)symmetry is destroyed at the quantum level by the Adler-Bell-Jackiw anomaly.We indicate with qα;c,i the two component left spinor whereα=1,2is the spin index,c=1,...,3is the color index while i=1,...,N f represents theflavor. qα;c,j is the two component conjugated right spinor.We summarize the transformation properties in the following table.[SU(3)]SU L(N f)SU R(N f)U V(1)q11 q−1.(2.2)The theory is subject to the following global anomalies:SU L/R(N f)3,SU L/R(N f)2×U V(1).(2.3)2For a vector like theory there are no further global anomalies.The cubic anomaly factor,for fermions in fundamental representations,is1for q and−1for˜q while the quadratic anomaly factor is always1leading toSU L/R(N f)3∝±3,SU L/R(N f)2U V(1)∝±3.(2.4) Wefirst consider the case N f=2which has only the SU L/R(2)2×U V(1)anomaly.Atzero density we have two possible phases compatible with the anomaly conditions.Thefirst is the ordinary Goldstone phase associated with the spontaneous breaking of the underlying global symmetry to SU V(2)×U V(1).The other is the Wigner-Weyl phase where,assuming confinement,the global symmetry at low energy is intact and the needed massless spectrum consists of massless baryons with the following quantum numbers:[SU(3)]SU L(2)SU R(2)U V(1)B113B11†We consider theories withoutflat directions.The possibility to extend our criterion to these theories is presently under investigation.3to f IR=7.Indeed,in this case,nature chooses to minimize S(T)at the approach to freeze out‡.This guide,although at a very speculative level,has been used in[9]to select the infrared phase of chiral gauge theories.What happens to the’t Hooft anomaly conditions when we squeeze nuclear matter?At very low baryon density compared to afixed intrinsic scale of the theoryΛ,it is reasonable to expect that the Goldstone phase persists.Hence’t Hooft anomaly conditions are still satisfied.On the other hand at very large densities it is seen,via dynamical calculations[1,2], that the ordinary Goldstone phase is no longer favored compared with a superconductive one associated with the following type of quark condensate:ǫαβǫabcǫij<qα;b,i qβ;c,j>,(2.7)likewise for the tilded quarks.In the following we set a=3.This condensate is not allowed at zero density by the Vafa-Witten theorem.One can ask if the spectrum of low energy excitations still possesses the correct quantum numbers to satisfy’t Hooft anomaly conditions.The previous condensate breaks the gauge symmetry while leaving intact the following group:[SU(2)]×SU L(2)×SU R(2)× U V(1),(2.8) where[SU(2)]is the unbroken part of the gauge group.The U V(1)generator is the following linear combination of the previous U V(1)generator Q V and the broken diagonal generatorof the SU(3)gauge group Q8=diag{1,1,−2}Q=Q V−Q8,(2.9) Then the Q charge of the quarks with color1and2is zero.The low energy massless excitations are the quarks not participating in the condensate. We summarize their symmetry properties as follows:[SU(2)]SU L(2)SU R(2) U V(1) qα;3,i113qα;3,j11˜Q SU L/R (2)SU L/R (2)=Q V SU L/R (2)SU L/R (2)−Q 8SU L/R (2)SU L/R (2)FIG.1.the effective Lagrangian level.The Vafa-Witten theorem for vector-like theories prohibits the breaking of vector like symmetries like U V (1).Turning on low baryon density we expect to remain in the confined phase with the same number of Goldstone bosons (i.e.8).Evidently the ’t Hooft anomaly conditions are satisfied.At very high density,dynamical computations suggest [3]that the preferred phase is a superconductive one and the following ansatz for a quark-quark type of condensate is energetically favored:ǫαβ<q α;a,i q β;b,j >∼k 1δai δbj +k 2δaj δbi ,(2.11)where we have a similar expression for the tilded fields.The condensate breaks completely the gauge group while locking together the left/right transformations to color.The final global symmetry group isSU c +L +R (3),(2.12)and the low energy spectrum consists of 9Goldstone bosons.The effective Lagrangian at low energies [15]for the Goldstones is similar to the ordinary effective Lagrangian for QCD at zero density except for an extra Goldstone boson associated with the spontaneously broken U V (1)symmetry.In this case we expect the underlying global anomalies to be matched at low energies via the Wess-Zumino term.It is instructive to explicitly construct this term.This term is also been discussed together with its relation with flavor anomalies at finite6density in Ref.[16].However in this paper,the twoflavors QCD case is not investigated and the possibility to envision QCD atfinite density as a chiral gauge theory is not discussed.The Goldstone bosons are encoded in the unitary matrix U transforming linearly under the left-rightflavor rotationsU→g L Ug†R.(2.13)with g L/R∈SU L/R(N f).In our notation U is the transpose ofΣdefined in Ref.[15].U satisfies the non linear realization constraint UU†=1.We also require det U=1.In this way we avoid discussing the axial U A(1)anomaly at the effective lagrangian level.(see Ref.[17]for a general discussion of trace and U A(1)anomaly).We haveU=e iΦ2Φa T a representing the8Goldstone bosons.T a are the generators of SU(3), with a=1,...,8and Tr T a T b =1Tr ∂µU∂µU† .(2.15)2The Wess-Zumino term[18]can be compactly written using the language of differential forms.It is useful to introduce the algebra valued Maurer-Cartan one form:α=(∂µU)U−1dxµ≡(dU)U−1.(2.16) The Wess-Zumino effective action isΓW Z[U]=C M5Tr α5 .(2.17) The price to pay in order to make the action local is to augment by one the space dimensions. Hence the integral must be performed over afive-dimensional manifold whose boundary(M4) is the ordinary Minkowski space.The constant C,at zero density,isfixed to beNC=−ithe previous lagrangian one can still add the extra Goldstone boson associated to the U V(1) symmetry without altering the previous discussion(see[15]).One can check that the global anomalies are correctly implemented by carefully gauging the Wess-Zumino term[19,20] with respect to theflavor symmetries.Hence for the3flavor case too,the’t Hooft global anomalies are matched atfinite(low and high)density.In writing the Goldstone Lagrangian we have not yet considered the breaking of Lorentz invariance atfinite density.Following Ref.[15]we note that the Goldstones obey,in medium, a linear dispersion relation of the type E=v| p|,where E and| p|are respectively the energy and the momentum of the Goldstone bosons.By rescaling the vector coordinates x→ x/v the Lagrangian in Eq.(2.15)becomes:F2L=global constraint should be appropriately taken into account when selecting the low energy finite density phase.We stress that,while dynamical calculations rely on the high-density approximation, t’Hooft anomaly matching conditions are global constraints and hence applicable to low as well as high densities.AcknowledgmentsIt is a pleasure for me to thank M.Alford,R.L.Jaffe and K.Rajagopal for enlightening discussions and encouragement.I thank T.Appelquist for useful discussions and Z.Duan and P.S.Rodrigues da Silva for helpful discussions as well as for careful reading of the manuscript.I thank I.Zahed for bringing to my attention some relevant literature.A special thank goes to J.Schecther for continuous support,encouragement and for a careful reading of the manuscript.The work of F.S.has been partially supported by the US DOE under contract DE-FG-02-92ER-40704.and F.Wilczek,preprint,hep-ph/9906512,to appear in Phys.Rev.D.R.D.Pisarski,D.H.Rischke,preprint,nucl-th/9907041.D.K.Hong,V.A.Miransky,I.A.Shovkovy,and L.C.R.Wiejewardhana,preprint,hep-ph/9906478.W.E.Brown,J.T.Liu,and H.Ren,preprint, hep-ph/9908310.S.Hsu and M.Schwetz,preprint,hep-ph/9908314.D.V.Deryagin,D.Yu.Grigorev,and V.A.Rubakov,Int.J.Mod.Phys.A7,659(1992).E.Shuster and D.T.Son, preprint,hep-ph/9905448.B.A.Freedman and L.D.McLerran,Phys.Rev.D16,1147(1977).V.A.Miransky,I.A.Shovkovy,and L.C.R.Wiejewardhana,preprint,hep-ph/9908212.R.Rapp,T.Sch¨a fer,E.V.Shuryak,and M.Velkovsky,preprint,hep-ph/9904353,to appear in Ann.Physics.D.K.Hong,Phys.Lett.B473,118(2000).A.Chodos,F.Cooper,W.Mao,H.Minakata,A.Singh,Phys.Rev.D61,46011(2000).M.Rho,E.Shuryak,A.Wirzba andI.Zahed,hep-ph/0001104.M.Rho,A.Wirzba,I.Zahed,hep-ph/9910550.S.R.Beane,P.F.Be-daque and M.J.Savage,hep-ph/0002209.C.Manuel and M.H.G.Tytgat,hep-ph/0001095.D.K.Hong,Taekoon Lee and D.Min,hep-ph/9912531.G.W.Carter and D.Diakonov,hep-ph/0001318;Nucl.Phys.A661,625(1999).[5]M.Harada,F.Sannino,J.Schechter and H.Weigel,Phys.Lett.B384,5(1996)and seereferences therein for nuclear matter at low density.[6]F.Sannino and J.Schechter,Phys.Rev.D52,96(1995);M.Harada, F.Sannino andJ.Schechter,Phys.Rev.D54,1991(1996);Phys.Rev.Lett.78,1603(1997); D.Black,A.H.Fariborz,F.Sannino and J.Schechter,Phys.Rev.D58,54012(1998);D.Black,A.H.Fari-borz and J.Schechter,Report Number:SU-4240-71,hep-ph/9910351.[7]G.’t Hooft,in:Recent Developments in Gauge Theories,eds.,G.’t Hooft(Plenum Press,New York,1980).[8]R.Ball,Phys.Rept.182(1989)1and see references therein.[9]T.Appelquist,Z.Duan and F.Sannino,Report Numbers:YCTP-P-29-99,hep-ph/0001043.Accepted to be published in Phys.Rev.D[10]C.Vafa and E.Witten,Nucl.Phys.B234,173(1984).[11]T.Appelquist,A.Cohen and M.Schmaltz,Phys.Rev.D60(1999)045003.In this paper itwasfirst conjectured that the inequality f IR≤f UV is valid for any asymptotically free gauge theory.The function f UV is computed at high temperature.[12]T.Appelquist,A.Cohen,M.Schmaltz and R.Shrock,Phys.Lett.B459(1999)235.[13]M.Peskin,in:Les Houches,Session XXXIX,1982–Recent Advances in Field Theory andStatistical Mechanics,eds.,J.Zuber and R.Stora(North-Holland,Amsterdam,Netherlands 1984)and see references therein.[14]S.Raby,S.Dimopoulos and L.Susskind,Nucl.Phys.B169(1980)373;S.Dimopoulos andL.Susskind,Nucl.Phys.B173(1980)208.[15]R.Casalbuoni and R.Gatto,preprints,hep-ph/9908227and hep-ph/9909419.[16]D.K.Hong,M.Rho and I.Zahed,Phys.Lett.B468,261(1999).[17]F.Sannino and J.Schechter,Phys.Rev.D60,056004(1999).[18]J.Wess and B.Zumino,Phys.Lett.B37,95(1971).[19]E.Witten,Nucl.Phys.B223,422(1983);Nucl.Phys.B223,433(1983).[20]¨O.Kaymakcalan and J.Schechter,Phys.Rev.D31,1109(1985).¨O.Kaymakcalan,S.Rajeevand J.Schechter,Phys.Rev.D30,594(1984);J.Schechter,Phys.Rev.D34,868(1986);P.Jain,R.Johnson,Ulf-G.Meissner,N.W.Park and J.Schechter,Phys.Rev.D37,3252 (1988);For an extension to fermions in pseudoreal representations see:Z.Duan,P.S.Rodrigues da Silva and F.Sannino,Report Numbers:YCTP-P1-00,hep-ph/0001303.[21]T.Sch¨a fer,Report Numbers:TRI-PP-99-30,hep-ph/9909574.。