-
Constructing monads from cubical diagrams and homotopy colimits
Authors:
Kristine Bauer,
Robyn Brooks,
Kathryn Hess,
Brenda Johnson,
Julie Rasmusen,
Bridget Schreiner
Abstract:
This paper is the first step in a general program for defining cocalculus towers of functors via sequences of compatible monads. Goodwillie's calculus of homotopy functors inspired many new functor calculi in a wide range of contexts in algebra, homotopy theory and geometric topology. Recently, the third and fourth authors have developed a general program for constructing generalized calculi from…
▽ More
This paper is the first step in a general program for defining cocalculus towers of functors via sequences of compatible monads. Goodwillie's calculus of homotopy functors inspired many new functor calculi in a wide range of contexts in algebra, homotopy theory and geometric topology. Recently, the third and fourth authors have developed a general program for constructing generalized calculi from sequences of compatible comonads. In this paper, we dualize the first step of the Hess-Johnson program, focusing on monads rather than comonads. We consider categories equipped with an action of the poset category $\mathcal{P}(n)$, called $\mathcal{P}(n)$-modules. We exhibit a functor from $\mathcal{P}(n)$-modules to the category of monads. The resulting monads act on categories of functors whose codomain is equipped with a suitable notion of homotopy colimits. In the final section of the paper, we demonstrate the monads used to construct McCarthy's dual calculus as an example of a monad arising from a $\mathcal{P}(n)$-module. This confirms that our dualization of the Hess-Johnson program generalizes McCarthy's dual calculus, and serves as a proof of concept for further development of this program.
△ Less
Submitted 3 March, 2024;
originally announced March 2024.
-
Approximate identities for Ideals in $L(L^p))$
Authors:
William B. Johnson,
Gideon Schechtman
Abstract:
The main result is that the only non trivial closed ideal in the Banach algebra $L(L^p)$ of bounded linear operators on $L^p(0,1)$, $1\le p < \infty$, that has a left approximate identity is the ideal of compact operators. The algebra $L(L^1)$ has at least one non trivial closed ideal that has a contractive right approximate identity as well as many, including the unique maximal ideal, that do not…
▽ More
The main result is that the only non trivial closed ideal in the Banach algebra $L(L^p)$ of bounded linear operators on $L^p(0,1)$, $1\le p < \infty$, that has a left approximate identity is the ideal of compact operators. The algebra $L(L^1)$ has at least one non trivial closed ideal that has a contractive right approximate identity as well as many, including the unique maximal ideal, that do not have a right approximate identity.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Stability of the À Trous Algorithm Under Iteration
Authors:
Brody Johnson,
Simon McCreary-Ellis
Abstract:
This paper examines the stability of the à trous algorithm under arbitrary iteration in the context of a more general study of shift-invariant filter banks. The main results describe sufficient conditions on the associated filters under which an infinitely iterated shift-invariant filter bank is stable. Moreover, it is shown that the stability of an infinitely iterated shift-invariant filter bank…
▽ More
This paper examines the stability of the à trous algorithm under arbitrary iteration in the context of a more general study of shift-invariant filter banks. The main results describe sufficient conditions on the associated filters under which an infinitely iterated shift-invariant filter bank is stable. Moreover, it is shown that the stability of an infinitely iterated shift-invariant filter bank guarantees that of any associated finitely iterated shift-invariant filter bank, with uniform bounds. The reverse implication is shown to hold under an additional assumption on the low-pass filter. Finally, it is also shown that the separable product of stable one-dimensional shift-invariant filter banks produces a stable two-dimensional shift-invariant filter bank.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
Declip** and the recovery of vectors from saturated measurements
Authors:
Wedad Alharbi,
Daniel Freeman,
Dorsa Ghoreishi,
Brody Johnson,
N. Lovasoa Randrianarivony
Abstract:
A frame $(x_j)_{j\in J}$ for a Hilbert space $H$ allows for a linear and stable reconstruction of any vector $x\in H$ from the linear measurements $(\langle x,x_j\rangle)_{j\in J}$. However, there are many situations where some information in the frame coefficients is lost. In applications where one is using sensors with a fixed dynamic range, any measurement above that range is registered as the…
▽ More
A frame $(x_j)_{j\in J}$ for a Hilbert space $H$ allows for a linear and stable reconstruction of any vector $x\in H$ from the linear measurements $(\langle x,x_j\rangle)_{j\in J}$. However, there are many situations where some information in the frame coefficients is lost. In applications where one is using sensors with a fixed dynamic range, any measurement above that range is registered as the maximum, and any measurement below that range is registered as the minimum. Depending on the context, recovering a vector from such measurements is called either declip** or saturation recovery. We initiate a frame theoretic approach to saturation recovery in a similar way to what [BCE06] did for phase retrieval. We characterize when saturation recovery is possible, show optimal frames for use with saturation recovery correspond to minimal multi-fold packings in projective space, and prove that the classical frame algorithm may be adapted to this non-linear problem to provide a reconstruction algorithm.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Rigidity of Kantorovich solutions in discrete Optimal Transport
Authors:
Alexander Bruce Johnson,
Stefan Steinerberger
Abstract:
We study optimal transport plans from $m$ equally weighted points (with weights $1/m$) to $n$ equally weighted points (with weights $1/n$). The Birkhoff-von Neumann Theorem implies that if $m=n$, then the optimal transport plan can be realized by a bijective map: the mass from each $x_i$ is sent to a unique $y_j$. This is impossible when $m \neq n$, however, a certain degree of rigidity prevails.…
▽ More
We study optimal transport plans from $m$ equally weighted points (with weights $1/m$) to $n$ equally weighted points (with weights $1/n$). The Birkhoff-von Neumann Theorem implies that if $m=n$, then the optimal transport plan can be realized by a bijective map: the mass from each $x_i$ is sent to a unique $y_j$. This is impossible when $m \neq n$, however, a certain degree of rigidity prevails. We prove, assuming w.l.o.g. $m < n$, that for generic transport costs the optimal transport plan sends mass from each source $x_i$ to $n/m \leq \mbox{different targets} \leq n/m + m-1$. Moreover, the average target receives mass from $\leq 1 + m/\sqrt{n}$ sources. Stronger results might be true: in experiments, one observes that each source tends to distribute its mass over roughly $n/m +c$ different targets where $c$ appears to be rather small.
△ Less
Submitted 6 December, 2023; v1 submitted 30 November, 2023;
originally announced November 2023.
-
Improving Computational Efficiency for Powered Descent Guidance via Transformer-based Tight Constraint Prediction
Authors:
Julia Briden,
Trey Gurga,
Breanna Johnson,
Abhishek Cauligi,
Richard Linares
Abstract:
In this work, we present Transformer-based Powered Descent Guidance (T-PDG), a scalable algorithm for reducing the computational complexity of the direct optimization formulation of the spacecraft powered descent guidance problem. T-PDG uses data from prior runs of trajectory optimization algorithms to train a transformer neural network, which accurately predicts the relationship between problem p…
▽ More
In this work, we present Transformer-based Powered Descent Guidance (T-PDG), a scalable algorithm for reducing the computational complexity of the direct optimization formulation of the spacecraft powered descent guidance problem. T-PDG uses data from prior runs of trajectory optimization algorithms to train a transformer neural network, which accurately predicts the relationship between problem parameters and the globally optimal solution for the powered descent guidance problem. The solution is encoded as the set of tight constraints corresponding to the constrained minimum-cost trajectory and the optimal final time of landing. By leveraging the attention mechanism of transformer neural networks, large sequences of time series data can be accurately predicted when given only the spacecraft state and landing site parameters. When applied to the real problem of Mars powered descent guidance, T-PDG reduces the time for computing the 3 degree of freedom fuel-optimal trajectory, when compared to lossless convexification, from an order of 1-8 seconds to less than 500 milliseconds. A safe and optimal solution is guaranteed by including a feasibility check in T-PDG before returning the final trajectory.
△ Less
Submitted 11 December, 2023; v1 submitted 8 November, 2023;
originally announced November 2023.
-
Nonparametric estimation of a covariate-adjusted counterfactual treatment regimen response curve
Authors:
Ashkan Ertefaie,
Luke Duttweiler,
Brent A. Johnson,
Mark J. van der Laan
Abstract:
Flexible estimation of the mean outcome under a treatment regimen (i.e., value function) is the key step toward personalized medicine. We define our target parameter as a conditional value function given a set of baseline covariates which we refer to as a stratum based value function. We focus on semiparametric class of decision rules and propose a sieve based nonparametric covariate adjusted regi…
▽ More
Flexible estimation of the mean outcome under a treatment regimen (i.e., value function) is the key step toward personalized medicine. We define our target parameter as a conditional value function given a set of baseline covariates which we refer to as a stratum based value function. We focus on semiparametric class of decision rules and propose a sieve based nonparametric covariate adjusted regimen-response curve estimator within that class. Our work contributes in several ways. First, we propose an inverse probability weighted nonparametrically efficient estimator of the smoothed regimen-response curve function. We show that asymptotic linearity is achieved when the nuisance functions are undersmoothed sufficiently. Asymptotic and finite sample criteria for undersmoothing are proposed. Second, using Gaussian process theory, we propose simultaneous confidence intervals for the smoothed regimen-response curve function. Third, we provide consistency and convergence rate for the optimizer of the regimen-response curve estimator; this enables us to estimate an optimal semiparametric rule. The latter is important as the optimizer corresponds with the optimal dynamic treatment regimen. Some finite-sample properties are explored with simulations.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Gotta match 'em all: Solution diversification in graph matching matched filters
Authors:
Zhirui Li,
Ben Johnson,
Daniel L. Sussman,
Carey E. Priebe,
Vince Lyzinski
Abstract:
We present a novel approach for finding multiple noisily embedded template graphs in a very large background graph. Our method builds upon the graph-matching-matched-filter technique proposed in Sussman et al., with the discovery of multiple diverse matchings being achieved by iteratively penalizing a suitable node-pair similarity matrix in the matched filter algorithm. In addition, we propose alg…
▽ More
We present a novel approach for finding multiple noisily embedded template graphs in a very large background graph. Our method builds upon the graph-matching-matched-filter technique proposed in Sussman et al., with the discovery of multiple diverse matchings being achieved by iteratively penalizing a suitable node-pair similarity matrix in the matched filter algorithm. In addition, we propose algorithmic speed-ups that greatly enhance the scalability of our matched-filter approach. We present theoretical justification of our methodology in the setting of correlated Erdos-Renyi graphs, showing its ability to sequentially discover multiple templates under mild model conditions. We additionally demonstrate our method's utility via extensive experiments both using simulated models and real-world dataset, include human brain connectomes and a large transactional knowledge base.
△ Less
Submitted 4 July, 2024; v1 submitted 25 August, 2023;
originally announced August 2023.
-
Cofibrantly generated model structures for functor calculus
Authors:
Lauren Bandklayder,
Julia E. Bergner,
Rhiannon Griffiths,
Brenda Johnson,
Rekha Santhanam
Abstract:
Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this approach are cofibrantly generated. Our examples recover the homotopy functor and $n$-excisive model structures of Biedermann and Röndigs, with different proofs, bu…
▽ More
Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this approach are cofibrantly generated. Our examples recover the homotopy functor and $n$-excisive model structures of Biedermann and Röndigs, with different proofs, but also include a model structure for the discrete functor calculus of Bauer, Johnson, and McCarthy.
△ Less
Submitted 23 February, 2024; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Stability of iterated dyadic filter banks
Authors:
Marcin Bownik,
Brody Johnson,
Simon McCreary-Ellis
Abstract:
This paper examines the frame properties of finitely and infinitely iterated dyadic filter banks. It is shown that the stability of an infinitely iterated dyadic filter bank guarantees that of any associated finitely iterated dyadic filter bank with uniform bounds. Conditions under which the stability of finitely iterated dyadic filter banks with uniform bounds implies that of the infinitely itera…
▽ More
This paper examines the frame properties of finitely and infinitely iterated dyadic filter banks. It is shown that the stability of an infinitely iterated dyadic filter bank guarantees that of any associated finitely iterated dyadic filter bank with uniform bounds. Conditions under which the stability of finitely iterated dyadic filter banks with uniform bounds implies that of the infinitely iterated dyadic filter bank are also given. The main result describes a sufficient condition under which the infinitely iterated dyadic filter bank associated with a specific class of finitely supported filters is stable.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Stochastic Entry Guidance
Authors:
Jack Ridderhof,
Panagiotis Tsiotras,
Breanna J. Johnson
Abstract:
In this paper, closed-loop entry guidance in a randomly perturbed atmosphere, using bank angle control, is posed as a stochastic optimal control problem. The entry trajectory, as well as the closed-loop controls, are both modeled as random processes with statistics determined by the entry dynamics, the entry guidance, and the probabilistic structure of altitude-dependent atmospheric density variat…
▽ More
In this paper, closed-loop entry guidance in a randomly perturbed atmosphere, using bank angle control, is posed as a stochastic optimal control problem. The entry trajectory, as well as the closed-loop controls, are both modeled as random processes with statistics determined by the entry dynamics, the entry guidance, and the probabilistic structure of altitude-dependent atmospheric density variations. The entry guidance, which is parameterized as a sequence of linear feedback gains, is designed to steer the probability distribution of the entry trajectories while satisfying bounds on the allowable control inputs and on the maximum allowable state errors. Numerical simulations of a Mars entry scenario demonstrate improved range targeting performance with approximately 50% lower 1st and 99th percentile final range errors when using the developed stochastic guidance scheme as compared to the existing Apollo final phase algorithm.
△ Less
Submitted 17 January, 2022; v1 submitted 8 March, 2021;
originally announced March 2021.
-
The SHAI property for the operators on L^p
Authors:
William B. Johnson,
N. Christopher Phillips,
Gideon Schechtman
Abstract:
A Banach space X has the SHAI (surjective homomorphisms are injective) property provided that for every Banach space Y, every continuous surjective algebra homomorphism from the bounded linear operators on X onto the bounded linear operators on Y is injective. The main result gives a sufficient condition for X to have the SHAI property. The condition is satisfied for L^p (0, 1) for 1 < p < \infty,…
▽ More
A Banach space X has the SHAI (surjective homomorphisms are injective) property provided that for every Banach space Y, every continuous surjective algebra homomorphism from the bounded linear operators on X onto the bounded linear operators on Y is injective. The main result gives a sufficient condition for X to have the SHAI property. The condition is satisfied for L^p (0, 1) for 1 < p < \infty, spaces with symmetric bases that have finite cotype, and the Schatten p-spaces for 1 < p < \infty.
△ Less
Submitted 7 February, 2021;
originally announced February 2021.
-
Mining the Mind: Linear Discriminant Analysis of MEG source reconstruction time series supports dynamic changes in deep brain regions during meditation sessions
Authors:
D. Calvetti,
B. Johnson,
A. Pascarella,
F. Pitolli,
E. Somersalo,
B. Vantaggi
Abstract:
Meditation practices have been claimed to have a positive effect on the regulation of mood and emotion for quite some time by practitioners, and in recent times there has been a sustained effort to provide a more precise description of the changes induced by meditation on human brain. Longitudinal studies have reported morphological changes in cortical thickness and volume in selected brain region…
▽ More
Meditation practices have been claimed to have a positive effect on the regulation of mood and emotion for quite some time by practitioners, and in recent times there has been a sustained effort to provide a more precise description of the changes induced by meditation on human brain. Longitudinal studies have reported morphological changes in cortical thickness and volume in selected brain regions due to meditation practice, which is interpreted as evidence for effectiveness of it beyond the subjective self reporting. Evidence based on real time monitoring of meditating brain by functional imaging modalities such as MEG or EEG remains a challenge. In this article we consider MEG data collected during meditation sessions of experienced Buddhist monks practicing focused attention (Samatha) and open monitoring (Vipassana) meditation, contrasted by resting state with eyes closed. The MEG data is first mapped to time series of brain activity averaged over brain regions corresponding to a standard Destrieux brain atlas, and further by bootstrap** and spectral analysis to data matrices representing a random sample of power spectral densities over bandwidths corresponding to $α$, $β$, $γ$, and $θ$ bands in the spectral range. We demonstrate using linear discriminant analysis (LDA) that the samples corresponding to different meditative or resting states contain enough fingerprints of the brain state to allow a separation between different states, and we identify the brain regions that appear to contribute to the separation. Our findings suggest that cingulate cortex, insular cortex and some of the internal structures, most notably accumbens, caudate and putamen nuclei, thalamus and amygdalae stand out as separating regions, which seems to correlate well with earlier findings based on longitudinal studies.
△ Less
Submitted 29 January, 2021;
originally announced January 2021.
-
Laplacian pretty good fractional revival
Authors:
Ada Chan,
Bobae Johnson,
Mengzhen Liu,
Malena Schmidt,
Zhanghan Yin,
Hanmeng Zhan
Abstract:
We develop the theory of pretty good fractional revival in quantum walks on graphs using their Laplacian matrices as the Hamiltonian. We classify the paths and the double stars that have Laplacian pretty good fractional revival.
We develop the theory of pretty good fractional revival in quantum walks on graphs using their Laplacian matrices as the Hamiltonian. We classify the paths and the double stars that have Laplacian pretty good fractional revival.
△ Less
Submitted 16 September, 2022; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Laplacian Fractional Revival on Graphs
Authors:
Ada Chan,
Bobae Johnson,
Mengzhen Liu,
Malena Schmidt,
Zhanghan Yin,
Hanmeng Zhan
Abstract:
We develop the theory of fractional revival in the quantum walk on a graph using its Laplacian matrix as the Hamiltonian. We first give a spectral characterization of Laplacian fractional revival, which leads to a polynomial time algorithm to check this phenomenon and find the earliest time when it occurs. We then apply the characterization theorem to special families of graphs. In particular, we…
▽ More
We develop the theory of fractional revival in the quantum walk on a graph using its Laplacian matrix as the Hamiltonian. We first give a spectral characterization of Laplacian fractional revival, which leads to a polynomial time algorithm to check this phenomenon and find the earliest time when it occurs. We then apply the characterization theorem to special families of graphs. In particular, we show that no tree admits Laplacian fractional revival except for the paths on two and three vertices, and the only graphs on a prime number of vertices that admit Laplacian fractional revival are double cones. Finally, we construct, through Cartesian products and joins, several infinite families of graphs that admit Laplacian fractional revival; some of these graphs exhibit polygamous fractional revival.
△ Less
Submitted 20 October, 2020;
originally announced October 2020.
-
Merge trees in discrete Morse theory
Authors:
Benjamin Johnson,
Nicholas A. Scoville
Abstract:
In this paper, we study merge trees induced by a discrete Morse function on a tree. Given a discrete Morse function, we provide a method to constructing an induced merge tree and define a new notion of equivalence of discrete Morse functions based on the induced merge tree. We then relate the matching number of a tree to a certain invariant of the induced merge tree. Finally, we count the number o…
▽ More
In this paper, we study merge trees induced by a discrete Morse function on a tree. Given a discrete Morse function, we provide a method to constructing an induced merge tree and define a new notion of equivalence of discrete Morse functions based on the induced merge tree. We then relate the matching number of a tree to a certain invariant of the induced merge tree. Finally, we count the number of merge trees that can be induced on a star graph and characterize the induced merge tree.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
The number of closed ideals in $L(L_p)$
Authors:
William B. Johnson,
Gideon Schechtman
Abstract:
We show that there are $2^{2^{\aleph_0}}$ different closed ideals in the Banach algebra $L(L_p(0,1))$, $1<p\not= 2<\infty$. This solves a problem in A. Pietsch's 1978 book "Operator Ideals". The proof is quite different from other methods of producing closed ideals in the space of bounded operators on a Banach space; in particular, the ideals are not contained in the strictly singular operators an…
▽ More
We show that there are $2^{2^{\aleph_0}}$ different closed ideals in the Banach algebra $L(L_p(0,1))$, $1<p\not= 2<\infty$. This solves a problem in A. Pietsch's 1978 book "Operator Ideals". The proof is quite different from other methods of producing closed ideals in the space of bounded operators on a Banach space; in particular, the ideals are not contained in the strictly singular operators and yet do not contain projections onto subspaces that are non Hilbertian. We give a criterion for a space with an unconditional basis to have $2^{2^{\aleph_0}}$ closed ideals in terms of the existence of a single operator on the space with some special asymptotic properties. We then show that for $1<q<2$ the space ${\frak X}_q$ of Rosenthal, which is isomorphic to a complemented subspace of $L_q(0,1)$, admits such an operator.
△ Less
Submitted 11 February, 2021; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Enriched functor categories for functor calculus
Authors:
Lauren Bandklayder,
Julia E. Bergner,
Rhiannon Griffiths,
Brenda Johnson,
Rekha Santhanam
Abstract:
In this paper we present background results in enriched category theory and enriched model category theory necessary for develo** model categories of enriched functors suitable for doing functor calculus.
In this paper we present background results in enriched category theory and enriched model category theory necessary for develo** model categories of enriched functors suitable for doing functor calculus.
△ Less
Submitted 12 May, 2022; v1 submitted 28 February, 2020;
originally announced March 2020.
-
Singular Perturbation and Small-signal Stability for Inverter Networks
Authors:
Saber Jafarpour,
Victor Purba,
Sairaj V. Dhople,
Brian Johnson,
Francesco Bullo
Abstract:
This paper examines small-signal stability of electrical networks composed dominantly of three-phase grid-following inverters. We show that the mere existence of a high-voltage power flow solution does not necessarily imply small-signal stability; this motivates us to develop a framework for stability analysis that systematically acknowledges inverter dynamics. We identify a suitable time-scale de…
▽ More
This paper examines small-signal stability of electrical networks composed dominantly of three-phase grid-following inverters. We show that the mere existence of a high-voltage power flow solution does not necessarily imply small-signal stability; this motivates us to develop a framework for stability analysis that systematically acknowledges inverter dynamics. We identify a suitable time-scale decomposition for the inverter dynamics, and using singular perturbation theory, obtain an analytic sufficient condition to verify small-signal stability. Compared to the alternative of performing an eigenvalue analysis of the full-order network dynamics, our analytic sufficient condition reduces computational complexity and yields insights on the role of network topology and constitution as well as inverter-filter and control parameters on small-signal stability. Numerical simulations for a radial network validate the approach and illustrate the efficiency of our analytic conditions for designing and monitoring grid-tied inverter networks.
△ Less
Submitted 20 May, 2020; v1 submitted 7 February, 2019;
originally announced February 2019.
-
Dispatchable Virtual Oscillator Control for Decentralized Inverter-dominated Power Systems: Analysis and Experiments
Authors:
Gab-Su Seo,
Marcello Colombino,
Irina Subotić,
Brian Johnson,
Dominic Groß,
Florian Dörfler
Abstract:
This paper presents an analysis and experimental validation of dispatchable virtual oscillator control (dVOC) for inverter-dominated power systems. dVOC is a promising decentralized control strategy that requires only local measurements to induce grid-forming behavior with programmable droop characteristics. It is dispatchable i.e., the inverters can vary their power generation via user-defined po…
▽ More
This paper presents an analysis and experimental validation of dispatchable virtual oscillator control (dVOC) for inverter-dominated power systems. dVOC is a promising decentralized control strategy that requires only local measurements to induce grid-forming behavior with programmable droop characteristics. It is dispatchable i.e., the inverters can vary their power generation via user-defined power set-points and guarantees strong stability. To verify its feasibility, a testbed comprising multiple dVOC-programmed inverters with transmission line impedances is designed. With an embedded synchronization strategy, the dVOC inverters are capable of dynamic synchronization, black start operation, and transient grid voltage regulation with dynamic load sharing, and real-time-programmable droop characteristics for backward compatibility. All these features are experimentally verified.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
Ideals in $L(L_1)$
Authors:
William B. Johnson,
Gilles Pisier,
Gideon Schechtman
Abstract:
The main result is that there are infinitely many; in fact, a continuum; of closed ideals in the Banach algebra $L(L_1)$ of bounded linear operators on $L_1(0,1)$. This answers a question from A. Pietsch's 1978 book "Operator Ideals". The proof also shows that $L(C[0,1])$ contains a continuum of closed ideals. Finally, a duality argument yields that $L(\ell_\infty)$ has a continuum of closed ideal…
▽ More
The main result is that there are infinitely many; in fact, a continuum; of closed ideals in the Banach algebra $L(L_1)$ of bounded linear operators on $L_1(0,1)$. This answers a question from A. Pietsch's 1978 book "Operator Ideals". The proof also shows that $L(C[0,1])$ contains a continuum of closed ideals. Finally, a duality argument yields that $L(\ell_\infty)$ has a continuum of closed ideals.
△ Less
Submitted 13 November, 2019; v1 submitted 15 November, 2018;
originally announced November 2018.
-
Embedding Banach spaces into the space of bounded functions with countable support
Authors:
William B. Johnson,
Tomasz Kania
Abstract:
We prove that a WLD subspace of the space $\ell_\infty^c(Γ)$ consisting of all bounded, countably supported functions on a set $Γ$ embeds isomorphically into $\ell_\infty$ if and only if it does not contain isometric copies of $c_0(ω_1)$. Moreover, a subspace of $\ell_\infty^c(ω_1)$ is constructed that has an unconditional basis, does not embed into $\ell_\infty$, and whose every weakly compact su…
▽ More
We prove that a WLD subspace of the space $\ell_\infty^c(Γ)$ consisting of all bounded, countably supported functions on a set $Γ$ embeds isomorphically into $\ell_\infty$ if and only if it does not contain isometric copies of $c_0(ω_1)$. Moreover, a subspace of $\ell_\infty^c(ω_1)$ is constructed that has an unconditional basis, does not embed into $\ell_\infty$, and whose every weakly compact subset is separable (in particular, it cannot contain any isomorphic copies of $c_0(ω_1)$).
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
The Universal Aesthetics of Mathematics
Authors:
Samuel G. B. Johnson,
Stefan Steinerberger
Abstract:
The unique and beautiful character of certain mathematical results and proofs is often considered one of the most gratifying aspects of engaging with mathematics. We study whether this perception of mathematical arguments having an intrinsic 'character' is subjective or universal -- this was done by having test subjects with varying degrees of mathematical experience match mathematical arguments w…
▽ More
The unique and beautiful character of certain mathematical results and proofs is often considered one of the most gratifying aspects of engaging with mathematics. We study whether this perception of mathematical arguments having an intrinsic 'character' is subjective or universal -- this was done by having test subjects with varying degrees of mathematical experience match mathematical arguments with paintings and music: 'does this proof feel more like Bach or Schubert?' The results suggest that such a universal connection indeed exists.
△ Less
Submitted 22 November, 2017;
originally announced November 2017.
-
Equations for some nilpotent varieties
Authors:
Ben Johnson,
Eric Sommers
Abstract:
Let $\mathcal{O}$ be a Richardson nilpotent orbit in a simple Lie algebra $\mathfrak{g}$ over $\mathbb C$, induced from a Levi subalgebra whose simple roots are orthogonal short roots. The main result of the paper is a description of a minimal set of generators of the ideal defining $\overline{ \mathcal{O}}$ in $S \mathfrak{g}^*$. In such cases, the ideal is generated by bases of at most two copie…
▽ More
Let $\mathcal{O}$ be a Richardson nilpotent orbit in a simple Lie algebra $\mathfrak{g}$ over $\mathbb C$, induced from a Levi subalgebra whose simple roots are orthogonal short roots. The main result of the paper is a description of a minimal set of generators of the ideal defining $\overline{ \mathcal{O}}$ in $S \mathfrak{g}^*$. In such cases, the ideal is generated by bases of at most two copies of the representation whose highest weight is the dominant short root, along with some fundamental invariants. This extends Broer's result for the subregular nilpotent orbit. Along the way we give another proof of Broer's result that $\overline{ \mathcal{O}}$ is normal. We also prove a result connecting a property of invariants related to flat bases to the question of when one copy of the adjoint representation is in the ideal in $S \mathfrak{g}^*$ generated by another copy of the adjoint representation and the fundamental invariants.
△ Less
Submitted 5 February, 2018; v1 submitted 15 June, 2017;
originally announced June 2017.
-
Locating a robber with multiple probes
Authors:
John Haslegrave,
Richard A. B. Johnson,
Sebastian Koch
Abstract:
We consider a game in which a cop searches for a moving robber on a connected graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any $n$-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m\geq n$. The prese…
▽ More
We consider a game in which a cop searches for a moving robber on a connected graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any $n$-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m\geq n$. The present authors showed that, for all but a few small values of $n$, this bound may be improved to $m\geq n/2$, which is best possible. In this paper we consider the natural extension in which the cop probes a set of $k$ vertices, rather than a single vertex, at each turn. We consider the relationship between the value of $k$ required to ensure victory on the original graph and the length of subdivisions required to ensure victory with $k=1$. We give an asymptotically best-possible linear bound in one direction, but show that in the other direction no subexponential bound holds. We also give a bound on the value of $k$ for which the cop has a winning strategy on any (possibly infinite) connected graph of maximum degree $Δ$, which is best possible up to a factor of $(1-o(1))$.
△ Less
Submitted 23 August, 2017; v1 submitted 19 March, 2017;
originally announced March 2017.
-
Directional derivatives and higher order chain rules for abelian functor calculus
Authors:
Kristine Bauer,
Brenda Johnson,
Christina Osborne,
Emily Riehl,
Amelia Tebbe
Abstract:
In this paper, we consider abelian functor calculus, the calculus of functors of abelian categories established by the second author and McCarthy. We carefully construct a category of abelian categories and suitably homotopically defined functors, and show that this category, equipped with the directional derivative, is a cartesian differential category in the sense of Blute, Cockett, and Seely. T…
▽ More
In this paper, we consider abelian functor calculus, the calculus of functors of abelian categories established by the second author and McCarthy. We carefully construct a category of abelian categories and suitably homotopically defined functors, and show that this category, equipped with the directional derivative, is a cartesian differential category in the sense of Blute, Cockett, and Seely. This provides an abstract framework that makes certain analogies between classical and functor calculus explicit. Inspired by Huang, Marcantognini, and Young's chain rule for higher order directional derivatives of functions, we define a higher order directional derivative for functors of abelian categories. We show that our higher order directional derivative is related to the iterated partial directional derivatives of the second author and McCarthy by a Faà di Bruno style formula. We obtain a higher order chain rule for our directional derivatives using a feature of the cartesian differential category structure, and with this provide a formulation for the $n$th layers of the Taylor tower of a composition of functors $F\circ G$ in terms of the derivatives and directional derivatives of $F$ and $G$, reminiscent of similar formulations for functors of spaces or spectra by Arone and Ching. Throughout, we provide explicit chain homotopy equivalences that tighten previously established quasi-isomorphisms for properties of abelian functor calculus.
△ Less
Submitted 30 May, 2017; v1 submitted 6 October, 2016;
originally announced October 2016.
-
Enhanced gauge symmetry in 6D F-theory models and tuned elliptic Calabi-Yau threefolds
Authors:
Samuel B. Johnson,
Washington Taylor
Abstract:
We systematically analyze the local combinations of gauge groups and matter that can arise in 6D F-theory models over a fixed base. We compare the low-energy constraints of anomaly cancellation to explicit F-theory constructions using Weierstrass and Tate forms, and identify some new local structures in the "swampland' of 6D supergravity and SCFT models that appear consistent from low-energy consi…
▽ More
We systematically analyze the local combinations of gauge groups and matter that can arise in 6D F-theory models over a fixed base. We compare the low-energy constraints of anomaly cancellation to explicit F-theory constructions using Weierstrass and Tate forms, and identify some new local structures in the "swampland' of 6D supergravity and SCFT models that appear consistent from low-energy considerations but do not have known F-theory realizations. In particular, we classify and carry out a local analysis of all enhancements of the irreducible gauge and matter contributions from "non-Higgsable clusters," and on isolated curves and pairs of intersecting rational curves of arbitrary self-intersection. Such enhancements correspond physically to unHiggsings, and mathematically to tunings of the Weierstrass model of an elliptic CY threefold. We determine the shift in Hodge numbers of the elliptic threefold associated with each enhancement. We also consider local tunings on curves that have higher genus or intersect multiple other curves, codimension two tunings that give transitions in the F-theory matter content, tunings of abelian factors in the gauge group, and generalizations of the "$E_8$" rule to include tunings and curves of self-intersection zero. These tools can be combined into an algorithm that in principle enables a finite and systematic classification of all elliptic CY threefolds and corresponding 6D F-theory SUGRA models over a given compact base (modulo some technical caveats in various special circumstances), and are also relevant to the classification of 6D SCFT's. To illustrate the utility of these results, we identify some large example classes of known CY threefolds in the Kreuzer-Skarke database as Weierstrass models over complex surface bases with specific simple tunings, and we survey the range of tunings possible over one specific base.
△ Less
Submitted 15 June, 2016; v1 submitted 25 May, 2016;
originally announced May 2016.
-
Parametric inference for proportional (reverse) hazard rate models with nomination sampling
Authors:
Mohammad Nourmohammadi,
Mohammad Jafari Jozani,
Brad Johnson
Abstract:
\noindent Randomized nomination sampling (RNS) is a rank-based sampling technique which has been shown to be effective in several nonparametric studies involving environmental and ecological applications. In this paper, we investigate parametric inference using RNS design for estimating the unknown vector of parameters $\boldsymbolθ$ in the proportional hazard rate and proportional reverse hazard…
▽ More
\noindent Randomized nomination sampling (RNS) is a rank-based sampling technique which has been shown to be effective in several nonparametric studies involving environmental and ecological applications. In this paper, we investigate parametric inference using RNS design for estimating the unknown vector of parameters $\boldsymbolθ$ in the proportional hazard rate and proportional reverse hazard rate models. We examine both maximum likelihood (ML) and method of moments (MM) methods and investigate the relative precision of our proposed RNS-based estimators compared with those based on simple random sampling (SRS). We introduce four types of RNS-based data as well as necessary EM algorithms for the ML estimation, and evaluate the performance of corresponding estimators in estimating $\boldsymbolθ$. We show that there are always values of the design parameters on which RNS-based estimators are more efficient than those based on SRS. Inference based on imperfect ranking is also explored and it is shown that the improvement holds even when the ranking is imperfect. Theoretical results are augmented with numerical evaluations and a case study.
△ Less
Submitted 16 December, 2015;
originally announced December 2015.
-
Subdivisions in the Robber Locating Game
Authors:
John Haslegrave,
Richard A. B. Johnson,
Sebastian Koch
Abstract:
We consider a game in which a cop searches for a moving robber on a graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any n-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m \geqslant n$. They conjecture…
▽ More
We consider a game in which a cop searches for a moving robber on a graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any n-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m \geqslant n$. They conjectured that this bound was best possible for complete graphs, but the present authors showed that in fact the cop wins on $K^{1/m}$ if and only if $m \geqslant n/2$, for all but a few small values of $n$. In this paper we extend this result to general graphs by proving that the cop has a winning strategy on $G^{1/m}$ provided $m \geqslant n/2$ for all but a few small values of $n$; this bound is best possible. We also consider replacing the edges of $G$ with paths of varying lengths.
△ Less
Submitted 15 September, 2015;
originally announced September 2015.
-
The Dual Form of the Approximation Property for a Banach Space and a Subspace
Authors:
T. Figiel,
W. B. Johnson
Abstract:
Given a Banach space X and a subspace Y, the pair (X,Y) is said to have the approximation property (AP) provided there is a net of finite rank bounded linear operators on X all of which leave the subspace Y invariant such that the net converges uniformly on compact subsets of X to the identity operator. The main result is an easy to apply dual formulation of this property. Applications are given t…
▽ More
Given a Banach space X and a subspace Y, the pair (X,Y) is said to have the approximation property (AP) provided there is a net of finite rank bounded linear operators on X all of which leave the subspace Y invariant such that the net converges uniformly on compact subsets of X to the identity operator. The main result is an easy to apply dual formulation of this property. Applications are given to three space properties; in particular, if X has the approximation property and its subspace Y is script L-infinity, then X/Y has the approximation property.
△ Less
Submitted 5 August, 2015;
originally announced August 2015.
-
Sorting using non-binary comparisons
Authors:
Richard A. B. Johnson,
Gabor Meszaros
Abstract:
In this paper we investigate the problem of sorting a set of $n$ coins, each with distinct but unknown weights, using an unusual scale. The classical version of this problem, which has been well-studied, gives the user a binary scale, enabling them to determine which is the lighter/heavier of any two objects. We generalise this, considering a scale that accepts $k$ coins as input and returns the…
▽ More
In this paper we investigate the problem of sorting a set of $n$ coins, each with distinct but unknown weights, using an unusual scale. The classical version of this problem, which has been well-studied, gives the user a binary scale, enabling them to determine which is the lighter/heavier of any two objects. We generalise this, considering a scale that accepts $k$ coins as input and returns the $t^{\text{th}}$ lightest, for a fixed $k$ and $t$. We consider this in both an on-line and off-line setting, and exhibit algorithms in both settings that are best-possible in terms of the order of the number of queries required.
△ Less
Submitted 21 July, 2015;
originally announced July 2015.
-
Combinatorial models for Taylor polynomials of functors
Authors:
Kristine Bauer,
Rosona Eldred,
Brenda Johnson,
Randy McCarthy
Abstract:
Goodwillie's calculus of homotopy functors associates a tower of polynomial approximations, the Taylor tower, to a functor of topological spaces over a fixed space. We define a new tower, the varying center tower, for functors of categories with a fixed initial object, such as algebras under a fixed ring spectrum. We construct this new tower using elements of the Taylor tower constructions of Baue…
▽ More
Goodwillie's calculus of homotopy functors associates a tower of polynomial approximations, the Taylor tower, to a functor of topological spaces over a fixed space. We define a new tower, the varying center tower, for functors of categories with a fixed initial object, such as algebras under a fixed ring spectrum. We construct this new tower using elements of the Taylor tower constructions of Bauer, Johnson, and McCarthy for functors of simplicial model categories, and show how the varying center tower differs from Taylor towers in terms of the properties of its individual terms and convergence behaviour. We prove that there is a combinatorial model for the varying center tower given as a pro-equivalence between the varying center tower and towers of cosimplicial objects; this generalizes Eldred's cosimplicial models for finite stages of Taylor towers. As an application, we present models for the de Rham complex of rational commutative ring spectra due to Rezk on the one hand, and Goodwillie and Waldhausen on the other, and use our result to conclude that these two models will be equivalent when extended to $E_{\infty}$-ring spectra.
△ Less
Submitted 25 August, 2016; v1 submitted 5 June, 2015;
originally announced June 2015.
-
A Schauder basis for $L_1(0,\infty)$ consisting of non-negative functions
Authors:
William B. Johnson,
Gideon Schechtman
Abstract:
We construct a Schauder basis for $L_1$ consisting of non-negative functions and investigate unconditionally basic and quasibasic sequences of non-negative functions in $L_p$, $1\le p < \infty$.
We construct a Schauder basis for $L_1$ consisting of non-negative functions and investigate unconditionally basic and quasibasic sequences of non-negative functions in $L_p$, $1\le p < \infty$.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
Closed ideals of operators on and complemented subspaces of Banach spaces of functions with countable support
Authors:
William B. Johnson,
Tomasz Kania,
Gideon Schechtman
Abstract:
Let $λ$ be an infinite cardinal number and let $\ell_\infty^c(λ)$ denote the subspace of $\ell_\infty(λ)$ consisting of all functions that assume at most countably many non-zero values. We classify all infinite dimensional complemented subspaces of $\ell_\infty^c(λ)$, proving that they are isomorphic to $\ell_\infty^c(κ)$ for some cardinal number $κ$. Then we show that the Banach algebra of all bo…
▽ More
Let $λ$ be an infinite cardinal number and let $\ell_\infty^c(λ)$ denote the subspace of $\ell_\infty(λ)$ consisting of all functions that assume at most countably many non-zero values. We classify all infinite dimensional complemented subspaces of $\ell_\infty^c(λ)$, proving that they are isomorphic to $\ell_\infty^c(κ)$ for some cardinal number $κ$. Then we show that the Banach algebra of all bounded linear operators on $\ell_\infty^c(λ)$ or $\ell_\infty(λ)$ has the unique maximal ideal consisting of operators through which the identity operator does not factor. Using similar techniques, we obtain an alternative to Daws' approach description of the lattice of all closed ideals of $\mathscr{B}(X)$, where $X = c_0(λ)$ or $X=\ell_p(λ)$ for some $p\in [1,\infty)$, and we classify the closed ideals of $\mathscr{B}(\ell_\infty^c(λ))$ that contains the ideal of weakly compact operators.
△ Less
Submitted 5 January, 2016; v1 submitted 10 February, 2015;
originally announced February 2015.
-
Uncovering Droop Control Laws Embedded Within the Nonlinear Dynamics of Van der Pol Oscillators
Authors:
Mohit Sinha,
Florian Dorfler,
Brian B. Johnson,
Sairaj V. Dhople
Abstract:
This paper examines the dynamics of power-electronic inverters in islanded microgrids that are controlled to emulate the dynamics of Van der Pol oscillators. The general strategy of controlling inverters to emulate the behavior of nonlinear oscillators presents a compelling time-domain alternative to ubiquitous droop control methods which presume the existence of a quasi-stationary sinusoidal stea…
▽ More
This paper examines the dynamics of power-electronic inverters in islanded microgrids that are controlled to emulate the dynamics of Van der Pol oscillators. The general strategy of controlling inverters to emulate the behavior of nonlinear oscillators presents a compelling time-domain alternative to ubiquitous droop control methods which presume the existence of a quasi-stationary sinusoidal steady state and operate on phasor quantities. We present two main results in this work. First, by leveraging the method of periodic averaging, we demonstrate that droop laws are intrinsically embedded within a slower time scale in the nonlinear dynamics of Van der Pol oscillators. Second, we establish the global convergence of amplitude and phase dynamics in a resistive network interconnecting inverters controlled as Van der Pol oscillators. Furthermore, under a set of non-restrictive decoupling approximations, we derive sufficient conditions for local exponential stability of desirable equilibria of the linearized amplitude and phase dynamics.
△ Less
Submitted 20 January, 2016; v1 submitted 21 November, 2014;
originally announced November 2014.
-
Unbased calculus for functors to chain complexes
Authors:
Maria Basterra,
Kristine Bauer,
Agnes Beaudry,
Rosona Eldred,
Brenda Johnson,
Mona Merling,
Sarah Yeakel
Abstract:
Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a discrete calculus tower for functors from an unbased simplicial model category to chain complexes over a fixed commutative ring. Much of the construction of the Taylo…
▽ More
Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a discrete calculus tower for functors from an unbased simplicial model category to chain complexes over a fixed commutative ring. Much of the construction of the Taylor tower for functors to spectra carries over to this context. However, one of the essential steps in the construction requires proving that a particular functor is part of a cotriple. For this, one needs to prove that certain identities involving homotopy limits hold up to isomorphism, rather than just up to weak equivalence. As the target category of chain complexes is not a simplicial model category, the arguments for functors to spectra need to be adjusted for chain complexes. In this paper, we take advantage of the fact that we can construct an explicit model for iterated fibers, and prove that the functor is a cotriple directly. We use related ideas to provide concrete infinite deloo**s of the first terms in the resulting Taylor towers when evaluated at the initial object in the source category.
△ Less
Submitted 5 September, 2014; v1 submitted 4 September, 2014;
originally announced September 2014.
-
Injective Tauberian operators on $L_1$ and operators with dense range on $\ell_\infty$
Authors:
William B. Johnson,
Amir Bahman Nasseri,
Gideon Schechtman,
Tomasz Tkocz
Abstract:
There exist injective Tauberian operators on $L_1(0,1)$ that have dense, non closed range. This gives injective, non surjective operators on $\ell_\infty$ that have dense range. Consequently, there are two quasi-complementary, non complementary subspaces of $\ell_\infty$ that are isometric to $\ell_\infty$.
There exist injective Tauberian operators on $L_1(0,1)$ that have dense, non closed range. This gives injective, non surjective operators on $\ell_\infty$ that have dense range. Consequently, there are two quasi-complementary, non complementary subspaces of $\ell_\infty$ that are isometric to $\ell_\infty$.
△ Less
Submitted 6 August, 2014;
originally announced August 2014.
-
Optimal Dispatch of Residential Photovoltaic Inverters Under Forecasting Uncertainties
Authors:
Emiliano Dall'Anese,
Sairaj V. Dhople,
Brian B. Johnson,
Georgios B. Giannakis
Abstract:
Efforts to ensure reliable operation of existing low-voltage distribution systems with high photovoltaic (PV) generation have focused on the possibility of inverters providing ancillary services such as active power curtailment and reactive power compensation. Major benefits include the possibility of averting overvoltages, which may otherwise be experienced when PV generation exceeds the demand.…
▽ More
Efforts to ensure reliable operation of existing low-voltage distribution systems with high photovoltaic (PV) generation have focused on the possibility of inverters providing ancillary services such as active power curtailment and reactive power compensation. Major benefits include the possibility of averting overvoltages, which may otherwise be experienced when PV generation exceeds the demand. This paper deals with ancillary service procurement in the face of solar irradiance forecasting errors. In particular, assuming that the forecasted PV irradiance can be described by a random variable with known (empirical) distribution, the proposed uncertainty-aware optimal inverter dispatch (OID) framework indicates which inverters should provide ancillary services with a guaranteed a-priori risk level of PV generation surplus. To capture forecasting errors, and strike a balance between risk of overvoltages and (re)active power reserves, the concept of conditional value-at-risk is advocated. Due to AC power balance equations and binary inverter selection variables, the formulated OID involves the solution of a nonconvex mixed-integer nonlinear program. However, a computationally-affordable convex relaxation is derived by leveraging sparsity-promoting regularization approaches and semidefinite relaxation techniques. The proposed scheme is tested using real-world PV-generation and load-profile data for an illustrative low-voltage residential distribution system.
△ Less
Submitted 7 November, 2014; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Calabi-Yau threefolds with large h^{2, 1}
Authors:
Samuel B. Johnson,
Washington Taylor
Abstract:
We carry out a systematic analysis of Calabi-Yau threefolds that are elliptically fibered with section ("EFS") and have a large Hodge number h^{2, 1}. EFS Calabi-Yau threefolds live in a single connected space, with regions of moduli space associated with different topologies connected through transitions that can be understood in terms of singular Weierstrass models. We determine the complete set…
▽ More
We carry out a systematic analysis of Calabi-Yau threefolds that are elliptically fibered with section ("EFS") and have a large Hodge number h^{2, 1}. EFS Calabi-Yau threefolds live in a single connected space, with regions of moduli space associated with different topologies connected through transitions that can be understood in terms of singular Weierstrass models. We determine the complete set of such threefolds that have h^{2, 1} >= 350 by tuning coefficients in Weierstrass models over Hirzebruch surfaces. The resulting set of Hodge numbers includes those of all known Calabi-Yau threefolds with h^{2, 1} >= 350, as well as three apparently new Calabi-Yau threefolds. We speculate that there are no other Calabi-Yau threefolds (elliptically fibered or not) with Hodge numbers that exceed this bound. We summarize the theoretical and practical obstacles to a complete enumeration of all possible EFS Calabi-Yau threefolds and fourfolds, including those with small Hodge numbers, using this approach.
△ Less
Submitted 6 January, 2015; v1 submitted 2 June, 2014;
originally announced June 2014.
-
Decentralized Optimal Dispatch of Photovoltaic Inverters in Residential Distribution Systems
Authors:
Emiliano Dall'Anese,
Sairaj V. Dhople,
Brian B. Johnson,
Georgios B. Giannakis
Abstract:
Decentralized methods for computing optimal real and reactive power setpoints for residential photovoltaic (PV) inverters are developed in this paper. It is known that conventional PV inverter controllers, which are designed to extract maximum power at unity power factor, cannot address secondary performance objectives such as voltage regulation and network loss minimization. Optimal power flow te…
▽ More
Decentralized methods for computing optimal real and reactive power setpoints for residential photovoltaic (PV) inverters are developed in this paper. It is known that conventional PV inverter controllers, which are designed to extract maximum power at unity power factor, cannot address secondary performance objectives such as voltage regulation and network loss minimization. Optimal power flow techniques can be utilized to select which inverters will provide ancillary services, and to compute their optimal real and reactive power setpoints. Leveraging advances in semidefinite relaxation techniques and sparsity-promoting regularizations, such problems can be solved with reduced computational burden and with optimality guarantees. To enable large-scale implementation, a novel algorithmic framework is introduced - based on the so-called alternating direction method of multipliers - by which the optimal power flow problem in this setting can be systematically decomposed into sub-problems that can be solved in a decentralized fashion by the utility and customer-owned PV systems with limited exchanges of information. Since the computational burden is shared among multiple devices and the requirement of all-to-all communication can be circumvented, the proposed optimization approach scales to large distribution networks.
△ Less
Submitted 11 September, 2014; v1 submitted 5 March, 2014;
originally announced March 2014.
-
Subgraphs and Colourability of Locatable Graphs
Authors:
Richard A. B. Johnson,
Sebastian Koch
Abstract:
We study a game of pursuit and evasion introduced by Seager in 2012, in which a cop searches the robber from outside the graph, using distance queries. A graph on which the cop wins is called locatable. In her original paper, Seager asked whether there exists a characterisation of the graph property of locatable graphs by either forbidden or forbidden induced subgraphs, both of which we answer in…
▽ More
We study a game of pursuit and evasion introduced by Seager in 2012, in which a cop searches the robber from outside the graph, using distance queries. A graph on which the cop wins is called locatable. In her original paper, Seager asked whether there exists a characterisation of the graph property of locatable graphs by either forbidden or forbidden induced subgraphs, both of which we answer in the negative. We then proceed to show that such a characterisation does exist for graphs of diameter at most 2, stating it explicitly, and note that this is not true for higher diameter. Exploring a different direction of topic, we also start research in the direction of colourability of locatable graphs, we also show that every locatable graph is 4-colourable, but not necessarily 3-colourable.
△ Less
Submitted 12 February, 2014;
originally announced February 2014.
-
The Robber Locating game
Authors:
John Haslegrave,
Richard A. B. Johnson,
Sebastian Koch
Abstract:
We consider a game in which a cop searches for a moving robber on a graph using distance probes, studied by Carragher, Choi, Delcourt, Erickson and West, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West show that for any fixed graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$, obtained by replacing each edge of $G$ by a pa…
▽ More
We consider a game in which a cop searches for a moving robber on a graph using distance probes, studied by Carragher, Choi, Delcourt, Erickson and West, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West show that for any fixed graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$, obtained by replacing each edge of $G$ by a path of length $m$, if $m$ is sufficiently large. They conjecture that the cop does not have a winning strategy on $K_n^{1/m}$ if $m<n$; we show that in fact the cop wins if and only if $m\geqslant n/2$, for all but a few small values of $n$. They also show that the robber can avoid capture on any graph of girth 3, 4 or 5, and ask whether there is any graph of girth 6 on which the cop wins. We show that there is, but that no such graph can be bipartite; in the process we give a counterexample for their conjecture that the set of graphs on which the cop wins is closed under the operation of subdividing edges. We also give a complete answer to the question of when the cop has a winning strategy on $K_{a,b}^{1/m}$.
△ Less
Submitted 16 January, 2014; v1 submitted 15 November, 2013;
originally announced November 2013.
-
Synchronization of Nonlinear Circuits in Dynamic Electrical Networks with General Topologies
Authors:
Sairaj Dhople,
Brian Johnson,
Florian Dorfler,
Abdullah Hamadeh
Abstract:
Sufficient conditions are derived for global asymptotic synchronization in a system of identical nonlinear electrical circuits coupled through linear time-invariant (LTI) electrical networks. In particular, the conditions we derive apply to settings where: i) the nonlinear circuits are composed of a parallel combination of passive LTI circuit elements and a nonlinear voltage-dependent current sour…
▽ More
Sufficient conditions are derived for global asymptotic synchronization in a system of identical nonlinear electrical circuits coupled through linear time-invariant (LTI) electrical networks. In particular, the conditions we derive apply to settings where: i) the nonlinear circuits are composed of a parallel combination of passive LTI circuit elements and a nonlinear voltage-dependent current source with finite gain; and ii) a collection of these circuits are coupled through either uniform or homogeneous LTI electrical networks. Uniform electrical networks have identical per-unit-length impedances. Homogeneous electrical networks are characterized by having the same effective impedance between any two terminals with the others open circuited. Synchronization in these networks is guaranteed by ensuring the stability of an equivalent coordinate-transformed differential system that emphasizes signal differences. The applicability of the synchronization conditions to this broad class of networks follows from leveraging recent results on structural and spectral properties of Kron reduction---a model-reduction procedure that isolates the interactions of the nonlinear circuits in the network. The validity of the analytical results is demonstrated with simulations in networks of coupled Chua's circuits.
△ Less
Submitted 16 October, 2013;
originally announced October 2013.
-
The cluster value problem for Banach spaces
Authors:
William B. Johnson,
Sofia Ortega Castillo
Abstract:
The main result is that the cluster value problem in separable Banach spaces, for the Banach algebras $A_u$ and $H^{\infty}$, can be reduced to the cluster value problem in those spaces which are $\ell_1$ sums of a sequence of finite dimensional spaces.
The main result is that the cluster value problem in separable Banach spaces, for the Banach algebras $A_u$ and $H^{\infty}$, can be reduced to the cluster value problem in those spaces which are $\ell_1$ sums of a sequence of finite dimensional spaces.
△ Less
Submitted 15 November, 2015; v1 submitted 8 July, 2013;
originally announced July 2013.
-
Subspaces of $L_p$ that embed into $L_p(μ)$ with $μ$ finite
Authors:
William B. Johnson,
Gideon Schechtman
Abstract:
Enflo and Rosenthal proved that $\ell_p(\aleph_1)$, $1 < p < 2$, does not (isomorphically) embed into $L_p(μ)$ with $μ$ a finite measure. We prove that if $X$ is a subspace of an $L_p$ space, $1< p < 2$, and $\ell_p(\aleph_1)$ does not embed into $X$, then $X$ embeds into $L_p(μ)$ for some finite measure $μ$.
Enflo and Rosenthal proved that $\ell_p(\aleph_1)$, $1 < p < 2$, does not (isomorphically) embed into $L_p(μ)$ with $μ$ a finite measure. We prove that if $X$ is a subspace of an $L_p$ space, $1< p < 2$, and $\ell_p(\aleph_1)$ does not embed into $X$, then $X$ embeds into $L_p(μ)$ for some finite measure $μ$.
△ Less
Submitted 17 January, 2013;
originally announced January 2013.
-
On Mean Ergodic Convergence in the Calkin Algebras
Authors:
March T. Boedihardjo,
William B. Johnson
Abstract:
In this paper, we give a geometric characterization of mean ergodic convergence in the Calkin algebras for Banach spaces that have the bounded compact approximation property.
In this paper, we give a geometric characterization of mean ergodic convergence in the Calkin algebras for Banach spaces that have the bounded compact approximation property.
△ Less
Submitted 18 December, 2013; v1 submitted 31 December, 2012;
originally announced January 2013.
-
The cluster value problem in spaces of continuous functions
Authors:
William B. Johnson,
Sofia Ortega Castillo
Abstract:
We study the cluster value problem for certain Banach algebras of holomorphic functions defined on the unit ball of a complex Banach space X. The main results are for spaces of the form X = C(K).
We study the cluster value problem for certain Banach algebras of holomorphic functions defined on the unit ball of a complex Banach space X. The main results are for spaces of the form X = C(K).
△ Less
Submitted 15 November, 2015; v1 submitted 10 November, 2012;
originally announced November 2012.
-
A quantitative version of the commutator theorem for zero trace matrices
Authors:
William B. Johnson,
Narutaka Ozawa,
Gideon Schechtman
Abstract:
Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can be taken to be normal.
Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can be taken to be normal.
△ Less
Submitted 6 February, 2012; v1 submitted 5 February, 2012;
originally announced February 2012.
-
Permutation patterns and statistics
Authors:
Theodore Dokos,
Tim Dwyer,
Bryan P. Johnson,
Bruce E. Sagan,
Kimberly Selsor
Abstract:
Let S_n denote the symmetric group of all permutations of the set {1, 2, ...,n} and let S = \cup_{n\ge0} S_n. If Pi is a set of permutations, then we let Av_n(Pi) be the set of permutations in S_n which avoid every permutation of Pi in the sense of pattern avoidance. One of the celebrated notions in pattern theory is that of Wilf-equivalence, where Pi and Pi' are Wilf equivalent if #Av_n(Pi)=#Av_n…
▽ More
Let S_n denote the symmetric group of all permutations of the set {1, 2, ...,n} and let S = \cup_{n\ge0} S_n. If Pi is a set of permutations, then we let Av_n(Pi) be the set of permutations in S_n which avoid every permutation of Pi in the sense of pattern avoidance. One of the celebrated notions in pattern theory is that of Wilf-equivalence, where Pi and Pi' are Wilf equivalent if #Av_n(Pi)=#Av_n(Pi') for all n\ge0. In a recent paper, Sagan and Savage proposed studying a q-analogue of this concept defined as follows. Suppose st:S->N is a permutation statistic where N represents the nonnegative integers. Consider the corresponding generating function, F_n^{st}(Pi;q) = sum_{sigma in Av_n(Pi)} q^{st sigma}, and call Pi,Pi' st-Wilf equivalent if F_n^{st}(Pi;q)=F_n^{st}(Pi';q) for all n\ge0. We present the first in-depth study of this concept for the inv and maj statistics. In particular, we determine all inv- and maj-Wilf equivalences for any Pi containd in S_3. This leads us to consider various q-analogues of the Catalan numbers, Fibonacci numbers, triangular numbers, and powers of two. Our proof techniques use lattice paths, integer partitions, and Foata's fundamental bijection. We also answer a question about Mahonian pairs raised in the Sagan-Savage article.
△ Less
Submitted 9 May, 2012; v1 submitted 22 September, 2011;
originally announced September 2011.
-
Commutators on $L_p$, $1\le p<\infty$
Authors:
Detelin Dosev,
William B. Johnson,
Gideon Schechtman
Abstract:
The operators on $\LP=L_p[0,1]$, $1\leq p<\infty$, which are not commutators are those of the form $λI + S$ where
$λ\neq 0$ and $S$ belongs to the largest ideal in $\opLP$. The proof involves new structural results for operators on $\LP$ which are of independent interest.
The operators on $\LP=L_p[0,1]$, $1\leq p<\infty$, which are not commutators are those of the form $λI + S$ where
$λ\neq 0$ and $S$ belongs to the largest ideal in $\opLP$. The proof involves new structural results for operators on $\LP$ which are of independent interest.
△ Less
Submitted 1 February, 2011;
originally announced February 2011.