Infinite Transitivity on Affine Varieties

In this note we survey recent results on automorphisms of affine algebraic varieties, infinitely transitive group actions and flexibility. We present related constructions and examples, and discuss geometric applications and open problems.

Automated proof for formal indistinguishability and its applications

Bana et al. proposed the relation formal indistinguishability (FIR), i.e. an equivalence between two terms built from an abstract algebra. Later Ene et al. extended it to cover active adversaries and random oracles. This notion enables a framework to verify computational indistinguishability while still offering the simplicity and formality of symbolic methods. We are in the process of making an automated tool for checking FIR between two terms. First, we extend the work by Ene et al. further, by covering ordered sorts and simplifying the way to cope with random oracles. Second, we investigate the possibility of combining algebras together, since it makes the tool scalable and able to cover a wide class of cryptographic schemes. Specially, we show that the combined algebra is still computationally sound, as long as each algebra is sound. Third, we design some proving strategies and implement the tool. Basically, the strategies allow us to find a sequence of intermediate terms, which are formally indistinguishable, between two given terms. FIR between the two given terms is then guaranteed by the transitivity of FIR. Finally, we show applications of the work, e.g. on key exchanges and encryption schemes. In the future, the tool should be extended easily to cover many schemes. This work continues previous research of ours on use of compilers to aid in automated proofs for key exchange.

Convex-transitive Banach spaces and their hyperplanes

The topic of this dissertation is the geometric and isometric theory of Banach spaces. This work is motivated by the known Banach-Mazur rotation problem, which asks whether each transitive separable Banach space is isometrically a Hilbert space. A Banach space X is said to be transitive if the isometry group of X acts transitively on the unit sphere of X. In fact, some weaker symmetry conditions than transitivity are studied in the dissertation. One such condition is an almost isometric version of transitivity. Another investigated condition is convex-transitivity, which requires that the closed convex hull of the orbit of any point of the unit sphere under the rotation group is the whole unit ball. Following the tradition developed around the rotation problem, some contemporary problems are studied. Namely, we attempt to characterize Hilbert spaces by using convex-transitivity together with the existence of a 1-dimensional bicontractive projection on the space, and some mild geometric assumptions. The convex-transitivity of some vector-valued function spaces is studied as well. The thesis also touches convex-transitivity of Banach lattices and resembling geometric cases.

Three-year-olds are sensitive to semantic prominence during online language comprehension

Recent evidence from adult pronoun comprehension suggests that semantic factors such as verb transitivity affect referent salience and thereby anap- hora resolution. We tested whether the same semantic factors influence pronoun comprehension in young children. In a visual world study, 3-year- olds heard stories that began with a sentence containing either a high or a low transitivity verb. Looking behaviour to pictures depicting the subject and object of this sentence was recorded as children listened to a subsequent sentence containing a pronoun. Children showed a stronger preference to look to the subject as opposed to the object antecedent in the low transitivity condition. In addition there were general preferences (1) to look to the subject in both conditions and (2) to look more at both potential antecedents in the high transitivity condition. This suggests that children, like adults, are affected by semantic factors, specifically semantic prominence, when interpreting anaphoric pronouns.

Captured by conventions : On objectivity and factuality in international news agency discourse

The thesis explores the discourse of two global news agencies, the Associated Press (AP) and Reuters, which together with the French AFP are generally regarded as the world s leading news distributors. A glance at the guidelines given by AP and Reuters to their journalists shows that these two news agencies make a lot of effort to strive for objectivity the well-known journalistic ideal, which, however, is an almost indefinable concept. In journalism textbooks definitions of objectivity often contain various components: detachment, nonpartisanship, facticity, balance, etc. AP and Reuters, too, in their guidelines, present several other ideals besides objectivity , viz., reliability, accuracy, balance, freedom from bias, precise sourcing, reporting the truth, and so on. Other central concepts connected to objectivity are neutrality and impartiality. However, objectivity is, undoubtedly, the term that is most often mentioned when the ethics of journalism is discussed, acting as a kind of umbrella term for several related journalistic ideals. It can even encompass the other concept that is relevant for this study, that of factuality. These two intertwined concepts are extremely complex; paradoxically, it is easier to show evidence of the lack of objectivity or factuality than of their existence. I argue that when journalists conform to the deep-rooted conventions of objective news reporting, facts may be blurred, and the language becomes vague and ambiguous. As global distributors of news, AP and Reuters have had an influential role in creating and reinforcing conventions of (at least English-language) news writing. These conventions can be seen to work at various levels of news reporting: the ideological (e.g., defining what is regarded as newsworthy, or who is responsible), structural (e.g., the well-known inverted pyramid model), and stylistic (e.g., presupposing that in hard news reports, the journalist s voice should be backgrounded). On the basis of my case studies, I have found four central conventions to be worthy of closer examination: the conventional structure of news reports, the importance of newsworthiness, the tactics of impersonalisation which tends to blur news actors responsibility, and the routines of presenting emotions. My linguistic analyses draw mainly on M.A.K. Halliday s Systemic Functional Grammar, on notions of transitivity, ergativity, nominalisation and grammatical metaphor. The Appraisal framework, too, has provided useful tools for my analyses. The thesis includes six case studies dealing with the following topics: metaphors in political reporting, terrorism discourse, terrorism fears, emotions more generally, unnamed sources as rhetorical constructs, and responsibility in the convention of attribution.

Minimization Problems Based on Relative alpha-Entropy I: Forward Projection

Minimization problems with respect to a one-parameter family of generalized relative entropies are studied. These relative entropies, which we term relative alpha-entropies (denoted I-alpha), arise as redundancies under mismatched compression when cumulants of compressed lengths are considered instead of expected compressed lengths. These parametric relative entropies are a generalization of the usual relative entropy (Kullback-Leibler divergence). Just like relative entropy, these relative alpha-entropies behave like squared Euclidean distance and satisfy the Pythagorean property. Minimizers of these relative alpha-entropies on closed and convex sets are shown to exist. Such minimizations generalize the maximum Renyi or Tsallis entropy principle. The minimizing probability distribution (termed forward I-alpha-projection) for a linear family is shown to obey a power-law. Other results in connection with statistical inference, namely subspace transitivity and iterated projections, are also established. In a companion paper, a related minimization problem of interest in robust statistics that leads to a reverse I-alpha-projection is studied.

Um estudo dos gritos de guerra militares sob a ótica da Linguística Sistêmico-Funcional

O objetivo desta análise é investigar os gritos de guerra militares, um gênero discursivo constituído nas práticas sociais do ambiente da caserna e resultado de crenças e de percepções definidoras da identidade militar. Neste trabalho, analisamos trinta gritos de guerra coletados no ano de 2009 junto a grupamentos de cadetes da Academia Militar das Agulhas Negras (AMAN). Com base nos pressupostos teóricos da Linguística Sistêmico-Funcional, tendo como ponto de partida o significado ideacional de Halliday (1985), analisamos como se dá a organização do sistema linguístico em conformidade com o aspecto funcional dos gritos de guerra. Pela categoria da transitividade, buscamos compreender como se manifestam as representações de mundo na estrutura oracional. Ao evidenciarmos uma maior presença de processos materiais e relacionais na materialização linguística das experiências de mundo, pudemos caracterizar melhor a natureza de práticas sociais em contexto militar e perceber que tais processos orientam-se na construção de sentidos de maneira a instituir uma identidade institucionalizada. Pelo mapeamento dos modos de representação dos atores sociais, com base nas categorias sociossemânticas apresentadas por Van Leeuwen (1997), percebemos que os indivíduos inscrevem-se na materialidade textual, principalmente, por meio da coletivização, evidenciando assim uma forma particular de inserção dos sujeitos na vida castrense. Tal fato revela o grupo como entidade que deve se fundamentar na coesão entre seus integrantes, aspecto basilar para a consolidação da própria instituição. O modo como os militares são representados nos gritos de guerra orienta-se na formação de uma identidade grupal necessária para que, por meio desse gênero, sejam alcançados propósitos institucionalmente definidos, que podem ser sintetizados na ideia de preparação do espírito militar

Trazendo à baila a voz que fomenta pesquisas em linguagem: uma análise crítica do discurso do professor-orientador através do Sistema de Transitividade

A Nova Lei de Diretrizes e Bases da Educação Brasileira (LDB 9.394/96) prevê que a educação superior promova criticidade, reflexibilidade, correlação de saberes, mas também o incentivo ao trabalho de pesquisa e investigação científica, visando ao desenvolvimento da ciência e da tecnologia e da criação e difusão da cultura e, desse modo, desenvolver o entendimento do homem e do meio em que vive. (Artigo 43, inciso III). Entretanto, pouco se ouve sobre essas questões a partir da voz do orientador de pesquisas acadêmicas, o que esta pesquisadora considera um problema de ordem social, tendo em vista a importância desses atores sociais para o campo acadêmico. Os poucos trabalhos que abordam o tema limitam-se a identificar o orientador a partir das impressões empíricas dos orientandos e a refletir as atuações a partir de questões político-educacionais (FLECHA, 2003; MAZZILLI, 2003; BIANCHETTI & MACHADO, 2006). Neste sentido, o presente trabalho procura responder, através da Análise Crítica do Discurso (ACD), o que os orientadores têm a dizer sobre sua prática social. De caráter interpretativo (ALVEZ-MAZZOTTI, 1999), conta com dados gerados por orientadores de mestrado em Linguística/Linguística Aplicada, das esferas federal, estadual e privada, do Rio de janeiro, sendo dois participantes de cada esfera. Na primeira etapa, os sujeitos responderam a uma entrevista semiestruturada. A segunda etapa consta de: a) um questionário; b) correspondências eletrônicas; c) os regimentos dos programas de pós-graduação; e d) revisão histórica da orientação no Brasil. O caráter social deste estudo é a relação dialética entre linguagem e sociedade, já que a ACD considera qualquer evento discursivo ao mesmo tempo um texto (primeira dimensão), uma prática discursiva (segunda dimensão) e uma prática social (terceira dimensão): o modelo tridimensional (FAIRCLOUGH, 2001). O Sistema de Transitividade da LSF pautou a análise da primeira dimensão, confirmando outros estudos sobre o ranking da recorrência dos processos (LIMA LOPES, 2001). A interpretação dessa primeira dimensão aponta que os orientadores atuam na idiossincrasia, e que os principais atores sociais desse fazer são o orientador e o orientando, em relação assimétrica de poder. Na segunda dimensão, a interdiscursividade reforça essa idiossincrasia, mas inclui as pressões institucionais, que agem como reguladoras desse fazer. Na terceira dimensão, os resultados sugerem que aspectos históricos justificam a queda da qualidade dos mestrandos, associando a isso um interesse político, e as características da pós-modernidade a uma nova e híbrida atuação. Além disso, os resultados apontam para um discurso de resistência à hegemonia nas três dimensões de análise. A pesquisa possibilitou ainda a discussão em torno de aspectos práticos: a) a reflexão dos sujeitos sobre seus papeis e atribuições; e b) a atualização do aporte teórico, aplicado a um tema ainda pouco explorado. Deste trabalho, fica um convite a novas pesquisas sobre o discurso do orientador, trazendo à tona não apenas sua voz, conforme a fala literal de um dos entrevistados, mas também contribuições diretas e significativas aos estudos em Linguística e Linguística Aplicada no Brasil

A transitividade verbal: uma revisão semântico-pragmática

Esta tese aborda o tema Transitividade Verbal em construções predicativas encontradas em corpus construído com textos jornalísticos impressos do Brasil. Os verbos são estudados segundo ocorrências retiradas de jornais de grande circulação em três capitais. Toma-se a semântica, a pragmática e a sintaxe como determinantes potenciais da transitividade verbal e aborda-se o tema segundo perspectiva histórica, ou seja, procura-se desenhar o percurso do tema nos estudos de língua portuguesa desde a sua primeira gramática, chegando-se, então, a reflexões mais atuais e também ao tratamento dispensado aos verbos e sua construção predicativa em dicionários e em gramáticas pedagógicas. O confronto com estudos acerca da língua espanhola também é motivo de atenção, devido à proximidade que o tema apresenta nas duas línguas. A partir desses estudos, buscou-se elaborar quadro sistemático e mais coerente dos verbos segundo a transitividade e construção predicativa, procurando aliar-se a base teórica consistente, apresentada pela tradição dos estudos gramaticais, às reflexões técnico-científicas acordadas com a realidade lingüística levantada a partir do corpus

A transitividade nos textos de autoajuda para mulheres

A motivação inicial deste trabalho foi o interesse pelo desenvolvimento de estratégias argumentativas mais eficazes de ensino de produção textual na escola básica, no âmbito dos gêneros organizados segundo modo argumentativo. Além disso, motivou-nos também a percepção de que um grande número de alunas leem, hoje, crônicas voltadas para o público feminino, tendo seu discurso altamente influenciado pelo conteúdo ideológico-comportamental por elas veiculado o que acaba se refletindo nos textos que escrevem nas aulas de redação. Esse fato chamou nossa atenção, o que nos levou a perceber, também, a vendagem em massa de livros de autoajuda para mulheres. Percebemos que, ao examinarmos as escolhas linguísticas de um discurso de autoajuda, poderíamos trazer à tona algumas crenças e alguns valores, subjacentes à mensagem relativa à experiência de ser mulher e invisíveis para quem aceita esse tipo de discurso como algo natural. Analisaremos então - tendo como suporte teórico a Linguística Sistêmico-Funcional proposta por Halliday, no escopo da transitividade cinco crônicas voltada para o público feminino, com características dos discursos de autoajuda, em cujos textos se vê um grande quantitativo de estratégias argumentativas (algumas clichês) para o convencimento do leitor, estratégias essas apoiadas nas escolhas linguísticas de seus autores, cujo objetivo claro é a produção de determinados sentidos

A representação dos atores sociais em textos jurídicos sobre o sistema de cotas sob a perspectiva da linguística sistêmico-funcional

O presente trabalho está inserido nas pesquisas sobre linguagem no contexto jurídico, e busca responder às seguintes questões: como os atores sociais beneficiários de cotas para ingresso nas universidades públicas são representados em um conjunto de textos, produzidos pelo Poder Público Brasileiro, acerca do próprio sistema de cotas? E como o Sistema da Transitividade demonstra quem são as forças ativas e as forças passivas da questão das cotas? Para isso, buscou-se um corpus heterogêneo composto pelo voto do Ministro Ricardo Lewandowsky na ADPF168, que decidiu a polêmica das cotas, bem como os textos que apresentam relações de intertextualidade com o julgamento, sejam eles anteriores ao voto, como, a Constituição da República Federativa do Brasil de 1988, em especial o artigo 5, caput e inciso I, e a Lei do Estado do Rio de Janeiro n 4151 de 2003; ou posteriores, como a Lei 12.711 de 29 de agosto de 2012, que veio em resposta ao texto do Supremo Tribunal Federal. A pesquisa tem natureza qualitativa interpretativa, insere-se no ramo da Linguística Sistêmico-Funcional, em especial na Representação dos Atores Sociais de van Leuween (1996) e no Sistema de Transitividade proposto por Halliday (2004)

Itens de prova do Enem: cognição e ação à luz da linguística sistêmico-funcional

Este estudo investiga a Matriz de Referência e 117 itens de provas de Linguagens, Códigos e suas Tecnologias, do Exame Nacional do Ensino Médio (Enem), no período compreendido entre 2009 e 2013, a fim de se estabelecerem relações entre os enunciados de comando dos itens e as ações requeridas do participante, focalizando-se especialmente os processos verbais. A leitura do material teórico-metodológico que constitui o Enem revela uma visão sociointeracionista de língua, centrada no desenvolvimento de competências e habilidades que levarão o aluno ao domínio da língua, importante fator de representação e inclusão social. Por extensão, tal concepção permite compreender a prova do Enem como um ato de interação entre o agente público organizador e os participantes do exame. Como principal referencial teórico, elegeu-se a Linguística Sistêmico-Funcional (HALLIDAY; MATTHIESSEN, 2004), enfocando-se especialmente a metafunção ideacional do sistema de transitividade, por ser ela a reveladora da experiência e da representação de mundo, sendo capaz, portanto, de expressar os sentidos de aprendizagem linguística e de ação por meio da língua materna/linguagem. Dois objetivos orientaram este estudo. O objetivo específico consistiu em verificar a relação entre os processos verbais mais recorrentes na Matriz e nos itens analisados, a fim de compreender a relação entre o comando do item e a ação de um cidadão letrado, competente e hábil para a produção e recepção de textos em língua materna. Como objetivo geral, espera-se que este estudo possa contribuir para o ensino da Língua Portuguesa, a partir da análise e das reflexões desenvolvidas. Percorreu-se do suporte legal que dá origem ao Enem à configuração do item como um gênero textual para, então, passar-se ao exame do corpus. O exame da Matriz de Referência para a área de Linguagens, Códigos e suas Tecnologias e dos itens selecionados apontou a predominância de processos materiais, mentais e relacionais nos enunciados de comando, que, por sua vez, deflagram ações mentais cognitivas nos participantes. Esse resultado indica que dominar a língua para atuar na sociedade com autonomia e competência implica, principalmente, a mobilização interna e intelectual do indivíduo, com base em seus conhecimentos e reflexões.

As representações de Deus em Caim, de José Saramago: um estudo sistêmico-funcional

Uma das instâncias de representação do mundo é a linguagem. Por meio da língua representamos dados de nossa experiência física e psíquica, ou seja, representamos a realidade que nos cerca. Investigar como o homem representa essa realidade é uma questão inesgotável. Desse modo, é necessário selecionar um aspecto dessa realidade, i.e., fazer um recorte. Para tratar de como o homem representa o mundo, foi escolhido como objeto de pesquisa uma das mais recorrentes representações feitas pela humanidade, a saber, deus. Os questionamentos em torno do personagem deus podem ser considerados uma das questões ontológicas do homem. No âmbito dos estudos da linguagem, a Linguística Sistêmico-Funcional mostra-se como suporte teórico ideal, pois entende que a linguagem possui a habilidade de representar a realidade. O propósito da linguagem de representar ideias e expressar experiências remete à Metafunção Ideacional que tem como ferramenta de análise o Sistema de Transitividade. Sendo assim, nosso objetivo é investigar, por meio do Sistema de Transitividade da LSF, que representações de deus José Saramago nos mostra em seu último romance, Caim, e responder às seguintes perguntas: Qual a representação do personagem Deus em Caim a partir da investigação dos enunciados do narrador, do personagem Caim e do próprio personagem Deus? A análise linguística corrobora ou não o posicionamento de Saramago expresso por meio de um narrador que se coloca contra Deus? Como a análise linguística pode corroborar e sustentar uma análise literária? O conceito de religião e a relação homem-deus têm uma presença constante na obra de Saramago e, em Caim, o autor desconstrói uma tradição judaico-cristã, através das próprias narrativas bíblicas do Velho Testamento. Por meio dos processos analisados é possível observar que o divino, na obra em questão, é revestido de características humanas, é vingativo, rancoroso e demonstra pouquíssima compaixão por suas criaturas. Para Saramago, o Deus cristão faz dos seres humanos suas marionetes, por exemplo, quando induz Caim ao primeiro homicídio da historia cristã. Desse modo, o autor desconstrói a concepção judaico-cristã do Deus justo, onipotente, onisciente e bondoso. Para o autor, Deus é egoísta, vingativo e se deixa levar pela ira

First-principles study of p-type transparent conductive oxides CuXO2 (X=Y, Sc, and Al)

Using first-principles methods we have calculated electronic structures, optical properties, and hole conductivities of CuXO2 (X=Y, Sc, and Al). We show that the direct optical band gaps of CuYO2 and CuScO2 are approximately equal to their fundamental band gaps and the conduction bands of them are localized. The direct optical band gaps of CuXO2 (X=Y, Sc, and Al) are 3.3, 3.6, and 3.2 eV, respectively, which are consistent with experimental values of 3.5, 3.7, and 3.5 eV. We find that the hole mobility along long lattice c is higher than that along other directions through calculating effective masses of the three oxides. By analyzing band offset we find that CuScO2 has the highest valence band maximum (VBM) among CuXO2 (X=Y, Sc, and Al). In addition, the approximate transitivity of band offset suggests that CuScO2 has a higher VBM than CuGaO2 and CuInO2 [Phys. Rev. Lett. 88, 066405 (2002)]. We conclude that CuScO2 has a higher p-type doping ability in terms of the doping limit rule. (C) 2008 American Institute of Physics. [DOI: 10.1063/1.2991157]

幼儿分类能力发展及促进的实验研究

Classification is a kind of basic cognitive process, and category is an important way for human beings to define the world. At the same time, categories are organized in a hierarchical way, which makes it possible for human beings to process information efficiency. For those reasons, the development of classification ability is always one of the foci in developmental psychology. By using the methods of spontaneous and trained classification of both familiar stimuli materials and artificial concepts, this research explored the 4-6 year old children's classification criteria. And by the artificial concept system formed in these classification criteria experiments, the mastery degree of class hierarchy in these young children was analyzed. The main results and conclusions are: 1) The classification ability increases quickly among kindergarteners from 4 to 6 year old: the 4 year old children seemed unable to classify objects by classificatory criteria, however, the 6 year ones had shown the ability in many experimental conditions. But the main basis of classificatory criteria in these young children, including 6 year old ones, was the functional relation of the objects but the conceptual relations, and their classification criteria was not consistent because they seem to be easily affected by experimental conditions. 2) The age of 5 is a more sensitive period of classification ability development: for the children of 5 year old, it was found that their classification ability was easily enhanced by training. The zone of proximal development in classification ability by category standard could probably lie in this period of age. 3) Knowledge is an important factor that affects young children's classification ability, meanwhile, their classification activity are affected by cognitive processing ability: young children exhibited different classification ability as they had different understanding of stimuli materials. Kindergarteners of different age were significantly different in their classification ability as the difference in cognitive processing ability, even if they had the same knowledge about the stimuli materials. 4) Different properties of class hierarchy are different in difficulty for young children: the 5-6 year old children showed that the could master the transitivity of the class hierarchy. No matter under what learning condition, they could answer most of the transitivity questions correctly and infer the property of the sub-class according to that of the super-class. The young children at 5-6 years old had mastered the branching property of class hierarchy at a relative high level, but their answers were easily affected by the hints in the questions. However, it seemed that the asymmetry of class hierarchy was difficult for young children to learn. Because young children could not understand the class inclusion relation, they always drew wrong conclusions about super-class from sub-class in their classification.