Showing 1–29 of 29 results for author: Ferguson, T

Modal logic for reasoning about uncertainty and confusion

Authors: Marta Bílková, Thomas Ferguson, Daniil Kozhemiachenko

Abstract: We consider a modal logic that can formalise statements about uncertainty and beliefs such as `I think that my wallet is in the drawer rather than elsewhere' or `I am confused whether my appointment is on Monday or Tuesday'. To do that, we expand Gödel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim$ defined as $v({\sim}φ,w)=1-v(φ,w)$. We provide semantics with the finite mod… ▽ More We consider a modal logic that can formalise statements about uncertainty and beliefs such as `I think that my wallet is in the drawer rather than elsewhere' or `I am confused whether my appointment is on Monday or Tuesday'. To do that, we expand Gödel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim$ defined as $v({\sim}φ,w)=1-v(φ,w)$. We provide semantics with the finite model property for our new logic that we call $\mathbf{K}\mathsf{G_{inv}}$ and show its equivalence to the standard semantics over $[0,1]$-valued Kripke models. Namely, we show that $φ$ is valid in the standard semantics of $\mathbf{K}\mathsf{G_{inv}}$ iff it is valid in the new semantics. Using this new semantics, we construct a constraint tableaux calculus for $\mathbf{K}\mathsf{G_{inv}}$ that allows for an explicit extraction of countermodels from complete open branches and then employ the tableaux calculus to obtain the PSpace-completeness of the validity in $\mathbf{K}\mathsf{G_{inv}}$. △ Less

Submitted 26 May, 2025; v1 submitted 5 May, 2025; originally announced May 2025.

Boundedness of Harmonic Conjugation on Weighted Bergman Spaces

Authors: Timothy Ferguson

Abstract: We prove that if a weight is a Bekollé-Bonami weight for some $q$ and it satisfies another simple condition that depends on $0 < p < \infty$, then the operator taking a function to its harmonic conjugate is bounded on the harmonic Bergman space $a^p$. One part of our results uses a certain special type of good lambda inequality. We prove that if a weight is a Bekollé-Bonami weight for some $q$ and it satisfies another simple condition that depends on $0 < p < \infty$, then the operator taking a function to its harmonic conjugate is bounded on the harmonic Bergman space $a^p$. One part of our results uses a certain special type of good lambda inequality. △ Less

Submitted 31 December, 2024; originally announced January 2025.

Comments: 10 pages

MSC Class: 30H20

Topics, Non-Uniform Substitutions, and Variable Sharing

Authors: Shawn Standefer, Shay Allen Logan, Thomas Macaulay Ferguson

Abstract: The family of relevant logics can be faceted by a hierarchy of increasingly fine-grained variable sharing properties -- requiring that in valid entailments $A\to B$, some atom must appear in both $A$ and $B$ with some additional condition (e.g., with the same sign or nested within the same number of conditionals). In this paper, we consider an incredibly strong variable sharing property of lericon… ▽ More The family of relevant logics can be faceted by a hierarchy of increasingly fine-grained variable sharing properties -- requiring that in valid entailments $A\to B$, some atom must appear in both $A$ and $B$ with some additional condition (e.g., with the same sign or nested within the same number of conditionals). In this paper, we consider an incredibly strong variable sharing property of lericone relevance that takes into account the path of negations and conditionals in which an atom appears in the parse trees of the antecedent and consequent. We show that this property of lericone relevance holds of the relevant logic $\mathbf{BM}$ (and that a related property of faithful lericone relevance holds of $\mathbf{B}$) and characterize the largest fragments of classical logic with these properties. Along the way, we consider the consequences for lericone relevance for the theory of subject-matter, for Logan's notion of hyperformalism, and for the very definition of a relevant logic itself. △ Less

Submitted 13 September, 2024; originally announced September 2024.

Simple tableaux for two expansions of Gödel modal logic

Authors: Marta Bilkova, Thomas Ferguson, Daniil Kozhemiachenko

Abstract: This paper considers two logics. The first one, $\mathbf{K}\mathsf{G}_\mathsf{inv}$, is an expansion of the Gödel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim_\mathsf{i}$ defined as $v({\sim_\mathsf{i}}φ,w)=1-v(φ,w)$. The second one, $\mathbf{K}\mathsf{G}_\mathsf{bl}$, is the expansion of $\mathbf{K}\mathsf{G}_\mathsf{inv}$ with the bi-lattice connectives and modalities. W… ▽ More This paper considers two logics. The first one, $\mathbf{K}\mathsf{G}_\mathsf{inv}$, is an expansion of the Gödel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim_\mathsf{i}$ defined as $v({\sim_\mathsf{i}}φ,w)=1-v(φ,w)$. The second one, $\mathbf{K}\mathsf{G}_\mathsf{bl}$, is the expansion of $\mathbf{K}\mathsf{G}_\mathsf{inv}$ with the bi-lattice connectives and modalities. We explore their semantical properties w.r.t. the standard semantics on $[0,1]$-valued Kripke frames and define a unified tableaux calculus that allows for the explicit countermodel construction. For this, we use an alternative semantics with the finite model property. Using the tableaux calculus, we construct a decision algorithm and show that satisfiability and validity in $\mathbf{K}\mathsf{G}_\mathsf{inv}$ and $\mathbf{K}\mathsf{G}_\mathsf{bl}$ are PSpace-complete. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Scalable Derivative-Free Optimization for Nonlinear Least-Squares Problems

Authors: Coralia Cartis, Tyler Ferguson, Lindon Roberts

Abstract: Derivative-free - or zeroth-order - optimization (DFO) has gained recent attention for its ability to solve problems in a variety of application areas, including machine learning, particularly involving objectives which are stochastic and/or expensive to compute. In this work, we develop a novel model-based DFO method for solving nonlinear least-squares problems. We improve on state-of-the-art DFO… ▽ More Derivative-free - or zeroth-order - optimization (DFO) has gained recent attention for its ability to solve problems in a variety of application areas, including machine learning, particularly involving objectives which are stochastic and/or expensive to compute. In this work, we develop a novel model-based DFO method for solving nonlinear least-squares problems. We improve on state-of-the-art DFO by performing dimensionality reduction in the observational space using sketching methods, avoiding the construction of a full local model. Our approach has a per-iteration computational cost which is linear in problem dimension in a big data regime, and numerical evidence demonstrates that, compared to existing software, it has dramatically improved runtime performance on overdetermined least-squares problems. △ Less

Submitted 1 August, 2020; v1 submitted 26 July, 2020; originally announced July 2020.

Comments: Fixed author spelling

Journal ref: Workshop on "Beyond first-order methods in ML systems" at the 37th International Conference on Machine Learning, 2020

Rational Approximations via Hankel Determinants

Authors: Timothy Ferguson

Abstract: Define the monomials $e_n(x) := x^n$ and let $L$ be a linear functional. In this paper we describe a method which, under specified conditions, produces approximations for the value $L(e_0 )$ in terms of Hankel determinants constructed from the values $L(e_1 )$, $L(e_2 )$, . . . . Many constants of mathematical interest can be expressed as the values of integrals. Examples include the Euler-Mascher… ▽ More Define the monomials $e_n(x) := x^n$ and let $L$ be a linear functional. In this paper we describe a method which, under specified conditions, produces approximations for the value $L(e_0 )$ in terms of Hankel determinants constructed from the values $L(e_1 )$, $L(e_2 )$, . . . . Many constants of mathematical interest can be expressed as the values of integrals. Examples include the Euler-Mascheroni constant $γ$, the Euler-Gompertz constant $δ$, and the Riemann-zeta constants $ζ(k)$ for $k \ge 2$. In many cases we can use the integral representation for the constant to construct a linear functional for which $L(e_0)$ equals the given constant and $L(e_1)$, $L(e_2)$, . . . are rational numbers. In this case, under the specified conditions, we obtain rational approximations for our constant. In particular, we execute this procedure for the previously mentioned constants $γ$, $δ$, and $ζ(k)$. We note that our approximations are not strong enough to study the arithmetic properties of these constants. △ Less

Submitted 23 March, 2020; originally announced March 2020.

Comments: 8 pages

MSC Class: 11J17; 11C20; 15B05

Subcritical Bifurcations in the Kuramoto Model with Positive Coupling

Authors: Timothy Ferguson

Abstract: The Kuramoto model is a standard model for the dynamics of coupled oscillator networks. In particular, it is used to study long time behavior such as phase-locking where all oscillators rotate at a common frequency with fixed angle differences. It has been observed that phase-locking occurs if the natural frequencies of the oscillators are sufficiently close to each other, and doesn't if they aren… ▽ More The Kuramoto model is a standard model for the dynamics of coupled oscillator networks. In particular, it is used to study long time behavior such as phase-locking where all oscillators rotate at a common frequency with fixed angle differences. It has been observed that phase-locking occurs if the natural frequencies of the oscillators are sufficiently close to each other, and doesn't if they aren't. Intuitively, the closer the natural frequencies are to each other the more stable the system is. In this paper, we study the Kuramoto model on ring networks with positive coupling between the oscillators and derive a criterion for a bifurcation in which two branches of phase-locked solutions collide as we increase the coupling strengths. Furthermore, we state a criterion for when one of these branches consists of stable phase-locked solutions. In this case stability is lost as the positive coupling is increased. We then apply our criteria to show that for any size of the ring network there always exists choices of the natural frequencies and coupling strengths so that this bifurcation occurs. (We require at least five oscillators for one branch to consist of stable phase-locked solutions.) Finally, we conjecture that generically our bifurcation is locally a subcritical bifurcation and globally an $S$-curve. (In the case where one branch consists of phase-locked solutions, an $S$-curve results in bistability i.e. the existence of two distinct stable phase-locked solutions.) Finally, we note that our methods are constructive. △ Less

Submitted 29 January, 2020; originally announced January 2020.

Comments: 14 pages, 12 figures

MSC Class: 34C15; 34C23; 34D20

Good Lambda Inequalities and Variable Orlicz Hardy Spaces

Authors: Timothy Ferguson

Abstract: We prove a general theorem showing that local good-$λ$ inequalities imply bounds in certain variable Orlicz spaces. We use this to prove results about variable Orlicz Hardy spaces in the unit disc. We prove a general theorem showing that local good-$λ$ inequalities imply bounds in certain variable Orlicz spaces. We use this to prove results about variable Orlicz Hardy spaces in the unit disc. △ Less

Submitted 15 May, 2024; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: The paper has been extensively modified and the results in this version of the paper are significantly more general than those in the previous version. 28 pages

MSC Class: 30H10

Bergman and Szego projections, Extremal Problems, and Square Functions

Authors: Timothy Ferguson

Abstract: We study estimates for Hardy space norms of analytic projections. We first find a sufficient condition for the Bergman projection of a function in the unit disc to belong to the Hardy space $H^p$ for $1 < p < \infty$. We apply the result to prove a converse to an extension of Ryabykh's theorem about Hardy space regularity for Bergman space extremal functions. We also prove that the $H^q$ norm of t… ▽ More We study estimates for Hardy space norms of analytic projections. We first find a sufficient condition for the Bergman projection of a function in the unit disc to belong to the Hardy space $H^p$ for $1 < p < \infty$. We apply the result to prove a converse to an extension of Ryabykh's theorem about Hardy space regularity for Bergman space extremal functions. We also prove that the $H^q$ norm of the Szegö projection of $F^{p/2} \overline{F}^{(p/2)-1}$ cannot be too small if $F$ is analytic, for certain values of $p$ and $q$. We apply this to show that the best analytic approximation in $L^p$ of a function in both $L^p$ and $L^q$ will also lie in $L^q$, for certain values of $p$ and $q$. △ Less

Submitted 20 September, 2019; originally announced September 2019.

Comments: 10 pages

MSC Class: 30H10; 30H20

Equivalence among various variable exponent Hardy or Bergman spaces

Authors: Timothy Ferguson

Abstract: We study the question of when two weighted variable exponent Bergman spaces or Hardy spaces are equivalent. As an application, we show that variable exponent Hardy spaces have a close relation to classical Hardy spaces when the exponent is log-Hölder continuous and has bounded harmonic conjugate (when extended from its boundary values to be harmonic in the disc). We use this to characterize Carles… ▽ More We study the question of when two weighted variable exponent Bergman spaces or Hardy spaces are equivalent. As an application, we show that variable exponent Hardy spaces have a close relation to classical Hardy spaces when the exponent is log-Hölder continuous and has bounded harmonic conjugate (when extended from its boundary values to be harmonic in the disc). We use this to characterize Carleson measures for these variable exponent Hardy spaces. We also prove under certain conditions an analogue of Littlewood subordination and a result on the boundedness of composition operators. △ Less

Submitted 10 September, 2018; originally announced September 2018.

Comments: 19 pages

MSC Class: 30H10; 30H20; 46E30

Volume Bounds for the Phase-locking Region in the Kuramoto Model with Asymmetric Coupling

Authors: Timothy Ferguson

Abstract: The Kuramoto model is a system of nonlinear differential equations that models networks of coupled oscillators and is often used to study synchronization among them. It has been observed that if the natural frequencies of the oscillators are similar they will phase-lock, meaning that they oscillate at a common frequency with fixed phase differences. Conversely, we do not observe this behavior when… ▽ More The Kuramoto model is a system of nonlinear differential equations that models networks of coupled oscillators and is often used to study synchronization among them. It has been observed that if the natural frequencies of the oscillators are similar they will phase-lock, meaning that they oscillate at a common frequency with fixed phase differences. Conversely, we do not observe this behavior when the natural frequencies are very dissimilar. Previously, Bronski and the author gave upper and lower bounds for the volume of the set of frequencies exhibiting phase-locking behavior. This was done under the assumption that any two oscillators affect each other with equal strength. In this paper the author generalizes these upper and lower bounds by removing this assumption. Similar to the previous work with Bronski, where the upper and lower bounds are sums over spanning trees of the network, our generalized upper and lower bounds are sums over certain directed subgraphs of the network. In particular, our lower bound is a sum over directed spanning trees. Finally, we numerically simulate the dependence of the number of directed spanning trees on the presence of certain two edge motifs in the network and compare this dependence with that of the synchronization of oscillator models found by Nykamp, Zhao, and collaborators. △ Less

Submitted 16 August, 2018; originally announced August 2018.

Comments: 13 pages, 5 figures

MSC Class: 34C15; 34D20; 92B25

Motifs, Coherent Configurations and Second Order Network Generation

Authors: Jared Bronski, Timothy Ferguson

Abstract: In this paper we illuminate some algebraic-combinatorial structure underlying the second order networks (SONETS) random graph model of Nykamp, Zhao and collaborators. In particular we show that this algorithm is deeply connected with a certain homogeneous coherent configuration, a non-commuting generalization of the classical Johnson scheme. This algebraic structure underlies certain surprising id… ▽ More In this paper we illuminate some algebraic-combinatorial structure underlying the second order networks (SONETS) random graph model of Nykamp, Zhao and collaborators. In particular we show that this algorithm is deeply connected with a certain homogeneous coherent configuration, a non-commuting generalization of the classical Johnson scheme. This algebraic structure underlies certain surprising identities (that do not appear to have been previously observed) satisfied by the covariance matrices in the Nykamp-Zhao scheme. We show that an understanding of this algebraic structure leads to simplified numerical methods for carrying out the linear algebra required to implement the SONETS algorithm. We also show that this structure extends naturally to the problem of generating random subgraphs of graphs other than the complete directed graph. △ Less

Submitted 13 August, 2018; originally announced August 2018.

Comments: 26 pages, 5 figures

MSC Class: 13P25; 62P99

Sums of Weighted Differentiation Composition Operators

Authors: Soumyadip Acharyya, Timothy Ferguson

Abstract: We solve an interpolation problem in $A^p_α$ involving specifying a set of (possibly not distinct) $n$ points, where the $k^{\textrm{th}}$ derivative at the $k^{\textrm{th}}$ point is up to a constant as large as possible for functions of unit norm. The solution obtained has norm bounded by a constant independent of the points chosen. As a direct application, we obtain a characterization of the or… ▽ More We solve an interpolation problem in $A^p_α$ involving specifying a set of (possibly not distinct) $n$ points, where the $k^{\textrm{th}}$ derivative at the $k^{\textrm{th}}$ point is up to a constant as large as possible for functions of unit norm. The solution obtained has norm bounded by a constant independent of the points chosen. As a direct application, we obtain a characterization of the order-boundedness of a sum of products of weighted composition and differentiation operators acting between weighted Bergman spaces. We also characterize the compactness of such operators that map a weighted Bergman space into the space of bounded analytic functions. △ Less

Submitted 17 May, 2018; originally announced May 2018.

Comments: 13 pages

MSC Class: 47B33; 30H10; 30H20

Stable Configurations in Social Networks

Authors: Jared C. Bronski, Lee DeVille, Tim Ferguson, Michael Livesay

Abstract: We present and analyze a model of opinion formation on an arbitrary network whose dynamics comes from a global energy function. We study the global and local minimizers of this energy, which we call stable opinion configurations, and describe the global minimizers under certain assumptions on the friendship graph. We show a surprising result that the number of stable configurations is not necessar… ▽ More We present and analyze a model of opinion formation on an arbitrary network whose dynamics comes from a global energy function. We study the global and local minimizers of this energy, which we call stable opinion configurations, and describe the global minimizers under certain assumptions on the friendship graph. We show a surprising result that the number of stable configurations is not necessarily monotone in the strength of connection in the social network, i.e. the model sometimes supports more stable configurations when the interpersonal connections are made stronger. △ Less

Submitted 24 August, 2017; originally announced August 2017.

Uniform Approximation of Extremal Functions in Weighted Bergman Spaces

Authors: Timothy Ferguson

Abstract: We discuss approximation of extremal functions by polynomials in the weighted Bergman spaces $A^p_α$ where $-1 < α< 0$ and $-1 < α< p-2$. We obtain bounds on how close the approximation is to the true extremal function in the $A^p_α$ and uniform norms. We also discuss several results on the relation between the Bergman modulus of continuity of a function and how quickly its best polynomial approxi… ▽ More We discuss approximation of extremal functions by polynomials in the weighted Bergman spaces $A^p_α$ where $-1 < α< 0$ and $-1 < α< p-2$. We obtain bounds on how close the approximation is to the true extremal function in the $A^p_α$ and uniform norms. We also discuss several results on the relation between the Bergman modulus of continuity of a function and how quickly its best polynomial approximants converge to it. △ Less

Submitted 18 May, 2017; originally announced May 2017.

Comments: 11 pages

MSC Class: 30H20

Topological States in the Kuramoto Model

Authors: Timothy Ferguson

Abstract: The Kuramoto model is a system of nonlinear differential equations that models networks of coupled oscillators and is often used to study synchronization among the oscillators. In this paper we study steady state solutions of the Kuramoto model by assigning to each steady state a tuple of integers which records how the state twists around the cycles in the network. We then use this new classificat… ▽ More The Kuramoto model is a system of nonlinear differential equations that models networks of coupled oscillators and is often used to study synchronization among the oscillators. In this paper we study steady state solutions of the Kuramoto model by assigning to each steady state a tuple of integers which records how the state twists around the cycles in the network. We then use this new classification of steady states to obtain a "Weyl" type of asymptotic estimate for the number of steady states as the number of oscillators becomes arbitrarily large while preserving the cycle structure. We further show how this asymptotic estimate can be maximized, and as a special case we obtain an asymptotic lower bound for the number of stable steady states of the model. △ Less

Submitted 7 April, 2017; originally announced April 2017.

Comments: 10 pages, 7 figures

MSC Class: 34C15; 34D06

Bounds on the Norm of the Backward Shift and Related Operators in Hardy and Bergman Spaces

Authors: Timothy Ferguson

Abstract: We study bounds for the backward shift operator $f \mapsto (f(z)-f(0))/z$ and the related operator $f \mapsto f - f(0)$ on Hardy and Bergman spaces of analytic and harmonic functions. If $u$ is a real valued harmonic function, we also find a sharp bound on $M_1(r,u-u(0))$ in terms of $\|u\|_{h^1}$, where $M_1$ is the integral mean with $p=1$. We study bounds for the backward shift operator $f \mapsto (f(z)-f(0))/z$ and the related operator $f \mapsto f - f(0)$ on Hardy and Bergman spaces of analytic and harmonic functions. If $u$ is a real valued harmonic function, we also find a sharp bound on $M_1(r,u-u(0))$ in terms of $\|u\|_{h^1}$, where $M_1$ is the integral mean with $p=1$. △ Less

Submitted 10 February, 2017; originally announced February 2017.

Comments: 16 pages, 1 figure

MSC Class: 30H10 (Primary) 30H20; 47B36; 47B37 (Secondary)

$H^\infty$-calculus for semigroup generators on BMO

Authors: Tim Ferguson, Tao Mei, Brian Simanek

Abstract: We prove that the negative infinitesimal generator $L$ of a semigroup of positive contractions on $L^\infty$ has a bounded $H^\infty(S_η^0)$-calculus on the associated Poisson semigroup-BMO space for any angle $η>π/2$, provided the semigroup satisfies Bakry-Emry's $Γ_2 $ criterion. Our arguments only rely on the properties of the underlying semigroup and works well in the noncommutative setting. A… ▽ More We prove that the negative infinitesimal generator $L$ of a semigroup of positive contractions on $L^\infty$ has a bounded $H^\infty(S_η^0)$-calculus on the associated Poisson semigroup-BMO space for any angle $η>π/2$, provided the semigroup satisfies Bakry-Emry's $Γ_2 $ criterion. Our arguments only rely on the properties of the underlying semigroup and works well in the noncommutative setting. A key ingredient of our argument is a quasi monotone property for the subordinated semigroup $T_{t,α}=e^{-tL^α},0<α<1$, that is proved in the first half of the article. △ Less

Submitted 19 February, 2019; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: 32 pages

MSC Class: 47D06; 46L52; 43A22; 42B35

Journal ref: Advance in Math., Volume 347, 2019, Pages 408-441

The range and valence of a real Smirnov function

Authors: Timothy Ferguson, William T. Ross

Abstract: We give a complete description of the possible ranges of real Smirnov functions (quotients of two bounded analytic functions on the open unit disk where the denominator is outer and such that the radial boundary values are real almost everywhere on the unit circle). Our techniques use the theory of unbounded symmetric Toeplitz operators, some general theory of unbounded symmetric operators, classi… ▽ More We give a complete description of the possible ranges of real Smirnov functions (quotients of two bounded analytic functions on the open unit disk where the denominator is outer and such that the radial boundary values are real almost everywhere on the unit circle). Our techniques use the theory of unbounded symmetric Toeplitz operators, some general theory of unbounded symmetric operators, classical Hardy spaces, and an application of the uniformization theorem. In addition, we completely characterize the possible valences for these real Smirnov functions when the valence is finite. To do so we construct Riemann surfaces we call disk trees by welding together copies of the unit disk and its complement in the Riemann sphere. We also make use of certain trees we call valence trees that mirror the structure of disk trees. △ Less

Submitted 16 October, 2017; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: 26 pages, 7 figures. Changes from version 1: Title slightly changed. Corrected statement of first main theorem. Added a theorem characterizing the valences of finite valence real Smirnov functions

MSC Class: 30J05; 30H10; 46E22

Bergman-Hölder Functions, Area Integral Means and Extremal Problems

Authors: Timothy Ferguson

Abstract: We study certain weighted area integral means of analytic functions in the unit disc. We relate the growth of these means to the property of being mean Hölder continuous with respect to the Bergman space norm. In contrast with earlier work, we use the second iterated difference quotient instead of the first. We then give applications to Bergman space extremal problems. We study certain weighted area integral means of analytic functions in the unit disc. We relate the growth of these means to the property of being mean Hölder continuous with respect to the Bergman space norm. In contrast with earlier work, we use the second iterated difference quotient instead of the first. We then give applications to Bergman space extremal problems. △ Less

Submitted 2 August, 2016; originally announced August 2016.

Comments: 21 pages

MSC Class: 30H20

Graph Homology and Stability of Coupled Oscillator Networks

Authors: Jared C. Bronski, Lee DeVille, Timothy Ferguson

Abstract: There are a number of models of coupled oscillator networks where the question of the stability of fixed points reduces to calculating the index of a graph Laplacian. Some examples of such models include the Kuramoto and Kuramoto--Sakaguchi equations as well as the swing equations, which govern the behavior of generators coupled in an electrical network. We show that the index calculation can be r… ▽ More There are a number of models of coupled oscillator networks where the question of the stability of fixed points reduces to calculating the index of a graph Laplacian. Some examples of such models include the Kuramoto and Kuramoto--Sakaguchi equations as well as the swing equations, which govern the behavior of generators coupled in an electrical network. We show that the index calculation can be related to a dual calculation which is done on the first homology group of the graph, rather than the vertex space. We also show that this representation is computationally attractive for relatively sparse graphs, where the dimension of the first homology group is low, as is true in many applications. We also give explicit formulae for the dimension of the unstable manifold to a phase-locked solution for graphs containing one or two loops. As an application, we present some novel results for the Kuramoto model defined on a ring and compute the longest possible edge length for a stable solution. △ Less

Submitted 6 August, 2015; originally announced August 2015.

Comments: 18 pages, 2 figures, 1 table

Bounds on Integral Means of Bergman Projections and their Derivatives

Authors: Timothy Ferguson

Abstract: We bound integral means of the Bergman projection of a function in terms of integral means of the original function. As an application of these results, we bound certain weighted Bergman space norms of derivatives of Bergman projections in terms of weighted $L^p$ norms of certain derivatives of the original function in the $θ$ direction. These results easily imply the well known result that the Be… ▽ More We bound integral means of the Bergman projection of a function in terms of integral means of the original function. As an application of these results, we bound certain weighted Bergman space norms of derivatives of Bergman projections in terms of weighted $L^p$ norms of certain derivatives of the original function in the $θ$ direction. These results easily imply the well known result that the Bergman projection is bounded from the Sobolev space $W^{k,p}$ into itself for $1 < p < \infty$. We also apply our results to derive certain regularity results involving extremal problems in Bergman spaces. Lastly, we construct a function that approaches $0$ uniformly at the boundary of the unit disc but whose Bergman projection is not in $H^2$. △ Less

Submitted 29 September, 2016; v1 submitted 13 March, 2015; originally announced March 2015.

Comments: 24 pages

MSC Class: 30H20

Extremal Problems in Bergman Spaces and an Extension of Ryabykh's $H^p$ Regularity Theorem For $1<p<\infty$

Authors: Timothy Ferguson

Abstract: We study linear extremal problems in the Bergman space $A^p$ of the unit disc, where $1 < p < \infty$. Given a functional on the dual space of $A^p$ with representing kernel $k \in A^q$, where $1/p + 1/q = 1$, we show that if $q \le q_1 < \infty$ and $k \in H^{q_1}$, then $F \in H^{(p-1)q_1}$. This result was previously known only in the case where $p$ is an even integer. We also discuss related r… ▽ More We study linear extremal problems in the Bergman space $A^p$ of the unit disc, where $1 < p < \infty$. Given a functional on the dual space of $A^p$ with representing kernel $k \in A^q$, where $1/p + 1/q = 1$, we show that if $q \le q_1 < \infty$ and $k \in H^{q_1}$, then $F \in H^{(p-1)q_1}$. This result was previously known only in the case where $p$ is an even integer. We also discuss related results. △ Less

Submitted 5 February, 2015; originally announced February 2015.

Comments: 13 pages. Extends results from arXiv:1301.7659

MSC Class: 30H20; 30H10

Regularity of Extremal Functions in Weighted Bergman and Fock Type Spaces

Authors: Timothy Ferguson

Abstract: We discuss the regularity of extremal functions in certain weighted Bergman and Fock type spaces. Given an appropriate analytic function $k$, the corresponding extremal function is the function with unit norm maximizing $\text{Re} \int_Ωf(z) \overline{k(z)}\, ν(z) \, dA(z)$ over all functions $f$ of unit norm, where $ν$ is the weight function and $Ω$ is the domain of the functions in the space. We… ▽ More We discuss the regularity of extremal functions in certain weighted Bergman and Fock type spaces. Given an appropriate analytic function $k$, the corresponding extremal function is the function with unit norm maximizing $\text{Re} \int_Ωf(z) \overline{k(z)}\, ν(z) \, dA(z)$ over all functions $f$ of unit norm, where $ν$ is the weight function and $Ω$ is the domain of the functions in the space. We consider the case where $ν(z)$ is a decreasing radial function satisfying some additional assumptions, and where $Ω$ is either a disc centered at the origin or the entire complex plane. We show that if $k$ grows slowly in a certain sense, then $f$ must grow slowly in a related sense. We also discuss a relation between the integrability and growth of certain log-convex functions, and apply the result to obtain information about the growth of integral means of extremal functions in Fock type spaces. △ Less

Submitted 7 November, 2014; originally announced November 2014.

Comments: 17 pages

MSC Class: 30H20; 30H10

Solution of Extremal Problems in Bergman Spaces Using the Bergman Projection

Authors: Timothy Ferguson

Abstract: In this paper we discuss the explicit solution of certain extremal problems in Bergman spaces. In order to do this, we develop methods to calculate the Bergman projections of various functions. As a special case, we deal with canonical divisors for certain values of $p$. In this paper we discuss the explicit solution of certain extremal problems in Bergman spaces. In order to do this, we develop methods to calculate the Bergman projections of various functions. As a special case, we deal with canonical divisors for certain values of $p$. △ Less

Submitted 21 November, 2013; originally announced November 2013.

Comments: 25 pages, to appear in Computational Methods and Function Theory

MSC Class: 30H20

Journal ref: Comput. Methods Funct. Theory 14 (2014), no. 1, 35-61

Extremal Problems in Bergman Spaces and an Extension of Ryabykh's Theorem

Authors: Timothy Ferguson

Abstract: We study linear extremal problems in the Bergman space $A^p$ of the unit disc for $p$ an even integer. Given a functional on the dual space of $A^p$ with representing kernel $k \in A^q$, where $1/p + 1/q = 1$, we show that if the Taylor coefficients of $k$ are sufficiently small, then the extremal function $F \in H^{\infty}$. We also show that if $q \le q_1 < \infty$, then $F \in H^{(p-1)q_1}$ if… ▽ More We study linear extremal problems in the Bergman space $A^p$ of the unit disc for $p$ an even integer. Given a functional on the dual space of $A^p$ with representing kernel $k \in A^q$, where $1/p + 1/q = 1$, we show that if the Taylor coefficients of $k$ are sufficiently small, then the extremal function $F \in H^{\infty}$. We also show that if $q \le q_1 < \infty$, then $F \in H^{(p-1)q_1}$ if and only if $k \in H^{q_1}$. These results extend and provide a partial converse to a theorem of Ryabykh. △ Less

Submitted 31 January, 2013; originally announced January 2013.

Comments: 16 pages. To appear in the Illinois Journal of Mathematics

MSC Class: 30H10; 30H20; 46B10; 46E15

Journal ref: Linear Extremal Problems in Bergman Spaces and an Extension of Ryabykh's Theorem. Illinois J. Math. 55 (2011), no. 2, 555-573

Continuity of Extremal Elements in Uniformly Convex Spaces

Authors: Timothy Ferguson

Abstract: In this paper, we study the problem of finding the extremal element for a linear functional over a uniformly convex Banach space. We show that a unique extremal element exists and depends continuously on the linear functional, and vice versa. Using this, we simplify and clarify Ryabykh's proof that for any linear functional on a uniformly convex Bergman space with kernel in a certain Hardy space,… ▽ More In this paper, we study the problem of finding the extremal element for a linear functional over a uniformly convex Banach space. We show that a unique extremal element exists and depends continuously on the linear functional, and vice versa. Using this, we simplify and clarify Ryabykh's proof that for any linear functional on a uniformly convex Bergman space with kernel in a certain Hardy space, the extremal functional belongs to the corresponding Hardy space. △ Less

Submitted 30 January, 2013; originally announced January 2013.

Comments: 9 pages. Very minor changes from published version

MSC Class: 30H10; 30H20; 46B10; 46E15

Journal ref: Proc. Amer. Math. Soc. 137 (2009), no. 8, 2645-2653. MR2497477

Self-commutators of Toeplitz operators and isoperimetric inequalities

Authors: Steven R. Bell, Timothy Ferguson, Erik Lundberg

Abstract: For a hyponormal operator, C. R. Putnam's inequality gives an upper bound on the norm of its self-commutator. In the special case of a Toeplitz operator with analytic symbol in the Smirnov space of a domain, there is also a geometric lower bound shown by D. Khavinson (1985) that when combined with Putnam's inequality implies the classical isoperimetric inequality. For a nontrivial domain, we compa… ▽ More For a hyponormal operator, C. R. Putnam's inequality gives an upper bound on the norm of its self-commutator. In the special case of a Toeplitz operator with analytic symbol in the Smirnov space of a domain, there is also a geometric lower bound shown by D. Khavinson (1985) that when combined with Putnam's inequality implies the classical isoperimetric inequality. For a nontrivial domain, we compare these estimates to exact results. Then we consider such operators acting on the Bergman space of a domain, and we obtain lower bounds that also reflect the geometry of the domain. When combined with Putnam's inequality they give rise to the Faber-Krahn inequality for the fundamental frequency of a domain and the Saint-Venant inequality for the torsional rigidity (but with non-sharp constants). We conjecture an improved version of Putnam's inequality within this restricted setting. △ Less

Submitted 11 November, 2014; v1 submitted 29 November, 2012; originally announced November 2012.

Comments: 15 pages, 2 figures. Now published in Mathematical Proceedings of the Royal Irish Academy. This version differs slightly in apperance from the published one. Changes from Previous Version: Fixed small error in the statements and proofs of Theorems 1.1 and 1.2 and Corollary 3.1. Other minor changes from last version

MSC Class: 47B35; 47B47; 30H20; 35J20

Journal ref: Mathematical Proceedings of the Royal Irish Academy 114A (2014), 115--132

Flat Pencils of Symplectic Connections and Hamiltonian Operators of Degree 2

Authors: James T. Ferguson

Abstract: Bi-Hamiltonian structures involving Hamiltonian operators of degree 2 are studied. Firstly, pairs of degree 2 operators are considered in terms of an algebra structure on the space of 1-forms, related to so-called Fermionic Novikov algebras. Then, degree 2 operators are considered as deformations of hydrodynamic type Poisson brackets. Bi-Hamiltonian structures involving Hamiltonian operators of degree 2 are studied. Firstly, pairs of degree 2 operators are considered in terms of an algebra structure on the space of 1-forms, related to so-called Fermionic Novikov algebras. Then, degree 2 operators are considered as deformations of hydrodynamic type Poisson brackets. △ Less

Submitted 11 April, 2007; originally announced April 2007.

Comments: 20 pages