-
Legendre Expansions of Products of Functions with Applications to Nonlinear Partial Differential Equations
Authors:
Rabia Djellouli,
David Klein,
Matthew Levy
Abstract:
Given the Fourier-Legendre expansions of $f$ and $g$, and mild conditions on $f$ and $g$, we derive the Fourier-Legendre expansion of their product in terms of their corresponding Fourier-Legendre coefficients. In this way, expansions of whole number powers of $f$ may be obtained. We establish upper bounds on rates of convergence. We then employ these expansions to solve semi-analytically a class…
▽ More
Given the Fourier-Legendre expansions of $f$ and $g$, and mild conditions on $f$ and $g$, we derive the Fourier-Legendre expansion of their product in terms of their corresponding Fourier-Legendre coefficients. In this way, expansions of whole number powers of $f$ may be obtained. We establish upper bounds on rates of convergence. We then employ these expansions to solve semi-analytically a class of nonlinear PDEs with a polynomial nonlinearity of degree 2. The obtained numerical results illustrate the efficiency and performance accuracy of this Fourier-Legendre based solution methodology for solving an important class of nonlinear PDEs.
△ Less
Submitted 24 March, 2024; v1 submitted 18 September, 2021;
originally announced October 2021.
-
Probabilities with Gaps and Gluts
Authors:
Dominik Klein,
Ondrej Majer,
Soroush Rafiee Rad
Abstract:
Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. In this paper, we present a probabilistic…
▽ More
Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. In this paper, we present a probabilistic extension of BD that permits agents to have probabilistic beliefs about the truth and falsity of a proposition. We provide a sound and complete axiomatization for the framework defined and also identify policies for conditionalization and aggregation. Concretely, we introduce four-valued equivalents of Bayes' and Jeffrey updating and also suggest mechanisms for aggregating information from different sources.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Completions and algebraic formulas for the coefficients of Ramanujan's mock theta functions
Authors:
David Klein,
Jennifer Kupka
Abstract:
We present completions of mock theta functions to harmonic weak Maass forms of weight $1/2$ and algebraic formulas for the coefficients of mock theta functions. We give several harmonic weak Maass forms of weight $1/2$ that have mock theta functions as their holomorphic part. Using these harmonic weak Maass forms and the Millson theta lift we compute finite algebraic formulas for the coefficients…
▽ More
We present completions of mock theta functions to harmonic weak Maass forms of weight $1/2$ and algebraic formulas for the coefficients of mock theta functions. We give several harmonic weak Maass forms of weight $1/2$ that have mock theta functions as their holomorphic part. Using these harmonic weak Maass forms and the Millson theta lift we compute finite algebraic formulas for the coefficients of the appearing mock theta functions in terms of traces of singular moduli.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Pointwise intersection in neighbourhood modal logic
Authors:
Frederik Van De Putte,
Dominik Klein
Abstract:
We study the logic of neighbourhood models with pointwise intersection, as a means to characterize multi-modal logics. Pointwise intersection takes us from a set of neighbourhood sets $\mathcal{N}_i$ (one for each member $i$ of a set $G$, used to interpret the modality $\square_i$) to a new neighbourhood set $\mathcal{N}_G$, which in turn allows us to interpret the operator $\square_G$. Here, $X$…
▽ More
We study the logic of neighbourhood models with pointwise intersection, as a means to characterize multi-modal logics. Pointwise intersection takes us from a set of neighbourhood sets $\mathcal{N}_i$ (one for each member $i$ of a set $G$, used to interpret the modality $\square_i$) to a new neighbourhood set $\mathcal{N}_G$, which in turn allows us to interpret the operator $\square_G$. Here, $X$ is in the neighbourhood for $G$ if and only if $X$ equals the intersection of some $\mathcal{Y} = \{Y_i \mid i\in G\}$. We show that the notion of pointwise intersection has various applications in epistemic and doxastic logic, deontic logic, coalition logic, and evidence logic. We then establish sound and strongly complete axiomatizations for the weakest logic characterized by pointwise intersection and for a number of variants, using a new and generally applicable technique for canonical model construction.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.
-
On the super domination number of graphs
Authors:
Douglas J. Klein,
Juan A. Rodríguez-Velázquez,
Eunjeong Yi
Abstract:
The open neighbourhood of a vertex $v$ of a graph $G$ is the set $N(v)$ consisting of all vertices adjacent to $v$ in $G$. For $D\subseteq V(G)$, we define $\overline{D}=V(G)\setminus D$. A set $D\subseteq V(G)$ is called a super dominating set of $G$ if for every vertex $u\in \overline{D}$, there exists $v\in D$ such that $N(v)\cap \overline{D}=\{u\}$. The super domination number of $G$ is the mi…
▽ More
The open neighbourhood of a vertex $v$ of a graph $G$ is the set $N(v)$ consisting of all vertices adjacent to $v$ in $G$. For $D\subseteq V(G)$, we define $\overline{D}=V(G)\setminus D$. A set $D\subseteq V(G)$ is called a super dominating set of $G$ if for every vertex $u\in \overline{D}$, there exists $v\in D$ such that $N(v)\cap \overline{D}=\{u\}$. The super domination number of $G$ is the minimum cardinality among all super dominating sets in $G$. In this article, we obtain closed formulas and tight bounds for the super domination number of $G$ in terms of several invariants of $G$. Furthermore, the particular cases of corona product graphs and Cartesian product graphs are considered.
△ Less
Submitted 23 April, 2018; v1 submitted 2 May, 2017;
originally announced May 2017.
-
Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics
Authors:
Dominik Klein,
Rasmus K. Rendsvig
Abstract:
This report introduces and investigates a family of metrics on sets of pointed Kripke models. The metrics are generalizations of the Hamming distance applicable to countably infinite binary strings and, by extension, logical theories or semantic structures. We first study the topological properties of the resulting metric spaces. A key result provides sufficient conditions for spaces having the St…
▽ More
This report introduces and investigates a family of metrics on sets of pointed Kripke models. The metrics are generalizations of the Hamming distance applicable to countably infinite binary strings and, by extension, logical theories or semantic structures. We first study the topological properties of the resulting metric spaces. A key result provides sufficient conditions for spaces having the Stone property, i.e., being compact, totally disconnected and Hausdorff. Second, we turn to mappings, where it is shown that a widely used type of model transformations, product updates, give rise to continuous maps in the induced topology.
△ Less
Submitted 25 August, 2017; v1 submitted 4 April, 2017;
originally announced April 2017.
-
Parallel Simultaneous Perturbation Optimization
Authors:
Atiye Alaeddini,
Daniel J. Klein
Abstract:
Stochastic computer simulations enable users to gain new insights into complex physical systems. Optimization is a common problem in this context: users seek to find model inputs that maximize the expected value of an objective function. The objective function, however, is time-intensive to evaluate, and cannot be directly measured. Instead, the stochastic nature of the model means that individual…
▽ More
Stochastic computer simulations enable users to gain new insights into complex physical systems. Optimization is a common problem in this context: users seek to find model inputs that maximize the expected value of an objective function. The objective function, however, is time-intensive to evaluate, and cannot be directly measured. Instead, the stochastic nature of the model means that individual realizations are corrupted by noise. More formally, we consider the problem of optimizing the expected value of an expensive black-box function with continuously-differentiable mean, from which observations are corrupted by Gaussian noise. We present Parallel Simultaneous Perturbation Optimization (PSPO), which extends a well-known stochastic optimization algorithm, simultaneous perturbation stochastic approximation, in several important ways. Our modifications allow the algorithm to fully take advantage of parallel computing resources, like high-performance cloud computing. The resulting PSPO algorithm takes fewer time-consuming iterations to converge, automatically chooses the step size, and can vary the error tolerance by step. Theoretical results are supported by a numerical example. To demonstrate the performance of the algorithm, we implemented the algorithm to maximize the pseudo-likelihood of a stochastic epidemiological model to data of a measles outbreak.
△ Less
Submitted 11 September, 2018; v1 submitted 1 April, 2017;
originally announced April 2017.
-
Graph Invertibility and Median Eigenvalues
Authors:
Dong Ye,
Yujun Yang,
Bholanath Mandal,
Douglas J. Klein
Abstract:
Let $(G,w)$ be a weighted graph with a weight-function $w: E(G)\to \mathbb R\backslash\{0\}$. A weighted graph $(G,w)$ is invertible to a new weighted graph if its adjacency matrix is invertible. A graph inverse has combinatorial interest and can be applied to bound median eigenvalues of a graph such as have physical meanings in Quatumn Chemistry. In this paper, we characterize the inverse of a we…
▽ More
Let $(G,w)$ be a weighted graph with a weight-function $w: E(G)\to \mathbb R\backslash\{0\}$. A weighted graph $(G,w)$ is invertible to a new weighted graph if its adjacency matrix is invertible. A graph inverse has combinatorial interest and can be applied to bound median eigenvalues of a graph such as have physical meanings in Quatumn Chemistry. In this paper, we characterize the inverse of a weighted graph based on its Sachs subgraphs that are spanning subgraphs with only $K_2$ or cycles (or loops) as components. The characterization can be used to find the inverse of a weighted graph based on its structures instead of its adjacency matrix. If a graph has its spectra split about the origin, i.e., half of eigenvalues are positive and half of them are negative, then its median eigenvalues can be bounded by estimating the largest and smallest eigenvalues of its inverse. We characterize graphs with a unique Sachs subgraph and prove that these graphs has their spectra split about the origin if they have a perfect matching. As applications, we show that the median eigenvalues of stellated graphs of trees and corona graphs belong to different halves of the interval $[-1,1]$.
△ Less
Submitted 12 June, 2015;
originally announced June 2015.
-
Resistance distance-based graph invariants of subdivisions and triangulations of graphs
Authors:
Yujun Yang,
Douglas J. Klein
Abstract:
We study three resistance distance-based graph invariants: the Kirchhoff index, and two modifications, namely, the multiplicative degree-Kirchhoff index and the additive degree-Kirchhoff index. In work in press, one of the present authors (2014) and Sun et al. (2014) independently obtained (different) formulas for the Kirchhoff index of subdivisions of graphs. Huang et al. (2014) obtained a formul…
▽ More
We study three resistance distance-based graph invariants: the Kirchhoff index, and two modifications, namely, the multiplicative degree-Kirchhoff index and the additive degree-Kirchhoff index. In work in press, one of the present authors (2014) and Sun et al. (2014) independently obtained (different) formulas for the Kirchhoff index of subdivisions of graphs. Huang et al. (2014) obtained a formula for the Kirchhoff index of triangulations of graphs. In our paper, first we derive formulae for the additive degree-Kirchhoff index and the multiplicative degree-Kirchhoff index of subdivisions and triangulations, as well as a new formula for the Kirchhoff index of triangulations, in terms of invariants of $G$. Then comparisons are made between each of our Kirchhoffian graph invariants for subdivision and triangulation. Finally, formulae for these graph invariants of iterated subdivisions and triangulations of graphs are obtained.
△ Less
Submitted 7 March, 2014;
originally announced March 2014.
-
Maximal Fermi charts and geometry of inflationary universes
Authors:
David Klein
Abstract:
A proof is given that the maximal Fermi coordinate chart for any comoving observer in a broad class of Robertson-Walker spacetimes consists of all events within the cosmological event horizon, if there is one, or is otherwise global. Exact formulas for the metric coefficients in Fermi coordinates are derived. Sharp universal upper bounds for the proper radii of leaves of the foliation by Fermi spa…
▽ More
A proof is given that the maximal Fermi coordinate chart for any comoving observer in a broad class of Robertson-Walker spacetimes consists of all events within the cosmological event horizon, if there is one, or is otherwise global. Exact formulas for the metric coefficients in Fermi coordinates are derived. Sharp universal upper bounds for the proper radii of leaves of the foliation by Fermi spaceslices are found, i.e., for the proper radii of the spatial universe at fixed times of the comoving observer. It is proved that the radius at proper time $τ$ diverges to infinity for non inflationary cosmologies as $τ\to\infty$, but not necessarily for cosmologies with periods of inflation. It is shown that any spacelike geodesic orthogonal to the worldline of a comoving observer has finite proper length and terminates within the cosmological event horizon (if there is one) at the big bang. Geometric properties of inflationary versus non inflationary cosmologies are compared, and opposite inequalities for the inflationary and non inflationary cases, analogous to Hubble's law, are obtained for the Fermi relative velocities of comoving test particles. It is proved that the Fermi relative velocities of radially moving test particles are necessarily subluminal for inflationary cosmologies in contrast to non inflationary models, where superluminal relative Fermi velocities necessarily exist.
△ Less
Submitted 9 July, 2015; v1 submitted 29 October, 2012;
originally announced October 2012.
-
Goldman flows on the Jacobian
Authors:
Lisa C. Jeffrey,
David B. Klein
Abstract:
We show that the Goldman flows preserve the holomorphic structure on the moduli space of homomorphisms of the fundamental group of a Riemann surface into U(1), in other words the Jacobian.
We show that the Goldman flows preserve the holomorphic structure on the moduli space of homomorphisms of the fundamental group of a Riemann surface into U(1), in other words the Jacobian.
△ Less
Submitted 23 February, 2008;
originally announced February 2008.
-
Goldman flows on a nonorientable surface
Authors:
David B. Klein
Abstract:
Given an embedded cylinder in an arbitrary surface, we give a gauge theoretic definition of the associated Goldman flow, which is a circle action on a dense open subset of the moduli space of equivalence classes of flat SU(2)-connections over the surface. A cylinder in a compact nonorientable surface lifts to two cylinders in the orientable double cover, and the "composite flow" is the compositi…
▽ More
Given an embedded cylinder in an arbitrary surface, we give a gauge theoretic definition of the associated Goldman flow, which is a circle action on a dense open subset of the moduli space of equivalence classes of flat SU(2)-connections over the surface. A cylinder in a compact nonorientable surface lifts to two cylinders in the orientable double cover, and the "composite flow" is the composition of one of the associated flows with the inverse flow of the other. Providing explicit descriptions, we relate the flow on the moduli space of the nonorientable surface with the composite flow on the moduli space of the double cover. We prove that the composite flow preserves a certain Lagrangian submanifold.
△ Less
Submitted 28 October, 2007;
originally announced October 2007.
