-
Constrained Bayesian optimization with merit functions
Authors:
J. Wang,
C. G. Petra,
J. L. Peterson
Abstract:
Bayesian optimization is a powerful optimization tool for problems where native first-order derivatives are unavailable. Recently, constrained Bayesian optimization (CBO) has been applied to many engineering applications where constraints are essential. However, several obstacles remain with current CBO algorithms that could prevent a wider adoption. We propose CBO algorithms using merit functions…
▽ More
Bayesian optimization is a powerful optimization tool for problems where native first-order derivatives are unavailable. Recently, constrained Bayesian optimization (CBO) has been applied to many engineering applications where constraints are essential. However, several obstacles remain with current CBO algorithms that could prevent a wider adoption. We propose CBO algorithms using merit functions, such as the penalty merit function, in acquisition functions, inspired by nonlinear optimization methods, e.g., sequential quadratic programming. Merit functions measure the potential progress of both the objective and constraint functions, thus increasing algorithmic efficiency and allowing infeasible initial samples. The acquisition functions with merit functions are relaxed to have closed forms, making its implementation readily available wherever Bayesian optimization is. We further propose a unified CBO algorithm that can be seen as extension to the popular expected constrained improvement (ECI) approach. We demonstrate the effectiveness and efficiency of the proposed algorithms through numerical experiments on synthetic problems and a practical data-driven engineering design problem in the field of plasma physics.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
A multifidelity Bayesian optimization method for inertial confinement fusion design
Authors:
J. Wang,
N. Chiang,
A. Gillette,
J. L. Peterson
Abstract:
Due to their cost, experiments for inertial confinement fusion (ICF) heavily rely on numerical simulations to guide design. As simulation technology progresses, so too can the fidelity of models used to plan for new experiments. However, these high-fidelity models are by themselves insufficient for optimal experimental design, because their computational cost remains too high to efficiently and ef…
▽ More
Due to their cost, experiments for inertial confinement fusion (ICF) heavily rely on numerical simulations to guide design. As simulation technology progresses, so too can the fidelity of models used to plan for new experiments. However, these high-fidelity models are by themselves insufficient for optimal experimental design, because their computational cost remains too high to efficiently and effectively explore the numerous parameters required to describe a typical experiment. Traditionally, ICF design has relied on low-fidelity modeling to initially identify potentially interesting design regions, which are then subsequently explored via selected high-fidelity modeling. In this paper, we demonstrate that this two-step approach can be insufficient: even for simple design problems, a two-step optimization strategy can lead high-fidelity searching towards incorrect regions and consequently waste computational resources on parameter regimes far away from the true optimal solution. We reveal that a primary cause of this behavior in ICF design problems is the presence of low-fidelity optima in distinct regions of the parameter space from high-fidelity optima. To address this issue, we propose an iterative multifidelity Bayesian optimization method based on Gaussian Process Regression that leverages both low- and high-fidelity modelings. We demonstrate, using both two- and eight-dimensional ICF test problems, that our algorithm can effectively utilize low-fidelity modeling for exploration, while automatically refining promising designs with high-fidelity models. This approach proves to be more efficient than relying solely on high-fidelity modeling for optimization.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Biexact von Neumann algebras
Authors:
Changying Ding,
Jesse Peterson
Abstract:
We introduce the notion of biexactness for general von Neumann algebras, naturally extending the notion from group theory. We show that biexactness implies solidity for von Neumann algebras, and that many of the examples of solid von Neumann algebras contained in the literature are, in fact, biexact. We also give examples of certain crossed products arising from Gaussian actions that are solid but…
▽ More
We introduce the notion of biexactness for general von Neumann algebras, naturally extending the notion from group theory. We show that biexactness implies solidity for von Neumann algebras, and that many of the examples of solid von Neumann algebras contained in the literature are, in fact, biexact. We also give examples of certain crossed products arising from Gaussian actions that are solid but not biexact, and we give examples of certain $q$-Gaussian von Neumann algebras that are strongly solid but not biexact. The techniques developed involve studying a certain weak form of nuclear embeddings, and we use this setting to give a new description of weak exactness for von Neumann algebras, which allows us to answer several open problems in the literature about weakly exact von Neumann algebras.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Limiting distributions for RWCRE in the sub-ballistic regime and in the critical Gaussian regime
Authors:
Conrado da Costa,
Jonathon Peterson,
Yongjia Xie
Abstract:
Random Walks in Cooling Random Environments (RWCRE) is a model of random walks in dynamic random environments where the environment is frozen between a fixed sequence of times (called the cooling map) where it is resampled. Naturally the limiting distributions for this model depend both on the structure of the cooling sequence and on distribution $μ$ from which the environments are sampled. Previo…
▽ More
Random Walks in Cooling Random Environments (RWCRE) is a model of random walks in dynamic random environments where the environment is frozen between a fixed sequence of times (called the cooling map) where it is resampled. Naturally the limiting distributions for this model depend both on the structure of the cooling sequence and on distribution $μ$ from which the environments are sampled. Previous results have considered the cases where $μ$ is such that the corresponding model of random walks in a fixed random environment (RWRE) is either (1) recurrent, (2) has a Gaussian limit with diffusive scaling (the $κ> 2$ case), or (3) has positive speed and a stable, non-Gaussian limit (the $κ\in (1,2)$ case).
In this paper we examine the limiting distributions in two other transient regimes: the sub-ballistic, non-stable regime (i.e., $κ\in (0,1)$), and the Gaussian regime with non-diffusive scaling (i.e., $κ= 2$). In the first case we show that the limiting distributions are either Gaussian or a mixture of Gaussian and independent sums of Mittag-Leffler random variables, while in the second case the limiting distributions are always Gaussian but with a scaling that differs from the standard deviation by factor (which can oscillate, but which remains confined to some interval $[β,1]$) that depends very delicately on the properties of the cooling map.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Hierarchical Block Low-rank Approximation of Cavity Radiation
Authors:
Ivan Baburin,
Jonas Ballani,
John W. Peterson,
David Knezevic
Abstract:
In this paper we examine the use of low-rank approximations for the handling of radiation boundary conditions in a transient heat equation given a cavity radiation setting. The finite element discretization that arises from cavity radiation is well known to be dense, which poses difficulties for efficiency and scalability of solvers. Here we consider a special treatment of the cavity radiation dis…
▽ More
In this paper we examine the use of low-rank approximations for the handling of radiation boundary conditions in a transient heat equation given a cavity radiation setting. The finite element discretization that arises from cavity radiation is well known to be dense, which poses difficulties for efficiency and scalability of solvers. Here we consider a special treatment of the cavity radiation discretization using a block low-rank approximation combined with hierarchical matrices. We provide an overview of the methodology and discusses techniques that can be used to improve efficiency within the framework of hierarchical matrices, including the usage of the approximate cross approximation (ACA) method. We provide a number of numerical results that demonstrate the accuracy and efficiency of the approach in practical problems, and demonstrate significant speedup and memory reduction compared to the more conventional "dense matrix" approach.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Some classes of smooth bimodules over II$_1$ factors and their associated 1-cohomology spaces
Authors:
Patrick Hiatt,
Jesse Peterson,
Sorin Popa
Abstract:
We study several classes of Banach bimodules over a II$_1$ factor $M$, endowed with topologies that make them "smooth" with respect to $L^p$-norms implemented by the trace on $M$. Letting $M\subset \B= \B(L^2M)$, and $2\leq p < \infty$, we consider: $(1)$ the space $\B(p)$, obtained as the completion of $\B$ in the norm \[ \vertiii{T}_p := \sup \{|\varphi(T)| \mid \varphi \in \B^*, \sup\{|\varphi(…
▽ More
We study several classes of Banach bimodules over a II$_1$ factor $M$, endowed with topologies that make them "smooth" with respect to $L^p$-norms implemented by the trace on $M$. Letting $M\subset \B= \B(L^2M)$, and $2\leq p < \infty$, we consider: $(1)$ the space $\B(p)$, obtained as the completion of $\B$ in the norm \[ \vertiii{T}_p := \sup \{|\varphi(T)| \mid \varphi \in \B^*, \sup\{|\varphi(xYz)| \mid Y\in (\B)_1, x, z \in M\cap (L^pM)_1\} \leq 1 \}; \] $(2)$ the subspace $\K(p)\subset \B(p)$, obtained as the closure in $\B(p)$ of the space of compact operators $\K(L^2M)$; $(3)$ the space $\K_p\subset \B$ of operators that are $\vertiii{ \, \cdot \, }_p$-limits of bounded sequences of operators in $\K(L^2M)$. We prove that $\K_p$ are all equal to the {\it $τ$-rank-completion} of $\K(L^2M)$ in $\B$, defined by \begin{align} \text{\rm q}\K_M:= \{K\in \B(L^2M) \mid & \exists K_n \in \K(L^2M), p_n\in \mathcal P(M), \nonumber \\ & \lim_n \|p_n(K-K_n)p_n\|= 0, \lim_nτ(1-p_n)=0\}. \nonumber \end{align} We show that any separable II$_1$ factor $M$ admits non-inner derivations into $\text{\rm q}\K_M$, but that any derivation $δ:M \rightarrow \text{\rm q}\K_M$ is a pointwise limit in $τ$-rank-metric of inner derivations.
△ Less
Submitted 6 March, 2024; v1 submitted 12 April, 2023;
originally announced April 2023.
-
Nonlinear dynamics of asymmetric bistable energy harvesters
Authors:
João Pedro Norenberg,
Roberto Luo,
Vinicius Goncaalves Lopes,
João Victor L. L. Peterson,
Americo Cunha Jr
Abstract:
The paper investigates asymmetries effects over a nonlinear vibration energy harvester dynamics. The asymmetric system performance is compared with symmetric ones. Different asymmetry levels on restoring force and gravity action are investigated from a system-slo** angle variation. Bifurcation diagrams and basins of attraction are used to examine the local and global characteristics underlying d…
▽ More
The paper investigates asymmetries effects over a nonlinear vibration energy harvester dynamics. The asymmetric system performance is compared with symmetric ones. Different asymmetry levels on restoring force and gravity action are investigated from a system-slo** angle variation. Bifurcation diagrams and basins of attraction are used to examine the local and global characteristics underlying dynamical systems under different excitation energy. The results show the adverse effects of asymmetries on system dynamics. They also reveal ways to overcome them by canceling asymmetric influence from optimal slo** angle values and improving asymmetric system performance over symmetrical ones. This comprehensive numerical study provides novel valuable insights into asymmetrical energy harvester dynamics, a wide and still less explored topic.
△ Less
Submitted 9 June, 2023; v1 submitted 20 August, 2022;
originally announced September 2022.
-
Convergence and non-convergence of scaled self-interacting random walks to Brownian motion perturbed at extrema
Authors:
Elena Kosygina,
Thomas Mountford,
Jonathon Peterson
Abstract:
We use generalized Ray-Knight theorems introduced by Bálint Tóth in 1996 together with techniques developed for excited random walks as main tools for establishing positive and negative results concerning convergence of some classes of diffusively scaled self-interacting random walks (SIRWs) to Brownian motions perturbed at extrema (BMPE). Tóth's work studied two classes of SIRWs: asymptotically f…
▽ More
We use generalized Ray-Knight theorems introduced by Bálint Tóth in 1996 together with techniques developed for excited random walks as main tools for establishing positive and negative results concerning convergence of some classes of diffusively scaled self-interacting random walks (SIRWs) to Brownian motions perturbed at extrema (BMPE). Tóth's work studied two classes of SIRWs: asymptotically free and polynomially self-repelling walks. For both classes Toth has shown, in particular, that the distribution function of a scaled SIRW observed at independent geometric times converges to that of a BMPE indicated by the generalized Ray-Knight theorem for this SIRW. The question of weak convergence of one-dimensional distributions of scaled SIRW remained open. In this paper, on the one hand, we prove a full functional limit theorem for a large class of asymptotically free SIRWs which includes asymptotically free walks considered in Tóth's paper. On the other hand, we show that rescaled polynomially self-repelling SIRWs do not converge to the BMPE predicted by the corresponding generalized Ray-Knight theorems and, hence, do not converge to any BMPE.
△ Less
Submitted 4 August, 2022;
originally announced August 2022.
-
Properly Proximal von Neumann Algebras
Authors:
Changying Ding,
Srivatsav Kunnawalkam Elayavalli,
Jesse Peterson
Abstract:
We introduce the notion of proper proximality for finite von Neumann algebras, which naturally extends the notion of proper proximality for groups. Apart from the group von Neumann algebras of properly proximal groups, we provide a number of additional examples, including examples in the settings of free products, crossed products, and compact quantum groups. Using this notion, we answer a questio…
▽ More
We introduce the notion of proper proximality for finite von Neumann algebras, which naturally extends the notion of proper proximality for groups. Apart from the group von Neumann algebras of properly proximal groups, we provide a number of additional examples, including examples in the settings of free products, crossed products, and compact quantum groups. Using this notion, we answer a question of Popa by showing that the group von Neumann algebra of a nonamenable inner amenable group cannot embed into a free group factor. We also introduce a notion of proper proximality for probability measure preserving actions, which gives an invariant for the orbit equivalence relation. This gives a new approach for establishing strong ergodicity type properties, and we use this in the setting of Gaussian actions to expand on solid ergodicity results first established by Chifan and Ioana, and later generalized by Boutonnet. The techniques developed also allow us to answer a problem left open by Anantharaman-Delaroche in 1995, by showing the equivalence between the Haagerup property and the compact approximation property for II$_1$ factors.
△ Less
Submitted 16 November, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Gaussian, stable, tempered stable and mixed limit laws for random walks in cooling random environments
Authors:
Luca Avena,
Conrado da Costa,
Jonathon Peterson
Abstract:
Random Walks in Cooling Random Environments (RWCRE) is a model of random walks in dynamic random environments where the entire environment is resampled along a fixed sequence of times, called the "cooling sequence," and is kept fixed in between those times. This model interpolates between that of a homogenous random walk, where the environment is reset at every step, and Random Walks in (static) R…
▽ More
Random Walks in Cooling Random Environments (RWCRE) is a model of random walks in dynamic random environments where the entire environment is resampled along a fixed sequence of times, called the "cooling sequence," and is kept fixed in between those times. This model interpolates between that of a homogenous random walk, where the environment is reset at every step, and Random Walks in (static) Random Environments (RWRE), where the environment is never resampled. In this work we focus on the limiting distributions of one-dimensional RWCRE in the regime where the fluctuations of the corresponding (static) RWRE is given by a $s$-stable random variable with $s\in(1,2)$. In this regime, due to the two extreme cases (resampling every step and never resampling, respectively), a crossover from Gaussian to stable limits for sufficiently regular cooling sequence was previously conjectured. Our first result answers affirmatively this conjecture by making clear critical exponent, norming sequences and limiting laws associated with the crossover which demonstrates a change from Gaussian to $s$-stable limits, passing at criticality through a certain generalized tempered stable distribution. We then explore the resulting RWCRE scaling limits for general cooling sequences. On the one hand, we offer sets of operative sufficient conditions that guarantee asymptotic emergence of either Gaussian, $s$-stable or generalized tempered distributions from a certain class. On the other hand, we give explicit examples and describe how to construct irregular cooling sequences for which the corresponding limit law is characterized by mixtures of the three above mentioned laws. To obtain these results, we need and derive a number of refined asymptotic results for the static RWRE with $s\in(1,2)$ which may be of independent interest.
△ Less
Submitted 18 August, 2021;
originally announced August 2021.
-
A conformally invariant Yang-Mills type energy and equation on 6-manifolds
Authors:
A. Rod Gover,
Lawrence J. Peterson,
Callum Sleigh
Abstract:
We define a conformally invariant action S on gauge connections on a closed pseudo-Riemannian manifold M of dimension 6. At leading order this is quadratic in the gauge connection. The Euler-Lagrange equations of S, with respect to variation of the gauge connection, provide a higher-order conformally invariant analogue of the (source-free) Yang-Mills equations.
For any gauge connection A on M, w…
▽ More
We define a conformally invariant action S on gauge connections on a closed pseudo-Riemannian manifold M of dimension 6. At leading order this is quadratic in the gauge connection. The Euler-Lagrange equations of S, with respect to variation of the gauge connection, provide a higher-order conformally invariant analogue of the (source-free) Yang-Mills equations.
For any gauge connection A on M, we define S(A) by first defining a Lagrangian density associated to A. This is not conformally invariant but has a conformal transformation analogous to a Q-curvature. Integrating this density provides the conformally invariant action.
In the special case that we apply S to the conformal Cartan-tractor connection, the functional gradient recovers the natural conformal curvature invariant called the Fefferman-Graham obstruction tensor. So in this case the Euler-Lagrange equations are exactly the "obstruction-flat" condition for 6-manifolds. This extends known results for 4-dimensional pseudo-Riemannian manifolds where the Bach tensor is recovered in the Yang-Mills equations of the Cartan-tractor connection.
△ Less
Submitted 18 July, 2021;
originally announced July 2021.
-
Variable speed symmetric random walk driven by symmetric exclusion
Authors:
Otávio Menezes,
Jonathon Peterson,
Yongjia Xie
Abstract:
We prove a quenched functional central limit theorem for a one-dimensional random walk driven by a simple symmetric exclusion process. This model can be viewed as a special case of the random walk in a balanced random environment, for which the weak quenched limit is constructed as a function of the invariant measure of the environment viewed from the walk. We bypass the need to show the existence…
▽ More
We prove a quenched functional central limit theorem for a one-dimensional random walk driven by a simple symmetric exclusion process. This model can be viewed as a special case of the random walk in a balanced random environment, for which the weak quenched limit is constructed as a function of the invariant measure of the environment viewed from the walk. We bypass the need to show the existence of this invariant measure. Instead, we find the limit of the quadratic variation of the walk and give an explicit formula for it.
△ Less
Submitted 17 July, 2021;
originally announced July 2021.
-
Poisson boundaries of II$_1$ factors
Authors:
Sayan Das,
Jesse Peterson
Abstract:
We introduce Poisson boundaries of II$_1$ factors with respect to density operators that give the traces. The Poisson boundary is a von Neumann algebra that contains the II$_1$ factor and is a particular example of the boundary of a unital completely positive map as introduced by Izumi. Studying the inclusion of the II$_1$ factor into its boundary we develop a number of notions, such as double erg…
▽ More
We introduce Poisson boundaries of II$_1$ factors with respect to density operators that give the traces. The Poisson boundary is a von Neumann algebra that contains the II$_1$ factor and is a particular example of the boundary of a unital completely positive map as introduced by Izumi. Studying the inclusion of the II$_1$ factor into its boundary we develop a number of notions, such as double ergodicity and entropy, that can be seen as natural analogues of results regarding the Poisson boundaries introduced by Furstenberg. We use the techniques developed to answer a problem of Popa by showing that all finite factors satisfy the MV-property. We also extend a result of Nevo by showing that property (T) factors give rise to an entropy gap.
△ Less
Submitted 12 February, 2022; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Charmenability of arithmetic groups of product type
Authors:
Uri Bader,
Rémi Boutonnet,
Cyril Houdayer,
Jesse Peterson
Abstract:
We discuss special properties of the spaces of characters and positive definite functions, as well as their associated dynamics, for arithmetic groups of product type. Axiomatizing these properties, we define the notions of charmenability and charfiniteness and study their applications to the topological dynamics, ergodic theory and unitary representation theory of the given groups. To do that, we…
▽ More
We discuss special properties of the spaces of characters and positive definite functions, as well as their associated dynamics, for arithmetic groups of product type. Axiomatizing these properties, we define the notions of charmenability and charfiniteness and study their applications to the topological dynamics, ergodic theory and unitary representation theory of the given groups. To do that, we study singularity properties of equivariant normal ucp maps between certain von Neumann algebras. We apply our discussion also to groups acting on product of trees.
△ Less
Submitted 12 April, 2022; v1 submitted 21 September, 2020;
originally announced September 2020.
-
Convergence of random walks with Markovian cookie stacks to Brownian motion perturbed at extrema
Authors:
Elena Kosygina,
Thomas Mountford,
Jonathon Peterson
Abstract:
We consider one-dimensional excited random walks (ERWs) with i.i.d. markovian cookie stacks in the non-boundary recurrent regime. We prove that under diffusive scaling such an ERW converges in the standard Skorokhod topology to a multiple of Brownian motion perturbed at its extrema (BMPE). All parameters of the limiting process are given explicitly in terms of those of the cookie markov chain at a…
▽ More
We consider one-dimensional excited random walks (ERWs) with i.i.d. markovian cookie stacks in the non-boundary recurrent regime. We prove that under diffusive scaling such an ERW converges in the standard Skorokhod topology to a multiple of Brownian motion perturbed at its extrema (BMPE). All parameters of the limiting process are given explicitly in terms of those of the cookie markov chain at a single site. While our results extend the results of Dolgopyat and Kosygina (2012, ERWs with boundedly many cookies per site) and Kosygina and Peterson (2016, ERWs with periodic cookie stacks), the approach taken is very different and involves coarse graining of both the ERW and the random environment changed by the walk. Through a careful analysis of the environment left by the walk after each ``mesoscopic'' step, we are able to construct a coupling of the ERW at this ``mesoscopic'' scale with a suitable discretization of the limiting BMPE. The analysis is based on generalized Ray-Knight theorems for the directed edge local times of the ERW stopped at certain stop** times and evolving in both the original random cookie environment and (which is much more challenging) in the environment created by the walk after each ``mesoscopic'' step.
△ Less
Submitted 15 August, 2020;
originally announced August 2020.
-
Optimal rates of convergence for quenched central limit theorem rates for hitting times of one-dimensional random walks in random environments
Authors:
Sung Won Ahn,
Jonathon Peterson
Abstract:
We consider the rates of convergence of the quenched central limit theorem for hitting times of one-dimensional random walks in a random environment. Previous results had identified polynomial upper bounds for the rates of decay which are sometimes slower than $n^{-1/2}$ (the optimal rate in the classical Berry-Esseen estimates). Here we prove that the previous upper bounds are in fact the best po…
▽ More
We consider the rates of convergence of the quenched central limit theorem for hitting times of one-dimensional random walks in a random environment. Previous results had identified polynomial upper bounds for the rates of decay which are sometimes slower than $n^{-1/2}$ (the optimal rate in the classical Berry-Esseen estimates). Here we prove that the previous upper bounds are in fact the best possible polynomial rates for the quenched CLT.
△ Less
Submitted 14 September, 2021; v1 submitted 30 January, 2020;
originally announced January 2020.
-
Von Neumann equivalence and properly proximal groups
Authors:
Ishan Ishan,
Jesse Peterson,
Lauren Ruth
Abstract:
We introduce a new equivalence relation on groups, which we call von Neumann equivalence, that is coarser than both measure equivalence and $W^*$-equivalence. We introduce a general procedure for inducing actions in this setting and use this to show that many analytic properties, such as amenability, property (T), and the Haagerup property, are preserved under von Neumann equivalence. We also show…
▽ More
We introduce a new equivalence relation on groups, which we call von Neumann equivalence, that is coarser than both measure equivalence and $W^*$-equivalence. We introduce a general procedure for inducing actions in this setting and use this to show that many analytic properties, such as amenability, property (T), and the Haagerup property, are preserved under von Neumann equivalence. We also show that proper proximality, which was defined recently by Boutonnet, Ioana, and the second author using dynamics, is also preserved under von Neumann equivalence. In particular, proper proximality is preserved under both measure equivalence and $W^*$-equivalence, and from this we obtain examples of non-inner amenable groups that are not properly proximal.
△ Less
Submitted 28 December, 2023; v1 submitted 18 October, 2019;
originally announced October 2019.
-
Cocycle superrigidity for profinite actions of irreducible lattices
Authors:
Daniel Drimbe,
Adrian Ioana,
Jesse Peterson
Abstract:
Let $Γ$ be an irreducible lattice in a product of two locally compact groups and assume that $Γ$ is densely embedded in a profinite group $K$. We give necessary conditions which imply that the left translation action $Γ\curvearrowright K$ is "virtually" cocycle superrigid: any cocycle $w:Γ\times K\rightarrowΔ$ with values in a countable group $Δ$ is cohomologous to a cocycle which factors through…
▽ More
Let $Γ$ be an irreducible lattice in a product of two locally compact groups and assume that $Γ$ is densely embedded in a profinite group $K$. We give necessary conditions which imply that the left translation action $Γ\curvearrowright K$ is "virtually" cocycle superrigid: any cocycle $w:Γ\times K\rightarrowΔ$ with values in a countable group $Δ$ is cohomologous to a cocycle which factors through the map $Γ\times K\rightarrowΓ\times K_0$, for some finite quotient group $K_0$ of $K$. As a corollary, we deduce that any ergodic profinite action of $Γ=\text{SL}_2(\mathbb Z[S^{-1}])$ is virtually cocycle superrigid and virtually W$^*$-superrigid, for any finite nonempty set of primes $S$.
△ Less
Submitted 30 March, 2021; v1 submitted 18 October, 2019;
originally announced October 2019.
-
Quantitative homogenization in a balanced random environment
Authors:
Xiaoqin Guo,
Jonathon Peterson,
Hung V. Tran
Abstract:
We consider discrete non-divergence form difference operators in a random environment and the corresponding process--the random walk in a balanced random environment in $\mathbb{Z}^d$ with a finite range of dependence. We first quantify the ergodicity of the environment from the point of view of the particle. As a consequence, we quantify the quenched central limit theorem of the random walk with…
▽ More
We consider discrete non-divergence form difference operators in a random environment and the corresponding process--the random walk in a balanced random environment in $\mathbb{Z}^d$ with a finite range of dependence. We first quantify the ergodicity of the environment from the point of view of the particle. As a consequence, we quantify the quenched central limit theorem of the random walk with an algebraic rate. Furthermore, we prove an algebraic rate of convergence for the homogenization of the Dirichlet problems for both elliptic and parabolic non-divergence form difference operators.
△ Less
Submitted 28 September, 2022; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Properly proximal groups and their von Neumann algebras
Authors:
Rémi Boutonnet,
Adrian Ioana,
Jesse Peterson
Abstract:
We introduce a wide class of countable groups, called properly proximal, which contains all non-amenable bi-exact groups, all non-elementary convergence groups, and all lattices in non-compact semi-simple Lie groups, but excludes all inner amenable groups. We show that crossed product II$_1$ factors arising from free ergodic probability measure preserving actions of groups in this class have at mo…
▽ More
We introduce a wide class of countable groups, called properly proximal, which contains all non-amenable bi-exact groups, all non-elementary convergence groups, and all lattices in non-compact semi-simple Lie groups, but excludes all inner amenable groups. We show that crossed product II$_1$ factors arising from free ergodic probability measure preserving actions of groups in this class have at most one weakly compact Cartan subalgebra, up to unitary conjugacy. As an application, we obtain the first $W^*$-strong rigidity results for compact actions of $SL_d(\mathbb Z)$ for $d \geq 3$.
△ Less
Submitted 14 November, 2018; v1 submitted 6 September, 2018;
originally announced September 2018.
-
Conformal boundary operators, T-curvatures, and conformal fractional Laplacians of odd order
Authors:
A. Rod Gover,
Lawrence J. Peterson
Abstract:
We construct continuously parametrised families of conformally invariant boundary operators on densities. These may also be viewed as conformally covariant boundary operators on functions and generalise to higher orders the first-order conformal Robin operator and an analogous third-order operator of Chang-Qing. Our families include operators of critical order on odd-dimensional boundaries. Combin…
▽ More
We construct continuously parametrised families of conformally invariant boundary operators on densities. These may also be viewed as conformally covariant boundary operators on functions and generalise to higher orders the first-order conformal Robin operator and an analogous third-order operator of Chang-Qing. Our families include operators of critical order on odd-dimensional boundaries. Combined with the (conformal Laplacian power) GJMS operators, a suitable selection of the boundary operators yields formally self-adjoint elliptic conformal boundary problems. Working on a conformal manifold with boundary, we show that the operators yield odd-order conformally invariant fractional Laplacian pseudo-differential operators. To do this, we use higher-order conformally invariant Dirichlet-to-Neumann constructions. We also find and construct new curvature quantities associated to our new operator families. These have links to the Branson Q-curvature and include higher-order generalisations of the mean curvature and the T-curvature of Chang-Qing. In the case of the standard conformal hemisphere, the boundary operator construction is particularly simple; the resulting operators provide an elementary construction of families of symmetry breaking intertwinors between the spherical principal series representations of the conformal group of the equator, as studied by Juhl and others. We use our constructions to shed light on some conjectures of Juhl.
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
Overview of the Incompressible Navier-Stokes simulation capabilities in the MOOSE Framework
Authors:
John W. Peterson,
Alexander D. Lindsay,
Fande Kong
Abstract:
The Multiphysics Object Oriented Simulation Environment (MOOSE) framework is a high-performance, open source, C++ finite element toolkit developed at Idaho National Laboratory. MOOSE was created with the aim of assisting domain scientists and engineers in creating customizable, high-quality tools for multiphysics simulations. While the core MOOSE framework itself does not contain code for simulati…
▽ More
The Multiphysics Object Oriented Simulation Environment (MOOSE) framework is a high-performance, open source, C++ finite element toolkit developed at Idaho National Laboratory. MOOSE was created with the aim of assisting domain scientists and engineers in creating customizable, high-quality tools for multiphysics simulations. While the core MOOSE framework itself does not contain code for simulating any particular physical application, it is distributed with a number of physics "modules" which are tailored to solving e.g. heat conduction, phase field, and solid/fluid mechanics problems. In this report, we describe the basic equations, finite element formulations, software implementation, and regression/verification tests currently available in MOOSE's navier_stokes module for solving the Incompressible Navier-Stokes (INS) equations.
△ Less
Submitted 21 February, 2018; v1 submitted 24 October, 2017;
originally announced October 2017.
-
Berry-Esseen estimates for regenerative processes under weak moment assumptions
Authors:
Xiaoqin Guo,
Jonathon Peterson
Abstract:
We prove Berry-Esseen type rates of convergence for central limit theorems (CLTs) of regenerative processes which generalize previous results of Bolthausen under weaker moment assumptions. We then show how this general result can be applied to obtain rates of convergence for (1) CLTs for additive functionals of positive recurrent Markov chains under certain conditions on the strong mixing coeffici…
▽ More
We prove Berry-Esseen type rates of convergence for central limit theorems (CLTs) of regenerative processes which generalize previous results of Bolthausen under weaker moment assumptions. We then show how this general result can be applied to obtain rates of convergence for (1) CLTs for additive functionals of positive recurrent Markov chains under certain conditions on the strong mixing coefficients, and (2) annealed CLTs for certain ballistic random walks in random environments.
△ Less
Submitted 29 September, 2017; v1 submitted 23 August, 2017;
originally announced August 2017.
-
Upper and Lower Bounds on the Speed of a One Dimensional Excited Random Walk
Authors:
Erin Bossen,
Brian Kidd,
Owen Levin,
Jonathon Peterson,
Jacob Smith,
Kevin Stangl
Abstract:
Excited random walks (ERWs) are a self-interacting non-Markovian random walk in which the future behavior of the walk is influenced by the number of times the walk has previously visited its current site. We study the speed of the walk, defined as $V = \lim_{n \rightarrow \infty} \frac{X_n}{n}$ where $X_n$ is the state of the walk at time $n$. While results exist that indicate when the speed is no…
▽ More
Excited random walks (ERWs) are a self-interacting non-Markovian random walk in which the future behavior of the walk is influenced by the number of times the walk has previously visited its current site. We study the speed of the walk, defined as $V = \lim_{n \rightarrow \infty} \frac{X_n}{n}$ where $X_n$ is the state of the walk at time $n$. While results exist that indicate when the speed is non-zero, there exists no explicit formula for the speed. It is difficult to solve for the speed directly due to complex dependencies in the walk since the next step of the walker depends on how many times the walker has reached the current site. We derive the first non-trivial upper and lower bounds for the speed of the walk. In certain cases these upper and lower bounds are remarkably close together.
△ Less
Submitted 16 November, 2017; v1 submitted 10 July, 2017;
originally announced July 2017.
-
Quenched central limit theorem rates of convergence for one-dimensional random walks in random environments
Authors:
Sung Won Ahn,
Jonathon Peterson
Abstract:
Unlike classical simple random walks, one-dimensional random walks in random environments (RWRE) are known to have a wide array of potential limiting distributions. Under certain assumptions, however, it is known that CLT-like limiting distributions hold for the walk under both the quenched and averaged measures. We give upper bounds on the rates of convergence for the quenched central limit theor…
▽ More
Unlike classical simple random walks, one-dimensional random walks in random environments (RWRE) are known to have a wide array of potential limiting distributions. Under certain assumptions, however, it is known that CLT-like limiting distributions hold for the walk under both the quenched and averaged measures. We give upper bounds on the rates of convergence for the quenched central limit theorems for both the hitting time and position of the RWRE with polynomial rates of convergence that depend on the distribution on environments.
△ Less
Submitted 10 April, 2017;
originally announced April 2017.
-
Hadamard Equiangular Tight Frames
Authors:
Matthew Fickus,
John Jasper,
Dustin G. Mixon,
Jesse D. Peterson
Abstract:
An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. They are often represented as the columns of a short, fat matrix. In certain applications we want this matrix to be flat, that is, have the property that all of its entries have modulus one. In particular, real flat ETFs are equivalent to self-complementary binary codes that achieve the Grey-Rankin bound. So…
▽ More
An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. They are often represented as the columns of a short, fat matrix. In certain applications we want this matrix to be flat, that is, have the property that all of its entries have modulus one. In particular, real flat ETFs are equivalent to self-complementary binary codes that achieve the Grey-Rankin bound. Some flat ETFs are (complex) Hadamard ETFs, meaning they arise by extracting rows from a (complex) Hadamard matrix. These include harmonic ETFs, which are obtained by extracting the rows of a character table that correspond to a difference set in the underlying finite abelian group. In this paper, we give some new results about flat ETFs. One of these results gives an explicit Naimark complement for all Steiner ETFs, which in turn implies that all Kirkman ETFs are possibly-complex Hadamard ETFs. This in particular produces a new infinite family of real flat ETFs. Another result establishes an equivalence between real flat ETFs and certain types of quasi-symmetric designs, resulting in a new infinite family of such designs.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
A $C^1$-continuous finite element formulation for solving the Jeffery-Hamel boundary value problem
Authors:
John W. Peterson,
Roy H. Stogner
Abstract:
The third-order Jeffery-Hamel ODE governing the flow of an incompressible fluid in a two-dimensional wedge is briefly derived, and a C^1 finite element formulation of the equation is developed. This formulation has several advantages, including a natural framework for enforcing the boundary conditions, a numerically efficient solution procedure, and suitability for implementation within well-estab…
▽ More
The third-order Jeffery-Hamel ODE governing the flow of an incompressible fluid in a two-dimensional wedge is briefly derived, and a C^1 finite element formulation of the equation is developed. This formulation has several advantages, including a natural framework for enforcing the boundary conditions, a numerically efficient solution procedure, and suitability for implementation within well-established, open, scientific computing tools. The finite element formulation is shown to be non-coercive, and therefore not ideal for proving existence, uniqueness, or a priori error estimates, but the numerical solutions computed with quartic Hermite elements are nevertheless found to converge to reference solutions at nearly optimal rates (O(h^4) in both L^2 and H^1 norms). Further work is required to better understand the cause of the suboptimal convergence rates, and a linear model problem which exhibits analogous characteristics is also discussed as a possible starting point for future theoretical analyses.
△ Less
Submitted 19 December, 2016;
originally announced December 2016.
-
A probabilistic proof of a binomial identity
Authors:
Jonathon Peterson
Abstract:
We give an elementary probabilistic proof of a binomial identity. The proof is obtained by computing the probability of a certain event in two different ways, yielding two different expressions for the same quantity.
We give an elementary probabilistic proof of a binomial identity. The proof is obtained by computing the probability of a certain event in two different ways, yielding two different expressions for the same quantity.
△ Less
Submitted 10 June, 2016;
originally announced June 2016.
-
Polyphase equiangular tight frames and abelian generalized quadrangles
Authors:
Matthew Fickus,
John Jasper,
Dustin G. Mixon,
Jesse D. Peterson,
Cody E. Watson
Abstract:
An equiangular tight frame (ETF) is a type of optimal packing of lines in a finite-dimensional Hilbert space. ETFs arise in various applications, such as waveform design for wireless communication, compressed sensing, quantum information theory and algebraic coding theory. In a recent paper, signature matrices of ETFs were constructed from abelian distance regular covers of complete graphs. We ext…
▽ More
An equiangular tight frame (ETF) is a type of optimal packing of lines in a finite-dimensional Hilbert space. ETFs arise in various applications, such as waveform design for wireless communication, compressed sensing, quantum information theory and algebraic coding theory. In a recent paper, signature matrices of ETFs were constructed from abelian distance regular covers of complete graphs. We extend this work, constructing ETF synthesis operators from abelian generalized quadrangles, and vice versa. This produces a new infinite family of complex ETFs as well as a new proof of the existence of certain generalized quadrangles. This work involves designing matrices whose entries are polynomials over a finite abelian group. As such, it is related to the concept of a polyphase matrix of a finite filter bank.
△ Less
Submitted 1 July, 2017; v1 submitted 25 April, 2016;
originally announced April 2016.
-
Functional limit laws for recurrent excited random walks with periodic cookie stacks
Authors:
Elena Kosygina,
Jonathon Peterson
Abstract:
We consider one-dimensional excited random walks (ERWs) with periodic cookie stacks in the recurrent regime. We prove functional limit theorems for these walks which extend the previous results of D. Dolgopyat and E. Kosygina for excited random walks with "boundedly many cookies per site." In particular, in the non-boundary recurrent case the rescaled excited random walk converges in the standard…
▽ More
We consider one-dimensional excited random walks (ERWs) with periodic cookie stacks in the recurrent regime. We prove functional limit theorems for these walks which extend the previous results of D. Dolgopyat and E. Kosygina for excited random walks with "boundedly many cookies per site." In particular, in the non-boundary recurrent case the rescaled excited random walk converges in the standard Skorokhod topology to a Brownian motion perturbed at its extrema (BMPE). While BMPE is a natural limiting object for excited random walks with boundedly many cookies per site, it is far from obvious why the same should be true for our model which allows for infinitely many "cookies" at each site. Moreover, a BMPE has two parameters $α,β<1$ and the scaling limits in this paper cover a larger variety of choices for $α$ and $β$ than can be obtained for ERWs with boundedly many cookies per site.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Tremain equiangular tight frames
Authors:
Matthew Fickus,
John Jasper,
Dustin G. Mixon,
Jesse Peterson
Abstract:
Equiangular tight frames provide optimal packings of lines through the origin. We combine Steiner triple systems with Hadamard matrices to produce a new infinite family of equiangular tight frames. This in turn leads to new constructions of strongly regular graphs and distance-regular antipodal covers of the complete graph.
Equiangular tight frames provide optimal packings of lines through the origin. We combine Steiner triple systems with Hadamard matrices to produce a new infinite family of equiangular tight frames. This in turn leads to new constructions of strongly regular graphs and distance-regular antipodal covers of the complete graph.
△ Less
Submitted 28 June, 2017; v1 submitted 10 February, 2016;
originally announced February 2016.
-
Probably certifiably correct k-means clustering
Authors:
Takayuki Iguchi,
Dustin G. Mixon,
Jesse Peterson,
Soledad Villar
Abstract:
Recently, Bandeira [arXiv:1509.00824] introduced a new type of algorithm (the so-called probably certifiably correct algorithm) that combines fast solvers with the optimality certificates provided by convex relaxations. In this paper, we devise such an algorithm for the problem of k-means clustering. First, we prove that Peng and Wei's semidefinite relaxation of k-means is tight with high probabil…
▽ More
Recently, Bandeira [arXiv:1509.00824] introduced a new type of algorithm (the so-called probably certifiably correct algorithm) that combines fast solvers with the optimality certificates provided by convex relaxations. In this paper, we devise such an algorithm for the problem of k-means clustering. First, we prove that Peng and Wei's semidefinite relaxation of k-means is tight with high probability under a distribution of planted clusters called the stochastic ball model. Our proof follows from a new dual certificate for integral solutions of this semidefinite program. Next, we show how to test the optimality of a proposed k-means solution using this dual certificate in quasilinear time. Finally, we analyze a version of spectral clustering from Peng and Wei that is designed to solve k-means in the case of two clusters. In particular, we show that this quasilinear-time method typically recovers planted clusters under the stochastic ball model.
△ Less
Submitted 23 April, 2016; v1 submitted 26 September, 2015;
originally announced September 2015.
-
Equiangular tight frames with centroidal symmetry
Authors:
Matthew Fickus,
John Jasper,
Dustin G. Mixon,
Jesse D. Peterson,
Cody E. Watson
Abstract:
An equiangular tight frame (ETF) is a set of unit vectors whose coherence achieves the Welch bound, and so is as incoherent as possible. Though they arise in many applications, only a few methods for constructing them are known. Motivated by the connection between real ETFs and graph theory, we introduce the notion of ETFs that are symmetric about their centroid. We then discuss how well-known con…
▽ More
An equiangular tight frame (ETF) is a set of unit vectors whose coherence achieves the Welch bound, and so is as incoherent as possible. Though they arise in many applications, only a few methods for constructing them are known. Motivated by the connection between real ETFs and graph theory, we introduce the notion of ETFs that are symmetric about their centroid. We then discuss how well-known constructions, such as harmonic ETFs and Steiner ETFs, can have centroidal symmetry. Finally, we establish a new equivalence between centroid-symmetric real ETFs and certain types of strongly regular graphs (SRGs). Together, these results give the first proof of the existence of certain SRGs, as well as the disproofs of the existence of others.
△ Less
Submitted 20 June, 2016; v1 submitted 14 September, 2015;
originally announced September 2015.
-
Oscillations of quenched slowdown asymptotics for ballistic one-dimensional random walk in a random environment
Authors:
Sung Won Ahn,
Jonathon Peterson
Abstract:
We consider a one dimensional random walk in a random environment (RWRE) with a positive speed $\lim_{n\to\infty}\frac{X_n}{n}=v_α>0$. Gantert and Zeitouni showed that if the environment has both positive and negative local drifts then the quenched slowdown probabilities $P_ω(X_n < xn)$ with $x \in (0,v_α)$ decay approximately like $\exp\{-n^{1-1/s}\}$ for a deterministic $s > 1$. More precisely,…
▽ More
We consider a one dimensional random walk in a random environment (RWRE) with a positive speed $\lim_{n\to\infty}\frac{X_n}{n}=v_α>0$. Gantert and Zeitouni showed that if the environment has both positive and negative local drifts then the quenched slowdown probabilities $P_ω(X_n < xn)$ with $x \in (0,v_α)$ decay approximately like $\exp\{-n^{1-1/s}\}$ for a deterministic $s > 1$. More precisely, they showed that $n^{-γ} \log P_ω( X_n < x n)$ converges to $0$ or $-\infty$ depending on whether $γ> 1-1/s$ or $γ< 1-1/s$. In this paper, we improve on this by showing that $n^{-1+1/s} \log P_ω( X_n < x n)$ oscillates between $0$ and $-\infty$, almost surely. This had previously been shown by Gantert only in a very special case of random environments.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Learning Boolean functions with concentrated spectra
Authors:
Dustin G. Mixon,
Jesse Peterson
Abstract:
This paper discusses the theory and application of learning Boolean functions that are concentrated in the Fourier domain. We first estimate the VC dimension of this function class in order to establish a small sample complexity of learning in this case. Next, we propose a computationally efficient method of empirical risk minimization, and we apply this method to the MNIST database of handwritten…
▽ More
This paper discusses the theory and application of learning Boolean functions that are concentrated in the Fourier domain. We first estimate the VC dimension of this function class in order to establish a small sample complexity of learning in this case. Next, we propose a computationally efficient method of empirical risk minimization, and we apply this method to the MNIST database of handwritten digits. These results demonstrate the effectiveness of our model for modern classification tasks. We conclude with a list of open problems for future investigation.
△ Less
Submitted 15 July, 2015;
originally announced July 2015.
-
Strong transience of one-dimensional random walk in a random environment
Authors:
Jonathon Peterson
Abstract:
A transient stochastic process is considered strongly transient if conditioned on returning to the starting location, the expected time it takes to return the the starting location is finite. We characterize strong transience for a one-dimensional random walk in a random environment. We show that under the quenched measure transience is equivalent to strong transience, while under the averaged mea…
▽ More
A transient stochastic process is considered strongly transient if conditioned on returning to the starting location, the expected time it takes to return the the starting location is finite. We characterize strong transience for a one-dimensional random walk in a random environment. We show that under the quenched measure transience is equivalent to strong transience, while under the averaged measure strong transience is equivalent to ballisticity (transience with non-zero limiting speed).
△ Less
Submitted 10 June, 2016; v1 submitted 9 June, 2015;
originally announced June 2015.
-
On the tightness of an SDP relaxation of k-means
Authors:
Takayuki Iguchi,
Dustin G. Mixon,
Jesse Peterson,
Soledad Villar
Abstract:
Recently, Awasthi et al. introduced an SDP relaxation of the $k$-means problem in $\mathbb R^m$. In this work, we consider a random model for the data points in which $k$ balls of unit radius are deterministically distributed throughout $\mathbb R^m$, and then in each ball, $n$ points are drawn according to a common rotationally invariant probability distribution. For any fixed ball configuration…
▽ More
Recently, Awasthi et al. introduced an SDP relaxation of the $k$-means problem in $\mathbb R^m$. In this work, we consider a random model for the data points in which $k$ balls of unit radius are deterministically distributed throughout $\mathbb R^m$, and then in each ball, $n$ points are drawn according to a common rotationally invariant probability distribution. For any fixed ball configuration and probability distribution, we prove that the SDP relaxation of the $k$-means problem exactly recovers these planted clusters with probability $1-e^{-Ω(n)}$ provided the distance between any two of the ball centers is $>2+ε$, where $ε$ is an explicit function of the configuration of the ball centers, and can be arbitrarily small when $m$ is large.
△ Less
Submitted 18 May, 2015;
originally announced May 2015.
-
Excited random walks with Markovian cookie stacks
Authors:
Elena Kosygina,
Jonathon Peterson
Abstract:
We consider a nearest-neighbor random walk on $\mathbb{Z}$ whose probability $ω_x(j)$ to jump to the right from site $x$ depends not only on $x$ but also on the number of prior visits $j$ to $x$. The collection $(ω_x(j))_{x\in\mathbb{Z},n\ge 0}$ is sometimes called the "cookie environment" due to the following informal interpretation. Upon each visit to a site the walker eats a cookie from the coo…
▽ More
We consider a nearest-neighbor random walk on $\mathbb{Z}$ whose probability $ω_x(j)$ to jump to the right from site $x$ depends not only on $x$ but also on the number of prior visits $j$ to $x$. The collection $(ω_x(j))_{x\in\mathbb{Z},n\ge 0}$ is sometimes called the "cookie environment" due to the following informal interpretation. Upon each visit to a site the walker eats a cookie from the cookie stack at that site and chooses the transition probabilities according to the "strength" of the cookie eaten. We assume that the cookie stacks are i.i.d. and that the cookie "strengths" within the stack $(ω_x(j))_{j\ge 0}$ at site $x$ follow a finite state Markov chain. Thus, the environment at each site is dynamic, but it evolves according to the local time of the walk at each site rather than the original random walk time.
The model admits two different regimes, critical or non-critical, depending on whether the expected probability to jump to the right (or left) under the invariant measure for the Markov chain is equal to $1/2$ or not. We show that in the non-critical regime the walk is always transient, has non-zero linear speed, and satisfies the classical central limit theorem. The critical regime allows for a much more diverse behavior. We give necessary and sufficient conditions for recurrence/transience and ballisticity of the walk in the critical regime as well as a complete characterization of limit laws under the averaged measure in the transient case.
The setting considered in this paper generalizes the previously studied model with periodic cookie stacks. Our results on ballisticity and limit theorems are new even for the periodic model.
△ Less
Submitted 15 April, 2016; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Excited random walks with non-nearest neighbor steps
Authors:
Burgess Davis,
Jonathon Peterson
Abstract:
Let $W$ be an integer valued random variable satisfying $E[W] =: δ\geq 0$ and $P(W<0)>0$, and consider a self-interacting random walk that behaves like a simple symmetric random walk with the exception that on the first visit to any integer $x\in \mathbb{Z}$ the size of the next step is an independent random variable with the same distribution as $W$. We show that this self-interacting random walk…
▽ More
Let $W$ be an integer valued random variable satisfying $E[W] =: δ\geq 0$ and $P(W<0)>0$, and consider a self-interacting random walk that behaves like a simple symmetric random walk with the exception that on the first visit to any integer $x\in \mathbb{Z}$ the size of the next step is an independent random variable with the same distribution as $W$. We show that this self-interacting random walk is recurrent if $δ\leq 1$ and transient if $δ>1$. This is a special case of our main result which concerns the recurrence and transience of excited random walks (or cookie random walks) with non-nearest neighbor jumps.
△ Less
Submitted 10 June, 2016; v1 submitted 20 April, 2015;
originally announced April 2015.
-
Exploitation of Heterogeneity in Distributed Sensing
Authors:
John Daniel Peterson,
Tansel Yucelen,
Girish Chowdhary,
Suresh Kannan
Abstract:
Most distributed sensing methods assume that the expected value of sensed information is same for all agents ignoring differences in sensor capabilities due to, for example, environmental factors and sensors quality and condition. In this paper, we present a distributed sensing framework to exploit heterogeneity in information provided about a dynamic environment using an active-passive networked…
▽ More
Most distributed sensing methods assume that the expected value of sensed information is same for all agents ignoring differences in sensor capabilities due to, for example, environmental factors and sensors quality and condition. In this paper, we present a distributed sensing framework to exploit heterogeneity in information provided about a dynamic environment using an active-passive networked multiagent systems approach. Specifically, this approach consists of agents subject to exogenous inputs (active agents) and agents without any inputs (passive agents). In addition, if an active agent senses a quantity accurately (resp., not accurately), then it is weighted high (resp., low) in the network such that these weights can be a function of time due to varying environmental factors. The key feature of our approach is that the states of all agents converge to an adjustable neighborhood of the weighted average of the sensed exogenous inputs by the active agents.
△ Less
Submitted 18 February, 2015;
originally announced February 2015.
-
Control of Networked Multiagent Systems with Uncertain Graph Topologies
Authors:
Tansel Yucelen,
John Daniel Peterson,
Kevin L. Moore
Abstract:
Multiagent systems consist of agents that locally exchange information through a physical network subject to a graph topology. Current control methods for networked multiagent systems assume the knowledge of graph topologies in order to design distributed control laws for achieving desired global system behaviors. However, this assumption may not be valid for situations where graph topologies are…
▽ More
Multiagent systems consist of agents that locally exchange information through a physical network subject to a graph topology. Current control methods for networked multiagent systems assume the knowledge of graph topologies in order to design distributed control laws for achieving desired global system behaviors. However, this assumption may not be valid for situations where graph topologies are subject to uncertainties either due to changes in the physical network or the presence of modeling errors especially for multiagent systems involving a large number of interacting agents. Motivating from this standpoint, this paper studies distributed control of networked multiagent systems with uncertain graph topologies. The proposed framework involves a controller architecture that has an ability to adapt its feed- back gains in response to system variations. Specifically, we analytically show that the proposed controller drives the trajectories of a networked multiagent system subject to a graph topology with time-varying uncertainties to a close neighborhood of the trajectories of a given reference model having a desired graph topology. As a special case, we also show that a networked multi-agent system subject to a graph topology with constant uncertainties asymptotically converges to the trajectories of a given reference model. Although the main result of this paper is presented in the context of average consensus problem, the proposed framework can be used for many other problems related to networked multiagent systems with uncertain graph topologies.
△ Less
Submitted 14 January, 2015;
originally announced January 2015.
-
Hydrodynamic limit for a system of independent, sub-ballistic random walks in a common random environment
Authors:
Milton Jara,
Jonathon Peterson
Abstract:
We consider a system of independent random walks in a common random environment. Previously, a hydrodynamic limit for the system of RWRE was proved under the assumption that the random walks were transient with positive speed. In this paper we instead consider the case where the random walks are transient but with a sublinear speed of the order $n^κ$ for some $κ\in (0,1)$ and prove a quenched hydr…
▽ More
We consider a system of independent random walks in a common random environment. Previously, a hydrodynamic limit for the system of RWRE was proved under the assumption that the random walks were transient with positive speed. In this paper we instead consider the case where the random walks are transient but with a sublinear speed of the order $n^κ$ for some $κ\in (0,1)$ and prove a quenched hydrodynamic limit for the system of random walks with time scaled by $n^{1/κ}$ and space scaled by $n$. The most interesting feature of the hydrodynamic limit is that the influence of the environment does not average out under the hydrodynamic scaling; that is, the asymptotic particle density depends on the specific environment chosen. The hydrodynamic limit for the system of RWRE is obtained by first proving a hydrodynamic limit for a system of independent particles in a directed trap environment.
△ Less
Submitted 10 June, 2016; v1 submitted 17 October, 2014;
originally announced October 2014.
-
Extreme slowdowns for one-dimensional excited random walks
Authors:
Jonathon Peterson
Abstract:
We study the asymptotics of the probabilities of extreme slowdown events for transient one-dimensional excited random walks. That is, if $\{X_n\}_{n\geq 0}$ is a transient one-dimensional excited random walk and $T_n = \min\{ k: \, X_k = n\}$, we study the asymptotics of probabilities of the form $P(X_n \leq n^γ)$ and $P(T_{n^γ} \geq n )$ with $γ< 1$. We show that there is an interesting change in…
▽ More
We study the asymptotics of the probabilities of extreme slowdown events for transient one-dimensional excited random walks. That is, if $\{X_n\}_{n\geq 0}$ is a transient one-dimensional excited random walk and $T_n = \min\{ k: \, X_k = n\}$, we study the asymptotics of probabilities of the form $P(X_n \leq n^γ)$ and $P(T_{n^γ} \geq n )$ with $γ< 1$. We show that there is an interesting change in the rate of decay of these extreme slowdown probabilities when $γ< 1/2$.
△ Less
Submitted 10 June, 2016; v1 submitted 17 December, 2013;
originally announced December 2013.
-
Ergodicity of principal algebraic group actions
Authors:
Hanfeng Li,
Jesse Peterson,
Klaus Schmidt
Abstract:
An \textit{algebraic} action of a discrete group $Γ$ is a homomorphism from $Γ$ to the group of continuous automorphisms of a compact abelian group $X$. By duality, such an action of $Γ$ is determined by a module $M=\widehat{X}$ over the integer group ring $\mathbb{Z}Γ$ of $Γ$. The simplest examples of such modules are of the form $M=\mathbb{Z}Γ/\mathbb{Z}Γf$ with $f\in \mathbb{Z}Γ$; the correspon…
▽ More
An \textit{algebraic} action of a discrete group $Γ$ is a homomorphism from $Γ$ to the group of continuous automorphisms of a compact abelian group $X$. By duality, such an action of $Γ$ is determined by a module $M=\widehat{X}$ over the integer group ring $\mathbb{Z}Γ$ of $Γ$. The simplest examples of such modules are of the form $M=\mathbb{Z}Γ/\mathbb{Z}Γf$ with $f\in \mathbb{Z}Γ$; the corresponding algebraic action is the \textit{principal algebraic $Γ$-action} $α_f$ defined by $f$.
In this note we prove the following extensions of results by Hayes \cite{Hayes} on ergodicity of principal algebraic actions: If $Γ$ is a countably infinite discrete group which is not virtually cyclic, and if $f\in\mathbb{Z}Γ$ satisfies that right multiplication by $f$ on $\ell ^2(Γ,\mathbb{R})$ is injective, then the principal $Γ$-action $α_f$ is ergodic (Theorem \ref{t:ergodic2}). If $Γ$ contains a finitely generated subgroup with a single end (e.g. a finitely generated amenable subgroup which is not virtually cyclic), or an infinite nonamenable subgroup with vanishing first $\ell ^2$-Betti number (e.g., an infinite property $T$ subgroup), the injectivity condition on $f$ can be replaced by the weaker hypothesis that $f$ is not a right zero-divisor in $\mathbb{Z}Γ$ (Theorem \ref{t:ergodic1}). Finally, if $Γ$ is torsion-free, not virtually cyclic, and satisfies Linnell's \textit{analytic zero-divisor conjecture}, then $α_f$ is ergodic for every $f\in \mathbb{Z}Γ$ (Remark \ref{r:analytic zero divisor}).
△ Less
Submitted 11 December, 2013;
originally announced December 2013.
-
Character rigidity for lattices and commensurators
Authors:
Darren Creutz,
Jesse Peterson
Abstract:
We prove an operator algebraic superrigidity statement for homomorphisms of irreducible lattices, and also their commensurators, in certain higher-rank groups into unitary groups of finite factors. This extends the authors' previous work regarding non-free measure-preserving actions, and also answers a question of Connes for such groups.
We prove an operator algebraic superrigidity statement for homomorphisms of irreducible lattices, and also their commensurators, in certain higher-rank groups into unitary groups of finite factors. This extends the authors' previous work regarding non-free measure-preserving actions, and also answers a question of Connes for such groups.
△ Less
Submitted 21 March, 2022; v1 submitted 18 November, 2013;
originally announced November 2013.
-
Phase Retrieval By Projections
Authors:
Jameson Cahill,
Peter G. Casazza,
Jesse Peterson,
Lindsey Woodland
Abstract:
The problem of recovering a vector from the absolute values of its inner products against a family of measurement vectors has been well studied in mathematics and engineering. A generalization of this phase retrieval problem also exists in engineering: recovering a vector from measurements consisting of norms of its orthogonal projections onto a family of subspaces. There exist semidefinite progra…
▽ More
The problem of recovering a vector from the absolute values of its inner products against a family of measurement vectors has been well studied in mathematics and engineering. A generalization of this phase retrieval problem also exists in engineering: recovering a vector from measurements consisting of norms of its orthogonal projections onto a family of subspaces. There exist semidefinite programming algorithms to solve this problem, but much remains unknown for this more general case. Can families of subspaces for which such measurements are injective be completely classified? What is the minimal number of subspaces required to have injectivity? How closely does this problem compare to the usual phase retrieval problem with families of measurement vectors? In this paper, we answer or make incremental steps toward these questions. We provide several characterizations of subspaces which yield injective measurements, and through a concrete construction, we prove the surprising result that phase retrieval can be achieved with $2M-1$ projections of arbitrary rank in $\HH_M$.
Finally we present several open problems as we discuss issues unique to the phase retrieval problem with subspaces.
△ Less
Submitted 18 July, 2013; v1 submitted 27 May, 2013;
originally announced May 2013.
-
Character rigidity for special linear groups
Authors:
Jesse Peterson,
Andreas Thom
Abstract:
In this paper we study characters on special linear groups SL_n(R), where R is either an infinite field or the localization of an order in a number field. We give several applications to the theory of measure preserving actions, operator-algebraic superrigidity, and almost homomorphisms.
In this paper we study characters on special linear groups SL_n(R), where R is either an infinite field or the localization of an order in a number field. We give several applications to the theory of measure preserving actions, operator-algebraic superrigidity, and almost homomorphisms.
△ Less
Submitted 4 February, 2014; v1 submitted 16 March, 2013;
originally announced March 2013.
-
Stabilizers of Ergodic Actions of Lattices and Commensurators
Authors:
Darren Creutz,
Jesse Peterson
Abstract:
We prove that any ergodic measure-preserving action of an irreducible lattice in a semisimple group, with finite center and each simple factor having rank at least two, either has finite orbits or has finite stabilizers. The same dichotomy holds for many commensurators of such lattices.
The above are derived from more general results on groups with the Howe-Moore property and property $(T)$. We…
▽ More
We prove that any ergodic measure-preserving action of an irreducible lattice in a semisimple group, with finite center and each simple factor having rank at least two, either has finite orbits or has finite stabilizers. The same dichotomy holds for many commensurators of such lattices.
The above are derived from more general results on groups with the Howe-Moore property and property $(T)$. We prove similar results for commensurators in such groups and for irreducible lattices (and commensurators) in products of at least two such groups, at least one of which is totally disconnected.
△ Less
Submitted 6 August, 2015; v1 submitted 16 March, 2013;
originally announced March 2013.
-
Large deviations for random walks in a random environment on a strip
Authors:
Jonathon Peterson
Abstract:
We consider a random walk in a random environment (RWRE) on the strip of finite width $\mathbb{Z} \times \{1,2,\ldots,d\}$. We prove both quenched and averaged large deviation principles for the position and the hitting times of the RWRE. Moreover, we prove a variational formula that relates the quenched and averaged rate functions, thus extending a result of Comets, Gantert, and Zeitouni for near…
▽ More
We consider a random walk in a random environment (RWRE) on the strip of finite width $\mathbb{Z} \times \{1,2,\ldots,d\}$. We prove both quenched and averaged large deviation principles for the position and the hitting times of the RWRE. Moreover, we prove a variational formula that relates the quenched and averaged rate functions, thus extending a result of Comets, Gantert, and Zeitouni for nearest-neighbor RWRE on $\mathbb{Z}$
△ Less
Submitted 17 June, 2016; v1 submitted 4 February, 2013;
originally announced February 2013.
-
Strict monotonicity properties in one-dimensional excited random walks
Authors:
Jonathon Peterson
Abstract:
We consider one-dimensional excited random walks with finitely many cookies at each site. There are certain natural monotonicity results that are known for the excited random walk under some partial orderings of the cookie environments. We improve these monotonicity results to be strictly monotone under a partial ordering of cookie environments introduced by Holmes and Salisbury. While the self-in…
▽ More
We consider one-dimensional excited random walks with finitely many cookies at each site. There are certain natural monotonicity results that are known for the excited random walk under some partial orderings of the cookie environments. We improve these monotonicity results to be strictly monotone under a partial ordering of cookie environments introduced by Holmes and Salisbury. While the self-interacting nature of the excited random walk makes a direct coupling proof difficult, we show that there is a very natural coupling of the associated branching process from which the monotonicity results follow.
△ Less
Submitted 10 June, 2016; v1 submitted 16 October, 2012;
originally announced October 2012.
