-
Optimal Low-Depth Quantum Signal-Processing Phase Estimation
Authors:
Yulong Dong,
Jonathan A. Gross,
Murphy Yuezhen Niu
Abstract:
Quantum effects like entanglement and coherent amplification can be used to drastically enhance the accuracy of quantum parameter estimation beyond classical limits. However, challenges such as decoherence and time-dependent errors hinder Heisenberg-limited amplification. We introduce Quantum Signal-Processing Phase Estimation algorithms that are robust against these challenges and achieve optimal…
▽ More
Quantum effects like entanglement and coherent amplification can be used to drastically enhance the accuracy of quantum parameter estimation beyond classical limits. However, challenges such as decoherence and time-dependent errors hinder Heisenberg-limited amplification. We introduce Quantum Signal-Processing Phase Estimation algorithms that are robust against these challenges and achieve optimal performance as dictated by the Cramér-Rao bound. These algorithms use quantum signal transformation to decouple interdependent phase parameters into largely orthogonal ones, ensuring that time-dependent errors in one do not compromise the accuracy of learning the other. Combining provably optimal classical estimation with near-optimal quantum circuit design, our approach achieves a standard deviation accuracy of $10^{-4}$ radians for estimating unwanted swap angles in superconducting two-qubit experiments, using low-depth ($<10$) circuits. This represents up to two orders of magnitude improvement over existing methods. Theoretically and numerically, we demonstrate the optimality of our algorithm against time-dependent phase errors, observing that the variance of the time-sensitive parameter $\varphi$ scales faster than the asymptotic Heisenberg scaling in the small-depth regime. Our results are rigorously validated against the quantum Fisher information, confirming our protocol's ability to achieve unmatched precision for two-qubit gate learning.
△ Less
Submitted 16 February, 2025; v1 submitted 17 June, 2024;
originally announced July 2024.
-
Vertex F-algebra structures on the complex oriented homology of H-spaces
Authors:
Jacob Gross,
Markus Upmeier
Abstract:
We give a topological construction of graded vertex F-algebras that generalizes Joyce's vertex algebra to complex-oriented homology. Given an H-space X with a BU(1)-action, a certain choice of K-theory class, and a complex oriented homology theory E, we build a graded vertex F-algebra structure on the homology $E_*(X)$ where F is the formal group law associated with E.
We give a topological construction of graded vertex F-algebras that generalizes Joyce's vertex algebra to complex-oriented homology. Given an H-space X with a BU(1)-action, a certain choice of K-theory class, and a complex oriented homology theory E, we build a graded vertex F-algebra structure on the homology $E_*(X)$ where F is the formal group law associated with E.
△ Less
Submitted 30 September, 2021;
originally announced September 2021.
-
A Note On The Randomized Kaczmarz Method With A Partially Weighted Selection Step
Authors:
Jürgen Groß
Abstract:
In this note we reconsider two known algorithms which both usually converge faster than the randomized Kaczmarz method introduced by Strohmer and Vershynin(2009), but require the additional computation of all residuals of an iteration at each step. As already indicated in the literature, e.g. arXiv:2007.02910 and arXiv:2011.14693, it is shown that the non-randomized version of the two algorithms c…
▽ More
In this note we reconsider two known algorithms which both usually converge faster than the randomized Kaczmarz method introduced by Strohmer and Vershynin(2009), but require the additional computation of all residuals of an iteration at each step. As already indicated in the literature, e.g. arXiv:2007.02910 and arXiv:2011.14693, it is shown that the non-randomized version of the two algorithms converges at least as fast as the randomized version, while still requiring computation of all residuals. Based on that observation, a new simple random sample selection scheme has been introduced by arXiv:2011.14693 to reduce the required total of residuals. In the same light we propose an alternative random selection scheme which can easily be included as a `partially weighted selection step' into the classical randomized Kaczmarz algorithm without much ado. Numerical examples show that the randomly determined number of required residuals can be quite moderate.
△ Less
Submitted 30 June, 2021; v1 submitted 30 May, 2021;
originally announced May 2021.
-
First-Passage Time Statistics on Surfaces of General Shape: Surface PDE Solvers using Generalized Moving Least Squares (GMLS)
Authors:
B. J. Gross,
P. Kuberry,
P. J. Atzberger
Abstract:
We develop numerical methods for computing statistics of stochastic processes on surfaces of general shape with drift-diffusion dynamics $d\mathbf{X}_t = a(\mathbf{X}_t)dt + \mathbf{b}(\mathbf{X}_t)d\mathbf{W}_t$. We formulate descriptions of Brownian motion and general drift-diffusion processes on surfaces. We consider statistics of the form…
▽ More
We develop numerical methods for computing statistics of stochastic processes on surfaces of general shape with drift-diffusion dynamics $d\mathbf{X}_t = a(\mathbf{X}_t)dt + \mathbf{b}(\mathbf{X}_t)d\mathbf{W}_t$. We formulate descriptions of Brownian motion and general drift-diffusion processes on surfaces. We consider statistics of the form $u(\mathbf{x}) = \mathbb{E}^{\mathbf{x}}\left[\int_0^τg(\mathbf{X}_t)dt \right] + \mathbb{E}^{\mathbf{x}}\left[f(\mathbf{X}_τ)\right]$ for a domain $Ω$ and the exit stopping time $τ= \inf_t \{t > 0 \; |\; \mathbf{X}_t \not\in Ω\}$, where $f,g$ are general smooth functions. For computing these statistics, we develop high-order Generalized Moving Least Squares (GMLS) solvers for associated surface PDE boundary-value problems based on Backward-Kolmogorov equations. We focus particularly on the mean First Passage Times (FPTs) given by the case $f = 0,\, g = 1$ where $u(\mathbf{x}) = \mathbb{E}^{\mathbf{x}}\left[τ\right]$. We perform studies for a variety of shapes showing our methods converge with high-order accuracy both in capturing the geometry and the surface PDE solutions. We then perform studies showing how statistics are influenced by the surface geometry, drift dynamics, and spatially dependent diffusivities.
△ Less
Submitted 3 January, 2022; v1 submitted 4 February, 2021;
originally announced February 2021.
-
Optimization by moving ridge functions: Derivative-free optimization for computationally intensive functions
Authors:
James C. Gross,
Geoffrey T. Parks
Abstract:
A novel derivative-free algorithm, optimization by moving ridge functions (OMoRF), for unconstrained and bound-constrained optimization is presented. This algorithm couples trust region methodologies with output-based dimension reduction to accelerate convergence of model-based optimization strategies. The dimension-reducing subspace is updated as the trust region moves through the function domain…
▽ More
A novel derivative-free algorithm, optimization by moving ridge functions (OMoRF), for unconstrained and bound-constrained optimization is presented. This algorithm couples trust region methodologies with output-based dimension reduction to accelerate convergence of model-based optimization strategies. The dimension-reducing subspace is updated as the trust region moves through the function domain, allowing OMoRF to be applied to functions with no known global low-dimensional structure. Furthermore, its low computational requirement allows it to make rapid progress when optimizing high-dimensional functions. Its performance is examined on a set of test problems of moderate to high dimension and a high-dimensional design optimization problem. The results show that OMoRF compares favourably to other common derivative-free optimization methods, even for functions in which no underlying global low-dimensional structure is known.
△ Less
Submitted 6 January, 2021; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Universal structures in $\mathbb C$-linear enumerative invariant theories
Authors:
Jacob Gross,
Dominic Joyce,
Yuuji Tanaka
Abstract:
An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $τ$-(semi)stable objects $E$ with fixed topological invariants $[E]=α$ in some geometric problem, using a virtual class $[{\cal M}_α^{\rm ss}(τ)]_{\rm virt}$ in some homology theory for the moduli spaces…
▽ More
An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $τ$-(semi)stable objects $E$ with fixed topological invariants $[E]=α$ in some geometric problem, using a virtual class $[{\cal M}_α^{\rm ss}(τ)]_{\rm virt}$ in some homology theory for the moduli spaces ${\cal M}_α^{\rm st}(τ)\subseteq{\cal M}_α^{\rm ss}(τ)$ of $τ$-(semi)stable objects. Examples include Mochizuki's invariants counting coherent sheaves on surfaces, Donaldson-Thomas type invariants counting coherent sheaves on Calabi-Yau 3- and 4-folds and Fano 3-folds, and Donaldson invariants of 4-manifolds.
We make conjectures on new universal structures common to many enumerative invariant theories. Such theories have two moduli spaces ${\cal M},{\cal M}^{\rm pl}$, where the second author gives $H_*({\cal M})$ the structure of a graded vertex algebra, and $H_*({\cal M}^{\rm pl})$ a graded Lie algebra, closely related to $H_*({\cal M})$. The virtual classes $[{\cal M}_α^{\rm ss}(τ)]_{\rm virt}$ take values in $H_*({\cal M}^{\rm pl})$.
Defining $[{\cal M}_α^{\rm ss}(τ)]_{\rm virt}$ when ${\cal M}_α^{\rm st}(τ)\ne{\cal M}_α^{\rm ss}(τ)$ (in gauge theory, when the moduli space contains reducibles) is a difficult problem. We conjecture that there is a natural way to define $[{\cal M}_α^{\rm ss}(τ)]_{\rm virt}$ in homology over $\mathbb Q$, and that the resulting classes satisfy a universal wall-crossing formula under change of stability condition $τ$, written using the Lie bracket on $H_*({\cal M}^{\rm pl})$. We prove our conjectures for moduli spaces of representations of quivers without oriented cycles.
Our conjectures in Algebraic Geometry using Behrend-Fantechi virtual classes are proved in the sequel arXiv:2111.04694.
△ Less
Submitted 23 September, 2022; v1 submitted 12 May, 2020;
originally announced May 2020.
-
GMLS-Nets: A framework for learning from unstructured data
Authors:
Nathaniel Trask,
Ravi G. Patel,
Ben J. Gross,
Paul J. Atzberger
Abstract:
Data fields sampled on irregularly spaced points arise in many applications in the sciences and engineering. For regular grids, Convolutional Neural Networks (CNNs) have been successfully used to gaining benefits from weight sharing and invariances. We generalize CNNs by introducing methods for data on unstructured point clouds based on Generalized Moving Least Squares (GMLS). GMLS is a non-parame…
▽ More
Data fields sampled on irregularly spaced points arise in many applications in the sciences and engineering. For regular grids, Convolutional Neural Networks (CNNs) have been successfully used to gaining benefits from weight sharing and invariances. We generalize CNNs by introducing methods for data on unstructured point clouds based on Generalized Moving Least Squares (GMLS). GMLS is a non-parametric technique for estimating linear bounded functionals from scattered data, and has recently been used in the literature for solving partial differential equations. By parameterizing the GMLS estimator, we obtain learning methods for operators with unstructured stencils. In GMLS-Nets the necessary calculations are local, readily parallelizable, and the estimator is supported by a rigorous approximation theory. We show how the framework may be used for unstructured physical data sets to perform functional regression to identify associated differential operators and to regress quantities of interest. The results suggest the architectures to be an attractive foundation for data-driven model development in scientific machine learning applications.
△ Less
Submitted 13 September, 2019; v1 submitted 6 September, 2019;
originally announced September 2019.
-
The homology of moduli stacks of complexes
Authors:
Jacob Gross
Abstract:
We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds. We identify Joyce's vertex algebra construction on $H_\ast(\mathcal{M},\mathbb{Q})$ with a generalized super-lattice vertex algebra associated to…
▽ More
We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds. We identify Joyce's vertex algebra construction on $H_\ast(\mathcal{M},\mathbb{Q})$ with a generalized super-lattice vertex algebra associated to $K^0_{\rm top}(X^{\rm an}) \oplus K^1_{\rm top}(X^{\rm an})$.
△ Less
Submitted 13 August, 2020; v1 submitted 7 July, 2019;
originally announced July 2019.
-
Meshfree Methods on Manifolds for Hydrodynamic Flows on Curved Surfaces: A Generalized Moving Least-Squares (GMLS) Approach
Authors:
B. J. Gross,
N. Trask,
P. Kuberry,
P. J. Atzberger
Abstract:
We utilize generalized moving least squares (GMLS) to develop meshfree techniques for discretizing hydrodynamic flow problems on manifolds. We use exterior calculus to formulate incompressible hydrodynamic equations in the Stokesian regime and handle the divergence-free constraints via a generalized vector potential. This provides less coordinate-centric descriptions and enables the development of…
▽ More
We utilize generalized moving least squares (GMLS) to develop meshfree techniques for discretizing hydrodynamic flow problems on manifolds. We use exterior calculus to formulate incompressible hydrodynamic equations in the Stokesian regime and handle the divergence-free constraints via a generalized vector potential. This provides less coordinate-centric descriptions and enables the development of efficient numerical methods and splitting schemes for the fourth-order governing equations in terms of a system of second-order elliptic operators. Using a Hodge decomposition, we develop methods for manifolds having spherical topology. We show the methods exhibit high-order convergence rates for solving hydrodynamic flows on curved surfaces. The methods also provide general high-order approximations for the metric, curvature, and other geometric quantities of the manifold and associated exterior calculus operators. The approaches also can be utilized to develop high-order solvers for other scalar-valued and vector-valued problems on manifolds.
△ Less
Submitted 18 January, 2020; v1 submitted 24 May, 2019;
originally announced May 2019.
-
On the Distribution of AoI for the GI/GI/1/1 and GI/GI/1/2* Systems: Exact Expressions and Bounds
Authors:
Jaya Prakash Champati,
Hussein Al-Zubaidy,
James Gross
Abstract:
Since Age of Information (AoI) has been proposed as a metric that quantifies the freshness of information updates in a communication system, there has been a constant effort in understanding and optimizing different statistics of the AoI process for classical queueing systems. In addition to classical queuing systems, more recently, systems with no queue or a unit capacity queue storing the latest…
▽ More
Since Age of Information (AoI) has been proposed as a metric that quantifies the freshness of information updates in a communication system, there has been a constant effort in understanding and optimizing different statistics of the AoI process for classical queueing systems. In addition to classical queuing systems, more recently, systems with no queue or a unit capacity queue storing the latest packet have been gaining importance as storing and transmitting older packets do not reduce AoI at the receiver. Following this line of research, we study the distribution of AoI for the GI/GI/1/1 and GI/GI/1/2* systems, under non-preemptive scheduling. For any single-source-single-server queueing system, we derive, using sample path analysis, a fundamental result that characterizes the AoI violation probability, and use it to obtain closed-form expressions for D/GI/1/1, M/GI/1/1 as well as systems that use zero-wait policy. Further, when exact results are not tractable, we present a simple methodology for obtaining upper bounds for the violation probability for both GI/GI/1/1 and GI/GI/1/2* systems. An interesting feature of the proposed upper bounds is that, if the departure rate is given, they overestimate the violation probability by at most a value that decreases with the arrival rate. Thus, given the departure rate and for a fixed average service, the bounds are tighter at higher utilization.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Orientability of moduli spaces of Spin(7)-instantons and coherent sheaves on Calabi-Yau 4-folds
Authors:
Yalong Cao,
Jacob Gross,
Dominic Joyce
Abstract:
This paper concerns orientability of moduli spaces of Spin(7)-instantons on compact 8-manifolds $X$ with Spin(7)-structure for the Lie groups SU($m$) and U($m$), and of moduli spaces of coherent sheaves on Calabi-Yau 4-folds. Such orientations are needed to define enumerative invariants 'counting' Spin(7) instantons, or coherent sheaves on Calabi-Yau 4-folds $X$. The previous version of the paper,…
▽ More
This paper concerns orientability of moduli spaces of Spin(7)-instantons on compact 8-manifolds $X$ with Spin(7)-structure for the Lie groups SU($m$) and U($m$), and of moduli spaces of coherent sheaves on Calabi-Yau 4-folds. Such orientations are needed to define enumerative invariants 'counting' Spin(7) instantons, or coherent sheaves on Calabi-Yau 4-folds $X$. The previous version of the paper, version 2, published in Advances in Mathematics 368 (2020), claimed to prove all these moduli spaces are orientable.
VERSION 3 BEGINS WITH AN ERRATUM. THERE IS A MISTAKE IN THE PROOF OF THEOREM 1.11 OF VERSION 2, AND THE THEOREM ITSELF, ONE OF OUR MAIN RESULTS, IS FALSE. THE 8-MANIFOLD SU(3) IS A COUNTEREXAMPLE. COROLLARIES 1.12 AND 1.17 OF VERSION 2 DEPEND ON THEOREM 1.11, AND SO MAY ALSO BE FALSE, THOUGH WE DO NOT HAVE COUNTEREXAMPLES. OUR OTHER MAIN RESULT, THEOREM 1.15, IS UNAFFECTED BY THE MISTAKE. THE AUTHORS APOLOGIZE FOR THIS.
Joyce-Upmeier arXiv:2503.20456 (197 pages) gives a new theory for studying orientability of moduli spaces using 'bordism categories'. Amongst other results they prove corrected versions of Theorem 1.11 and Corollaries 1.12 and 1.17, which hold with an extra assumption on $H^3(X,\mathbb Z)$.
In version 3, we highlight and explain the mistakes, but we do not correct them, as this would take many pages. Except for Theorem 1.15, readers are advised to read, and cite, Joyce-Upmeier arXiv:2503.20456 instead of this paper.
△ Less
Submitted 27 March, 2025; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Spectral Numerical Exterior Calculus Methods for Differential Equations on Radial Manifolds
Authors:
Ben J. Gross,
Paul J. Atzberger
Abstract:
We develop exterior calculus approaches for partial differential equations on radial manifolds. We introduce numerical methods that approximate with spectral accuracy the exterior derivative $\mathbf{d}$, Hodge star $\star$, and their compositions. To achieve discretizations with high precision and symmetry, we develop hyperinterpolation methods based on spherical harmonics and Lebedev quadrature.…
▽ More
We develop exterior calculus approaches for partial differential equations on radial manifolds. We introduce numerical methods that approximate with spectral accuracy the exterior derivative $\mathbf{d}$, Hodge star $\star$, and their compositions. To achieve discretizations with high precision and symmetry, we develop hyperinterpolation methods based on spherical harmonics and Lebedev quadrature. We perform convergence studies of our numerical exterior derivative operator $\overline{\mathbf{d}}$ and Hodge star operator $\overline{\star}$ showing each converge spectrally to $\mathbf{d}$ and $\star$. We show how the numerical operators can be naturally composed to formulate general numerical approximations for solving differential equations on manifolds. We present results for the Laplace-Beltrami equations demonstrating our approach.
△ Less
Submitted 10 March, 2017; v1 submitted 2 March, 2017;
originally announced March 2017.
-
The HoTT Library: A formalization of homotopy type theory in Coq
Authors:
Andrej Bauer,
Jason Gross,
Peter LeFanu Lumsdaine,
Mike Shulman,
Matthieu Sozeau,
Bas Spitters
Abstract:
We report on the development of the HoTT library, a formalization of homotopy type theory in the Coq proof assistant. It formalizes most of basic homotopy type theory, including univalence, higher inductive types, and significant amounts of synthetic homotopy theory, as well as category theory and modalities. The library has been used as a basis for several independent developments. We discuss the…
▽ More
We report on the development of the HoTT library, a formalization of homotopy type theory in the Coq proof assistant. It formalizes most of basic homotopy type theory, including univalence, higher inductive types, and significant amounts of synthetic homotopy theory, as well as category theory and modalities. The library has been used as a basis for several independent developments. We discuss the decisions that led to the design of the library, and we comment on the interaction of homotopy type theory with recently introduced features of Coq, such as universe polymorphism and private inductive types.
△ Less
Submitted 9 December, 2016; v1 submitted 14 October, 2016;
originally announced October 2016.
-
The CLLC conjecture holds for cyclic outer permutations
Authors:
Jonathan L. Gross,
Toufik Mansour,
Thomas W. Tucker,
David G. L. Wang
Abstract:
Recently, Gross et al. posed the LLC conjecture for the locally log-concavity of the genus distribution of every graph, and provided an equivalent combinatorial version, the CLLC conjecture, on the log-concavity of the generating function counting cycles of some permutation compositions. In this paper, we confirm the CLLC conjecture for cyclic permutations, with the aid of Hultman numbers and by a…
▽ More
Recently, Gross et al. posed the LLC conjecture for the locally log-concavity of the genus distribution of every graph, and provided an equivalent combinatorial version, the CLLC conjecture, on the log-concavity of the generating function counting cycles of some permutation compositions. In this paper, we confirm the CLLC conjecture for cyclic permutations, with the aid of Hultman numbers and by applying the Hermite--Biehler theorem on the generating function of Stirling numbers of the first kind. This leads to a further conjecture that every local genus polynomial is real-rooted.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
-
Root geometry of polynomial sequences II: Type (1,0)
Authors:
J. L. Gross,
T. Mansour,
T. W. Tucker,
D. G. L. Wang
Abstract:
We consider the sequence of polynomials $W_n(x)$ defined by the recursion $W_n(x)=(ax+b)W_{n-1}(x)+dW_{n-2}(x)$, with initial values $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a,b,d,t,r$ are real numbers, $a,t>0$, and $d<0$. We show that every polynomial $W_n(x)$ is distinct-real-rooted, and that the roots of the polynomial $W_n(x)$ interlace the roots of the polynomial $W_{n-1}(x)$. We find that, as…
▽ More
We consider the sequence of polynomials $W_n(x)$ defined by the recursion $W_n(x)=(ax+b)W_{n-1}(x)+dW_{n-2}(x)$, with initial values $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a,b,d,t,r$ are real numbers, $a,t>0$, and $d<0$. We show that every polynomial $W_n(x)$ is distinct-real-rooted, and that the roots of the polynomial $W_n(x)$ interlace the roots of the polynomial $W_{n-1}(x)$. We find that, as $n\to\infty$, the sequence of smallest roots of the polynomials $W_n(x)$ converges decreasingly to a real number, and that the sequence of largest roots converges increasingly to a real number. Moreover, by using the Dirichlet approximation theorem, we prove that there is a number to which, for every positive integer $i\ge2$, the sequence of $i$th smallest roots of the polynomials $W_n(x)$ converges. Similarly, there is a number to which, for every positive integer $i\ge2$, the sequence of $i$th largest roots of the polynomials $W_n(x)$ converges. It turns out that these two convergence points are independent of the numbers $t$ and $r$, as well as $i$. We derive explicit expressions for these four limit points, and we determine completely when some of these limit points coincide.
△ Less
Submitted 9 March, 2015;
originally announced March 2015.
-
Root geometry of polynomial sequences I: Type $(0,1)$
Authors:
J. L. Gross,
T. Mansour,
T. W. Tucker,
D. G. L. Wang
Abstract:
This paper is concerned with the distribution in the complex plane of the roots of a polynomial sequence $\{W_n(x)\}_{n\ge0}$ given by a recursion $W_n(x)=aW_{n-1}(x)+(bx+c)W_{n-2}(x)$, with $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a>0$, $b>0$, and $c,t,r\in\mathbb{R}$. Our results include proof of the distinct-real-rootedness of every such polynomial $W_n(x)$, derivation of the best bound for the z…
▽ More
This paper is concerned with the distribution in the complex plane of the roots of a polynomial sequence $\{W_n(x)\}_{n\ge0}$ given by a recursion $W_n(x)=aW_{n-1}(x)+(bx+c)W_{n-2}(x)$, with $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a>0$, $b>0$, and $c,t,r\in\mathbb{R}$. Our results include proof of the distinct-real-rootedness of every such polynomial $W_n(x)$, derivation of the best bound for the zero-set $\{x\mid W_n(x)=0\ \text{for some $n\ge1$}\}$, and determination of three precise limit points of this zero-set. Also, we give several applications from combinatorics and topological graph theory.
△ Less
Submitted 24 January, 2015;
originally announced January 2015.
-
Log-concavity of the genus polynomials of Ringel ladders
Authors:
J. L. Gross,
T. Mansour,
T. W. Tucker,
D. G. L. Wang
Abstract:
A Ringel ladder can be formed by a self-bar-amalgamation operation on a symmetric ladder, that is, by joining the root vertices on its end-rungs. The present authors have previously derived criteria under which linear chains of copies of one or more graphs have log-concave genus polynomials. Herein we establish Ringel ladders as the first significant non-linear infinite family of graphs known to h…
▽ More
A Ringel ladder can be formed by a self-bar-amalgamation operation on a symmetric ladder, that is, by joining the root vertices on its end-rungs. The present authors have previously derived criteria under which linear chains of copies of one or more graphs have log-concave genus polynomials. Herein we establish Ringel ladders as the first significant non-linear infinite family of graphs known to have log-concave genus polynomials. We construct an algebraic representation of self-bar-amalgamation as a matrix operation, to be applied to a vector representation of the partitioned genus distribution of a symmetric ladder. Analysis of the resulting genus polynomial involves the use of Chebyshev polynomials. This paper continues our quest to affirm the quarter-century-old conjecture that all graphs have log-concave genus polynomials.
△ Less
Submitted 24 January, 2015;
originally announced January 2015.
-
Iterated claws have real-rooted genus polynomials
Authors:
J. L. Gross,
T. Mansour,
T. W. Tucker,
D. G. L. Wang
Abstract:
We prove that the genus polynomials of the graphs called iterated claws are real-rooted. This continues our work directed toward the 25-year-old conjecture that the genus distribution of every graph is log-concave. We have previously established log-concavity for sequences of graphs constructed by iterative vertex-amalgamation or iterative edge-amalgamation of graphs that satisfy a commonly observ…
▽ More
We prove that the genus polynomials of the graphs called iterated claws are real-rooted. This continues our work directed toward the 25-year-old conjecture that the genus distribution of every graph is log-concave. We have previously established log-concavity for sequences of graphs constructed by iterative vertex-amalgamation or iterative edge-amalgamation of graphs that satisfy a commonly observable condition on their partitioned genus distributions, even though it had been proved previously that iterative amalgamation does not always preserve real-rootedness of the genus polynomial of the iterated graph. In this paper, the iterated topological operations are adding a claw and adding a 3-cycle, rather than vertex- or edge-amalgamation. Our analysis here illustrates some advantages of employing a matrix representation of the transposition of a set of productions.
△ Less
Submitted 24 January, 2015;
originally announced January 2015.
-
In-Network Linear Regression with Arbitrarily Split Data Matrices
Authors:
François D. Côté,
Ioannis N. Psaromiligkos,
Warren J. Gross
Abstract:
In this paper, we address the problem of how a network of agents can collaboratively fit a linear model when each agent only ever has an arbitrary summand of the regression data. This problem generalizes previously studied data-matrix-splitting scenarios, allowing for some agents to have more measurements of some features than of others and even have measurements that other agents have. We present…
▽ More
In this paper, we address the problem of how a network of agents can collaboratively fit a linear model when each agent only ever has an arbitrary summand of the regression data. This problem generalizes previously studied data-matrix-splitting scenarios, allowing for some agents to have more measurements of some features than of others and even have measurements that other agents have. We present a variable-centric framework for distributed optimization in a network, and use this framework to develop a proximal algorithm, based on the Douglas-Rachford method, that solves the problem.
△ Less
Submitted 5 August, 2014;
originally announced August 2014.
-
Genus Distributions of cubic series-parallel graphs
Authors:
Jonathan L. Gross,
Michal Kotrbčík,
Timothy Sun
Abstract:
We derive a quadratic-time algorithm for the genus distribution of any 3-regular, biconnected series-parallel graph, which we extend to any biconnected series-parallel graph of maximum degree at most 3. Since the biconnected components of every graph of treewidth 2 are series-parallel graphs, this yields, by use of bar-amalgamation, a quadratic-time algorithm for every graph of treewidth at most 2…
▽ More
We derive a quadratic-time algorithm for the genus distribution of any 3-regular, biconnected series-parallel graph, which we extend to any biconnected series-parallel graph of maximum degree at most 3. Since the biconnected components of every graph of treewidth 2 are series-parallel graphs, this yields, by use of bar-amalgamation, a quadratic-time algorithm for every graph of treewidth at most 2 and maximum degree at most 3.
△ Less
Submitted 30 July, 2014;
originally announced July 2014.
-
Log-Concavity of Combinations of Sequences and Applications to Genus Distributions
Authors:
Jonathan L. Gross,
Toufik Mansour,
Thomas W. Tucker,
David G. L. Wang
Abstract:
We formulate conditions on a set of log-concave sequences, under which any linear combination of those sequences is log-concave, and further, of conditions under which linear combinations of log-concave sequences that have been transformed by convolution are log-concave. These conditions involve relations on sequences called \textit{synchronicity} and \textit{ratio-dominance}, and a characterizati…
▽ More
We formulate conditions on a set of log-concave sequences, under which any linear combination of those sequences is log-concave, and further, of conditions under which linear combinations of log-concave sequences that have been transformed by convolution are log-concave. These conditions involve relations on sequences called \textit{synchronicity} and \textit{ratio-dominance}, and a characterization of some bivariate sequences as \textit{lexicographic}. We are motivated by the 25-year old conjecture that the genus distribution of every graph is log-concave. Although calculating genus distributions is NP-hard, they have been calculated explicitly for many graphs of tractable size, and the three conditions have been observed to occur in the \textit{partitioned genus distributions} of all such graphs. They are used here to prove the log-concavity of the genus distributions of graphs constructed by iterative amalgamation of double-rooted graph fragments whose genus distributions adhere to these conditions, even though it is known that the genus polynomials of some such graphs have imaginary roots. A blend of topological and combinatorial arguments demonstrates that log-concavity is preserved through the iterations.
△ Less
Submitted 23 July, 2014;
originally announced July 2014.
-
Experience Implementing a Performant Category-Theory Library in Coq
Authors:
Jason Gross,
Adam Chlipala,
David I. Spivak
Abstract:
We describe our experience implementing a broad category-theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we have needed substantial engineering effort to teach Coq to cope with large categorical constructions without slowing proof script processing unacceptably. In this paper, we share the lessons we have learned about how to r…
▽ More
We describe our experience implementing a broad category-theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we have needed substantial engineering effort to teach Coq to cope with large categorical constructions without slowing proof script processing unacceptably. In this paper, we share the lessons we have learned about how to represent very abstract mathematical objects and arguments in Coq and how future proof assistants might be designed to better support such reasoning. One particular encoding trick to which we draw attention allows category-theoretic arguments involving duality to be internalized in Coq's logic with definitional equality. Ours may be the largest Coq development to date that uses the relatively new Coq version developed by homotopy type theorists, and we reflect on which new features were especially helpful.
△ Less
Submitted 17 April, 2014; v1 submitted 29 January, 2014;
originally announced January 2014.
-
A Chernoff-type Lower Bound for the Gaussian Q-function
Authors:
François D. Côté,
Ioannis N. Psaromiligkos,
Warren J. Gross
Abstract:
A lower bound for the Gaussian Q-function is presented in the form of a single exponential function with parametric order and weight. We prove the lower bound by introducing two functions, one related to the Q-function and the other similarly related to the exponential function, and by obtaining inequalities that indicate the sign of the difference of the two functions.
A lower bound for the Gaussian Q-function is presented in the form of a single exponential function with parametric order and weight. We prove the lower bound by introducing two functions, one related to the Q-function and the other similarly related to the exponential function, and by obtaining inequalities that indicate the sign of the difference of the two functions.
△ Less
Submitted 22 March, 2012; v1 submitted 29 February, 2012;
originally announced February 2012.
