\section{Finite Temperature 3pt function}

\vskip 0.5cm
\noindent
\noindent{{\bf{\it Conclusions.}}}
In this paper we have offered an argument based on the Kerr/CFT correspondence to evaluate the nonlinearities of the Kerr BH ringdown. We have shown that the Kerr/CFT correspondence provides a simple way   to both explain, at the qualitative level, the
quadratic scaling of the second-order  mode amplitude with the product of the amplitudes of the fundamental modes, and also to quantitatively predict   the size of this  effect in striking  agreement with  numerical results found in  recent literature.

Our findings hold only in the extremal case; our next step will be to study departures from this condition. Numerical results are indeed found close to, but not exactly at,  extremality, i.e.  for remnant dimensionless spins $\simeq 0.7$ \cite{nl2,nl3}. Some corrections might therefore intervene.  For  small deviations from extremality, a different  set of boundary conditions  lead to a second copy of the Virasoro algebra \cite{b1} with indications of a hidden dual CFT even far from extremality~\cite{Castro:2010fd,Hui,K}, where the new excitations correspond to right-movers.  However, the fact that our findings are so close to the numerical fits of Refs. \cite{nl2,nl3}  might indicate that the value of the remnant spin is not so relevant (as it also appears from  numerical results) and that the right-mover sector is  decoupled from the dynamics. We have indeed reasons to believe that the right sector
is associated to the  $s=+2$ degree of freedom whose contribution to the GW strain is subleading at infinity with respect to the $s=-2$ mode \cite{inprepP}. Large nonlinearities have been observed also in the case of head-on collisions, giving rise to non-spinning BHs \cite{nl3}. This fact  as well might be explained  using similar symmetry arguments, but in the context of Schwarzschild BHs~\cite{Hui}.
The CFT approach may also provide new consistency relations among the QNM amplitudes and useful predictions for the nonlinearities involved in the QNM dynamics.
Finally, it would  also be interesting to go beyond the three-point correlator, to see if sizeable effects persist at higher-orders.

We will investigate these issues in  order to provide generic predictions in terms of the multipole numbers and spins of the remnants in  future work~\cite{inprepP}.

\vskip 0.5cm
\noindent
\noindent{{\bf{\it Acknowledgments.}}}
We thank E. Berti for many useful discussions about the results of Ref. \cite{nl3}. We thank  E. Berti, M. Biagetti, and V. De Luca
for useful feedback on the draft. The work of D. P. and F. R.  is supported by the Swiss National Science Foundation under grants no. 200021-205016 and PP00P2-206149. A.K. is supported by the PEVE-2020 NTUA programme for basic research with project number 65228100. A. K. thanks the University of Geneva where part of this work was performed. A.R. is funded by the Boninchi Foundation.

\bibliographystyle{apsrev4-1}


\section{Introduction}
Recent growth in the availability of high-performance graphics technology and consumer-grade Head Mounted Displays (HMDs) has led to an explosion in the use of Virtual Reality (VR), which is now commonplace in research, leisure and commercial contexts. Generating compelling, fully-immersive VR experiences, however, is notoriously computationally expensive, with expectations typically outstripping capability. In spite of advances in CPU and GPU power, there is a clear need for the development of techniques and algorithms that can provide the best user-experience for a given level of raw hardware performance. One approach to doing this focuses on exploiting characteristics and limitations of human perceptual systems. Here we focus on changes in human sensitivity that relate to  movement of the observer, and therefore lead to global patterns of motion on the retina.

When we rotate our heads (or eyes) in order to track a moving object or to attend to a salient stimulus, our visual sensitivity to background elements is thought to be decreased \cite{murphy_pattern_1978}. For example, VR users often produce fast rotational head or eye movements when tracking a cross-hair or an object, which creates a pattern of motion across the whole retina. Building upon this phenomenon and previous work that considers velocity-based Level-of-Detail (LOD) reduction methods, we introduce a psychometric approach to determine how observer movement influences the sensitivity to a drop in the quality of a background stimulus.

Most HMDs allow tracking of user movement with 6 Degrees of Freedom (6DOF) and visual representations of stimuli that accompany such movement. This enables users to move freely in the virtual environment and provides access to proprioceptive and vestibular information from beyond the retina about such movements, information which is thought to be important for the correct interpretation of a stable scene during self movement \cite{warren_investigating_2022}. However, there is also evidence that the Human Visual System's (HVS) sensitivity is altered when there is global motion on the retina resulting from observer eye/head movements \cite{braun_visual_2017}. The relationship between movement and sensitivity is complex, depending on visual features in the display and the types of movement undertaken. To the best of our knowledge, such results are not well-integrated in current approaches to optimising VR environment rendering. In light of this we will focus on two important questions:
\begin{itemize}
    \item Might the reduction in visual sensitivity during observer movement allow for a speed dependent reduction in the complexity of a rendered virtual model without it being perceived by the user?
    \item To what extent can the complexity be reduced before being perceived?

\end{itemize}

In this paper we address these questions by exploring the feasibility of a velocity-dependent scene-complexity reduction algorithm in a commercial VR HMD. The geometrical LOD represents the level of complexity of a virtual model. Generally, models have multiple LODs at different quality levels. The levels are generated by simplifying the mesh complexity of the initial model. In most commercial game engines, LOD changes occur when the distance of the object from the view plane reaches a certain threshold as the spatial acuity of the eye is not sensitive enough to notice differences, but they do not account for other perceptual factors. In recent years, perceptually-guided LOD systems have been studied relatively sparsely in contrast with other approaches to the problem that focus on on real-time physical based shading and the need for perceptual metrics for sampling optimisation, but still represent a fruitful area to explore.

Therefore, the contributions of this paper are:
\begin{itemize}
     \item We test the feasibility of a lightweight method that only uses velocity as a metric for guiding LOD degradation (i.e. agnostic to other properties of the HVS).
    \item Using psychophysical methods, we clearly demonstrate that self-induced horizontal head rotations allow a significant (approximately four-fold) degradation in LOD for a well-lit model.
    \item We provide evidence that the level of degradation tolerated by users increases for faster movements, as predicted.

\end{itemize}

\section{Related Work}\label{section:related}
\subsection{Spatio-temporal considerations and perceptual rendering}
Considerable work has been done in investigating how the limitations of the HVS can be used to guide algorithms by detecting potential rendering artifacts. Many of these vision models are based on early psychophysical research that investigated the Contrast Sensitivity Function (CSF) under various spatial and temporal conditions \cite{robson_spatial_1966}. The CSF is widely used in various forms to speed-up the rendering of images and animations by creating metrics that predict what the HVS will perceive. For example, Daly's Visible Difference Predictor (VDP) \cite{daly_visible_1992} uses the frequency domain of two images to predict where changes in contrast become unnoticeable. This has been used in many applications in which a reference frame is available to stop unnecessary rendering that would not induce a meaningful perceptual change. Kelly explored a spatio-velocity model of the CSF by analysing sinusoidal gratings moving at various velocities in order to determine our sensitivity thresholds \cite{kelly_motion_1979}. Daly later improved on the model by also accounting for eye movements \cite{daly_engineering_1998}. Myzskowski et al. used a spatio-velocity approach to develop the Animation Quality Metric (AQM) \cite{myszkowski_perceptually-informed_1999} which improved the rendering quality of perceptually important frames (termed "keyframes") which could affect the overall quality percept of dynamic scenes because of certain properties easily noticeable by the HVS. Yee et al. also created a comprehensive model which contained a spatio-temporal error map by using motion estimation and attention models \cite{yee_spatiotemporal_2001}. Recently, Mantiuk et al. used data from multiple papers in order to model the CSF over 5 dimensions (Spatial, Temporal, Eccentricity, Luminance, Area) and named it stelaCSF \cite{mantiuk_stelacsf_2022}. Models that predict the quality of motion in a velocity-dependent way account for movement artifacts \cite{denes_perceptual_2020}, and others that use the Variable Rate Shading \cite{nvidia_vrworks_2018} to model masking of degradation artifacts due to motion \cite{yang_visually_2019} and to model local shading and refresh rate\cite{jindal_perceptual_2021}. During horizontal head rotations such as those presented in our paper, all the dimensions present in the stelaCSF are relevant, but they do not account for the type of user movement. Lavou\'{e} created a metric for generating distortion maps for detecting differences between geometrically distorted and reference meshes that can be used to guide optimisation and evaluation. This metric is highly correlated with the mechanism used by the HVS when perceiving such changes \cite{lavoue_multiscale_2011}. Applications that consider vestibular factors are less common. Ellis et al. have investigated the cross-modal interactions between the vestibular response and the visual system in both translational and rotational movements
\cite{ellis_effect_2006,ellis_effect_2006-1}. They used a `pod'-like 6DOF Motion Simulator, with participants sat surrounded by a display. A central area on the screen was rendered and sampled at high-quality (HQ). When the pod was performing translation movements, essentially moving towards the HQ region, the area would decrease in size. Using biological models of the vestibular system, the area HQ region was decreased as a function of the acceleration of the pod. During rotation, they found some scope for improvement, but more fine-tuning was required for a significant effect. Our paper is related to this work in identifying such parameters during self-imposed movements.

\subsection{Adaptive Level-of-Detail}
Adaptive LOD methods have been used extensively in the past. Generating LODs causes geometrical changes and irregularities. Algorithms were therefore refined to accommodate these factors. Solutions vary from accounting for collapsing edges or pairs of vertices using quadric matrices to preserve surface error \cite{garland_surface_1997}, to using dynamic algorithms such as those proposed by Hoppe \cite{hoppe_progressive_1996}. He introduced progressive meshes, which allow for smoother and reversible transitions at no extra memory cost, using only the highest quality mesh available for computing lower quality transformations. View-dependent strategies for efficient LOD selection have been used before; Hoppe combined his progressive LOD generation with view-dependent models to improve on his progressive mesh generation \cite{hoppe_view-dependent_1997}. Luebke and Erikson lowered LODs by generating a hierarchy of vertex clusters potentially visible from the current view point \cite{luebke_view-dependent_1997}. Watson et al. investigated how performance in a search task was affected by degrading the LOD in the peripheral region of the gaze \cite{watson_managing_1997}. They found that participants tolerated an almost two-fold LOD degradation before performance was affected. Similarly, Murphy and Duchowski used a gaze-contingent method in a multi-resolution mesh by degrading parts of the model \cite{murphy_perceptual_2002}. Howlett et al. used gaze-contingent methods to identify salient features of objects that are likely to be attended to by viewers \cite{howlett_experimental_2004}. This meant that higher resolution meshes were only used in areas that were perceptually important. Other methods looked at LOD reduction in various human animations or collision events and used psychometric testing for data collection \cite{osullivan_collisions_2001}. Velocity-based LOD reduction has not traditionally receive as much attention. Funkhouser created a heuristic-based quality reduction model; the apparent speed of the object was used as a heuristic because of the inability to discriminate detail when motion-blur at high speeds was present \cite{funkhouser_adaptive_1993}. Reddy created a comprehensive model for velocity-based LOD selection taking into account eccentricity and velocity for moving objects across the visual field \cite{reddy_specification_1998,reddy_perceptually_2001}. Parkhurst and Niebur used a search task to test the feasibility of a velocity-based LOD reduction system that considered a progressive LOD reduction proportional to the speed of the camera \cite{parkhurst_feasibility_2004}. The task-object decreased and increased in quality based on the speed of the viewport. They found that the computational savings generated by such methods often increase the stability of the environment and behavioural consequences, albeit while impeding task performance. Building on these methods, we are interested in studying how self-generated motion in a modern VR HMD affects the percept of quality during LOD changes. Our paper introduces a psychometric approach to  measure the perceptual sensitivity to LOD changes during ego-motion. Thus, we propose a rigorous framework for measurement of thresholds as participants are making direct judgements about quality changes.

\section{Methods}
In the present experiment, over a series of trials, participants were asked to track a fixation point by performing yaw rotations of the head while judging the quality of two models presented in different intervals. One of the intervals always contained the reference model for the duration of the interval and the other contained the same model, but with LOD degradation (varying in severity from trial to trial) applied whenever rotational head velocity exceeded a given threshold. The participant's task was to identify the interval containing the degraded model. In perceptual psychophysics this is referred to as a two-interval forced choice (2-IFC) procedure and such methods are used extensively to recover estimates of perceptual thresholds \cite{warren_investigating_2022}.

\subsection{Participants}
Seventeen participants (all students or staff at the University of Manchester, fifteen were naive to the purpose of the study whereas 2 had expertise in using VR) were recruited. The study was approved by the Ethics Committee of The University of Manchester, Division of Neuroscience and Experimental Psychology. Informed consent was given by all participants. Two participants were excluded from the analysis since their responses were particularly noisy and it was not possible to fit summary parameters to their data (see below - Section \ref{section:PF} for information on the the fitting procedure).

\subsection{Apparatus}
The data for this experiment were collected in the Virtual Reality Research (VR2) Facility at the University of Manchester. The HTC Vive HMD was used with a wireless receiver to display tethered content from the PC (Intel i7-7700K CPU and NVIDIA RTX 3080 Ti GPU). The HTC Vive has a refresh rate of 90 Hz and a resolution of 1080 x 1200 pixels for each eye. Using our PC setup we kept the frame rate at approximately 90 FPS which matches the refresh rate of the HMD and thus minimised frame drops that could cause nausea or any other discomfort.

The experiment was coded using the \textit{Unity} game engine and Unity Experiment Framework (UXF), which was designed for the development and control of psychophysics studies \cite{brookes_studying_2020}. Participants used the trigger on either the left or right Vive controller to start the experimental trials and make responses.

\subsection{Design}
In order to measure the impact of head speed on the participants' ability to perceive LOD changes, we manipulated maximum user head \textit{speed} as an independent variable with two levels (\textit{Fast} and \textit{Slow}). We used a fully within-participants design, meaning all participants took part in both conditions. For each of the two speed conditions, participants undertook 280 trials for which the severity of the LOD degradation applied (here termed the `aggressiveness') was varied over a range of seven pre-determined values (see \textit{Stimulus} section for more details). For each aggressiveness level participants repeated the same number of trials. This approach is commonly referred to as the Method of Constant Stimuli (MCS) in the perceptual psychophysics literature \cite{simpson_method_1988}.

\subsection{Stimuli}
A moving fixation cross (which participants were asked to track) was presented on each trial (present in the top left portion of Figure \ref{fig:LODs}).The cross occupied around 2x2 degrees of the visual field. The cross was color-coded to differentiate between the two different presentation intervals using colours discriminable by colour blind participants. The fixation point moved in the virtual environment on a fixed radius circular trajectory centred on the participant's head and with a range of 100\textdegree (i.e. 50\textdegree to the left and right of straight ahead). The radius was given by the distance between the participant and the statue, which was roughly 5 meters in virtual space. The angular velocity of the fixation cross (relative to the head) was sinusoidal - Figure (\ref{fig:motion}). In the \textit{Fast} condition, the velocity peaked at approximately 157\textdegree/sec and in the slow condition at around 52\textdegree/sec. During head movements, the vestibulo-ocular reflex (VOR) stabilizes the eye, so the retinal image of the object is more accurate \cite{pulaski_behavior_1981}. Although some authors assume peak velocities of up to 900\textdegree/sec \cite{kothari_gaze--wild_2020}, there is evidence that the VOR is stable around 170\textdegree/sec \cite{grossman_frequency_1988} and that in visual search tasks the VOR reflex is reliable until 350\textdegree/sec \cite{pulaski_behavior_1981}.

The primary stimulus was an environment-stationary model of the ancient Greek statue \textit{Discobolus} by Myron, which is a free asset from \textit{ChamferBox Studio} on the Unity Store \cite{chamferbox_discobolus_2018}. The model was presented in the default Unity scene in a well-lit environment (see Figure \ref{fig:LODs}).

\begin{figure*}[!hbt]
\centering
\hspace{-2cm}
\includegraphics[width=1.08\linewidth]{lodModels.png}
\caption{LOD levels generated using the algorithm in \cite{edlund_unitymeshsimplifier_2022}}
\label{fig:LODs}
\end{figure*}

The LOD degradation process applied to the statue model was an adjusted version of the quadric metric mesh simplification algorithm introduced by Garland and Heckbert \cite{garland_surface_1997}. This algorithm is a fast quadric edge-collapse written in C\# that can be used as a Unity asset \cite{edlund_unitymeshsimplifier_2022} and was adapted from the original version written in C++ \cite{spacerat_fast-quadric-mesh-simplification_2022}. The workflow we used for our method can be seen in Figure \ref{fig:workflow}. The algorithm acts to reduce the number of polygons of the mesh and was adapted to enable speed-dependent application such that the LOD degradation is implemented once a minimum threshold user head speed was crossed. Degradation was applied at one of seven levels of aggressiveness detailed in Figure \ref{fig:LODs}. The reference model was composed of 12074 polygons and in the most aggressive LOD degradation condition this was reduced by a factor of 20 to around 600 polygons. When the rotational velocity of the head reached 50\% of the peak velocity of the fixation point, the quality of the statue was degraded. This meant that quality of the statue was reduced for around half of the number of frames for which the participant moved their head. As seen in Figure \ref{fig:motion}, by plotting the horizontal angular displacement of a participant during a trial, the sinusoidal velocity trend of the fixation point is matched, which gave us confidence that the intended head rotational velocity was achieved in the trials.

\subsection{Procedure}
Participants were instructed to put on the HMD and helped to adjust the tightness and lens distance for comfort and to provide a crisp image. Participants who were unfamiliar with VR first spent several minutes in the HTC Vive home environment and were monitored for dizziness or nausea. After the task was explained to them, participants were given the opportunity to undertake several practice trials to ensure they understood the task and were familiar with the response buttons. The participant's position was then aligned with the mid-sagittal plane of the statue.

Each trial began with a participant fixating on the stationary fixation cross. The participant initiated movement at their own pace by pressing one of the buttons on the hand-held controller. The initial position of the cross was randomised in the 100 degree range across trials but the participant was cued (by displacing the fixation point to the either side of statue) to the direction in which the cross would begin to move. The fixation cross then moved for 2.5 seconds per interval. The participant was then cued to the start of the second interval, with another stationary fixation cross before it moved again for another 2.5 seconds. The reference model was presented on every trial in either the first or second interval at random and one of the other LOD models was presented in the other interval. The participant was instructed to indicate which interval (first or second) contained the higher-quality model. Each trial lasted around 5 seconds plus the time the participant took to start the intervals and record the answer.

Over the course of the experiment each participant provided 20 responses for each of the 7 possible pairs of reference and LOD models. In addition we interleaved trials for the fast and slow maximum head velocity conditions. Consequently, in total participants provided 280 responses. In order to reduce participant fatigue, we divided the experiment into 2 sessions, each lasting around 40 minutes.

\begin{figure}
    \centering
    \scalebox{0.6}{
    \begin{tikzpicture}[node distance=1.5cm,
    every node/.style={fill=white, font=\Large}, align=left]

  \node (start)             [activityStarts]              {Run program};
  \node (onCreateBlock)     [process, below of=start,yshift = - 1cm]          {Generate LODs};
  \node (onStartBlock)      [process, below of=onCreateBlock,yshift = - 1cm]   {Pick LOD};

  \node (activityRuns)      [activityRuns, below of=onStartBlock,yshift = - 1cm]
                                                      {Render LOD};
  \node (CalcVelBlock) [startstop, below of=activityRuns, yshift = - 2cm]{Record Velocity};

  \node (onRestartBlock)    [process, right of=onStartBlock, xshift=4cm]
                                                              {Map Vel. Values};

  \draw[->]             (start) -- (onCreateBlock);
  \draw[->]     (onCreateBlock) -- (onStartBlock);
  \draw[->]     (onStartBlock) -- (activityRuns);
  \draw[->]      (activityRuns) -- node[text width=5.5cm]
                                   {Record and calculate velocity} (CalcVelBlock);

  \draw[->]      (CalcVelBlock) -| node[yshift=1.25cm, text width=4cm]
                                   {Check if velocity threshold was reached}
                                   (onRestartBlock);
  \draw[->]     (onRestartBlock) -- (onStartBlock);

  \end{tikzpicture}
}
    \caption{Workflow of our method. After the activity starts, our lightweight method generates LODs based on the user input. The base LOD is picked before any velocity is recorded. After the rendering process, velocity is recorded and mapped to an LOD map. This is done via normalising the angular velocity recorded to an interval of speeds where 0 is stationary and the max value is the expected maximum velocity (in this case given by the fixation point).}
    \label{fig:workflow}
\end{figure}

\begin{figure}[tbp]

  \centering

  \includegraphics[width=1\linewidth, height=0.5\linewidth]{graphConcat.png}
  \caption{\label{fig:motion}%
           The angular position of a participant's head sampled during the trial (black) mapped against the angular position of the fixation target. Points at which the stimulus changed LOD are highlighted in orange and blue.}
\end{figure}

\subsection{Psychometric Function Fitting}\label{section:PF}

To analyse the data for each participant and for each of the two maximum head velocity conditions, we first plotted the LOD values against the proportion of times (out of 20 repeated trials) that the participant correctly identified the interval containing the degraded statue model. The proportions obtained should vary between 50\% (chance performance) for a small LOD degradation, up to 100\% (perfect performance) for very large levels of degradation, and follow an ogive shape reflecting the accrual of more evidence as LOD degradation severity increases. We modelled this data as a psychometric function (PF). A psychometric function represents a model of how observer perception (here the percept of which model has higher quality) changes as a function of some physical parameter (here the LOD manipulation). We used a cumulative Gaussian with two free parameters (mean and standard deviation) as the psychometric function model. Fits to the data using this model were obtained using the \textit{quickpsy} package \cite{linares_quickpsy_2016} in R, which is designed to undertake maximum likelihood psychometric function fitting to data of this form. Example data and fits for two observers are illustrated in Figure \ref{fig:PF}. From these fits we then recovered the threshold LOD value which resulted in 75\% performance (vertical lines in Figure \ref{fig:PF}). This threshold parameter reflects the LOD value for which participants can reliably (75\% of the time) distinguish the reference from the degraded stimulus. Poorer ability to reliably distinguish the reference from test interval will be reflected in higher threshold values. Our hypotheses would therefore be confirmed if the thresholds observed are high and increase as a function of maximum head velocity.

\begin{figure}[tbp]
    \centering

    \includegraphics[width=1\linewidth]{embeddedGraph.png}
    \setlength{\belowcaptionskip}{-18pt}
    \caption{Bar plot showing the mean threshold values at the 75\% point (Left - Embedded). Example psychometric functions recovered from one Participant. \textit{Fast} - in red; \textit{Slow} - in blue}
    \label{fig:PF}
\end{figure}

\section{Results}
Based on the function fitting above, we recovered statistics for each participant in each of the conditions. The embedded graph in Figure \ref{fig:PF} illustrates the mean threshold over the 15 participants in this experiment for the \textit{Slow} and \textit{Fast} maximum head velocity conditions. Note that even in the \textit{Slow} condition the LOD degradation tolerated by participants before they can reliably identify the interval containing the degraded model is around 75\%. This corresponds to an 4-fold reduction in the number of polygons. Note also that this threshold appears to be higher for the high maximum head velocity condition. The threshold in the \textit{Fast} condition was around 82\%. We ran a 1-tailed paired t-test on these data and found that the threshold obtained in the \textit{Fast} condition was significantly higher than in the the \textit{Slow} condition (t = 2.71, \textit{p} = 0.008), consistent with our hypothesis that the effects are speed dependent.

Taken together these data are consistent with our hypotheses in suggesting that:
\begin{itemize}
    \item Humans are markedly insensitive to large degradation in geometrical detail (i.e. polygon count in our experiments) during head movements
    \item They become more insensitive as speed of head movement increases
\end{itemize}

These findings suggest that there is potential for a simple optimisation approach if quality of rendering is made dependent on head (and/or eye) movement speed.

\begin{table}[!hbt]
\centering
\begin{tabular}{ccccc}
\hline
N=15           & \textit{slow}    & \textit{fast}    & \textit{t} & p              \\ \hline
\textbf{LOD\%} & 74.6 (s.d. 14.8) & 82.2 (s.d. 13.1) & 2.71       & \textless 0.01 \\ \hline
\end{tabular}
\caption{Summary statistics (mean and s.d.) for two conditions and outcome of paired t-test}
\label{tabel:resultsTable}
\end{table}

\section{Discussion}

Our method provides a different approach to switching between LOD levels that is independent of the distance between the camera and the objects in the scene (the standard approach in most commercial game engines). We have shown that even with very aggressive quality degradation participants cannot reliably perceive these changes.

Nonetheless, there is clearly scope to achieve even greater degradation in LOD without a perceptual consequence if we consider additional higher level cognitive processes (e.g. attention, decision making, etc.). Combining our LOD degradation method with gaze-contingent methods such as those presented by Watson and Duchovski \cite{watson_managing_1997} could lead to an aggregated result similar to that achieved by Reddy \cite{reddy_specification_1998}.  These results are consistent with the findings of Parkhurst and Niebur \cite{parkhurst_feasibility_2004}, in which a model was degraded by a factor of more than 3 without an impact on task performance in a search task. This suggests that perceptual LOD degradation is still a valuable asset to explore and that this is the case even when participants are actively looking for a degradation.

\textbf{Other types of user movement.} Note that although we used head movement to generate the retinal motion, we suggest that these results are likely to hold irrespective of the cause of the movement input. More specifically we would expect the same effects to be observed if the participant had been instructed to follow the target by making smooth pursuit eye movements (SPEMs). SPEMs allow the HVS to stabilize the tracking of a moving target in order to hold the target in the most sensitive foveal region of the retina. Alternatively we also suggest that we would have obtained similar results if participants had been asked to fixate on a stationary cross and the statue had moved in a manner consistent with the motion arising from the head movement we examined in our experiment. While we have not tested these possibilities it seems likely that the key reason for the insensitivity to the degradation is the motion itself rather than the cause of that motion, something Murphy pointed out in his seminal work \cite{murphy_pattern_1978}. In particular with respect to SPEMs, Meyer \cite{meyer_upper_1985}, suggests that these are reliable up to approximately 100\textdegree/sec at which point tracking performance starts to decline and other mechanisms (e.g. simultaneous eye and head movements) are required to aid with tracking. Other work points out that SPEM does cause modulations in the visual acuity of the user under variations of background spatial frequency or luminance changes \cite{schroder_replicability_2021,braun_visual_2017}. In our case, the fixation point moved at 57\textdegree/sec for the \textit{Slow} condition and 157\textdegree/sec respectively for the \textit{Fast} condition so it is likely that the tracking involved both head and to a lesser-extent eye movements and the VOR system which acts to stabilise targets on the retina \cite{pulaski_behavior_1981}. This work speaks to the need for more in-depth analysis of different causes of observer movement and, potentially, across a wider range of velocities. Metrics recovered from such analyses could be useful for inclusion in vision models such as those presented in \cite{mantiuk_stelacsf_2022-1,lavoue_multiscale_2011,yee_spatiotemporal_2001}.

\textbf{Limitations and Future Work.} Our method has several limitations. First, because we used a discrete LOD change method; occasionally this would introduce detectable flicker in the degraded model. Of course detection of such flicker could give participants a cue as to which interval contained the degraded model and, if it were eliminated, the LOD degradation tolerated by users could have been even more severe. Flicker might be removed in future studies by using smoothing techniques or progressive meshes, such as the ones introduced by Hoppe \cite{hoppe_progressive_1996}.

A second issue is that we did not track the eyes and so could not be sure that participants were following instructions perfectly. Nonetheless, the head movement observed was generally close to the instructed movement (see Figure \ref{fig:motion}).

Third, we examined only one type of observer movement. Clearly we might find subtly different effects for e.g. different directions of movement, different combinations of eye, head and model movement or different speeds of movement. To test all these was not feasible in our study but, clearly, could be the basis of future work.

Fourth, there may be less benefit with using this method for people who are more experienced with VR. This may be due to the so-called `Expertise Effect' \cite{brajnik_expertise_2011}. This states that experienced users tend to detect "problems" with certain systems more reliably than inexperienced ones. This was also true for our 2 non-naive participants, as the threshold LOD was lower than that for the average.

In addition to the issues raised above, future work should consider other quality aspects of models and how they are influenced by movement. For example, one avenue for potential study would focus on how perception of complex (and computationally demanding) material properties are altered by retinal motion (either due to movement of the user or the material itself. Mao et al. investigated the role of motion in the correct perception of material properties \cite{mao_effect_2019}. In doing so, they added different degrees of motion blur to a set of stimuli with various material properties and found that the perception of certain attributes are significantly affected by motion. We intend to extend our framework to study the impact of self-induced motion on material properties.

\section{Conclusion}

In this paper we re-examine the idea of velocity-based rendering using a psychophysical approach to measure precisely the extent to which users can reliably detect degradation of a model in the scene in the presence of retinal motion. Our method differs from previous approaches because: i) model degradation rests upon information about the self-induced velocity of movement (and ignores distance in the scene or information about object velocities in the scene); ii) it examines sensitivity to quality degradation when users are directly instructed to detect such changes; iii) it uses well-established psychophysical methods to provide precise estimates of the parameters in question.

 Our data suggest that even in slow head rotations a degradation of up to 75\% relative to the original model is accepted by participants, even when they are asked to pay attention to it directly. We also confirmed that higher rotational velocities produce a significantly larger effect. Given that information about the position and movement of a tracked HMD is easily accessible in most game engines this direct approach to LOD reduction could be useful in future.

\bibliographystyle{eg-alpha-doi}


\section{Introduction} This paper presents a fairly general version of the well-known Gleason-Kahane-$\dot{\text{Z}}$elazko theorem in the spirit of Mashreghi and Ransford \cite[Theorem 3.1]{MR1}. In effect, we characterize—in Theorem \ref{GKZ-p}—a class of linear functionals as point evaluations on the vector space of all polynomials
$\cl P$. We do not make any topological assumptions. We also wish to state that our techniques are quite elementary. We then apply our Theorem \ref{GKZ-p} to present—in Theorem \ref{GKZ-m}—a version of the GKZ theorem for a class of metric spaces of complex-valued functions on an open disc centered at the origin. This theorem can be deemed to be an extension of Theorem C, enunciated below.

The classical GKZ theorem is a remarkable theorem from the viewpoints of elegance and its import. It assures the multiplicativity of a linear functional on a Banach algebra simply by assuming that the functional is non-zero on invertible elements and maps the identity to the number 1. The theorem was originally proved for commutative Banach algebras by Kahane and $\dot{\text{Z}}$elazko \cite{KZ} and independently by Gleason \cite{Gle}. Later, $\dot{\text{Z}}$elazko \cite{Zel} extended the proof to a general Banach algebra and he even relaxed the assumption of the algebra possessing an identity element.

\vspace{.2 cm}

\noindent {\bf Theorem A.} {\bf (Gleason-Kahane-$\dot{\text{Z}}$elazko theorem)} {\em Let $\cl A$ be a unital complex Banach algebra, and let $F:\cl A \to \bb C$ be a linear functional such that $F(1)=1$ and $F(x)\ne 0$ for every invertible element $x$ in $\cl A$. Then $F(xy)=F(x)F(y)$ for every $x, \ y\in \cl A.$}

The original proofs of the theorem had relied on a rather technical result about entire functions till Roitman and Sternfeld
\cite{RS} provided a simple as well as elementary proof of the GKZ theorem. Since then, the result has attracted a fair amount of interest as evidenced by the appearance of \cite{CHMR, MR, MR1, MRR} and many other articles and books \cite{AD, Fra, Kai}. This series of papers has essentially produced versions or analogues of the GKZ theorem on various normed spaces that have largely been connected to function spaces.

Our interest in the GKZ Theorem stems from the work of Mashreghi and Ransford \cite{MR1} who produced a generalization of the GKZ type theorem to modules over Banach algebras. They then used their generalization to characterize linear functionals on the Hardy spaces that are non-zero on outer functions as point evaluations. This is a true analogue of the GKZ theorem on Hardy spaces since any function $g$ in a Hardy space for which there exists an $h$ in the space such that $gh$ = 1 has to be outer and a point evaluation on a Hardy space is multiplicative whenever the multiplication makes sense.

\vspace{.2 cm}

\noindent{\bf Theorem B.} \cite[Theorem 2.1]{MR1} {\em Let $0<p\le \infty$ and let $F:H^p(\bb D) \to \bb C$ be a linear functional such that $F(1)=1$ and $F(g)\ne 0$ for every outer function $g$ in $H^p(\bb D).$ Then there exists a scalar
$w\in \bb C$ such that $F(f)=f(w)$ for all $f$ in $H^p(\bb D.)$}

\vspace{.2 cm}

In the same paper \cite{MR1} Mashreghi and Ransford also prove the following GKZ type theorem for a wide variety
of Banach spaces.

\vspace{.2 cm}

\noindent {\bf Theorem C.} \cite[Theorem 3.1]{MR1} {\em Let
$\cl X$ be a Banach space consisting of analytic functions on the open unit disc $\bb D$ satisfying the following properties:
\begin{enumerate}
\item for each $w\in \bb D,$ the evaluation map at $w$ is continuous on $\cl X;$
\item $\cl X$ contains all polynomials and polynomials are dense in $\cl X;$
\item multiplication with the function $z$ is well-defined on $\cl X.$
\end{enumerate}
Furthermore, let $\cl Y$ be a subset of $\cl X$ with the following properties:
\begin{enumerate}
\item if $g\in \cl X$ with $0<\inf_{z\in \bb D}|g(z)|\le \sup_{z\in \bb D}|g(z)|<\infty,$ then $g\in \cl Y;$
\item $\cl Y$ contains all linear polynomials $z-\alpha$ with $|\alpha|=1.$
\end{enumerate}
If $F$ is a continuous linear functional on $\cl X$ such that $F(1)=1$ and $F(g)\ne 0$ for each $g\in \cl Y,$ then there exists a scalar $w\in \bb D$ such that $F(f)=f(w)$ for all $f\in \cl X.$}

\vspace{.4 cm}

If we take $\cl X=H^p(\bb D), \ 0<p\le \infty,$ and $\cl Y$ to be the set of outer functions in $\cl X$, then they satisfy the properties stated in Theorem C. Therefore, Theorem B is a special case of Theorem C. But there is an extra assumption of continuity of the linear functional in Theorem C, and the reason the authors could deduce the desired conclusion in
Theorem B without the continuity assumption
is the special properties of Hardy spaces which one cannot expect general function spaces to possess.

Both these theorems motivated us to investigate the possibility of obtaining similar results by knowing the behavior of the linear functional on a simpler class of functions. Our investigation leads us to the following
theorems. The first one is a characterization of multiplicative linear functionals on
$\cl P$—the linear space of all polynomials—in terms of its action on a very select class of powers of linear polynomials whose zeros
lie outside an open disc centered at the origin. For this reason, we shall refer to it as a GKZ theorem for polynomials.

\begin{thm}\label{GKZ-p} Let $\cl P$ denote the set of all complex polynomials and let $F: \cl P\to \bb{C}$ be a linear functional. Suppose $F(1)=1$ and there exists a positive real number $r$ such that
$F((z-\alpha)^n)\ne 0$ for all $n\ge 1$ and for all complex numbers $\alpha $ with $|\alpha|\ge r.$ Then
there exists a complex number $w$ with $|w|<r$ such that $F(p)=p(w).$
\end{thm}

As an application, we obtain the following GKZ theorem for metric spaces. Although different, it is in the same spirit
as Theorem C (\cite[Theorem 3.1]{MR1}). Let $\cl F(r,\bb C)$ denote the set of all complex-valued functions on the open disc with center at $0$ and radius $r.$ Clearly it a vector space over $\bb C$ with respect to pointwise addition and scalar multiplication.

\begin{thm}\label{GKZ-m}
Let $\cl X$ be a vector subspace of $\mathcal{F}(r,\mathbb{C})$. Suppose $\cl X$ is also a metric space such that:
\begin{enumerate}[(i)]
\item for each $w$ with $|w|<r$, the point evaluation map $f \mapsto f(w)$ is continuous on $\cl X$;
\item $\cl X$ contains all the polynomials and they are dense in $\cl X.$
\end{enumerate}
Let $F: \cl X \to \mathbb{C}$ be a continuous linear functional such that $F(1)=1$ and $F((z-\alpha)^n)\ne 0$ whenever $n\ge 1$ and $\alpha$ is a scalar with $|\alpha|\ge r$. Then there exists a scalar $w$ with $|w|<r$ such that
\begin{equation*}
F(f)=f(w)
\end{equation*}
for every $f\in \cl X.$
\end{thm}

If we take $r=1$ in Theorem \ref{GKZ-m}, then the polynomials $(z-\alpha)^n$ for $n\ge 1$ and scalars $\alpha$ with $|\alpha|\ge 1$ are actually outer functions in the Hardy spaces $H^p(\bb D)$. So, similar to Theorem C, our Theorem \ref{GKZ-m} is also an extension of
Theorem B.

In effect, we claim novelty on four counts:

\begin{enumerate}
\item Our hypothesis in Theorem \ref{GKZ-m} demands checking the linear functional to be non-zero on a much simpler and smaller class of functions, and yet shows it to be a point evaluation.
\item Our proof of Theorem \ref{GKZ-m}, unlike the other versions given in \cite{CHMR, MR, MR1, MRR}, does not depend on the classical GKZ theorem.
\item Our proof of Theorem \ref{GKZ-m} is elementary and simple.
\item We do not require the space $X$ to be a Banach space, and this allows us to include a few more well-known spaces for which the theorem holds true.
\end{enumerate}

\vspace{.2 cm}

We also prove the following GKZ theorem for the weighted Hardy spaces on which the operator of multiplication with $z$ is strictly cyclic.

\begin{thm}\label{strictly} Let $M_z,$ the operator of multiplication with $z,$ be strictly cyclic on the weighted Hardy space $H^2(\beta)$. Let $F:H^2(\beta)\to \bb C$ be a linear functional such that $F(1)=1$ and $F(f)\ne 0$ for every invertible $f\in H^2(\beta).$ Then there exists a scalar $w$ with $|w|\le r(M_z)$ such that
$$
F(f)=f(w)
$$
for all $f\in H^2(\beta).$
\end{thm}

 \section{A Brief Preview}
The organization of the paper is as follows. We prove Theorem \ref{GKZ-p} in Section \ref{poly} and use it to prove Theorem \ref{GKZ-m} in Section \ref{metric} and Theorem \ref{strictly} in Section \ref{cyclic}. In Example \ref{cont},
we give an example that validates our assumption of continuity of the linear functional in Theorem \ref{GKZ-m}. Indeed, we construct an unbounded linear functional on the Hardy space $H^2(\bb D)$ such that it is 1 at the constant function 1 and it is non-zero on polynomials $(z-\alpha)^n$ for every $n\ge 1$ and each $\alpha$ with $|\alpha|\ge 1.$ This functional being unbounded can never be a point evaluation. In Corollary \ref{wcomp0}, we obtain a characterization of weighted composition operators for our setting.

\section{The GKZ theorem for polynomials}\label{poly}
In this Section, we shall prove Theorem \ref{GKZ-p}. Our proof is a beautiful extension of the idea used by Roitman and Sternfeld \cite[Lemma 2]{RS} to give an
elementary proof of the classical GKZ theorem.

\vspace{.2 cm}

\noindent {\bf Proof of Theorem \ref{GKZ-p}}.
Fix any $k\ge 0$, and take $n>k$. Set
\begin{eqnarray}
p(t)&=& F((t-z)^n)\nonumber\\
&=& {n\choose0}t^n-{n\choose1}F(z)t^{n-1}+\dots+(-1)^{n} F(z^n)\label{poly1}
\end{eqnarray}
Then $p(t)$ is a polynomial in $t$ of degree $n$. Let $\lambda_1, \lambda_2,\dots, \lambda_n$ denote the roots (counting the multiplicity) of $p.$ Then the hypothesis $p(t)=F((t-z)^n)\neq 0$ whenever
$|t|\ge r$ implies that $|\lambda_i|<r$ for $1\le i\le n.$ Further, we can write
\begin{equation}\label{poly2}
p(t)=\prod_{i=1}^n (t-\lambda_i).
\end{equation}
Then by comparing the coefficients of $t^{n-1}$ from Equations (\ref{poly1}) and (\ref{poly2}), we obtain
\begin{equation}\label{poly3}
nF(z)= \sum_{i=1}^{n}\lambda_{i},
\end{equation}
and comparing the coefficients of $t^{n-k}$ from Equations (\ref{poly1}) and (\ref{poly2}), we obtain
\begin{equation}\label{poly4}
\sum_{1\le i_{1}<i_{2}<...<i_{k}\le n}\lambda_{i_{1}} \lambda_{i_{2}}\dots\lambda_{i_{k}}={n\choose k}F(z^{k}).
\end{equation}

Thus,
\begin{eqnarray}
&&\left(nF(z)\right)^{k}-k!{n\choose k}F(z^{k})\nonumber\\
&=&\left(\sum_{i=1}^{n} \lambda_i\right)^{k} - k! \sum_{1\le i_{1}<i_{2}<...<i_{k}\le n}\lambda_{i_{1}} \lambda_{i_{2}}\dots\lambda_{i_{k}}\nonumber\\
&=&\sum_{\substack{j_{1}+j_{2}+\dots+j_{n}=k \\ j_i\ge0} }\frac{k! \, (\lambda_{1}^{j_{1}}\lambda_{2}^{j_2}\dots\lambda_{n}^{j_n})}{j_{1}!\, j_{2}!\,\dots\,j_{n}!}-k!\sum_{1\le i_{1}<i_{2}<\dots<i_{k}\le n}\lambda_{i_{1}} \lambda_{i_{2}}\dots\lambda_{i_{k}}\label{poly5}.
\end{eqnarray}
Clearly, each term in the later summation of Equation (\ref{poly5}) also appears in the first summation of Equation (\ref{poly5}). Also, $|\lambda_i|<r$ for each $i.$ Therefore, if we let
 $A_{\#}$ denote the number of terms in the expression $\displaystyle\sum_{\substack{j_{1}+j_{2}+\dots+j_{n}=k \\ j_i\ge0} }\frac{k!}{j_{1}!\, j_{2}!\,\dots\,j_{n}!} (\lambda_{1}^{j_{1}}\lambda_{2}^{j_2}\dots\lambda_{n}^{j_n})$
and $B_{\#}$ denote the number of terms in the expression $\displaystyle\sum_{1\le i_{1}<i_{2}<\dots<i_{k}\le n}\lambda_{i_{1}} \lambda_{i_{2}}\dots\lambda_{i_{k}}$, then
\begin{equation*}
\left\vert(nF(z))^{k}-k!{n\choose k}F(z^{k})\right\vert\le k!(A_\#-B_\#)r^k.
\end{equation*}
Now using standard facts from combinatorics,
\begin{eqnarray}
A_\#-B_\# &=&{n+k-1\choose n-1}- {n\choose k} \nonumber\\
&=&\frac{(n+k-1)!}{k!(n-1)!}-\frac{n!}{k!(n-k)!}
\nonumber \\
&=&\frac{(n+k-1)(n+k-2)\dots(n+k-(k+1))!}{k!(n-1)!}-\frac{n(n-1)\dots(n-(k-1))(n-k)!}{k!(n-k)!}
\nonumber\\
&=& \frac{n^k}{k!}\left[\Big (1+\frac{k-1}{n}\Big)\Big(1+\frac{k-2}{n}\Big)\dots1-\Big(1-\frac{1}{n}\Big)\dots\Big (1-\frac{k-1}{n}\Big)\right].
\nonumber
\end{eqnarray}
Therefore,
\begin{eqnarray}
\left\vert(nF(z))^{k}-k!{n\choose k}F(z^{k})\right\vert &\le& k!(A_\#-B_\#)r^k
\nonumber\\
&=&n^k \left[\Big (1+\frac{k-1}{n}\Big)\Big(1+\frac{k-2}{n}\Big)\dots 1
-\Big(1-\frac{1}{n}\Big)\dots\Big (1-\frac{k-1}{n}\Big)\right]r^k.
\nonumber
\end{eqnarray}
Lastly, dividing both sides by $n^k$ and letting $n \to \infty$, we conclude

\begin{equation*}
	F(z^k)=F(z)^k.
\end{equation*}
Hence, we have established that $F(z^k)=(F(z))^k$ for all $k\ge 0.$

Let $w=F(z).$ Then $F(p)=p(w)$ for every polynomial $p\in \cl P.$ Finally, $F(z-w)=F(z)-wF(1)=0,$ which implies that $|w|<r.$ This completes the proof.

\qed

\section{The GKZ Theorem for metric spaces} \label{metric}

We are now ready to prove Theorem \ref{GKZ-m}, our GKZ theorem for metric spaces which also have a linear structure on them. But we do not assume our underlying space to be a topological vector space.

\vspace{.2 cm}

\noindent {\bf Proof of Theorem \ref{GKZ-m}}. The given hypotheses yields that $F:\cl P\to \bb C$ is linear, $F(1)=1,$ and
$F((z-\alpha)^n)\ne 0$ for all $n\ge 1$ and scalars $\alpha$ with $|\alpha|\ge r.$ Therefore, using Theorem
\ref{GKZ-p}, we get a scalar $w$ with $|w|<r$ such that $F(p)=p(w)$ for all polynomials $p\in \cl P.$
Now, let $f \in \cl X$. Then there exists a sequence of polynomials $p_n$ that converge to $f$ as $n$ tends to
infinity. Since $f\mapsto f(w)$ is continuous, we have $p_n(w) \to f(w)$. But, $p_n(w)=F(p_n)$ and $F$ is assumed to be continuous; so, $p_n(w)=F(p_n)$ converges to $F(f)$ as $n$ tends to infinity. Hence,
$F(f)=f(w).$ This completes the proof.

\qed

Our space $\cl X$ is much more general than those considered by Mashreghi and Ransford in Theorem C, and thus all the examples mentioned in \cite{MR1} are covered by our theorem as well. In addition, since we do not require $\cl X$ to be a Banach space, the following spaces are also covered in our theorem.

\begin{enumerate}
\item  The Hardy spaces $H^p(\bb D)$ for $0<p<1$;
\item The Bergman spaces $A_p$ for  $0<p<1$.
\end{enumerate}

Furthermore, there is another class of function spaces that is convered by our theorem, namely the weighted Hardy spaces $H^2(\beta)$ with $\liminf(\beta_n)^\frac{1}{n}>0$. We shall discuss these spaces in more details in Section \ref{cyclic}.

We now give the following example to validate the assumption of continuity of the linear functional in Theorem \ref{GKZ-m}.

\begin{ex}\label{cont} Let $\mathcal{B}$ be a Hamel basis for the Hardy space $H^2(\mathbb{D})$ obtained by extending the orthonormal basis $\{z^n:n \ge 0\}$. Since $\mathcal{B}$ is an uncountable set, we can choose a countable subset $\{f_n: n\in \mathbb{N} \}$ of $\mathcal{B}$ such that $f_n\ne z^m$ for any $n$ and $m$. For a fixed $w \in \mathbb{D}$, define $F: \mathcal{B} \to \mathbb{C}$ by
$$
F(b)=
\begin{cases}
w^n &\quad \text{if}  \quad b =z^n,\\
m\norm{b} &\quad \text{if}  \quad b=f_m,\\
0 &\quad  \quad \text{otherwise},\\
\end{cases}
$$
and extend it linearly to $H^2(\bb D).$ Then $F(1)=1$ and $F(p)=p(w)$ for every polynomial $p.$ This implies
$F((z-\alpha)^n)=(w-\alpha)^n\ne 0$ whenever $\alpha$ is a scalar with $|\alpha|\ge 1.$ Therefore, $F$ is a linear functional on $H^2(\bb D)$ which satisfies the hypotheses of Theorem \ref{GKZ-m}. But $F(f_n)=n||f_n||$ for each $n$ which implies that $F$ is unbounded.

Now suppose, $F$ is a point evaluation at some point $\zeta.$ Then $\zeta=F(z)=w\in \bb D.$ This implies that
$|F(f)|=|f(w)|\le ||f||||k_w||$ for all $f$ in $H^2(\bb D),$ where $k_w$ is the kernel function at $w.$  This means $F$ is bounded, which is a contradiction. Hence, $F$ cannot be a point evaluation.
\end{ex}

As in \cite{MR1}, we also obtain the following characterization of weighted composition operators for our setting. The proof is similar to the proof of Theorem 3.2 in \cite{MR1}, we include it here for completeness. Let $Hol(\bb D)$ denote the set of all holomorphic functions on the open unit disc $\bb D$. We assume that $Hol(\bb D)$ is given its usual $Fr\grave{e}chet$-space topology.

\begin{cor}\label{wcomp0} Let $\cl X$ be a vector subspace of $\cl F(r, \bb C)$ containing all polynomials, and let it has a metric such that point evaluations on it are continuous and polynomials are dense in it.  Let $T: \cl X \to Hol(\mathbb{D})$ be a continuous linear map such that $\left(T(z-\alpha)^n\right)(\zeta)\ne0$ for all $n\ge 0,$ for all scalars $\alpha$ with
$|\alpha|\ge r,$ and for all $\zeta\in \bb D$. Then there exist holomorphic functions $\phi: \mathbb{D} \to \mathbb{D}$ and $ \psi: \mathbb{D} \to \mathbb{C}\setminus\{0\}$ such that
\begin{equation}\label{wcomp}
Tf=\psi.(f\circ{\phi}),
\end{equation}
 for all $f\in \cl X.$
\end{cor}

\begin{proof}
Set $\psi=T(1)$. Then, using the hypotheses, $\psi$ is holomorphic on $\bb D$ and does not assume zero at any point. Define $\phi:=(Tz)/\psi$. Then $\phi$ is clearly a holomorphic function on $\mathbb{D}$. Now we claim that $\phi$ and $\psi$ satisfy Equation (\ref{wcomp}).

Fix a $ \zeta \in \mathbb{D}$ and define $T_\zeta: \cl X \to \bb C$ by $T_\zeta(f) =(Tf)(\zeta)/\psi(\zeta)$.
We can easily verify, using the assumptions on $T,$ that $T_\zeta$ is continuous, linear, and is non-zero on polynomials of the form $(z-\alpha)^n$ whenever $|\alpha|\ge r.$ Also, $T_\zeta(1)=1.$ Then, using Theorem \ref{GKZ-m}, we get a scalar $w_{\zeta}$ with $|w_{\zeta}|<r$ such that
$T_\zeta(f)=f(w_{\zeta})$ for all $f\in \cl X$. But, $T_\zeta(f)=(Tf)(\zeta)/\psi(\zeta)$ for all $f\in \cl X$, therefore
$Tf(\zeta)=\psi(\zeta)f(w_{\zeta}).$ In particular, $(Tz)(\zeta)= \psi(\zeta)w_{\zeta}$ which implies that
$\phi(\zeta) = w_{\zeta}.$ Hence,  $Tf=\psi.(f\circ \phi)$ for all $f\in \cl X$.
\end{proof}

 \begin{remark} We note that Corollary \ref{wcomp0} will hold even when we replace $Hol(\mathbb{D})$with the space $C(\mathbb{D})$ of all complex-valued continuous functions on $\mathbb{D}$ considered with
 the supremum norm. Of course, in such a case, we can guarantee only the continuity of the functions $\phi$ and $\psi $ in Equation (\ref{wcomp}).
 \end{remark}

\section {The GKZ theorem and Strictly cyclic shifts} \label{cyclic}
In this section, we shall use Theorem \ref{GKZ-p} to prove Theorem \ref{strictly}. Recall that Theorem \ref{strictly}
is our GKZ theorem for weighted Hardy spaces on
which the operator of multiplication by the function $z$ is strictly cyclic. Before we proceed further, we want to remind that all weighted Hardy spaces with $\liminf(\beta_n)^\frac{1}{n}>0$ are already covered by Theorem \ref{GKZ-m}. However, there are weighted Hardy spaces  for which $\liminf(\beta_n)^\frac{1}{n}=0$ and on which the operator of multiplication with $z$ is strictly cyclic. All such spaces clearly lie outside the purview of Theorem
\ref{GKZ-m}; so we do have something new to offer here. We shall give one such example at the end.

We shall first give some definitions and preliminary
results. Let $\{\beta_n\}_{n=0}^\infty$ be a sequence of positive numbers with $\beta_0=1.$ Let $H^2(\beta)$
denote the weighted Hardy space
consisting of formal power series $f(z)=\sum_{n=0}^\infty a_nz^n$ such that
$\sum_{n=0}^\infty |a_n|^2\beta_n^2$ is finite. The norm on $H^2(\beta)$ is given by $||f||^2_\beta=\sum_{n=0}^2|a_n|^2\beta_n^2.$ The equality
$f(z)=\sum_{n=0}^\infty a_nz^n$ simply means that $f$ denotes this formal power series; it does not mean convergence of the series at any complex number $z.$ The sequence $\{z^n\}_{n=0}^\infty$ is an orthogonal basis for $H^2(\beta)$ with $||z^n||_\beta=\beta_n$ for each $n.$ Of course, some functions in $H^2(\beta)$ are entire functions, but in general, the disc $\{w\in \bb C: |w|< \liminf\beta_n^{1/n}\}$ is the largest disc in which every power series in $H^2(\beta)$ converges; hence converges absolutely. If $sup_{n}{\beta_{n+1}/{\beta_n}}$ is finite, then $M_z(z^n)=z^{n+1}$ gives rise to a well-defined bounded operator on $H^2(\beta).$ Clearly, the converse is also true. Henceforth, we shall assume $M_z$ to be a bounded operator on $H^2(\beta),$ and use $r(M_z)$ to denote its spectral radius and $r_0(M_z)$ for $\liminf{\beta_n}^{1/n}.$

Furthermore, let $H^\infty(\beta)$ be the set of all formal power series that multiplies $H^2(\beta)$ into itself. Since the constant function $1$ is in $H^2(\beta), \ H^\infty(\beta)$ is a subset of $H^2(\beta).$ In fact, every $\phi\in H^\infty(\beta)$ defines a bounded operator on $H^2(\beta),$ which maps $f\in H^2(\beta)$ to $\phi f;$ we denote it by $M_\phi.$ In addition, if $\phi, \ \psi\in H^\infty(\beta),$ then $\phi \psi$ (the formal Cauchy
product) is again in $H^\infty(\beta)$ and $M_{\phi \psi}=M_{\phi} M_\psi.$ This allows us to identify
$H^\infty(\beta)$ as a commutative subalgebra of $\cl B(H^2(\beta)),$ the Banach algebra consisting of all bounded operators on $H^2(\beta).$ Therefore, for $\phi\in H^\infty(\beta),$ if we define $||\phi||_{\infty}:=||M_\phi||,$ then it becomes a commutative unital Banach algebra. Furthermore, the commutant of $M_z$ equals $H^\infty(\beta).$

A bounded operator $T$ on a Hilbert space $\cl H$ is said to be strictly cyclic if there exists $x_0\in \cl H$ such that $\{Rx_0: R\in \cl W[T]\}=\cl H,$ where $\cl W[T]$ is the closure of the algebra of polynomials in $T$ with respect to the weak operator topology. It is proved in \cite[Proposition 31]{Shie} that the operator $M_z$ on $H^2(\beta)$ is strictly cyclic if and only if $H^2(\beta)=H^\infty(\beta)$ (as sets), and in such a case the two norms, namely $||\cdot||_\beta$ and $||\cdot||_\infty,$ are equivalent. Actually, this proposition reveals more about these weighted Hardy spaces. In general, as noted above, we can guarantee the absolute convergence of power in $H^2(\beta)$ only on the disc $\{w: |w|< r_0(M_z)\}$ and $r_0(M_z)\le r(M_z).$ But, if $M_z$ is strictly cyclic, then Proposition 31 from \cite{Shie} establishes that $r(M_z)$ equals $r_0(M_z),$ and each formal power series in $H^2(\beta)$ converges absolutely at every $w$ with $|w|\le r(M_z).$ This in turn implies that the point evaluation at every $w$ with $|w|\le r(M_z)$ defines a bounded linear functional on $H^2(\beta).$

Before we prove Theorem \ref{strictly}, we want to note that one can derive this result using the classical GKZ theorem. Indeed, the assumption $M_z$ is strictly cyclic yields the equality of
$H^2(\beta)$ and $H^\infty(\beta);$ and then the classical GKZ theorem implies that $F$ must be multiplicative. Further, as recorded in Corollary 1 on Page 94 in {Shie}, when $M_z$ is strictly cyclic, then the multiplicative linear functionals on $H^\infty(\beta)$ are point evaluations with points coming from the closed disc
$\{w: |w|\le r(M_z)\}$. This establishes the desired conclusion.

On the other hand, our proof does not rely on the classical GKZ. Instead, it is a beautiful application of Theorem \ref{GKZ-p}.

\vspace{.2 cm}

\noindent {\bf Proof of Theorem \ref{strictly}}.
 First of all, since $F$ is non-zero on invertible elements and $F(f-F(f))=0,$ therefore $f-F(f)$ cannot be invertible in $H^2(\beta) = H^\infty(\beta)$. This implies that
$F(f)$ lies in the spectrum of $f$ in $H^\infty(\beta)$ which further implies that $|F(f)|\le ||f||_\infty.$ But $||\cdot||_\infty$ is equivalent to $||\cdot||_\beta,$ therefore $F$ is bounded.

Now choose a real number $\eta$ such that $\eta>r(M_z)$ and take a scalar $\alpha$ such that
$|\alpha|\ge \eta.$ This imples that $M_z-\alpha I$ is invertible in $\cl B(H^2(\beta)).$ But, the commutant of $M_z$ equals $H^\infty(\beta),$ therefore $z-\alpha$ is invertible in $H^\infty(\beta)$ which means it is invertible in $H^2(\beta).$ Therefore, $(z-\alpha)^n$ is invertible in $H^2(\beta)$ which implies $F(z-\alpha)^n\ne 0$ for every $n\ge 1.$ Then using Theorem \ref{GKZ-p}, there exists a scalar $w$ with $|w|\le \eta$ such that $F(p)=p(w)$ for every polynomial $p.$ In particular, $w=F(z).$ So the point $w$ is independent of the choice of
$\eta$ and $|w|\le \eta$ for all $\eta>r(M_z).$ Thus, $|w|\le r(M_z).$ Now, $\{z^n\}_{n=0}^\infty$ is an orthogonal sequence in $H^2(\beta)$ which yields polynomials as a dense set in $H^2(\beta).$ Moreover, point evaluation at $w$ is continuous which establishes that $F(f)=f(w).$
\qed

\vspace{.2 cm}

As promised, we shall now give an example of a weighted Hardy space that is not covered by Theorem \ref{GKZ-m} but covered by Theorem \ref{strictly}. This means we are looking for a weighted Hardy space $H^2(\beta)$ for which $r_0(M_z)=\liminf{\beta_n}^{1/n}=0$ and on which the operator $M_z$ is strictly cyclic.

Let $\{w_n\}_{n=0}^\infty$ be a sequence of positive real numbers that is monotonically decreasing and square-summable. Set $\beta_0=1$ and $\beta_n=w_0\cdots w_{n-1}$ for all $n\ge 1.$ Then by \cite[Corollary 4, Page 98]{Shie}, the operator $M_z$ on $H^2(\beta)$ is strictly cyclic. Also, since $w_n$ converges to zero, $r_0(M_z)=r(M_z)=0.$ Actually, the operator $M_z$ is unitarily equivalent to the weighted shift operator $T$ on
$H^2(\bb D)$ which is given by $T(z^n)=w_nz^{n+1}$ for all $n.$ The operator $T^*$ is famously known as a Donoghue operator.

\subsection*{Acknowledgements} The first and third authors
thank the Mathematical Sciences Foundation,
Delhi for support and facilities needed to complete
the present work.