-
GeoGen: Geometry-Aware Generative Modeling via Signed Distance Functions
Authors:
Salvatore Esposito,
Qingshan Xu,
Kacper Kania,
Charlie Hewitt,
Octave Mariotti,
Lohit Petikam,
Julien Valentin,
Arno Onken,
Oisin Mac Aodha
Abstract:
We introduce a new generative approach for synthesizing 3D geometry and images from single-view collections. Most existing approaches predict volumetric density to render multi-view consistent images. By employing volumetric rendering using neural radiance fields, they inherit a key limitation: the generated geometry is noisy and unconstrained, limiting the quality and utility of the output meshes…
▽ More
We introduce a new generative approach for synthesizing 3D geometry and images from single-view collections. Most existing approaches predict volumetric density to render multi-view consistent images. By employing volumetric rendering using neural radiance fields, they inherit a key limitation: the generated geometry is noisy and unconstrained, limiting the quality and utility of the output meshes. To address this issue, we propose GeoGen, a new SDF-based 3D generative model trained in an end-to-end manner. Initially, we reinterpret the volumetric density as a Signed Distance Function (SDF). This allows us to introduce useful priors to generate valid meshes. However, those priors prevent the generative model from learning details, limiting the applicability of the method to real-world scenarios. To alleviate that problem, we make the transformation learnable and constrain the rendered depth map to be consistent with the zero-level set of the SDF. Through the lens of adversarial training, we encourage the network to produce higher fidelity details on the output meshes. For evaluation, we introduce a synthetic dataset of human avatars captured from 360-degree camera angles, to overcome the challenges presented by real-world datasets, which often lack 3D consistency and do not cover all camera angles. Our experiments on multiple datasets show that GeoGen produces visually and quantitatively better geometry than the previous generative models based on neural radiance fields.
△ Less
Submitted 14 June, 2024; v1 submitted 6 June, 2024;
originally announced June 2024.
-
Initial measurement of reactor antineutrino oscillation at SNO+
Authors:
SNO+ Collaboration,
:,
A. Allega,
M. R. Anderson,
S. Andringa,
M. Askins,
D. J. Auty,
A. Bacon,
J. Baker,
F. Barão,
N. Barros,
R. Bayes,
E. W. Beier,
T. S. Bezerra,
A. Bialek,
S. D. Biller,
E. Blucher,
E. Caden,
E. J. Callaghan,
M. Chen,
S. Cheng,
B. Cleveland,
D. Cookman,
J. Corning,
M. A. Cox
, et al. (96 additional authors not shown)
Abstract:
The SNO+ collaboration reports its first spectral analysis of long-baseline reactor antineutrino oscillation using 114 tonne-years of data. Fitting the neutrino oscillation probability to the observed energy spectrum yields constraints on the neutrino mass-squared difference $Δm^2_{21}$. In the ranges allowed by previous measurements, the best-fit $Δm^2_{21}$ is (8.85$^{+1.10}_{-1.33}$) $\times$ 1…
▽ More
The SNO+ collaboration reports its first spectral analysis of long-baseline reactor antineutrino oscillation using 114 tonne-years of data. Fitting the neutrino oscillation probability to the observed energy spectrum yields constraints on the neutrino mass-squared difference $Δm^2_{21}$. In the ranges allowed by previous measurements, the best-fit $Δm^2_{21}$ is (8.85$^{+1.10}_{-1.33}$) $\times$ 10$^{-5}$ eV$^2$. This measurement is continuing in the next phases of SNO+ and is expected to surpass the present global precision on $Δm^2_{21}$ with about three years of data.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
SimpleEgo: Predicting Probabilistic Body Pose from Egocentric Cameras
Authors:
Hanz Cuevas-Velasquez,
Charlie Hewitt,
Sadegh Aliakbarian,
Tadas Baltrušaitis
Abstract:
Our work addresses the problem of egocentric human pose estimation from downwards-facing cameras on head-mounted devices (HMD). This presents a challenging scenario, as parts of the body often fall outside of the image or are occluded. Previous solutions minimize this problem by using fish-eye camera lenses to capture a wider view, but these can present hardware design issues. They also predict 2D…
▽ More
Our work addresses the problem of egocentric human pose estimation from downwards-facing cameras on head-mounted devices (HMD). This presents a challenging scenario, as parts of the body often fall outside of the image or are occluded. Previous solutions minimize this problem by using fish-eye camera lenses to capture a wider view, but these can present hardware design issues. They also predict 2D heat-maps per joint and lift them to 3D space to deal with self-occlusions, but this requires large network architectures which are impractical to deploy on resource-constrained HMDs. We predict pose from images captured with conventional rectilinear camera lenses. This resolves hardware design issues, but means body parts are often out of frame. As such, we directly regress probabilistic joint rotations represented as matrix Fisher distributions for a parameterized body model. This allows us to quantify pose uncertainties and explain out-of-frame or occluded joints. This also removes the need to compute 2D heat-maps and allows for simplified DNN architectures which require less compute. Given the lack of egocentric datasets using rectilinear camera lenses, we introduce the SynthEgo dataset, a synthetic dataset with 60K stereo images containing high diversity of pose, shape, clothing and skin tone. Our approach achieves state-of-the-art results for this challenging configuration, reducing mean per-joint position error by 23% overall and 58% for the lower body. Our architecture also has eight times fewer parameters and runs twice as fast as the current state-of-the-art. Experiments show that training on our synthetic dataset leads to good generalization to real world images without fine-tuning.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Event-by-Event Direction Reconstruction of Solar Neutrinos in a High Light-Yield Liquid Scintillator
Authors:
A. Allega,
M. R. Anderson,
S. Andringa,
J. Antunes,
M. Askins,
D. J. Auty,
A. Bacon,
J. Baker,
N. Barros,
F. Barão,
R. Bayes,
E. W. Beier,
T. S. Bezerra,
A. Bialek,
S. D. Biller,
E. Blucher,
E. Caden,
E. J. Callaghan,
M. Chen,
S. Cheng,
B. Cleveland,
D. Cookman,
J. Corning,
M. A. Cox,
R. Dehghani
, et al. (94 additional authors not shown)
Abstract:
The direction of individual $^8$B solar neutrinos has been reconstructed using the SNO+ liquid scintillator detector. Prompt, directional Cherenkov light was separated from the slower, isotropic scintillation light using time information, and a maximum likelihood method was used to reconstruct the direction of individual scattered electrons. A clear directional signal was observed, correlated with…
▽ More
The direction of individual $^8$B solar neutrinos has been reconstructed using the SNO+ liquid scintillator detector. Prompt, directional Cherenkov light was separated from the slower, isotropic scintillation light using time information, and a maximum likelihood method was used to reconstruct the direction of individual scattered electrons. A clear directional signal was observed, correlated with the solar angle. The observation was aided by a period of low primary fluor concentration that resulted in a slower scintillator decay time. This is the first time that event-by-event direction reconstruction in high light-yield liquid scintillator has been demonstrated in a large-scale detector.
△ Less
Submitted 10 April, 2024; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Procedural Humans for Computer Vision
Authors:
Charlie Hewitt,
Tadas Baltrušaitis,
Erroll Wood,
Lohit Petikam,
Louis Florentin,
Hanz Cuevas Velasquez
Abstract:
Recent work has shown the benefits of synthetic data for use in computer vision, with applications ranging from autonomous driving to face landmark detection and reconstruction. There are a number of benefits of using synthetic data from privacy preservation and bias elimination to quality and feasibility of annotation. Generating human-centered synthetic data is a particular challenge in terms of…
▽ More
Recent work has shown the benefits of synthetic data for use in computer vision, with applications ranging from autonomous driving to face landmark detection and reconstruction. There are a number of benefits of using synthetic data from privacy preservation and bias elimination to quality and feasibility of annotation. Generating human-centered synthetic data is a particular challenge in terms of realism and domain-gap, though recent work has shown that effective machine learning models can be trained using synthetic face data alone. We show that this can be extended to include the full body by building on the pipeline of Wood et al. to generate synthetic images of humans in their entirety, with ground-truth annotations for computer vision applications.
In this report we describe how we construct a parametric model of the face and body, including articulated hands; our rendering pipeline to generate realistic images of humans based on this body model; an approach for training DNNs to regress a dense set of landmarks covering the entire body; and a method for fitting our body model to dense landmarks predicted from multiple views.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Mesh-Tension Driven Expression-Based Wrinkles for Synthetic Faces
Authors:
Chirag Raman,
Charlie Hewitt,
Erroll Wood,
Tadas Baltrusaitis
Abstract:
Recent advances in synthesizing realistic faces have shown that synthetic training data can replace real data for various face-related computer vision tasks. A question arises: how important is realism? Is the pursuit of photorealism excessive? In this work, we show otherwise. We boost the realism of our synthetic faces by introducing dynamic skin wrinkles in response to facial expressions and obs…
▽ More
Recent advances in synthesizing realistic faces have shown that synthetic training data can replace real data for various face-related computer vision tasks. A question arises: how important is realism? Is the pursuit of photorealism excessive? In this work, we show otherwise. We boost the realism of our synthetic faces by introducing dynamic skin wrinkles in response to facial expressions and observe significant performance improvements in downstream computer vision tasks. Previous approaches for producing such wrinkles either required prohibitive artist effort to scale across identities and expressions or were not capable of reconstructing high-frequency skin details with sufficient fidelity. Our key contribution is an approach that produces realistic wrinkles across a large and diverse population of digital humans. Concretely, we formalize the concept of mesh-tension and use it to aggregate possible wrinkles from high-quality expression scans into albedo and displacement texture maps. At synthesis, we use these maps to produce wrinkles even for expressions not represented in the source scans. Additionally, to provide a more nuanced indicator of model performance under deformations resulting from compressed expressions, we introduce the 300W-winks evaluation subset and the Pexels dataset of closed eyes and winks.
△ Less
Submitted 11 October, 2022; v1 submitted 5 October, 2022;
originally announced October 2022.
-
DigiFace-1M: 1 Million Digital Face Images for Face Recognition
Authors:
Gwangbin Bae,
Martin de La Gorce,
Tadas Baltrusaitis,
Charlie Hewitt,
Dong Chen,
Julien Valentin,
Roberto Cipolla,
**g**g Shen
Abstract:
State-of-the-art face recognition models show impressive accuracy, achieving over 99.8% on Labeled Faces in the Wild (LFW) dataset. Such models are trained on large-scale datasets that contain millions of real human face images collected from the internet. Web-crawled face images are severely biased (in terms of race, lighting, make-up, etc) and often contain label noise. More importantly, the fac…
▽ More
State-of-the-art face recognition models show impressive accuracy, achieving over 99.8% on Labeled Faces in the Wild (LFW) dataset. Such models are trained on large-scale datasets that contain millions of real human face images collected from the internet. Web-crawled face images are severely biased (in terms of race, lighting, make-up, etc) and often contain label noise. More importantly, the face images are collected without explicit consent, raising ethical concerns. To avoid such problems, we introduce a large-scale synthetic dataset for face recognition, obtained by rendering digital faces using a computer graphics pipeline. We first demonstrate that aggressive data augmentation can significantly reduce the synthetic-to-real domain gap. Having full control over the rendering pipeline, we also study how each attribute (e.g., variation in facial pose, accessories and textures) affects the accuracy. Compared to SynFace, a recent method trained on GAN-generated synthetic faces, we reduce the error rate on LFW by 52.5% (accuracy from 91.93% to 96.17%). By fine-tuning the network on a smaller number of real face images that could reasonably be obtained with consent, we achieve accuracy that is comparable to the methods trained on millions of real face images.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
3D face reconstruction with dense landmarks
Authors:
Erroll Wood,
Tadas Baltrusaitis,
Charlie Hewitt,
Matthew Johnson,
**g**g Shen,
Nikola Milosavljevic,
Daniel Wilde,
Stephan Garbin,
Chirag Raman,
Jamie Shotton,
Toby Sharp,
Ivan Stojiljkovic,
Tom Cashman,
Julien Valentin
Abstract:
Landmarks often play a key role in face analysis, but many aspects of identity or expression cannot be represented by sparse landmarks alone. Thus, in order to reconstruct faces more accurately, landmarks are often combined with additional signals like depth images or techniques like differentiable rendering. Can we keep things simple by just using more landmarks? In answer, we present the first m…
▽ More
Landmarks often play a key role in face analysis, but many aspects of identity or expression cannot be represented by sparse landmarks alone. Thus, in order to reconstruct faces more accurately, landmarks are often combined with additional signals like depth images or techniques like differentiable rendering. Can we keep things simple by just using more landmarks? In answer, we present the first method that accurately predicts 10x as many landmarks as usual, covering the whole head, including the eyes and teeth. This is accomplished using synthetic training data, which guarantees perfect landmark annotations. By fitting a morphable model to these dense landmarks, we achieve state-of-the-art results for monocular 3D face reconstruction in the wild. We show that dense landmarks are an ideal signal for integrating face shape information across frames by demonstrating accurate and expressive facial performance capture in both monocular and multi-view scenarios. This approach is also highly efficient: we can predict dense landmarks and fit our 3D face model at over 150FPS on a single CPU thread. Please see our website: https://microsoft.github.io/DenseLandmarks/.
△ Less
Submitted 20 July, 2022; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Fake It Till You Make It: Face analysis in the wild using synthetic data alone
Authors:
Erroll Wood,
Tadas Baltrušaitis,
Charlie Hewitt,
Sebastian Dziadzio,
Matthew Johnson,
Virginia Estellers,
Thomas J. Cashman,
Jamie Shotton
Abstract:
We demonstrate that it is possible to perform face-related computer vision in the wild using synthetic data alone. The community has long enjoyed the benefits of synthesizing training data with graphics, but the domain gap between real and synthetic data has remained a problem, especially for human faces. Researchers have tried to bridge this gap with data mixing, domain adaptation, and domain-adv…
▽ More
We demonstrate that it is possible to perform face-related computer vision in the wild using synthetic data alone. The community has long enjoyed the benefits of synthesizing training data with graphics, but the domain gap between real and synthetic data has remained a problem, especially for human faces. Researchers have tried to bridge this gap with data mixing, domain adaptation, and domain-adversarial training, but we show that it is possible to synthesize data with minimal domain gap, so that models trained on synthetic data generalize to real in-the-wild datasets. We describe how to combine a procedurally-generated parametric 3D face model with a comprehensive library of hand-crafted assets to render training images with unprecedented realism and diversity. We train machine learning systems for face-related tasks such as landmark localization and face parsing, showing that synthetic data can both match real data in accuracy as well as open up new approaches where manual labelling would be impossible.
△ Less
Submitted 5 October, 2021; v1 submitted 30 September, 2021;
originally announced September 2021.
-
Dynamical Equilibrium States of a Class of Irrotational Non-Orthogonally Transitive $G_{2}$ Cosmologies I: The Conjecture of Chaotic Cosmological Inhomogeneity
Authors:
C. G. Hewitt
Abstract:
The Einstein field equations for a class of irrotational non-orthogonally transitive $G_{2}$ cosmologies are written down as a system of partial differential equations. The equilibrium points are self-similar and can be written as a one-parameter, five-dimensional, ordinary differential equation. The corresponding cosmological models both evolve and have one-dimension of inhomogeneity. The major m…
▽ More
The Einstein field equations for a class of irrotational non-orthogonally transitive $G_{2}$ cosmologies are written down as a system of partial differential equations. The equilibrium points are self-similar and can be written as a one-parameter, five-dimensional, ordinary differential equation. The corresponding cosmological models both evolve and have one-dimension of inhomogeneity. The major mathematical features of this ordinary differential equation are derived, and a cosmological interpretation is given. The relationship to the exceptional Bianchi models is explained and exploited to provide a conjecture about future generalizations.
△ Less
Submitted 30 March, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Dynamical Equilibrium States of a Class of Irrotational Non-Orthogonally Transitive $G_{2}$ Cosmologies II: Models With One Hypersurface-Orthogonal Killing Vector Field
Authors:
Sepehr Rashidi,
C. G. Hewitt,
Benoit Charbonneau
Abstract:
We consider a class of inhomogeneous self-similar cosmological models in which the perfect fluid flow is tangential to the orbits of a three-parameter similarity group. We restrict the similarity group to possess both an Abelian $G_{2}$, and a single hypersurface orthogonal Killing vector field, and we restrict the fluid flow to be orthogonal to the orbits of the Abelian $G_{2}$. The temporal evol…
▽ More
We consider a class of inhomogeneous self-similar cosmological models in which the perfect fluid flow is tangential to the orbits of a three-parameter similarity group. We restrict the similarity group to possess both an Abelian $G_{2}$, and a single hypersurface orthogonal Killing vector field, and we restrict the fluid flow to be orthogonal to the orbits of the Abelian $G_{2}$. The temporal evolution of the models is forced to be power law, due to the similarity group, and the Einstein field equations reduce to a three-dimensional autonomous system of ordinary differential equations which is qualitatively analysed in order to determine the spatial structure of the models. The existence of two classes of well-behaved models is demonstrated. The first of these is asymptotically spatially homogeneous and matter dominated, and the second is vacuum dominated and either asymptotically spatially homogeneous or acceleration dominated, at large spatial distances.
△ Less
Submitted 30 March, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
A high fidelity synthetic face framework for computer vision
Authors:
Tadas Baltrusaitis,
Erroll Wood,
Virginia Estellers,
Charlie Hewitt,
Sebastian Dziadzio,
Marek Kowalski,
Matthew Johnson,
Thomas J. Cashman,
Jamie Shotton
Abstract:
Analysis of faces is one of the core applications of computer vision, with tasks ranging from landmark alignment, head pose estimation, expression recognition, and face recognition among others. However, building reliable methods requires time-consuming data collection and often even more time-consuming manual annotation, which can be unreliable. In our work we propose synthesizing such facial dat…
▽ More
Analysis of faces is one of the core applications of computer vision, with tasks ranging from landmark alignment, head pose estimation, expression recognition, and face recognition among others. However, building reliable methods requires time-consuming data collection and often even more time-consuming manual annotation, which can be unreliable. In our work we propose synthesizing such facial data, including ground truth annotations that would be almost impossible to acquire through manual annotation at the consistency and scale possible through use of synthetic data. We use a parametric face model together with hand crafted assets which enable us to generate training data with unprecedented quality and diversity (varying shape, texture, expression, pose, lighting, and hair).
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
Shape-only Features for Plant Leaf Identification
Authors:
Charlie Hewitt,
Marwa Mahmoud
Abstract:
This paper presents a novel feature set for shape-only leaf identification motivated by real-world, mobile deployment. The feature set includes basic shape features, as well as signal features extracted from local area integral invariants (LAIIs), similar to curvature maps, at multiple scales. The proposed methodology is evaluated on a number of publicly available leaf datasets with comparable res…
▽ More
This paper presents a novel feature set for shape-only leaf identification motivated by real-world, mobile deployment. The feature set includes basic shape features, as well as signal features extracted from local area integral invariants (LAIIs), similar to curvature maps, at multiple scales. The proposed methodology is evaluated on a number of publicly available leaf datasets with comparable results to existing methods which make use of colour and texture features in addition to shape. Over 90% classification accuracy is achieved on most datasets, with top-four accuracy for these datasets reaching over 98%. Rotation and scale invariance of the proposed features are demonstrated, along with an evaluation of the generalisability of the approach for generic shape matching.
△ Less
Submitted 20 November, 2018;
originally announced November 2018.
-
CNN-based Facial Affect Analysis on Mobile Devices
Authors:
Charlie Hewitt,
Hatice Gunes
Abstract:
This paper focuses on the design, deployment and evaluation of Convolutional Neural Network (CNN) architectures for facial affect analysis on mobile devices. Unlike traditional CNN approaches, models deployed to mobile devices must minimise storage requirements while retaining high performance. We therefore propose three variants of established CNN architectures and comparatively evaluate them on…
▽ More
This paper focuses on the design, deployment and evaluation of Convolutional Neural Network (CNN) architectures for facial affect analysis on mobile devices. Unlike traditional CNN approaches, models deployed to mobile devices must minimise storage requirements while retaining high performance. We therefore propose three variants of established CNN architectures and comparatively evaluate them on a large, in-the-wild benchmark dataset of facial images. Our results show that the proposed architectures retain similar performance to the dataset baseline while minimising storage requirements: achieving 58% accuracy for eight-class emotion classification and average RMSE of 0.39 for valence/arousal prediction. To demonstrate the feasibility of deploying these models for real-world applications, we implement a music recommendation interface based on predicted user affect. Although the CNN models were not trained in the context of music recommendation, our case study shows that: (i) the trained models achieve similar prediction performance to the benchmark dataset, and (ii) users tend to positively rate the song recommendations provided by the interface. Average runtime of the deployed models on an iPhone 6S equates to ~45 fps, suggesting that the proposed architectures are also well suited for real-time deployment on video streams.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
-
Seasonal forecasts of the summer 2016 Yangtze River basin rainfall
Authors:
Philip E. Bett,
Adam A. Scaife,
Chaofan Li,
Chris Hewitt,
Nicola Golding,
Peiqun Zhang,
Nick Dunstone,
Doug M. Smith,
Hazel E. Thornton,
Riyu Lu,
Hong-Li Ren
Abstract:
The Yangtze River has been subject to heavy flooding throughout history, and in recent times severe floods such as those in 1998 have resulted in heavy loss of life and livelihoods. Dams along the river help to manage flood waters, and are important sources of electricity for the region. Being able to forecast high-impact events at long lead times therefore has enormous potential benefit. Recent i…
▽ More
The Yangtze River has been subject to heavy flooding throughout history, and in recent times severe floods such as those in 1998 have resulted in heavy loss of life and livelihoods. Dams along the river help to manage flood waters, and are important sources of electricity for the region. Being able to forecast high-impact events at long lead times therefore has enormous potential benefit. Recent improvements in seasonal forecasting mean that dynamical climate models can start to be used directly for operational services. The teleconnection from El Niño to Yangtze River basin rainfall meant that the strong El Niño in winter 2015/2016 provided a valuable opportunity to test the application of a dynamical forecast system.
This paper therefore presents a case study of a real time seasonal forecast for the Yangtze River basin, building on previous work demonstrating the retrospective skill of such a forecast. A simple forecasting methodology is presented, in which the forecast probabilities are derived from the historical relationship between hindcast and observations. Its performance for 2016 is discussed. The heavy rainfall in the May-June-July period was correctly forecast well in advance. August saw anomalously low rainfall, and the forecasts for the June-July-August period correctly showed closer to average levels. The forecasts contributed to the confidence of decision-makers across the Yangtze River basin. Trials of climate services such as this help to promote appropriate use of seasonal forecasts, and highlight areas for future improvements.
△ Less
Submitted 26 June, 2018; v1 submitted 24 August, 2017;
originally announced August 2017.
-
Skill and reliability of seasonal forecasts for the Chinese energy sector
Authors:
Philip E. Bett,
Hazel E. Thornton,
Julia F. Lockwood,
Adam A. Scaife,
Nicola Golding,
Chris Hewitt,
Rong Zhu,
Peiqun Zhang,
Chaofan Li
Abstract:
We assess the skill and reliability of forecasts of winter and summer temperature, wind speed and irradiance over China, using the GloSea5 seasonal forecast system. Skill in such forecasts is important for the future development of seasonal climate services for the energy sector, allowing better estimates of forthcoming demand and renewable electricity supply. We find that although overall the ski…
▽ More
We assess the skill and reliability of forecasts of winter and summer temperature, wind speed and irradiance over China, using the GloSea5 seasonal forecast system. Skill in such forecasts is important for the future development of seasonal climate services for the energy sector, allowing better estimates of forthcoming demand and renewable electricity supply. We find that although overall the skill from the direct model output is patchy, some high-skill regions of interest to the energy sector can be identified. In particular, winter mean wind speed is skilfully forecast around the coast of the South China Sea, related to skilful forecasts of the El Niño--Southern Oscillation. Such information could improve seasonal estimates of offshore wind power generation. Similarly, forecasts of winter irradiance have good skill in eastern central China, with possible use for solar power estimation. Much of China shows skill in summer temperatures, which derives from an upward trend. However, the region around Bei**g retains this skill even when detrended. This temperature skill could be helpful in managing summer energy demand. While both the strengths and limitations of our results will need to be considered when develo** seasonal climate services in the future, the outlook for such service development in China is promising.
△ Less
Submitted 23 June, 2018; v1 submitted 20 March, 2017;
originally announced March 2017.
-
ActorScript(TM) extension of C sharp (TM), Java(TM), and Objective C(TM): iAdaptive(TM) concurrency for antiCloud(TM) privacy and security
Authors:
Carl Hewitt
Abstract:
ActorScript(TM) is a general purpose programming language for implementing discretionary, adaptive concurrency that manages resources and demand.
It is differentiated from previous languages by the following:
- Universality
*** Ability to specify what Actors can do
*** Specify interface between hardware and software
*** Everything in the language is accomplished using message passing inc…
▽ More
ActorScript(TM) is a general purpose programming language for implementing discretionary, adaptive concurrency that manages resources and demand.
It is differentiated from previous languages by the following:
- Universality
*** Ability to specify what Actors can do
*** Specify interface between hardware and software
*** Everything in the language is accomplished using message passing including the very definition of ActorScript itself
*** Functional, Imperative, Logic, and Concurrent programming are integrated.
*** Concurrency dynamically adapts to resources available and current load.
*** Programs do not expose low-level implementation mechanisms such as threads, tasks, locks, cores, etc.
*** Messages can be directly communicated without requiring indirection through brokers, channels, class hierarchies, mailboxes, pipes, ports, queues etc.
*** Variable races are eliminated.
*** Binary XML and JSON are data types.
*** Application binary interfaces are afforded so that no identifier symbol need be looked up at runtime.
- Safety and Security
*** Programs are extension invariant, i.e., extending a program does not change its meaning.
*** Applications cannot directly harm each other.
- Performance
*** Impose no overhead on implementation of Actor systems
*** Message passing has essentially same overhead as procedure calling and loo**.
*** Allow execution to be dynamically adjusted for system load and capacity (e.g. cores)
*** Locality because execution is not bound by a sequential global memory model
*** Inherent concurrency because execution is not bound by communicating sequential processes
*** Minimize latency along critical paths
△ Less
Submitted 4 March, 2015; v1 submitted 16 August, 2010;
originally announced August 2010.
-
Actor Model of Computation: Scalable Robust Information Systems
Authors:
Carl Hewitt
Abstract:
The Actor model is a mathematical theory that treats "Actors" as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. Unlike previous models of computation, the Actor model was inspired by physical laws. It was…
▽ More
The Actor model is a mathematical theory that treats "Actors" as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. Unlike previous models of computation, the Actor model was inspired by physical laws. It was also influenced by the programming languages Lisp, Simula 67 and Smalltalk-72, as well as ideas for Petri Nets, capability-based systems and packet switching. The advent of massive concurrency through client-cloud computing and many-core computer architectures has galvanized interest in the Actor model.
Actor technology will see significant application for integrating all kinds of digital information for individuals, groups, and organizations so their information usefully links together. Information integration needs to make use of the following information system principles:
* Persistence. Information is collected and indexed.
* Concurrency: Work proceeds interactively and concurrently, overlap** in time.
* Quasi-commutativity: Information can be used regardless of whether it initiates new work or become relevant to ongoing work.
* Sponsorship: Sponsors provide resources for computation, i.e., processing, storage, and communications.
* Pluralism: Information is heterogeneous, overlap** and often inconsistent.
* Provenance: The provenance of information is carefully tracked and recorded
The Actor Model is intended to provide a foundation for inconsistency robust information integration
△ Less
Submitted 21 January, 2015; v1 submitted 9 August, 2010;
originally announced August 2010.
-
Inconsistency Robustness in Foundations: Mathematics self proves its own Consistency and Other Matters
Authors:
Carl Hewitt
Abstract:
Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over the centuries. In the Inconsistency Robustness paradigm, deriving contradictions have been a progressive development and not "game stoppers." Contradictions ca…
▽ More
Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over the centuries. In the Inconsistency Robustness paradigm, deriving contradictions have been a progressive development and not "game stoppers." Contradictions can be helpful instead of being something to be "swept under the rug" by denying their existence, which has been repeatedly attempted by Establishment Philosophers (beginning with some Pythagoreans). Such denial has delayed mathematical development. This article reports how considerations of Inconsistency Robustness have recently influenced the foundations of mathematics for Computer Science continuing a tradition develo** the sociological basis for foundations.
The current common understanding is that Gödel proved "Mathematics cannot prove its own consistency, if it is consistent." However, the consistency of mathematics is proved by a simple argument in this article. Consequently, the current common understanding that Gödel proved "Mathematics cannot prove its own consistency, if it is consistent" is inaccurate.
Wittgenstein long ago showed that contradiction in mathematics results from the kind of "self-referential" sentence that Gödel used in his argument that mathematics cannot prove its own consistency. However, using a typed grammar for mathematical sentences, it can be proved that the kind "self-referential" sentence that Gödel used in his argument cannot be constructed because required the fixed point that Gödel used to the construct the "self-referential" sentence does not exist. In this way, consistency of mathematics is preserved without giving up power.
△ Less
Submitted 17 February, 2015; v1 submitted 19 July, 2009;
originally announced July 2009.
-
Norms and Commitment for iOrgs(TM) Information Systems: Direct Logic(TM) and Participatory Grounding Checking
Authors:
Carl Hewitt
Abstract:
The fundamental assumption of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action is not required for a property to no longer hold. I.e., if active measures are not taken then things will go haywire by default. Similarly extension and revisio…
▽ More
The fundamental assumption of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action is not required for a property to no longer hold. I.e., if active measures are not taken then things will go haywire by default. Similarly extension and revision is required for Grounding Checking properties of systems based on a set of ground inferences. Previously Model Checking as been performed using the model of nondeterministic automata based on states determined by time-points. These nondeterministic automata are not suitable for iOrgs, which are highly structured and operate asynchronously with only loosely bounded nondeterminism. iOrgs Information Systems have been developed as a technology in which organizations have people that are tightly integrated with information technology that enables them to function organizationally. iOrgs formalize existing practices to provide a framework for addressing issues of authority, accountability, scalability, and robustness using methods that are analogous to human organizations. In general
-iOrgs are a natural extension Web Services, which are the standard for distributed computing and software application interoperability in large-scale Organizational Computing.
-iOrgs are structured by Organizational Commitment that is a special case of Physical Commitment that is defined to be information pledged.
iOrgs norms are used to illustrate the following:
-Even a very simple microtheory for normative reasoning can engender inconsistency In practice, it is impossible to verify the consistency of a theory for a practical domain. -Improved Safety in Reasoning. It is not safe to use classical logic and probability theory in practical reasoning.
△ Less
Submitted 6 November, 2010; v1 submitted 15 June, 2009;
originally announced June 2009.
-
Inconsistency Robustness in Logic Programs
Authors:
Carl Hewitt
Abstract:
Inconsistency robustness is "information system performance in the face of continually pervasive inconsistencies." A fundamental principle of Inconsistency Robustness is to make contradictions explicit so that arguments for and against propositions can be formalized. This paper explores the role of Inconsistency Robustness in the history and theory of Logic Programs.
Robert Kowalski put forward…
▽ More
Inconsistency robustness is "information system performance in the face of continually pervasive inconsistencies." A fundamental principle of Inconsistency Robustness is to make contradictions explicit so that arguments for and against propositions can be formalized. This paper explores the role of Inconsistency Robustness in the history and theory of Logic Programs.
Robert Kowalski put forward a bold thesis: "Looking back on our early discoveries, I value most the discovery that computation could be subsumed by deduction." However, mathematical logic cannot always infer computational steps because computational systems make use of arbitration for determining which message is processed next by a recipient that is sent multiple messages concurrently. Since reception orders are in general indeterminate, they cannot be inferred from prior information by mathematical logic alone. Therefore mathematical logic cannot in general implement computation.
Over the course of history, the term "Functional Program" has grown more precise and technical as the field has matured. "Logic Program" should be on a similar trajectory. Accordingly, "Logic Program" should have a general precise characterization. In the fall of 1972, different characterizations of Logic Programs that have continued to this day:
* A Logic Program uses Horn-Clause syntax for forward and backward chaining
* Each computational step (according to Actor Model) of a Logic Program is deductively inferred (e.g. in Direct Logic).
The above examples are illustrative of how issues of inconsistency robustness have repeatedly arisen in Logic Programs.
△ Less
Submitted 2 March, 2015; v1 submitted 20 April, 2009;
originally announced April 2009.
-
A historical perspective on develo** foundations iInfo(TM) information systems: iConsult(TM) and iEntertain(TM) apps using iDescribers(TM) information integration for iOrgs(TM) information systems
Authors:
Carl Hewitt
Abstract:
Technology now at hand can integrate all kinds of digital information for individuals, groups, and organizations so their information usefully links together. iInfo(TM) information integration works by making connections including examples like the following:
- A statistical connection between "being in a traffic jam" and "driving in downtown Trenton between 5PM and 6PM on a weekday."
- A term…
▽ More
Technology now at hand can integrate all kinds of digital information for individuals, groups, and organizations so their information usefully links together. iInfo(TM) information integration works by making connections including examples like the following:
- A statistical connection between "being in a traffic jam" and "driving in downtown Trenton between 5PM and 6PM on a weekday."
- A terminological connection between "MSR" and "Microsoft Research."
- A causal connection between "joining a group" and "being a member of the group."
- A syntactic connection between "a pin dropped" and "a dropped pin."
- A biological connection between "a dolphin" and "a mammal".
- A demographic connection between "undocumented residents of California" and "7% of the population of California."
- A geographical connection between "Leeds" and "England."
- A temporal connection between "turning on a computer" and "joining an on-line discussion."
By making these connections, iInfo offers tremendous value for individuals, families, groups, and organizations in making more effective use of information technology.
In practice, integrated information is invariably pervasively inconsistent. Therefore iInfo must be able to make connections even in the face of inconsistency. The business of iInfo is not to make difficult decisions like deciding the ultimate truth or probability of propositions. Instead it provides means for processing information and carefully recording its provenance including arguments (including arguments about arguments) for and against propositions that is used by iConsult(TM) and iEntertain(TM) apps in iOrgs(TM) Information Systems.
A historical perspective on the above questions is highly pertinent to the current quest to develop foundations for privacy-friendly client-cloud computing.
△ Less
Submitted 4 October, 2010; v1 submitted 30 January, 2009;
originally announced January 2009.
-
Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model
Authors:
Carl Hewitt
Abstract:
Because contemporary large software systems are pervasively inconsistent, it is not safe to reason about them using classical logic. The goal of Direct Logic is to be a minimal fix to classical mathematical logic that meets the requirements of large-scale Internet applications (including sense making for natural language) by addressing the following issues: inconsistency robustness, contrapositive…
▽ More
Because contemporary large software systems are pervasively inconsistent, it is not safe to reason about them using classical logic. The goal of Direct Logic is to be a minimal fix to classical mathematical logic that meets the requirements of large-scale Internet applications (including sense making for natural language) by addressing the following issues: inconsistency robustness, contrapositive inference bug, and direct argumentation.
Direct Logic makes the following contributions over previous work:
* Direct Inference (no contrapositive bug for inference)
* Direct Argumentation (inference directly expressed)
* Inconsistency-robust deduction without artifices such as indices (labels) on propositions or restrictions on reiteration
* Intuitive inferences hold including the following:
* Boolean Equivalences
* Reasoning by splitting for disjunctive cases
* Soundness
* Inconsistency-robust Proof by Contradiction
Since the global state model of computation (first formalized by Turing) is inadequate to the needs of modern large-scale Internet applications the Actor Model was developed to meet this need. Using, the Actor Model, this paper proves that Logic Programming is not computationally universal in that there are computations that cannot be implemented using logical inference. Consequently the Logic Programming paradigm is strictly less general than the Procedural Embedding of Knowledge paradigm.
△ Less
Submitted 2 March, 2015; v1 submitted 28 December, 2008;
originally announced December 2008.
-
Magnetron Sputter deposition of a 48-member cuprate superconductor library: Bi2Sr2YxCa1-xCu2Oy (0.5 <= x <= 1) linearly varying in steps of 0.01
Authors:
R. J. Sanderson,
K. C. Hewitt
Abstract:
Using magnetron sputtering, a spatial composition spread approach was applied successfully to obtain 48-member libraries of the Bi2Sr2YxCa1-xCu2Oy (0.5<= x <=1)cuprate superconducting system. The libraries of each system were deposited onto (100) single crystal MgO, mounted on a water cooled rotating table, using two targets: the antiferromagnetic insulator Bi2Sr2YCu2Oy (P=98 W RF) and the hole…
▽ More
Using magnetron sputtering, a spatial composition spread approach was applied successfully to obtain 48-member libraries of the Bi2Sr2YxCa1-xCu2Oy (0.5<= x <=1)cuprate superconducting system. The libraries of each system were deposited onto (100) single crystal MgO, mounted on a water cooled rotating table, using two targets: the antiferromagnetic insulator Bi2Sr2YCu2Oy (P=98 W RF) and the hole doped superconductor Bi2Sr2CaCu2Oy (P=44 W DC). A low chamber pressure of 0.81 mTorr argon is used to reduce scattering by the process gas. To minimize oxygen resputtering a substrate bias of -20 V was used as well as a process gas free of oxygen. A rapid thermal processor is used to post-anneal the amorphous deposited films. A step annealing regime was used, with a ramp rate of 5 degrees C/s for heating and cooling, with a first plateau at 780 C held for 200 s, and a second at 875 C held for 480 s. X-ray diffraction reveals that the films develop crystalline order with the c-axis lattice parameter contracting linearly from 30.55 Angstroms (x=0.5) to 30.24 Angstroms (x=1.0) with increasing Y-content, consistent with bulk values. The crystallized films are polycrystalline, develo** preferred orientation (c-axis parallel to the substrate) for thinner members of the library. There is a change of 0.01 in do** per library member which will enable further studies to densely map phase space.
△ Less
Submitted 1 February, 2007;
originally announced February 2007.
-
Stoichiometry control of magnetron sputtered Bi$_2$Sr$_2$Ca$_{1-x}$Y$_x$Cu$_2$O$_y$ (0$\le$x$\le$0.5) thin film, composition spread libraries: Substrate bias and gas density factors
Authors:
R. J. Sanderson,
K. C. Hewitt
Abstract:
A magnetron sputtering method for the production of thin-film libraries with a spatially varying composition, x, in Bi2Sr2Ca1-xYxCu2Oy (0<=x<=0.5) has been developed. Two targets with a composition of Bi2Sr2YCu2O_{8.5 + δ} and Bi_2Sr_2CaCu_2O_{8 + δ} are co-sputtered with appropriate masks. The target masks produce a linear variation in opposite, but co-linear radial direction, and the rotation…
▽ More
A magnetron sputtering method for the production of thin-film libraries with a spatially varying composition, x, in Bi2Sr2Ca1-xYxCu2Oy (0<=x<=0.5) has been developed. Two targets with a composition of Bi2Sr2YCu2O_{8.5 + δ} and Bi_2Sr_2CaCu_2O_{8 + δ} are co-sputtered with appropriate masks. The target masks produce a linear variation in opposite, but co-linear radial direction, and the rotation speed of the substrate table is sufficient to intimately mix the atoms. EDS/WDS composition studies of the films show a depletion of Sr and Bi that is due to oxygen anion resputtering. The depletion is most pronounced at the centre of the film (i.e. on-axis with the target) and falls off symmetrically to either side of the 75 mm substrate. At either edge of the film the stoichiometry matches the desired ratios. Using a 12 mTorr process gas of argon and oxygen in a 2:1 ratio, the strontium depletion is corrected. The bismuth depletion is eliminated by employing a rotating carbon brush apparatus which supplies a -20 V DC bias to the sample substrate. The negative substrate bias has been used successfully with an increased chamber pressure to eliminate the resputtering effect across the film. The result is a thin film composition spread library with the desired stoichiometry.
△ Less
Submitted 18 April, 2005;
originally announced April 2005.
-
Asymptotic dynamics of the exceptional Bianchi cosmologies
Authors:
C. G. Hewitt,
J. T. Horwood,
J. Wainwright
Abstract:
In this paper we give, for the first time, a qualitative description of the asymptotic dynamics of a class of non-tilted spatially homogeneous (SH) cosmologies, the so-called exceptional Bianchi cosmologies, which are of Bianchi type VI$_{-1/9}$. This class is of interest for two reasons. Firstly, it is generic within the class of non-tilted SH cosmologies, being of the same generality as the mo…
▽ More
In this paper we give, for the first time, a qualitative description of the asymptotic dynamics of a class of non-tilted spatially homogeneous (SH) cosmologies, the so-called exceptional Bianchi cosmologies, which are of Bianchi type VI$_{-1/9}$. This class is of interest for two reasons. Firstly, it is generic within the class of non-tilted SH cosmologies, being of the same generality as the models of Bianchi types VIII and IX. Secondly, it is the SH limit of a generic class of spatially inhomogeneous $G_{2}$ cosmologies.
Using the orthonormal frame formalism and Hubble-normalized variables, we show that the exceptional Bianchi cosmologies differ from the non-exceptional Bianchi cosmologies of type VI$_{h}$ in two significant ways. Firstly, the models exhibit an oscillatory approach to the initial singularity and hence are not asymptotically self-similar. Secondly, at late times, although the models are asymptotically self-similar, the future attractor for the vacuum-dominated models is the so-called Robinson-Trautman SH model instead of the vacuum SH plane wave models.
△ Less
Submitted 21 November, 2002;
originally announced November 2002.
-
Hole concentration and phonon renormalization in Ca-doped YBa_2Cu_3O_y (6.76 < y < 7.00)
Authors:
K. C. Hewitt,
X. K. Chen,
C. Roch,
J. Chrzanowski,
J. C. Irwin,
E. H. Altendorf,
R. Liang,
D. Bonn,
W. N. Hardy
Abstract:
In order to access the overdoped regime of the YBa_2Cu_3O_y phase diagram, 2% Ca is substituted for Y in YBa_2Cu_3O_y (y = 7.00,6.93,6.88,6.76). Raman scattering studies have been carried out on these four single crystals. Measurements of the superconductivity-induced renormalization in frequency (Delta ω) and linewidth (Δ2γ) of the 340 cm^{-1} B_{1g} phonon demonstrate that the magnitude of the…
▽ More
In order to access the overdoped regime of the YBa_2Cu_3O_y phase diagram, 2% Ca is substituted for Y in YBa_2Cu_3O_y (y = 7.00,6.93,6.88,6.76). Raman scattering studies have been carried out on these four single crystals. Measurements of the superconductivity-induced renormalization in frequency (Delta ω) and linewidth (Δ2γ) of the 340 cm^{-1} B_{1g} phonon demonstrate that the magnitude of the renormalization is directly related to the hole concentration (p), and not simply the oxygen content. The changes in Δωwith p imply that the superconducting gap (Δ_{max}) decreases monotonically with increasing hole concentration in the overdoped regime, and Δωfalls to zero in the underdoped regime. The linewidth renormalization Δ2γis negative in the underdoped regime, crossing over at optimal do** to a positive value in the overdoped state.
△ Less
Submitted 6 November, 2002;
originally announced November 2002.
-
Do** dependence of the superconducting gap in Bi2Sr2CaCu2O{8 + delta}
Authors:
K. C. Hewitt,
J. C. Irwin
Abstract:
Bi2Sr2CaCu2O{8 + δ} crystals with varying hole concentrations (0.12 < p < 0.23) were studied to investigate the effects of do** on the symmetry and magnitude of the superconducting gap. Electronic Raman scattering experiments that sample regions of the Fermi surface near the diagonal (B_{2g}) and principal axes (B_{1g}) of the Brillouin Zone have been utilized. The frequency dependence of the…
▽ More
Bi2Sr2CaCu2O{8 + δ} crystals with varying hole concentrations (0.12 < p < 0.23) were studied to investigate the effects of do** on the symmetry and magnitude of the superconducting gap. Electronic Raman scattering experiments that sample regions of the Fermi surface near the diagonal (B_{2g}) and principal axes (B_{1g}) of the Brillouin Zone have been utilized. The frequency dependence of the Raman response function at low energies is found to be linear for B_{2g} and cubic for B_{1g} (T< T_c). The latter observations have led us to conclude that the do** dependence of the superconducting gap is consistent with d_{x^2-y^2} symmetry, for slightly underdoped and overdoped crystals. Studies of the pair-breaking peak found in the B_{1g} spectra demonstrate that the magnitude of the maximum gap decreases monotonically with increasing hole do**, for p > 0.12. Based on the magnitude of the B_{1g} renormalization, it is found that the number of quasiparticles participating in pairing increases monotonically with increased do**. On the other hand, the B_{2g} spectra show a weak "pair-breaking peak" that follows a parabolic-like dependence on hole concentration, for 0.12 < p < 0.23.
△ Less
Submitted 6 November, 2002; v1 submitted 21 December, 2000;
originally announced December 2000.
-
The asymptotic regimes of tilted Bianchi II cosmologies
Authors:
C. G. Hewitt,
R. Bridson,
J. Wainwright
Abstract:
In this paper we give, for the first time, a complete description of the dynamics of tilted spatially homogeneous cosmologies of Bianchi type II. The source is assumed to be a perfect fluid with equation of state $p = (γ-1) μ$, where $γ$ is a constant. We show that unless the perfect fluid is stiff, the tilt destabilizes the Kasner solutions, leading to a Mixmaster-like initial singularity, with…
▽ More
In this paper we give, for the first time, a complete description of the dynamics of tilted spatially homogeneous cosmologies of Bianchi type II. The source is assumed to be a perfect fluid with equation of state $p = (γ-1) μ$, where $γ$ is a constant. We show that unless the perfect fluid is stiff, the tilt destabilizes the Kasner solutions, leading to a Mixmaster-like initial singularity, with the tilt being dynamically significant. At late times the tilt becomes dynamically negligible unless the equation of state parameter satisfies $γ> {10/7}$. We also find that the tilt does not destabilize the flat FL model, with the result that the presence of tilt increases the likelihood of intermediate isotropization.
△ Less
Submitted 15 August, 2000;
originally announced August 2000.
-
On the 590cm-1 B1g feature in underdoped Bi2Sr2CaCu2O8+delta
Authors:
Kevin C. Hewitt,
N. L. Wang,
J. C. Irwin,
D. M. Pooke,
A. E. Pantoja,
H. J. Trodahl
Abstract:
Raman scattering studies have been performed on underdoped Bi2Sr2CaCu2O8+delta. In single crystals underdoped by oxygen removal, a 590 cm-1 peak is observed in the B1g spectrum. The feature is observed to soften in frequency by 3.8% with isotopic exchange for 16-O by 18-O. In contrast, the 590cm-1 peak is not observed in crystals underdoped by Y substitution which suggests that it correspond to…
▽ More
Raman scattering studies have been performed on underdoped Bi2Sr2CaCu2O8+delta. In single crystals underdoped by oxygen removal, a 590 cm-1 peak is observed in the B1g spectrum. The feature is observed to soften in frequency by 3.8% with isotopic exchange for 16-O by 18-O. In contrast, the 590cm-1 peak is not observed in crystals underdoped by Y substitution which suggests that it correspond to a disorder induced vibrational mode. We have also found that underdo** leads to a depletion of low energy spectral weight from regions of the Fermi surface located near the Brillouin zone axes.
△ Less
Submitted 1 April, 1999;
originally announced April 1999.
-
Evidence for Magnetic Pseudoscaling in Overdoped La(2-x)Sr(x)CuO(4)
Authors:
J. G. Naeini,
X. K. Chen,
K. C. Hewitt,
J. C. Irwin,
T. P. Devereaux,
M. Okuya,
T. Kimura,
K. Kishio
Abstract:
We report the results of electronic Raman scattering experiments on an overdoped La(1.78)Sr(0.22)CuO(4) single crystal as a function of temperature. The scattering rate Gamma(w->0,T) has been determined from the normal state B(1g) spectra in the range 50 K < T < 300 K. Gamma(T) decreases linearly from 300 K to about 175 K and then undergoes a reduction with respect to the expected mean-field beh…
▽ More
We report the results of electronic Raman scattering experiments on an overdoped La(1.78)Sr(0.22)CuO(4) single crystal as a function of temperature. The scattering rate Gamma(w->0,T) has been determined from the normal state B(1g) spectra in the range 50 K < T < 300 K. Gamma(T) decreases linearly from 300 K to about 175 K and then undergoes a reduction with respect to the expected mean-field behavior. This trend suggests a crossover to pseudoscaling regime at about T(cr)=160 K. The results are in good agreement with the prediction of the nearly antiferromagnetic Fermi liquid model. There is no evidence of a pseudogap in the spectra obtained from this overdoped sample.
△ Less
Submitted 11 May, 1998; v1 submitted 25 November, 1997;
originally announced November 1997.