-
Targeting influence in a harmonic opinion model
Authors:
Zachary M. Boyd,
Nicolas Fraiman,
Jeremy L. Marzuola,
Peter J. Mucha,
Braxton Osting
Abstract:
Influence propagation in social networks is a central problem in modern social network analysis, with important societal applications in politics and advertising. A large body of work has focused on cascading models, viral marketing, and finite-horizon diffusion. There is, however, a need for more developed, mathematically principled \emph{adversarial models}, in which multiple, opposed actors str…
▽ More
Influence propagation in social networks is a central problem in modern social network analysis, with important societal applications in politics and advertising. A large body of work has focused on cascading models, viral marketing, and finite-horizon diffusion. There is, however, a need for more developed, mathematically principled \emph{adversarial models}, in which multiple, opposed actors strategically select nodes whose influence will maximally sway the crowd to their point of view.
In the present work, we develop and analyze such a model based on harmonic functions and linear diffusion. We prove that our general problem is NP-hard and that the objective function is monotone and submodular; consequently, we can greedily approximate the solution within a constant factor. Introducing and analyzing a convex relaxation, we show that the problem can be approximately solved using smooth optimization methods. We illustrate the effectiveness of our approach on a variety of example networks.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
Harmonic functions on finitely-connected tori
Authors:
Chiu-Yen Kao,
Braxton Osting,
Édouard Oudet
Abstract:
In this paper, we prove a Logarithmic Conjugation Theorem on finitely-connected tori. The theorem states that a harmonic function can be written as the real part of a function whose derivative is analytic and a finite sum of terms involving the logarithm of the modulus of a modified Weierstrass sigma function. We implement the method using arbitrary precision and use the result to find approximate…
▽ More
In this paper, we prove a Logarithmic Conjugation Theorem on finitely-connected tori. The theorem states that a harmonic function can be written as the real part of a function whose derivative is analytic and a finite sum of terms involving the logarithm of the modulus of a modified Weierstrass sigma function. We implement the method using arbitrary precision and use the result to find approximate solutions to the Laplace problem and Steklov eigenvalue problem. Using a posteriori estimation, we show that the solution of the Laplace problem on a torus with a few circular holes has error less than $10^{-100}$ using a few hundred degrees of freedom and the Steklov eigenvalues have similar error.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Observational Causality Testing
Authors:
Brian Knaeble,
Braxton Osting,
Placede Tshiaba
Abstract:
In prior work we have introduced an asymptotic threshold of sufficient randomness for causal inference from observational data. In this paper we extend that prior work in three main ways. First, we show how to empirically estimate a lower bound for the randomness from measures of concordance transported from studies of monozygotic twins. Second, we generalize our methodology for application on a f…
▽ More
In prior work we have introduced an asymptotic threshold of sufficient randomness for causal inference from observational data. In this paper we extend that prior work in three main ways. First, we show how to empirically estimate a lower bound for the randomness from measures of concordance transported from studies of monozygotic twins. Second, we generalize our methodology for application on a finite population and we introduce methods to implement finite population corrections. Third, we generalize our methodology in another direction by incorporating measured covariate data into the analysis. The first extension represents a proof of concept that observational causality testing is possible. The second and third extensions help to make observational causality testing more practical. As a theoretical and indirect consequence of the third extension we formulate and introduce a novel criterion for covariate selection. We demonstrate our proposed methodology for observational causality testing with numerous example applications.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Escape times for subgraph detection and graph partitioning
Authors:
Zachary M. Boyd,
Nicolas Fraiman,
Jeremy L. Marzuola,
Peter J. Mucha,
Braxton Osting
Abstract:
We provide a rearrangement based algorithm for fast detection of subgraphs of $k$ vertices with long escape times for directed or undirected networks. Complementing other notions of densest subgraphs and graph cuts, our method is based on the mean hitting time required for a random walker to leave a designated set and hit the complement. We provide a new relaxation of this notion of hitting time o…
▽ More
We provide a rearrangement based algorithm for fast detection of subgraphs of $k$ vertices with long escape times for directed or undirected networks. Complementing other notions of densest subgraphs and graph cuts, our method is based on the mean hitting time required for a random walker to leave a designated set and hit the complement. We provide a new relaxation of this notion of hitting time on a given subgraph and use that relaxation to construct a fast subgraph detection algorithm and a generalization to $K$-partitioning schemes. Using a modification of the subgraph detector on each component, we propose a graph partitioner that identifies regions where random walks live for comparably large times. Importantly, our method implicitly respects the directed nature of the data for directed graphs while also being applicable to undirected graphs. We apply the partitioning method for community detection to a large class of model and real-world data sets.
△ Less
Submitted 24 December, 2022;
originally announced December 2022.
-
Wasserstein Archetypal Analysis
Authors:
Katy Craig,
Braxton Osting,
Dong Wang,
Yiming Xu
Abstract:
Archetypal analysis is an unsupervised machine learning method that summarizes data using a convex polytope. In its original formulation, for fixed k, the method finds a convex polytope with k vertices, called archetype points, such that the polytope is contained in the convex hull of the data and the mean squared Euclidean distance between the data and the polytope is minimal.
In the present wo…
▽ More
Archetypal analysis is an unsupervised machine learning method that summarizes data using a convex polytope. In its original formulation, for fixed k, the method finds a convex polytope with k vertices, called archetype points, such that the polytope is contained in the convex hull of the data and the mean squared Euclidean distance between the data and the polytope is minimal.
In the present work, we consider an alternative formulation of archetypal analysis based on the Wasserstein metric, which we call Wasserstein archetypal analysis (WAA). In one dimension, there exists a unique solution of WAA and, in two dimensions, we prove existence of a solution, as long as the data distribution is absolutely continuous with respect to Lebesgue measure. We discuss obstacles to extending our result to higher dimensions and general data distributions. We then introduce an appropriate regularization of the problem, via a Renyi entropy, which allows us to obtain existence of solutions of the regularized problem for general data distributions, in arbitrary dimensions. We prove a consistency result for the regularized problem, ensuring that if the data are iid samples from a probability measure, then as the number of samples is increased, a subsequence of the archetype points converges to the archetype points for the limiting data distribution, almost surely. Finally, we develop and implement a gradient-based computational approach for the two-dimensional problem, based on the semi-discrete formulation of the Wasserstein metric. Our analysis is supported by detailed computational experiments.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Extremal graph realizations and graph Laplacian eigenvalues
Authors:
Braxton Osting
Abstract:
For a regular polyhedron (or polygon) centered at the origin, the coordinates of the vertices are eigenvectors of the graph Laplacian for the skeleton of that polyhedron (or polygon) associated with the first (non-trivial) eigenvalue. In this paper, we generalize this relationship. For a given graph, we study the eigenvalue optimization problem of maximizing the first (non-trivial) eigenvalue of t…
▽ More
For a regular polyhedron (or polygon) centered at the origin, the coordinates of the vertices are eigenvectors of the graph Laplacian for the skeleton of that polyhedron (or polygon) associated with the first (non-trivial) eigenvalue. In this paper, we generalize this relationship. For a given graph, we study the eigenvalue optimization problem of maximizing the first (non-trivial) eigenvalue of the graph Laplacian over non-negative edge weights. We show that the spectral realization of the graph using the eigenvectors corresponding to the solution of this problem, under certain assumptions, is a centered, unit-distance graph realization that has maximal total variance. This result gives a new method for generating unit-distance graph realizations and is based on convex duality. A drawback of this method is that the dimension of the realization is given by the multiplicity of the extremal eigenvalue, which is typically unknown prior to solving the eigenvalue optimization problem. Our results are illustrated with a number of examples.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
A dynamical systems based framework for dimension reduction
Authors:
Ryeongkyung Yoon,
Braxton Osting
Abstract:
We propose a novel framework for learning a low-dimensional representation of data based on nonlinear dynamical systems, which we call dynamical dimension reduction (DDR). In the DDR model, each point is evolved via a nonlinear flow towards a lower-dimensional subspace; the projection onto the subspace gives the low-dimensional embedding. Training the model involves identifying the nonlinear flow…
▽ More
We propose a novel framework for learning a low-dimensional representation of data based on nonlinear dynamical systems, which we call dynamical dimension reduction (DDR). In the DDR model, each point is evolved via a nonlinear flow towards a lower-dimensional subspace; the projection onto the subspace gives the low-dimensional embedding. Training the model involves identifying the nonlinear flow and the subspace. Following the equation discovery method, we represent the vector field that defines the flow using a linear combination of dictionary elements, where each element is a pre-specified linear/nonlinear candidate function. A regularization term for the average total kinetic energy is also introduced and motivated by optimal transport theory. We prove that the resulting optimization problem is well-posed and establish several properties of the DDR method. We also show how the DDR method can be trained using a gradient-based optimization method, where the gradients are computed using the adjoint method from optimal control theory. The DDR method is implemented and compared on synthetic and example datasets to other dimension reductions methods, including PCA, t-SNE, and Umap.
△ Less
Submitted 18 April, 2022;
originally announced April 2022.
-
Flat tori with large Laplacian eigenvalues in dimensions up to eight
Authors:
Chiu-Yen Kao,
Braxton Osting,
Jackson C. Turner
Abstract:
We consider the optimization problem of maximizing the $k$-th Laplacian eigenvalue, $λ_{k}$, over flat $d$-dimensional tori of fixed volume. For $k=1$, this problem is equivalent to the densest lattice sphere packing problem. For larger $k$, this is equivalent to the NP-hard problem of finding the $d$-dimensional (dual) lattice with longest $k$-th shortest lattice vector. As a result of extensive…
▽ More
We consider the optimization problem of maximizing the $k$-th Laplacian eigenvalue, $λ_{k}$, over flat $d$-dimensional tori of fixed volume. For $k=1$, this problem is equivalent to the densest lattice sphere packing problem. For larger $k$, this is equivalent to the NP-hard problem of finding the $d$-dimensional (dual) lattice with longest $k$-th shortest lattice vector. As a result of extensive computations, for $d \leq 8$, we obtain a sequence of flat tori, $T_{k,d}$, each of volume one, such that the $k$-th Laplacian eigenvalue of $T_{k,d}$ is very large; for each (finite) $k$ the $k$-th eigenvalue exceeds the value in (the $k\to \infty$ asymptotic) Weyl's law by a factor between 1.54 and 2.01, depending on the dimension. Stationarity conditions are derived and numerically verified for $T_{k,d}$ and we describe the degeneration of the tori as $k \to \infty$.
△ Less
Submitted 16 February, 2022;
originally announced February 2022.
-
High Spots for the Ice-Fishing Problem with Surface Tension
Authors:
Nathan Willis,
Chee Han Tan,
Christel Hohenegger,
Braxton Osting
Abstract:
In the ice-fishing problem, a half-space of fluid lies below an infinite rigid plate (``the ice'') with a hole. In this paper, we investigate the ice-fishing problem including the effects of surface tension on the free surface. The dimensionless number that describes the effect of surface tension is called the Bond number. For holes that are infinite parallel strips or circular holes, we transform…
▽ More
In the ice-fishing problem, a half-space of fluid lies below an infinite rigid plate (``the ice'') with a hole. In this paper, we investigate the ice-fishing problem including the effects of surface tension on the free surface. The dimensionless number that describes the effect of surface tension is called the Bond number. For holes that are infinite parallel strips or circular holes, we transform the problem to an equivalent eigenvalue integro-differential equation on an interval and expand in the appropriate basis (Legendre and radial polynomials, respectively). We use computational methods to demonstrate that the high spot, i.e., the maximal elevation of the fundamental sloshing profile, for the IFP is in the interior of the free surface for large Bond numbers, but for sufficiently small Bond number the high spot is on the boundary of the free surface. While several papers have proven high spot results in the absence of surface tension as it depends on the shape of the container, as far as we are aware, this is the first study investigating the effects of surface tension on the location of the high spot.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
An Isoperimetric Sloshing Problem in a Shallow Container with Surface Tension
Authors:
Chee Han Tan,
Christel Hohenegger,
Braxton Osting
Abstract:
In 1965, B. A. Troesch solved the isoperimetric sloshing problem of determining the container shape that maximizes the fundamental sloshing frequency among two classes of shallow containers: symmetric canals with a given free surface width and cross-sectional area, and radially symmetric containers with a given rim radius and volume [doi:10.1002/cpa.3160180124]. Here, we extend these results in tw…
▽ More
In 1965, B. A. Troesch solved the isoperimetric sloshing problem of determining the container shape that maximizes the fundamental sloshing frequency among two classes of shallow containers: symmetric canals with a given free surface width and cross-sectional area, and radially symmetric containers with a given rim radius and volume [doi:10.1002/cpa.3160180124]. Here, we extend these results in two ways: (i) we consider surface tension effects on the fluid free surface, assuming a flat equilibrium free surface together with a pinned contact line, and (ii) we consider sinusoidal waves traveling along the canal with wavenumber $α\ge 0$ and spatial period $2π/α$; two-dimensional sloshing corresponds to the case $α= 0$. Generalizing our recent variational characterization of fluid sloshing with surface tension to the case of a pinned contact line, we derive the pinned-edge linear shallow sloshing problem, which is an eigenvalue problem for a generalized Sturm-Liouville system. In the case without surface tension, we show that the optimal shallow canal is a rectangular canal for any $α> 0$. In the presence of surface tension, we solve for the maximizing cross-section explicitly for shallow canals with any given $α\ge 0$ and shallow radially symmetric containers with $m$ azimuthal nodal lines, $m = 0, 1$. Our results reveal that the squared maximal sloshing frequency increases considerably as surface tension increases. Interestingly, both the optimal shallow canal for $α= 0$ and the optimal shallow radially symmetric container are not convex. As a consequence of our explicit solutions, we establish convergence of the maximizing cross-sections, as surface tension vanishes, to the maximizing cross-sections without surface tension.
△ Less
Submitted 20 July, 2022; v1 submitted 5 November, 2021;
originally announced November 2021.
-
Probabilistic methods for approximate archetypal analysis
Authors:
Ruijian Han,
Braxton Osting,
Dong Wang,
Yiming Xu
Abstract:
Archetypal analysis is an unsupervised learning method for exploratory data analysis. One major challenge that limits the applicability of archetypal analysis in practice is the inherent computational complexity of the existing algorithms. In this paper, we provide a novel approximation approach to partially address this issue. Utilizing probabilistic ideas from high-dimensional geometry, we intro…
▽ More
Archetypal analysis is an unsupervised learning method for exploratory data analysis. One major challenge that limits the applicability of archetypal analysis in practice is the inherent computational complexity of the existing algorithms. In this paper, we provide a novel approximation approach to partially address this issue. Utilizing probabilistic ideas from high-dimensional geometry, we introduce two preprocessing techniques to reduce the dimension and representation cardinality of the data, respectively. We prove that provided the data is approximately embedded in a low-dimensional linear subspace and the convex hull of the corresponding representations is well approximated by a polytope with a few vertices, our method can effectively reduce the scaling of archetypal analysis. Moreover, the solution of the reduced problem is near-optimal in terms of prediction errors. Our approach can be combined with other acceleration techniques to further mitigate the intrinsic complexity of archetypal analysis. We demonstrate the usefulness of our results by applying our method to summarize several moderately large-scale datasets.
△ Less
Submitted 12 May, 2022; v1 submitted 12 August, 2021;
originally announced August 2021.
-
Steklov Eigenvalues of Nearly Spherical Domains
Authors:
Robert Viator,
Braxton Osting
Abstract:
We consider Steklov eigenvalues of three-dimensional, nearly-spherical domains. In previous work, we have shown that the Steklov eigenvalues are analytic functions of the domain perturbation parameter. Here, we compute the first-order term of the asymptotic expansion, which can explicitly be written in terms of the Wigner 3-jsymbols. We analyze the asymptotic expansion and prove the isoperimetric…
▽ More
We consider Steklov eigenvalues of three-dimensional, nearly-spherical domains. In previous work, we have shown that the Steklov eigenvalues are analytic functions of the domain perturbation parameter. Here, we compute the first-order term of the asymptotic expansion, which can explicitly be written in terms of the Wigner 3-jsymbols. We analyze the asymptotic expansion and prove the isoperimetric result that, if l is a square integer, the volume-normalized l-th Steklov eigenvalue is stationary for a ball.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Quantifying Sufficient Randomness for Causal Inference
Authors:
Brian Knaeble,
Braxton Osting,
Placede Tshiaba
Abstract:
Spurious association arises from covariance between propensity for the treatment and individual risk for the outcome. For sensitivity analysis with stochastic counterfactuals we introduce a methodology to characterize uncertainty in causal inference from natural experiments and quasi-experiments. Our sensitivity parameters are standardized measures of variation in propensity and individual risk, a…
▽ More
Spurious association arises from covariance between propensity for the treatment and individual risk for the outcome. For sensitivity analysis with stochastic counterfactuals we introduce a methodology to characterize uncertainty in causal inference from natural experiments and quasi-experiments. Our sensitivity parameters are standardized measures of variation in propensity and individual risk, and one minus their geometric mean is an intuitive measure of randomness in the data generating process. Within our latent propensity-risk model, we show how to compute from contingency table data a threshold, $T$, of sufficient randomness for causal inference. If the actual randomness of the data generating process exceeds this threshold then causal inference is warranted.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
A non-autonomous equation discovery method for time signal classification
Authors:
Ryeongkyung Yoon,
Harish S. Bhat,
Braxton Osting
Abstract:
Certain neural network architectures, in the infinite-layer limit, lead to systems of nonlinear differential equations. Motivated by this idea, we develop a framework for analyzing time signals based on non-autonomous dynamical equations. We view the time signal as a forcing function for a dynamical system that governs a time-evolving hidden variable. As in equation discovery, the dynamical system…
▽ More
Certain neural network architectures, in the infinite-layer limit, lead to systems of nonlinear differential equations. Motivated by this idea, we develop a framework for analyzing time signals based on non-autonomous dynamical equations. We view the time signal as a forcing function for a dynamical system that governs a time-evolving hidden variable. As in equation discovery, the dynamical system is represented using a dictionary of functions and the coefficients are learned from data. This framework is applied to the time signal classification problem. We show how gradients can be efficiently computed using the adjoint method, and we apply methods from dynamical systems to establish stability of the classifier. Through a variety of experiments, on both synthetic and real datasets, we show that the proposed method uses orders of magnitude fewer parameters than competing methods, while achieving comparable accuracy. We created the synthetic datasets using dynamical systems of increasing complexity; though the ground truth vector fields are often polynomials, we find consistently that a Fourier dictionary yields the best results. We also demonstrate how the proposed method yields graphical interpretability in the form of phase portraits.
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
Consistency of archetypal analysis
Authors:
Braxton Osting,
Dong Wang,
Yiming Xu,
Dominique Zosso
Abstract:
Archetypal analysis is an unsupervised learning method that uses a convex polytope to summarize multivariate data. For fixed $k$, the method finds a convex polytope with $k$ vertices, called archetype points, such that the polytope is contained in the convex hull of the data and the mean squared distance between the data and the polytope is minimal. In this paper, we prove a consistency result tha…
▽ More
Archetypal analysis is an unsupervised learning method that uses a convex polytope to summarize multivariate data. For fixed $k$, the method finds a convex polytope with $k$ vertices, called archetype points, such that the polytope is contained in the convex hull of the data and the mean squared distance between the data and the polytope is minimal. In this paper, we prove a consistency result that shows if the data is independently sampled from a probability measure with bounded support, then the archetype points converge to a solution of the continuum version of the problem, of which we identify and establish several properties. We also obtain the convergence rate of the optimal objective values under appropriate assumptions on the distribution. If the data is independently sampled from a distribution with unbounded support, we also prove a consistency result for a modified method that penalizes the dispersion of the archetype points. Our analysis is supported by detailed computational experiments of the archetype points for data sampled from the uniform distribution in a disk, the normal distribution, an annular distribution, and a Gaussian mixture model.
△ Less
Submitted 19 October, 2020; v1 submitted 16 October, 2020;
originally announced October 2020.
-
Computation of free boundary minimal surfaces via extremal Steklov eigenvalue problems
Authors:
Chiu-Yen Kao,
Braxton Osting,
Èdouard Oudet
Abstract:
Recently Fraser and Schoen showed that the solution of a certain extremal Steklov eigenvalue problem on a compact surface with boundary can be used to generate a free boundary minimal surface, i.e., a surface contained in the ball that has (i) zero mean curvature and (ii) meets the boundary of the ball orthogonally (doi:10.1007/s00222-015-0604-x). In this paper, we develop numerical methods that u…
▽ More
Recently Fraser and Schoen showed that the solution of a certain extremal Steklov eigenvalue problem on a compact surface with boundary can be used to generate a free boundary minimal surface, i.e., a surface contained in the ball that has (i) zero mean curvature and (ii) meets the boundary of the ball orthogonally (doi:10.1007/s00222-015-0604-x). In this paper, we develop numerical methods that use this connection to realize free boundary minimal surfaces. Namely, on a compact surface, $Σ$, with genus $γ$ and $b$ boundary components, we maximize $σ_j(Σ,g) \ L(\partial Σ, g)$ over a class of smooth metrics, $g$, where $σ_j(Σ,g)$ is the $j$-th nonzero Steklov eigenvalue and $L(\partial Σ, g)$ is the length of $\partial Σ$. Our numerical method involves (i) using conformal uniformization of multiply connected domains to avoid explicit parameterization for the class of metrics, (ii) accurately solving a boundary-weighted Steklov eigenvalue problem in multi-connected domains, and (iii) develo** gradient-based optimization methods for this non-smooth eigenvalue optimization problem. For genus $γ=0$ and $b=2,\dots, 9, 12, 15, 20$ boundary components, we numerically solve the extremal Steklov problem for the first eigenvalue. The corresponding eigenfunctions generate a free boundary minimal surface, which we display in striking images. For higher eigenvalues, numerical evidence suggests that the maximizers are degenerate, but we compute local maximizers for the second and third eigenvalues with $b=2$ boundary components and for the third and fifth eigenvalues with $b=3$ boundary components.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
A metric on directed graphs and Markov chains based on hitting probabilities
Authors:
Zachary M. Boyd,
Nicolas Fraiman,
Jeremy L. Marzuola,
Peter J. Mucha,
Braxton Osting,
Jonathan Weare
Abstract:
The shortest-path, commute time, and diffusion distances on undirected graphs have been widely employed in applications such as dimensionality reduction, link prediction, and trip planning. Increasingly, there is interest in using asymmetric structure of data derived from Markov chains and directed graphs, but few metrics are specifically adapted to this task. We introduce a metric on the state sp…
▽ More
The shortest-path, commute time, and diffusion distances on undirected graphs have been widely employed in applications such as dimensionality reduction, link prediction, and trip planning. Increasingly, there is interest in using asymmetric structure of data derived from Markov chains and directed graphs, but few metrics are specifically adapted to this task. We introduce a metric on the state space of any ergodic, finite-state, time-homogeneous Markov chain and, in particular, on any Markov chain derived from a directed graph. Our construction is based on hitting probabilities, with nearness in the metric space related to the transfer of random walkers from one node to another at stationarity. Notably, our metric is insensitive to shortest and average walk distances, thus giving new information compared to existing metrics. We use possible degeneracies in the metric to develop an interesting structural theory of directed graphs and explore a related quotienting procedure. Our metric can be computed in $O(n^3)$ time, where $n$ is the number of states, and in examples we scale up to $n=10,000$ nodes and $\approx 38M$ edges on a desktop computer. In several examples, we explore the nature of the metric, compare it to alternative methods, and demonstrate its utility for weak recovery of community structure in dense graphs, visualization, structure recovering, dynamics exploration, and multiscale cluster detection.
△ Less
Submitted 18 January, 2021; v1 submitted 25 June, 2020;
originally announced June 2020.
-
A continuum limit for the PageRank algorithm
Authors:
Amber Yuan,
Jeff Calder,
Braxton Osting
Abstract:
Semi-supervised and unsupervised machine learning methods often rely on graphs to model data, prompting research on how theoretical properties of operators on graphs are leveraged in learning problems. While most of the existing literature focuses on undirected graphs, directed graphs are very important in practice, giving models for physical, biological, or transportation networks, among many oth…
▽ More
Semi-supervised and unsupervised machine learning methods often rely on graphs to model data, prompting research on how theoretical properties of operators on graphs are leveraged in learning problems. While most of the existing literature focuses on undirected graphs, directed graphs are very important in practice, giving models for physical, biological, or transportation networks, among many other applications. In this paper, we propose a new framework for rigorously studying continuum limits of learning algorithms on directed graphs. We use the new framework to study the PageRank algorithm, and show how it can be interpreted as a numerical scheme on a directed graph involving a type of normalized graph Laplacian. We show that the corresponding continuum limit problem, which is taken as the number of webpages grows to infinity, is a second-order, possibly degenerate, elliptic equation that contains reaction, diffusion, and advection terms. We prove that the numerical scheme is consistent and stable and compute explicit rates of convergence of the discrete solution to the solution of the continuum limit PDE. We give applications to proving stability and asymptotic regularity of the PageRank vector. Finally, we illustrate our results with numerical experiments and explore an application to data depth.
△ Less
Submitted 10 January, 2021; v1 submitted 24 January, 2020;
originally announced January 2020.
-
Regression Analysis of Unmeasured Confounding
Authors:
Brian Knaeble,
Braxton Osting,
Mark Abramson
Abstract:
When studying the causal effect of $x$ on $y$, researchers may conduct regression and report a confidence interval for the slope coefficient $β_{x}$. This common confidence interval provides an assessment of uncertainty from sampling error, but it does not assess uncertainty from confounding. An intervention on $x$ may produce a response in $y$ that is unexpected, and our misinterpretation of the…
▽ More
When studying the causal effect of $x$ on $y$, researchers may conduct regression and report a confidence interval for the slope coefficient $β_{x}$. This common confidence interval provides an assessment of uncertainty from sampling error, but it does not assess uncertainty from confounding. An intervention on $x$ may produce a response in $y$ that is unexpected, and our misinterpretation of the slope happens when there are confounding factors $w$. When $w$ are measured we may conduct multiple regression, but when $w$ are unmeasured it is common practice to include a precautionary statement when reporting the confidence interval, warning against unwarranted causal interpretation. If the goal is robust causal interpretation then we can do something more informative. Uncertainty in the specification of three confounding parameters can be propagated through an equation to produce a confounding interval. Here we develop supporting mathematical theory and describe an example application. Our proposed methodology applies well to studies of a continuous response or rare outcome. It is a general method for quantifying error from model uncertainty. Whereas confidence intervals are used to assess uncertainty from unmeasured individuals, confounding intervals can be used to assess uncertainty from unmeasured attributes.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Interface dynamics for an Allen-Cahn-type equation governing a matrix-valued field
Authors:
Dong Wang,
Braxton Osting,
Xiao-** Wang
Abstract:
We consider the initial value problem for the generalized Allen-Cahn equation, \[\partial_t Φ= ΔΦ-\varepsilon^{-2} Φ(Φ^t Φ- I), \qquad x \in Ω, \ t\geq 0,\] where $Φ$ is an $n\times n$ real matrix-valued field, $Ω$ is a two-dimensional square with periodic boundary conditions, and $\varepsilon > 0$. This equation is the gradient flow for the energy,…
▽ More
We consider the initial value problem for the generalized Allen-Cahn equation, \[\partial_t Φ= ΔΦ-\varepsilon^{-2} Φ(Φ^t Φ- I), \qquad x \in Ω, \ t\geq 0,\] where $Φ$ is an $n\times n$ real matrix-valued field, $Ω$ is a two-dimensional square with periodic boundary conditions, and $\varepsilon > 0$. This equation is the gradient flow for the energy, $E(Φ) := \int \frac{1}{2} \|\nabla Φ\|^2_F+\frac{1}{4 \varepsilon^2} \| Φ^t Φ- I \|^2_F$, where $\| \cdot \|_F$ denotes the Frobenius norm. The primary contribution of this paper is to use asymptotic methods to describe the solution of this initial value problem. If the initial condition has single-signed determinant, at each point of the domain, at a fast $O(\varepsilon^{-2} t)$ time scale, the solution evolves towards the closest orthogonal matrix. Then, at the $O(t)$ time scale, the solution evolves according to the $O_n$ diffusion equation. Stationary solutions to the $O_n$ diffusion equation are analyzed for $n=2$. If the initial condition has regions where the determinant is positive and negative, a free interface develops. Away from the interface, in each region, the matrix-valued field behaves as in the single-signed determinant case. At the $O(t)$ time scale, the interface evolves in the normal direction by curvature. At a slow $O(\varepsilon t)$ time scale, the interface is driven by curvature and the surface diffusion of the matrix-valued field. For $n=2$, the interface is driven by curvature and the jump in the squared tangental derivative of the phase across the interface. In particular, we emphasize that the interface when $n\geq 2$ is driven by surface diffusion, while for $n=1$, the original Allen--Cahn equation, the interface is only driven by mean curvature. A variety of numerical experiments are performed to verify, support, and illustrate our analytical results.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
Analyticity of Steklov eigenvalues of nearly-circular and nearly-spherical domains
Authors:
Robert Viator,
Braxton Osting
Abstract:
We consider the Dirichlet-to-Neumann operator (DNO) on nearly-circular and nearly-spherical domains in two and three dimensions, respectively. Treating such domains as perturbations of the ball, we prove the analyticity of the DNO with respect to the domain perturbation parameter. Consequently, the Steklov eigenvalues are also shown to be analytic in the domain perturbation parameter. To obtain th…
▽ More
We consider the Dirichlet-to-Neumann operator (DNO) on nearly-circular and nearly-spherical domains in two and three dimensions, respectively. Treating such domains as perturbations of the ball, we prove the analyticity of the DNO with respect to the domain perturbation parameter. Consequently, the Steklov eigenvalues are also shown to be analytic in the domain perturbation parameter. To obtain these results, we use the strategy of Nicholls and Nigam (2004); we transform the equation on the perturbed domain to a ball and geometrically bound the Neumann expansion of the transformed Dirichlet-to-Neumann operator.
△ Less
Submitted 12 June, 2019;
originally announced June 2019.
-
Coarse Quad Layouts Through Robust Simplification of Cross Field Separatrix Partitions
Authors:
Ryan Viertel,
Braxton Osting,
Matthew Staten
Abstract:
Streamline-based quad meshing algorithms use smooth cross fields to partition surfaces into quadrilateral regions by tracing cross field separatrices. In practice, re-entrant corners and misalignment of singularities lead to small regions and limit cycles, negating some of the benefits a quad layout can provide in quad meshing. We introduce three novel methods to improve on a pipeline for coarse q…
▽ More
Streamline-based quad meshing algorithms use smooth cross fields to partition surfaces into quadrilateral regions by tracing cross field separatrices. In practice, re-entrant corners and misalignment of singularities lead to small regions and limit cycles, negating some of the benefits a quad layout can provide in quad meshing. We introduce three novel methods to improve on a pipeline for coarse quad partitioning. First, we formulate an efficient method to compute high-quality cross fields on curved surfaces by extending the diffusion generated method from Viertel and Osting (SISC, 2019). Next, we introduce a method for accurately computing the trajectory of streamlines through singular triangles that prevents tangential crossings. Finally, we introduce a robust method to produce coarse quad layouts by simplifying the partitions obtained via naive separatrix tracing. Our methods are tested on a database of 100 objects and the results are analyzed. The algorithm performs well both in terms of efficiency and visual results on the database when compared to state-of-the-art methods.
△ Less
Submitted 2 August, 2019; v1 submitted 22 May, 2019;
originally announced May 2019.
-
Bulk soliton dynamics in bosonic topological insulators
Authors:
Jeremy L. Marzuola,
Mikael Rechtsman,
Braxton Osting,
Miguel Bandres
Abstract:
We theoretically explore the dynamics of spatial solitons in nonlinear/interacting bosonic topological insulators. We employ a time-reversal broken Lieb-lattice analog of a Chern insulator and find that in the presence of a saturable nonlinearity, solitons bifurcate from a band of non-zero Chern number into the topological band gap with vortex-like structure on a sublattice. We numerically demonst…
▽ More
We theoretically explore the dynamics of spatial solitons in nonlinear/interacting bosonic topological insulators. We employ a time-reversal broken Lieb-lattice analog of a Chern insulator and find that in the presence of a saturable nonlinearity, solitons bifurcate from a band of non-zero Chern number into the topological band gap with vortex-like structure on a sublattice. We numerically demonstrate the existence stable vortex solitons for a range of parameters and that the lattice soliton dynamics are subject to the anomalous velocity associated with large Berry curvature at the topological Lieb band edge. The features of the vortex solitons are well described by a new underlying continuum Dirac model. We further show a new kind of interaction: when these topological solitons `bounce' off the edge of a finite structure, they create chiral edge states, and this give rise to an "anomalous" reflection of the soliton from the boundary.
△ Less
Submitted 21 April, 2019;
originally announced April 2019.
-
Dynamics and stationary configurations of heterogeneous foams
Authors:
Dong Wang,
Andrej Cherkaev,
Braxton Osting
Abstract:
We consider the variational foam model, where the goal is to minimize the total surface area of a collection of bubbles subject to the constraint that the volume of each bubble is prescribed. We apply sharp interface methods to develop an efficient computational method for this problem. In addition to simulating time dynamics, we also report on stationary states of this flow for <22 bubbles in two…
▽ More
We consider the variational foam model, where the goal is to minimize the total surface area of a collection of bubbles subject to the constraint that the volume of each bubble is prescribed. We apply sharp interface methods to develop an efficient computational method for this problem. In addition to simulating time dynamics, we also report on stationary states of this flow for <22 bubbles in two dimensions and <18 bubbles in three dimensions. For small numbers of bubbles, we recover known analytical results, which we briefly discuss. In two dimensions, we also recover the previous numerical results of Cox et. al. (2003), computed using other methods. Particular attention is given to locally optimal foam configurations and heterogeneous foams, where the volumes of the bubbles are not equal. Configurational transitions are reported for the quasi-stationary flow where the volume of one of the bubbles is varied and, for each volume, the stationary state is computed. The results from these numerical experiments are described and accompanied by many figures and videos.
△ Less
Submitted 8 November, 2018;
originally announced November 2018.
-
A maximal energy pointset configuration problem
Authors:
Braxton Osting,
Brian Simanek
Abstract:
We consider the extremal pointset configuration problem of maximizing a kernel-based energy subject to the geometric constraints that the points are contained in a fixed set, the pairwise distances are bounded below, and that every closed ball of fixed radius contains at least one point. We also formulate an extremal density problem, whose solution provides an upper bound for the pointset configur…
▽ More
We consider the extremal pointset configuration problem of maximizing a kernel-based energy subject to the geometric constraints that the points are contained in a fixed set, the pairwise distances are bounded below, and that every closed ball of fixed radius contains at least one point. We also formulate an extremal density problem, whose solution provides an upper bound for the pointset configuration problem in the limit as the number of points tends to infinity. Existence of solutions to both problems is established and the relationship between the parameters in the two problems is studied. Several examples are studied in detail, including the density problem for the $d$-dimensional ball and sphere, where the solution can be computed exactly using rearrangement inequalities. We develop a computational method for the density problem that is very similar to the Merriman-Bence-Osher (MBO) diffusion-generated method. The method is proven to be increasing for all non-stationary iterations and is applied to study more examples.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
Diffusion generated methods for denoising target-valued images
Authors:
Braxton Osting,
Dong Wang
Abstract:
We consider the inverse problem of denoising an image where each point (pixel) is an element of a target set, which we refer to as a target-valued image. The target sets considered are either (i) a closed convex set of Euclidean space or (ii) a closed subset of the sphere such that the closest point map** is defined almost everywhere. The energy for the denoising problem consists of an $L^2$-fid…
▽ More
We consider the inverse problem of denoising an image where each point (pixel) is an element of a target set, which we refer to as a target-valued image. The target sets considered are either (i) a closed convex set of Euclidean space or (ii) a closed subset of the sphere such that the closest point map** is defined almost everywhere. The energy for the denoising problem consists of an $L^2$-fidelity term which is regularized by the Dirichlet energy. A relaxation of this energy, based on the heat kernel, is introduced and the associated minimization problem is proven to be well-posed. We introduce a diffusion generated method which can be used to efficiently find minimizers of this energy. We prove results for the stability and convergence of the method for both types of target sets. The method is demonstrated on a variety of synthetic and test problems, with associated target sets given by the semi-positive definite matrices, the cube, spheres, the orthogonal matrices, and the real projective line.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Extremal Spectral Gaps for Periodic Schrödinger Operators
Authors:
Chiu-Yen Kao,
Braxton Osting
Abstract:
The spectrum of a Schrödinger operator with periodic potential generally consists of bands and gaps. In this paper, for fixed m, we consider the problem of maximizing the gap-to-midgap ratio for the m-th spectral gap over the class of potentials which have fixed periodicity and are pointwise bounded above and below. We prove that the potential maximizing the m-th gap-to-midgap ratio exists. In one…
▽ More
The spectrum of a Schrödinger operator with periodic potential generally consists of bands and gaps. In this paper, for fixed m, we consider the problem of maximizing the gap-to-midgap ratio for the m-th spectral gap over the class of potentials which have fixed periodicity and are pointwise bounded above and below. We prove that the potential maximizing the m-th gap-to-midgap ratio exists. In one dimension, we prove that the optimal potential attains the pointwise bounds almost everywhere in the domain and is a step-function attaining the imposed minimum and maximum values on exactly m intervals. Optimal potentials are computed numerically using a rearrangement algorithm and are observed to be periodic. In two dimensions, we develop an efficient rearrangement method for this problem based on a semi-definite formulation and apply it to study properties of extremal potentials. We show that, provided a geometric assumption about the maximizer holds, a lattice of disks maximizes the first gap-to-midgap ratio in the infinite contrast limit. Using an explicit parametrization of two-dimensional Bravais lattices, we also consider how the optimal value varies over all equal-volume lattices.
△ Less
Submitted 10 May, 2018;
originally announced May 2018.
-
Spectral band degeneracies of $\fracπ{2}-$rotationally invariant periodic Schrödinger operators
Authors:
Rachael T. Keller,
Jeremy L. Marzuola,
Braxton Osting,
Michael I. Weinstein
Abstract:
The dynamics of waves in periodic media is determined by the band structure of the underlying periodic Hamiltonian. Symmetries of the Hamiltonian can give rise to novel properties of the band structure. Here we consider a class of periodic Schrödinger operators, $H_V=-Δ+V$, where $V$ is periodic with respect to the lattice of translates $Λ=\mathbb{Z}^2$. The potential is also assumed to be real-va…
▽ More
The dynamics of waves in periodic media is determined by the band structure of the underlying periodic Hamiltonian. Symmetries of the Hamiltonian can give rise to novel properties of the band structure. Here we consider a class of periodic Schrödinger operators, $H_V=-Δ+V$, where $V$ is periodic with respect to the lattice of translates $Λ=\mathbb{Z}^2$. The potential is also assumed to be real-valued, sufficiently regular and such that, with respect to some origin of coordinates, inversion symmetric (even) and invariant under $π/2$ rotation. The present results are the $\mathbb{Z}^2-$ analogue of results obtained for conical degenerate points (Dirac points) in honeycomb structures. Our proofs make use of the framework developed by Fefferman-Weinstein and Fefferman-Lee-Thorp-Weinstein.
△ Less
Submitted 12 May, 2020; v1 submitted 19 February, 2018;
originally announced February 2018.
-
A diffusion generated method for computing Dirichlet partitions
Authors:
Dong Wang,
Braxton Osting
Abstract:
A Dirichlet $k$-partition of a closed $d$-dimensional surface is a collection of $k$ pairwise disjoint open subsets such that the sum of their first Laplace-Beltrami-Dirichlet eigenvalues is minimal. In this paper, we develop a simple and efficient diffusion generated method to compute Dirichlet $k$-partitions for $d$-dimensional flat tori and spheres. For the $2d$ flat torus, for most values of…
▽ More
A Dirichlet $k$-partition of a closed $d$-dimensional surface is a collection of $k$ pairwise disjoint open subsets such that the sum of their first Laplace-Beltrami-Dirichlet eigenvalues is minimal. In this paper, we develop a simple and efficient diffusion generated method to compute Dirichlet $k$-partitions for $d$-dimensional flat tori and spheres. For the $2d$ flat torus, for most values of $k=3$-9,11,12,15,16, and 20, we obtain hexagonal honeycombs. For the $3d$ flat torus and $k=2,4,8,16$, we obtain the rhombic dodecahedral honeycomb, the Weaire-Phelan honeycomb, and Kelvin's tessellation by truncated octahedra. For the $4d$ flat torus, for $k=4$, we obtain a constant extension of the rhombic dodecahedral honeycomb along the fourth direction and for $k=8$, we obtain a 24-cell honeycomb. For the $2d$ sphere, we also compute Dirichlet partitions for $k=3$-7,9,10,12,14,20. Our computational results agree with previous studies when a comparison is available. As far as we are aware, these are the first published results for Dirichlet partitions of the $4d$ flat torus.
△ Less
Submitted 7 February, 2018;
originally announced February 2018.
-
A generalized MBO diffusion generated motion for orthogonal matrix-valued fields
Authors:
Braxton Osting,
Dong Wang
Abstract:
We consider the problem of finding stationary points of the Dirichlet energy for orthogonal matrix-valued fields. Following the Ginzburg-Landau approach, this energy is relaxed by penalizing the matrix-valued field when it does not take orthogonal matrix values. A generalization of the MBO diffusion generated motion is introduced that effectively finds local minimizers of this energy by iterating…
▽ More
We consider the problem of finding stationary points of the Dirichlet energy for orthogonal matrix-valued fields. Following the Ginzburg-Landau approach, this energy is relaxed by penalizing the matrix-valued field when it does not take orthogonal matrix values. A generalization of the MBO diffusion generated motion is introduced that effectively finds local minimizers of this energy by iterating two steps until convergence. In the first step, as in the original method, the current matrix-valued field is evolved by the diffusion equation. In the second step, the field is pointwise reassigned to the closest orthogonal matrix, which can be computed via the singular value decomposition. We extend the Lyapunov function of Esedoglu and Otto to show that the method is non-increasing on iterates and hence, unconditionally stable. We also prove that spatially discretized iterates converge to a stationary solution in a finite number of iterations. The algorithm is implemented using the closest point method and non-uniform fast Fourier transform. We conclude with several numerical experiments on flat tori and closed surfaces, which, unsurprisingly, exhibit classical behavior from the Allen-Cahn and complex Ginzburg Landau equations, but also new phenomena.
△ Less
Submitted 3 November, 2017;
originally announced November 2017.
-
Spectral Sparsification of Simplicial Complexes for Clustering and Label Propagation
Authors:
Braxton Osting,
Sourabh Palande,
Bei Wang
Abstract:
As a generalization of the use of graphs to describe pairwise interactions, simplicial complexes can be used to model higher-order interactions between three or more objects in complex systems. There has been a recent surge in activity for the development of data analysis methods applicable to simplicial complexes, including techniques based on computational topology, higher-order random processes…
▽ More
As a generalization of the use of graphs to describe pairwise interactions, simplicial complexes can be used to model higher-order interactions between three or more objects in complex systems. There has been a recent surge in activity for the development of data analysis methods applicable to simplicial complexes, including techniques based on computational topology, higher-order random processes, generalized Cheeger inequalities, isoperimetric inequalities, and spectral methods. In particular, spectral learning methods (e.g. label propagation and clustering) that directly operate on simplicial complexes represent a new direction for analyzing such complex datasets.
To apply spectral learning methods to massive datasets modeled as simplicial complexes, we develop a method for sparsifying simplicial complexes that preserves the spectrum of the associated Laplacian matrices. We show that the theory of Spielman and Srivastava for the sparsification of graphs extends to simplicial complexes via the up Laplacian. In particular, we introduce a generalized effective resistance for simplices, provide an algorithm for sparsifying simplicial complexes at a fixed dimension, and give a specific version of the generalized Cheeger inequality for weighted simplicial complexes. Finally, we introduce higher-order generalizations of spectral clustering and label propagation for simplicial complexes and demonstrate via experiments the utility of the proposed spectral sparsification method for these applications.
△ Less
Submitted 1 February, 2019; v1 submitted 28 August, 2017;
originally announced August 2017.
-
Consistency of Dirichlet Partitions
Authors:
Braxton Osting,
Todd Harry Reeb
Abstract:
A Dirichlet $k$-partition of a domain $U \subseteq \mathbb{R}^d$ is a collection of $k$ pairwise disjoint open subsets such that the sum of their first Laplace-Dirichlet eigenvalues is minimal. A discrete version of Dirichlet partitions has been posed on graphs with applications in data analysis. Both versions admit variational formulations: solutions are characterized by minimizers of the Dirichl…
▽ More
A Dirichlet $k$-partition of a domain $U \subseteq \mathbb{R}^d$ is a collection of $k$ pairwise disjoint open subsets such that the sum of their first Laplace-Dirichlet eigenvalues is minimal. A discrete version of Dirichlet partitions has been posed on graphs with applications in data analysis. Both versions admit variational formulations: solutions are characterized by minimizers of the Dirichlet energy of map**s from $U$ into a singular space $Σ_k \subseteq \mathbb{R}^k$. In this paper, we extend results of N.\ García Trillos and D.\ Slepčev to show that there exist solutions of the continuum problem arising as limits to solutions of a sequence of discrete problems. Specifically, a sequence of points $\{x_i\}_{i \in \mathbb{N}}$ from $U$ is sampled i.i.d.\ with respect to a given probability measure $ν$ on $U$ and for all $n \in \mathbb{N}$, a geometric graph $G_n$ is constructed from the first $n$ points $x_1, x_2, \ldots, x_n$ and the pairwise distances between the points. With probability one with respect to the choice of points $\{x_i\}_{i \in \mathbb{N}}$, we show that as $n \to \infty$ the discrete Dirichlet energies for functions $G_n \to Σ_k$ $Γ$-converge to (a scalar multiple of) the continuum Dirichlet energy for functions $U \to Σ_k$ with respect to a metric coming from the theory of optimal transport. This, along with a compactness property for the aforementioned energies that we prove, implies the convergence of minimizers. When $ν$ is the uniform distribution, our results also imply the statistical consistency statement that Dirichlet partitions of geometric graphs converge to partitions of the sampled space in the Hausdorff sense.
△ Less
Submitted 17 August, 2017;
originally announced August 2017.
-
An Approach to Quad Meshing Based on Harmonic Cross-Valued Maps and the Ginzburg-Landau Theory
Authors:
Ryan Viertel,
Braxton Osting
Abstract:
A generalization of vector fields, referred to as N-direction fields or cross fields when N = 4, has been recently introduced and studied for geometry processing, with applications in quadrilateral (quad) meshing, texture map**, and parameterization. We make the observation that cross field design for two-dimensional quad meshing is related to the well-known Ginzburg-Landau problem from mathemat…
▽ More
A generalization of vector fields, referred to as N-direction fields or cross fields when N = 4, has been recently introduced and studied for geometry processing, with applications in quadrilateral (quad) meshing, texture map**, and parameterization. We make the observation that cross field design for two-dimensional quad meshing is related to the well-known Ginzburg-Landau problem from mathematical physics. This yields a variety of theoretical tools for efficiently computing boundary-aligned quad meshes, with provable guarantees on the resulting mesh, such as the number of mesh defects and bounds on the defect locations. The procedure for generating the quad mesh is to (i) find a complex-valued "representation" field that minimizes the Ginzburg-Landau energy subject to a boundary constraint, (ii) convert the representation field into a boundary-aligned, smooth cross field, (iii) use separatrices of the cross field to partition the domain into four sided regions, and (iv) mesh each of these four-sided regions using standard techniques. Leveraging the Ginzburg-Landau theory, we prove that this procedure can be used to produce a cross field whose separatrices partition the domain into four sided regions. To minimize the Ginzburg-Landau energy for the representation field, we use an extension of the Merriman-Bence-Osher (MBO) threshold dynamics method, originally conceived as an algorithm to simulate mean curvature flow. Finally, we demonstrate the method on a variety of test domains.
△ Less
Submitted 7 November, 2018; v1 submitted 7 August, 2017;
originally announced August 2017.
-
A Variational Characterization of Fluid Sloshing with Surface Tension
Authors:
Chee Han Tan,
Christel Hohenegger,
Braxton Osting
Abstract:
We consider the sloshing problem for an incompressible, inviscid, irrotational fluid in an open container, including effects due to surface tension on the free surface. We restrict ourselves to a constant contact angle and seek time-harmonic solutions of the linearized problem, which describes the time-evolution of the fluid due to a small initial disturbance of the surface at rest. As opposed to…
▽ More
We consider the sloshing problem for an incompressible, inviscid, irrotational fluid in an open container, including effects due to surface tension on the free surface. We restrict ourselves to a constant contact angle and seek time-harmonic solutions of the linearized problem, which describes the time-evolution of the fluid due to a small initial disturbance of the surface at rest. As opposed to the zero surface tension case, where the problem reduces to a partial differential equation for the velocity potential, we obtain a coupled system for the velocity potential and the free surface displacement. We derive a new variational formulation of the coupled problem and establish the existence of solutions using the direct method from the calculus of variations. We prove a domain monotonicity result for the fundamental sloshing eigenvalue. In the limit of zero surface tension, we recover the variational formulation of the mixed Steklov-Neumann eigenvalue problem and give the first-order perturbation formula for a simple eigenvalue.
△ Less
Submitted 31 May, 2017;
originally announced June 2017.
-
Computational Methods For Extremal Steklov Problems
Authors:
Eldar Akhmetgaliyev,
Chiu-Yen Kao,
Braxton Osting
Abstract:
We develop a computational method for extremal Steklov eigenvalue problems and apply it to study the problem of maximizing the $p$-th Steklov eigenvalue as a function of the domain with a volume constraint. In contrast to the optimal domains for several other extremal Dirichlet- and Neumann-Laplacian eigenvalue problems, computational results suggest that the optimal domains for this problem are v…
▽ More
We develop a computational method for extremal Steklov eigenvalue problems and apply it to study the problem of maximizing the $p$-th Steklov eigenvalue as a function of the domain with a volume constraint. In contrast to the optimal domains for several other extremal Dirichlet- and Neumann-Laplacian eigenvalue problems, computational results suggest that the optimal domains for this problem are very structured. We reach the conjecture that the domain maximizing the $p$-th Steklov eigenvalue is unique (up to dilations and rigid transformations), has p-fold symmetry, and an axis of symmetry. The $p$-th Steklov eigenvalue has multiplicity 2 if $p$ is even and multiplicity 3 if $p\geq3$ is odd.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
-
Spectrally Optimized Pointset Configurations
Authors:
Braxton Osting,
Jeremy L. Marzuola
Abstract:
The search for optimal configurations of pointsets, the most notable examples being the problems of Kepler and Thompson, have an extremely rich history with diverse applications in physics, chemistry, communication theory, and scientific computing. In this paper, we introduce and study a new optimality criteria for pointset configurations. Namely, we consider a certain weighted graph associated wi…
▽ More
The search for optimal configurations of pointsets, the most notable examples being the problems of Kepler and Thompson, have an extremely rich history with diverse applications in physics, chemistry, communication theory, and scientific computing. In this paper, we introduce and study a new optimality criteria for pointset configurations. Namely, we consider a certain weighted graph associated with a pointset configuration and seek configurations which minimize certain spectral properties of the adjacency matrix or graph Laplacian defined on this graph, subject to geometric constraints on the pointset configuration. This problem can be motivated by solar cell design and swarming models, and we consider several spectral functions with interesting interpretations such as spectral radius, algebraic connectivity, effective resistance, and condition number. We prove that the regular simplex extremizes several spectral invariants on the sphere. We also consider pointset configurations on flat tori via (i) the analogous problem on lattices and (ii) through a variety of computational experiments. For many of the objectives considered (but not all), the triangular lattice is extremal.
△ Less
Submitted 21 June, 2016; v1 submitted 3 November, 2015;
originally announced November 2015.
-
An Isoperimetric inequality for an integral operator on flat tori
Authors:
Braxton Osting,
Jeremy L. Marzuola,
Elena Cherkaev
Abstract:
We consider a class of Hilbert-Schmidt integral operators with an isotropic, stationary kernel acting on square integrable functions defined on flat tori. For any fixed kernel which is positive and decreasing, we show that among all unit-volume flat tori, the equilateral torus maximizes the operator norm and the Hilbert-Schmidt norm.
We consider a class of Hilbert-Schmidt integral operators with an isotropic, stationary kernel acting on square integrable functions defined on flat tori. For any fixed kernel which is positive and decreasing, we show that among all unit-volume flat tori, the equilateral torus maximizes the operator norm and the Hilbert-Schmidt norm.
△ Less
Submitted 9 June, 2016; v1 submitted 28 October, 2015;
originally announced October 2015.
-
Analysis of Crowdsourced Sampling Strategies for HodgeRank with Sparse Random Graphs
Authors:
Braxton Osting,
Jiechao Xiong,
Qianqian Xu,
Yuan Yao
Abstract:
Crowdsourcing platforms are now extensively used for conducting subjective pairwise comparison studies. In this setting, a pairwise comparison dataset is typically gathered via random sampling, either \emph{with} or \emph{without} replacement. In this paper, we use tools from random graph theory to analyze these two random sampling methods for the HodgeRank estimator. Using the Fiedler value of th…
▽ More
Crowdsourcing platforms are now extensively used for conducting subjective pairwise comparison studies. In this setting, a pairwise comparison dataset is typically gathered via random sampling, either \emph{with} or \emph{without} replacement. In this paper, we use tools from random graph theory to analyze these two random sampling methods for the HodgeRank estimator. Using the Fiedler value of the graph as a measurement for estimator stability (informativeness), we provide a new estimate of the Fiedler value for these two random graph models. In the asymptotic limit as the number of vertices tends to infinity, we prove the validity of the estimate. Based on our findings, for a small number of items to be compared, we recommend a two-stage sampling strategy where a greedy sampling method is used initially and random sampling \emph{without} replacement is used in the second stage. When a large number of items is to be compared, we recommend random sampling with replacement as this is computationally inexpensive and trivially parallelizable. Experiments on synthetic and real-world datasets support our analysis.
△ Less
Submitted 21 March, 2016; v1 submitted 28 February, 2015;
originally announced March 2015.
-
Maximization of Laplace-Beltrami eigenvalues on closed Riemannian surfaces
Authors:
Chiu-Yen Kao,
Rongjie Lai,
Braxton Osting
Abstract:
Let $(M,g)$ be a connected, closed, orientable Riemannian surface and denote by $λ_k(M,g)$ the $k$-th eigenvalue of the Laplace-Beltrami operator on $(M,g)$. In this paper, we consider the map** $(M, g)\mapsto λ_k(M,g)$. We propose a computational method for finding the conformal spectrum $Λ^c_k(M,[g_0])$, which is defined by the eigenvalue optimization problem of maximizing $λ_k(M,g)$ for $k$ f…
▽ More
Let $(M,g)$ be a connected, closed, orientable Riemannian surface and denote by $λ_k(M,g)$ the $k$-th eigenvalue of the Laplace-Beltrami operator on $(M,g)$. In this paper, we consider the map** $(M, g)\mapsto λ_k(M,g)$. We propose a computational method for finding the conformal spectrum $Λ^c_k(M,[g_0])$, which is defined by the eigenvalue optimization problem of maximizing $λ_k(M,g)$ for $k$ fixed as $g$ varies within a conformal class $[g_0]$ of fixed volume $textrm{vol}(M,g) = 1$. We also propose a computational method for the problem where $M$ is additionally allowed to vary over surfaces with fixed genus, $γ$. This is known as the topological spectrum for genus $γ$ and denoted by $Λ^t_k(γ)$. Our computations support a conjecture of N. Nadirashvili (2002) that $Λ^t_k(0) = 8 πk$, attained by a sequence of surfaces degenerating to a union of $k$ identical round spheres. Furthermore, based on our computations, we conjecture that $Λ^t_k(1) = \frac{8π^2}{\sqrt{3}} + 8π(k-1)$, attained by a sequence of surfaces degenerating into a union of an equilateral flat torus and $k-1$ identical round spheres. The values are compared to several surfaces where the Laplace-Beltrami eigenvalues are well-known, including spheres, flat tori, and embedded tori. In particular, we show that among flat tori of volume one, the $k$-th Laplace-Beltrami eigenvalue has a local maximum with value $λ_k = 4π^2 \left\lceil \frac{k}{2} \right\rceil^2 \left( \left\lceil \frac{k}{2} \right\rceil^2 - \frac{1}{4}\right)^{-\frac{1}{2}}$. Several properties are also studied computationally, including uniqueness, symmetry, and eigenvalue multiplicity.
△ Less
Submitted 25 March, 2016; v1 submitted 19 May, 2014;
originally announced May 2014.
-
Minimal Dirichlet energy partitions for graphs
Authors:
Braxton Osting,
Chris D. White,
Edouard Oudet
Abstract:
Motivated by a geometric problem, we introduce a new non-convex graph partitioning objective where the optimality criterion is given by the sum of the Dirichlet eigenvalues of the partition components. A relaxed formulation is identified and a novel rearrangement algorithm is proposed, which we show is strictly decreasing and converges in a finite number of iterations to a local minimum of the rel…
▽ More
Motivated by a geometric problem, we introduce a new non-convex graph partitioning objective where the optimality criterion is given by the sum of the Dirichlet eigenvalues of the partition components. A relaxed formulation is identified and a novel rearrangement algorithm is proposed, which we show is strictly decreasing and converges in a finite number of iterations to a local minimum of the relaxed objective function. Our method is applied to several clustering problems on graphs constructed from synthetic data, MNIST handwritten digits, and manifold discretizations. The model has a semi-supervised extension and provides a natural representative for the clusters as well.
△ Less
Submitted 20 May, 2014; v1 submitted 22 August, 2013;
originally announced August 2013.
-
Mean curvature, threshold dynamics, and phase field theory on finite graphs
Authors:
Yves van Gennip,
Nestor Guillen,
Braxton Osting,
Andrea L. Bertozzi
Abstract:
In the continuum, close connections exist between mean curvature flow, the Allen-Cahn (AC) partial differential equation, and the Merriman-Bence-Osher (MBO) threshold dynamics scheme. Graph analogues of these processes have recently seen a rise in popularity as relaxations of NP-complete combinatorial problems, which demands deeper theoretical underpinnings of the graph processes. The aim of this…
▽ More
In the continuum, close connections exist between mean curvature flow, the Allen-Cahn (AC) partial differential equation, and the Merriman-Bence-Osher (MBO) threshold dynamics scheme. Graph analogues of these processes have recently seen a rise in popularity as relaxations of NP-complete combinatorial problems, which demands deeper theoretical underpinnings of the graph processes. The aim of this paper is to introduce these graph processes in the light of their continuum counterparts, provide some background, prove the first results connecting them, illustrate these processes with examples and identify open questions for future study. We derive a graph curvature from the graph cut function, the natural graph counterpart of total variation (perimeter). This derivation and the resulting curvature definition differ from those in earlier literature, where the continuum mean curvature is simply discretized, and bears many similarities to the continuum nonlocal curvature or nonlocal means formulation. This new graph curvature is not only relevant for graph MBO dynamics, but also appears in the variational formulation of a discrete time graph mean curvature flow. We prove estimates showing that the dynamics are trivial for both MBO and AC evolutions if the parameters (the time-step and diffuse interface scale, respectively) are sufficiently small (a phenomenon known as "freezing" or "pinning") and also that the dynamics for MBO are nontrivial if the time step is large enough. These bounds are in terms of graph quantities such as the spectrum of the graph Laplacian and the graph curvature. Adapting a Lyapunov functional for the continuum MBO scheme to graphs, we prove that the graph MBO scheme converges to a stationary state in a finite number of iterations. Variations on this scheme have recently become popular in the literature as ways to minimize (continuum) nonlocal total variation.
△ Less
Submitted 30 April, 2015; v1 submitted 28 June, 2013;
originally announced July 2013.
-
Long-lived Scattering Resonances and Bragg Structures
Authors:
Braxton Osting,
Michael I. Weinstein
Abstract:
We consider a system governed by the wave equation with index of refraction $n(x)$, taken to be variable within a bounded region $Ω\subset \mathbb R^d$, and constant in $\mathbb R^d \setminus Ω$. The solution of the time-dependent wave equation with initial data, which is localized in $Ω$, spreads and decays with advancing time. This rate of decay can be measured (for $d=1,3$, and more generally,…
▽ More
We consider a system governed by the wave equation with index of refraction $n(x)$, taken to be variable within a bounded region $Ω\subset \mathbb R^d$, and constant in $\mathbb R^d \setminus Ω$. The solution of the time-dependent wave equation with initial data, which is localized in $Ω$, spreads and decays with advancing time. This rate of decay can be measured (for $d=1,3$, and more generally, $d$ odd) in terms of the eigenvalues of the scattering resonance problem, a non-selfadjoint eigenvalue problem governing the time-harmonic solutions of the wave (Helmholtz) equation which are outgoing at $\infty$. Specifically, the rate of energy escape from $Ω$ is governed by the complex scattering eigenfrequency, which is closest to the real axis. We study the structural design problem: Find a refractive index profile $n_*(x)$ within an admissible class which has a scattering frequency with minimal imaginary part. The admissible class is defined in terms of the compact support of $n(x)-1$ and pointwise upper and lower (material) bounds on $n(x)$ for $x \in Ω$, i.e., $0 < n_- \leq n(x) \leq n_+ < \infty$. We formulate this problem as a constrained optimization problem and prove that an optimal structure, $n_*(x)$ exists. Furthermore, $n_*(x)$ is piecewise constant and achieves the material bounds, i.e., $n_*(x) \in {n_-, n_+} $. In one dimension, we establish a connection between $n_*(x)$ and the well-known class of Bragg structures, where $n(x)$ is constant on intervals whose length is one-quarter of the effective wavelength.
△ Less
Submitted 16 January, 2013;
originally announced January 2013.
-
Optimal Data Collection For Informative Rankings Expose Well-Connected Graphs
Authors:
Braxton Osting,
Christoph Brune,
Stanley J. Osher
Abstract:
Given a graph where vertices represent alternatives and arcs represent pairwise comparison data, the statistical ranking problem is to find a potential function, defined on the vertices, such that the gradient of the potential function agrees with the pairwise comparisons. Our goal in this paper is to develop a method for collecting data for which the least squares estimator for the ranking proble…
▽ More
Given a graph where vertices represent alternatives and arcs represent pairwise comparison data, the statistical ranking problem is to find a potential function, defined on the vertices, such that the gradient of the potential function agrees with the pairwise comparisons. Our goal in this paper is to develop a method for collecting data for which the least squares estimator for the ranking problem has maximal Fisher information. Our approach, based on experimental design, is to view data collection as a bi-level optimization problem where the inner problem is the ranking problem and the outer problem is to identify data which maximizes the informativeness of the ranking. Under certain assumptions, the data collection problem decouples, reducing to a problem of finding multigraphs with large algebraic connectivity. This reduction of the data collection problem to graph-theoretic questions is one of the primary contributions of this work. As an application, we study the Yahoo! Movie user rating dataset and demonstrate that the addition of a small number of well-chosen pairwise comparisons can significantly increase the Fisher informativeness of the ranking. As another application, we study the 2011-12 NCAA football schedule and propose schedules with the same number of games which are significantly more informative. Using spectral clustering methods to identify highly-connected communities within the division, we argue that the NCAA could improve its notoriously poor rankings by simply scheduling more out-of-conference games.
△ Less
Submitted 4 June, 2014; v1 submitted 26 July, 2012;
originally announced July 2012.
-
Emergence of Periodic Structure from Maximizing the Lifetime of a Bound State Coupled to Radiation
Authors:
Braxton Osting,
Michael I. Weinstein
Abstract:
Consider a system governed by the time-dependent Schrödinger equation in its ground state. When subjected to weak (size $ε$) parametric forcing by an "ionizing field" (time-varying), the state decays with advancing time due to coupling of the bound state to radiation modes. The decay-rate of this metastable state is governed by {\it Fermi's Golden Rule}, $Γ[V]$, which depends on the potential $V$…
▽ More
Consider a system governed by the time-dependent Schrödinger equation in its ground state. When subjected to weak (size $ε$) parametric forcing by an "ionizing field" (time-varying), the state decays with advancing time due to coupling of the bound state to radiation modes. The decay-rate of this metastable state is governed by {\it Fermi's Golden Rule}, $Γ[V]$, which depends on the potential $V$ and the details of the forcing. We pose the potential design problem: find $V_{opt}$ which minimizes $Γ[V]$ (maximizes the lifetime of the state) over an admissible class of potentials with fixed spatial support. We formulate this problem as a constrained optimization problem and prove that an admissible optimal solution exists. Then, using quasi-Newton methods, we compute locally optimal potentials. These have the structure of a truncated periodic potential with a localized defect. In contrast to optimal structures for other spectral optimization problems, our optimizing potentials appear to be interior points of the constraint set and to be smooth. The multi-scale structures that emerge incorporate the physical mechanisms of energy confinement via material contrast and interference effects.
An analysis of locally optimal potentials reveals local optimality is attained via two mechanisms: (i) decreasing the density of states near a resonant frequency in the continuum and (ii) tuning the oscillations of extended states to make $Γ[V]$, an oscillatory integral, small. Our approach achieves lifetimes, $\sim (ε^2Γ[V])^{-1}$, for locally optimal potentials with $Γ^{-1}\sim\mathcal{O}(10^{9})$ as compared with $Γ^{-1}\sim \mathcal{O}(10^{2})$ for a typical potential. Finally, we explore the performance of optimal potentials via simulations of the time-evolution.
△ Less
Submitted 27 October, 2010;
originally announced October 2010.