-
Solving bihomogeneous polynomial systems with a zero-dimensional projection
Authors:
Matías Bender,
Laurent Busé,
Carles Checa,
Elias Tsigaridas
Abstract:
We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points. To compute (with) the 0-dimensional projection and the corresponding quotient ring, we introduce linear maps that greatly extend the classical multiplication maps for zero-dimensional systems, but are not those associate…
▽ More
We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points. To compute (with) the 0-dimensional projection and the corresponding quotient ring, we introduce linear maps that greatly extend the classical multiplication maps for zero-dimensional systems, but are not those associated to the elimination ideal; we also call them multiplication maps. We construct them using linear algebra on the restriction of the ideal to a carefully chosen bidegree or, if available, from an arbitrary Gröbner bases. The multiplication maps allow us to compute the elimination ideal of the projection, by generalizing FGLM algorithm to bihomogenous, non-zero dimensional, varieties. We also study their properties, like their minimal polynomials and the multiplicities of their eigenvalues, and show that we can use the eigenvalues to compute numerical approximations of the zero-dimensional projection. Finally, we establish a single exponential complexity bound for computing multiplication maps and Gröbner bases, that we express in terms of the bidegrees of the generators of the corresponding bihomogeneous ideal.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Bigraded Castelnuovo-Mumford regularity and Gröbner bases
Authors:
Matías Bender,
Laurent Busé,
Carles Checa,
Elias Tsigaridas
Abstract:
We study the relation between the bigraded Castelnuovo-Mumford regularity of a bihomogeneous ideal $I$ in the coordinate ring of the product of two projective spaces and the bidegrees of a Gröbner basis of $I$ with respect to the degree reverse lexicographical monomial order in generic coordinates. For the single-graded case, Bayer and Stillman unraveled all aspects of this relationship forty year…
▽ More
We study the relation between the bigraded Castelnuovo-Mumford regularity of a bihomogeneous ideal $I$ in the coordinate ring of the product of two projective spaces and the bidegrees of a Gröbner basis of $I$ with respect to the degree reverse lexicographical monomial order in generic coordinates. For the single-graded case, Bayer and Stillman unraveled all aspects of this relationship forty years ago and these results led to complexity estimates for computations with Gröbner bases. We build on this work to introduce a bounding region of the bidegrees of minimal generators of bihomogeneous Gröbner bases for $I$. We also use this region to certify the presence of some minimal generators close to its boundary. Finally, we show that, up to a certain shift, this region is related to the bigraded Castelnuovo-Mumford regularity of $I$.
△ Less
Submitted 20 May, 2025; v1 submitted 18 July, 2024;
originally announced July 2024.
-
Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
Authors:
Matías Bender,
Pierre-Jean Spaenlehauer
Abstract:
We study polynomial systems with prescribed monomial supports in the Cox rings of toric varieties built from complete polyhedral fans. We present combinatorial formulas for the dimensions of their associated subvarieties under genericity assumptions on the coefficients of the polynomials. Using these formulas, we identify at which degrees generic systems in polytopal algebras form regular sequence…
▽ More
We study polynomial systems with prescribed monomial supports in the Cox rings of toric varieties built from complete polyhedral fans. We present combinatorial formulas for the dimensions of their associated subvarieties under genericity assumptions on the coefficients of the polynomials. Using these formulas, we identify at which degrees generic systems in polytopal algebras form regular sequences. Our motivation comes from sparse elimination theory, where knowing the expected dimension of these subvarieties leads to specialized algorithms and to large speed-ups for solving sparse polynomial systems. As a special case, we classify the degrees at which regular sequences defined by weighted homogeneous polynomials can be found, answering an open question in the Gröbner bases literature. We also show that deciding whether a sparse system is generically a regular sequence in a polytopal algebra is hard from the point of view of theoretical computational complexity.
△ Less
Submitted 20 February, 2024; v1 submitted 12 May, 2023;
originally announced May 2023.
-
Solving sparse polynomial systems using Groebner bases and resultants
Authors:
Matías R. Bender
Abstract:
Solving systems of polynomial equations is a central problem in nonlinear and computational algebra. Since Buchberger's algorithm for computing Gröbner bases in the 60s, there has been a lot of progress in this domain. Moreover, these equations have been employed to model and solve problems from diverse disciplines such as biology, cryptography, and robotics. Currently, we have a good understandin…
▽ More
Solving systems of polynomial equations is a central problem in nonlinear and computational algebra. Since Buchberger's algorithm for computing Gröbner bases in the 60s, there has been a lot of progress in this domain. Moreover, these equations have been employed to model and solve problems from diverse disciplines such as biology, cryptography, and robotics. Currently, we have a good understanding of how to solve generic systems from a theoretical and algorithmic point of view. However, polynomial equations encountered in practice are usually structured, and so many properties and results about generic systems do not apply to them. For this reason, a common trend in the last decades has been to develop mathematical and algorithmic frameworks to exploit specific structures of systems of polynomials.
Arguably, the most common structure is sparsity; that is, the polynomials of the systems only involve a few monomials. Since Bernstein, Khovanskii, and Kushnirenko's work on the expected number of solutions of sparse systems, toric geometry has been the default mathematical framework to employ sparsity. In particular, it is the crux of the matter behind the extension of classical tools to systems, such as resultant computations, homotopy continuation methods, and most recently, Gröbner bases. In this work, we will review these classical tools, their extensions, and recent progress in exploiting sparsity for solving polynomial systems.
This manuscript complements its homonymous tutorial presented at the conference ISSAC 2022.
△ Less
Submitted 19 May, 2022;
originally announced May 2022.
-
Classifier construction in Boolean networks using algebraic methods
Authors:
Robert Schwieger,
Matías R. Bender,
Heike Siebert,
Christian Haase
Abstract:
We investigate how classifiers for Boolean networks (BNs) can be constructed and modified under constraints. A typical constraint is to observe only states in attractors or even more specifically steady states of BNs. Steady states of BNs are one of the most interesting features for application. Large models can possess many steady states. In the typical scenario motivating this paper we start fro…
▽ More
We investigate how classifiers for Boolean networks (BNs) can be constructed and modified under constraints. A typical constraint is to observe only states in attractors or even more specifically steady states of BNs. Steady states of BNs are one of the most interesting features for application. Large models can possess many steady states. In the typical scenario motivating this paper we start from a Boolean model with a given classification of the state space into phenotypes defined by high-level readout components. In order to link molecular biomarkers with experimental design, we search for alternative components suitable for the given classification task. This is useful for modelers of regulatory networks for suggesting experiments and measurements based on their models. It can also help to explain causal relations between components and phenotypes. To tackle this problem we need to use the structure of the BN and the constraints. This calls for an algebraic approach. Indeed we demonstrate that this problem can be reformulated into the language of algebraic geometry. While already interesting in itself, this allows us to use Groebner bases to construct an algorithm for finding such classifiers. We demonstrate the usefulness of this algorithm as a proof of concept on a model with 25 components.
△ Less
Submitted 19 August, 2021;
originally announced August 2021.
-
Linear Probing Revisited: Tombstones Mark the Death of Primary Clustering
Authors:
Michael A. Bender,
Bradley C. Kuszmaul,
William Kuszmaul
Abstract:
First introduced in 1954, linear probing is one of the oldest data structures in computer science, and due to its unrivaled data locality, it continues to be one of the fastest hash tables in practice. It is widely believed and taught, however, that linear probing should never be used at high load factors; this is because primary-clustering effects cause insertions at load factor $1 - 1 /x$ to tak…
▽ More
First introduced in 1954, linear probing is one of the oldest data structures in computer science, and due to its unrivaled data locality, it continues to be one of the fastest hash tables in practice. It is widely believed and taught, however, that linear probing should never be used at high load factors; this is because primary-clustering effects cause insertions at load factor $1 - 1 /x$ to take expected time $Θ(x^2)$ (rather than the ideal $Θ(x)$). The dangers of primary clustering, first discovered by Knuth in 1963, have been taught to generations of computer scientists, and have influenced the design of some of many widely used hash tables.
We show that primary clustering is not a foregone conclusion. We demonstrate that small design decisions in how deletions are implemented have dramatic effects on the asymptotic performance of insertions, so that, even if a hash table operates continuously at a load factor $1 - Θ(1/x)$, the expected amortized cost per operation is $\tilde{O}(x)$. This is because tombstones created by deletions actually cause an anti-clustering effect that combats primary clustering.
We also present a new variant of linear probing (which we call graveyard hashing) that completely eliminates primary clustering on \emph{any} sequence of operations: if, when an operation is performed, the current load factor is $1 - 1/x$ for some $x$, then the expected cost of the operation is $O(x)$. One corollary is that, in the external-memory model with a data blocks of size $B$, graveyard hashing offers the following remarkable guarantee: at any load factor $1 - 1/x$ satisfying $x = o(B)$, graveyard hashing achieves $1 + o(1)$ expected block transfers per operation. Past external-memory hash tables have only been able to offer a $1 + o(1)$ guarantee when the block size $B$ is at least $Ω(x^2)$.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Koszul-type determinantal formulas for families of mixed multilinear systems
Authors:
Matías R. Bender,
Jean-Charles Faugère,
Angelos Mantzaflaris,
Elias Tsigaridas
Abstract:
Effective computation of resultants is a central problem in elimination theory and polynomial system solving. Commonly, we compute the resultant as a quotient of determinants of matrices and we say that there exists a determinantal formula when we can express it as a determinant of a matrix whose elements are the coefficients of the input polynomials. We study the resultant in the context of mixed…
▽ More
Effective computation of resultants is a central problem in elimination theory and polynomial system solving. Commonly, we compute the resultant as a quotient of determinants of matrices and we say that there exists a determinantal formula when we can express it as a determinant of a matrix whose elements are the coefficients of the input polynomials. We study the resultant in the context of mixed multilinear polynomial systems, that is multilinear systems with polynomials having different supports, on which determinantal formulas were not known. We construct determinantal formulas for two kind of multilinear systems related to the Multiparameter Eigenvalue Problem (MEP): first, when the polynomials agree in all but one block of variables; second, when the polynomials are bilinear with different supports, related to a bipartite graph. We use the Weyman complex to construct Koszul-type determinantal formulas that generalize Sylvester-type formulas. We can use the matrices associated to these formulas to solve square systems without computing the resultant. The combination of the resultant matrices with the eigenvalue and eigenvector criterion for polynomial systems leads to a new approach for solving MEP.
△ Less
Submitted 26 May, 2021;
originally announced May 2021.
-
Yet another eigenvalue algorithm for solving polynomial systems
Authors:
Matías R. Bender,
Simon Telen
Abstract:
In latest years, several advancements have been made in symbolic-numerical eigenvalue techniques for solving polynomial systems. In this article, we add to this list. We design an algorithm which solves systems with isolated solutions reliably and efficiently. In overdetermined cases, it reduces the task to an eigenvalue problem in a simpler and considerably faster way than in previous methods, an…
▽ More
In latest years, several advancements have been made in symbolic-numerical eigenvalue techniques for solving polynomial systems. In this article, we add to this list. We design an algorithm which solves systems with isolated solutions reliably and efficiently. In overdetermined cases, it reduces the task to an eigenvalue problem in a simpler and considerably faster way than in previous methods, and it can outperform the homotopy continuation approach. We provide many examples and an implementation in the proof-of-concept Julia package EigenvalueSolver.jl.
△ Less
Submitted 10 February, 2022; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Toric Eigenvalue Methods for Solving Sparse Polynomial Systems
Authors:
Matías R. Bender,
Simon Telen
Abstract:
We consider the problem of computing homogeneous coordinates of points in a zero-dimensional subscheme of a compact, complex toric variety $X$. Our starting point is a homogeneous ideal $I$ in the Cox ring of $X$, which in practice might arise from homogenizing a sparse polynomial system. We prove a new eigenvalue theorem in the toric compact setting, which leads to a novel, robust numerical appro…
▽ More
We consider the problem of computing homogeneous coordinates of points in a zero-dimensional subscheme of a compact, complex toric variety $X$. Our starting point is a homogeneous ideal $I$ in the Cox ring of $X$, which in practice might arise from homogenizing a sparse polynomial system. We prove a new eigenvalue theorem in the toric compact setting, which leads to a novel, robust numerical approach for solving this problem. Our method works in particular for systems having isolated solutions with arbitrary multiplicities. It depends on the multigraded regularity properties of $I$. We study these properties and provide bounds on the size of the matrices appearing in our approach when $I$ is a complete intersection.
△ Less
Submitted 11 March, 2022; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Operator-valued zeta functions and Fourier analysis
Authors:
Dorje C Brody,
Carl M. Bender
Abstract:
The Riemann zeta function $ζ(s)$ is defined as the infinite sum $\sum_{n=1}^\infty n^{-s}$, which converges when ${\rm Re}\,s>1$. The Riemann hypothesis asserts that the nontrivial zeros of $ζ(s)$ lie on the line ${\rm Re}\,s= \frac{1}{2}$. Thus, to find these zeros it is necessary to perform an analytic continuation to a region of complex $s$ for which the defining sum does not converge. This ana…
▽ More
The Riemann zeta function $ζ(s)$ is defined as the infinite sum $\sum_{n=1}^\infty n^{-s}$, which converges when ${\rm Re}\,s>1$. The Riemann hypothesis asserts that the nontrivial zeros of $ζ(s)$ lie on the line ${\rm Re}\,s= \frac{1}{2}$. Thus, to find these zeros it is necessary to perform an analytic continuation to a region of complex $s$ for which the defining sum does not converge. This analytic continuation is ordinarily performed by using a functional equation. In this paper it is argued that one can investigate some properties of the Riemann zeta function in the region ${\rm Re}\,s<1$ by allowing operator-valued zeta functions to act on test functions. As an illustration, it is shown that the locations of the trivial zeros can be determined purely from a Fourier series, without relying on an explicit analytic continuation of the functional equation satisfied by $ζ(s)$.
△ Less
Submitted 3 June, 2019; v1 submitted 28 September, 2018;
originally announced October 2018.
-
Comment on 'Comment on "Hamiltonian for the zeros of the Riemann zeta function" '
Authors:
Carl M. Bender,
Dorje C. Brody,
Markus P. Müller
Abstract:
This paper is in response to a recent comment by Bellissard [arXiv:1704.02644] on the paper [Phys. Rev. Lett. 118, 130201 (2017)]. It is explained that the issues raised in the comment have already been discussed in the paper and do not affect the conclusions of the paper.
This paper is in response to a recent comment by Bellissard [arXiv:1704.02644] on the paper [Phys. Rev. Lett. 118, 130201 (2017)]. It is explained that the issues raised in the comment have already been discussed in the paper and do not affect the conclusions of the paper.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
Hamiltonian for the zeros of the Riemann zeta function
Authors:
Carl M. Bender,
Dorje C. Brody,
Markus P. Müller
Abstract:
A Hamiltonian operator $\hat H$ is constructed with the property that if the eigenfunctions obey a suitable boundary condition, then the associated eigenvalues correspond to the nontrivial zeros of the Riemann zeta function. The classical limit of $\hat H$ is $2xp$, which is consistent with the Berry-Keating conjecture. While $\hat H$ is not Hermitian in the conventional sense, ${\rm i}{\hat H}$ i…
▽ More
A Hamiltonian operator $\hat H$ is constructed with the property that if the eigenfunctions obey a suitable boundary condition, then the associated eigenvalues correspond to the nontrivial zeros of the Riemann zeta function. The classical limit of $\hat H$ is $2xp$, which is consistent with the Berry-Keating conjecture. While $\hat H$ is not Hermitian in the conventional sense, ${\rm i}{\hat H}$ is ${\cal PT}$ symmetric with a broken ${\cal PT}$ symmetry, thus allowing for the possibility that all eigenvalues of $\hat H$ are real. A heuristic analysis is presented for the construction of the metric operator to define an inner-product space, on which the Hamiltonian is Hermitian. If the analysis presented here can be made rigorous to show that ${\hat H}$ is manifestly self-adjoint, then this implies that the Riemann hypothesis holds true.
△ Less
Submitted 6 March, 2017; v1 submitted 12 August, 2016;
originally announced August 2016.
-
Incorporating Road Networks into Territory Design
Authors:
Nitin Ahuja,
Matthias Bender,
Peter Sanders,
Christian Schulz,
Andreas Wagner
Abstract:
Given a set of basic areas, the territory design problem asks to create a predefined number of territories, each containing at least one basic area, such that an objective function is optimized. Desired properties of territories often include a reasonable balance, compact form, contiguity and small average journey times which are usually encoded in the objective function or formulated as constrain…
▽ More
Given a set of basic areas, the territory design problem asks to create a predefined number of territories, each containing at least one basic area, such that an objective function is optimized. Desired properties of territories often include a reasonable balance, compact form, contiguity and small average journey times which are usually encoded in the objective function or formulated as constraints. We address the territory design problem by developing graph theoretic models that also consider the underlying road network. The derived graph models enable us to tackle the territory design problem by modifying graph partitioning algorithms and mixed integer programming formulations so that the objective of the planning problem is taken into account. We test and compare the algorithms on several real world instances.
△ Less
Submitted 5 May, 2015; v1 submitted 29 April, 2015;
originally announced April 2015.
-
Singularities of closures of spherical $B$-conjugacy classes of nilpotent orbits
Authors:
Martin Bender,
Nicolas Perrin
Abstract:
We prove that for a simply laced group, the closure of the Borel conjugacy class of any nilpotent element of height $2$ in its conjugacy class is normal and admits a rational resolution. We extend this, using Frobenius splitting techniques, to the closure in the whole Lie algebra if either the group has type $A$ or the element has rank $2$.
We prove that for a simply laced group, the closure of the Borel conjugacy class of any nilpotent element of height $2$ in its conjugacy class is normal and admits a rational resolution. We extend this, using Frobenius splitting techniques, to the closure in the whole Lie algebra if either the group has type $A$ or the element has rank $2$.
△ Less
Submitted 8 April, 2016; v1 submitted 17 December, 2014;
originally announced December 2014.
-
On singularities in B-orbit closures of 2-nilpotent matrices
Authors:
Martin Bender
Abstract:
This paper deals with singularities of closures of $2$-nilpotent Borel conjugacy classes in either a $\text{GL}_n$-conjugacy class or in the nilpotent cone of $\text{GL}_n$. In the latter case we construct a resolution of singularities, in the former we show that singularities are rational by applying a result of M. Brion. We reason why this generalizes the result of N. Perrin and E. Smirnov on th…
▽ More
This paper deals with singularities of closures of $2$-nilpotent Borel conjugacy classes in either a $\text{GL}_n$-conjugacy class or in the nilpotent cone of $\text{GL}_n$. In the latter case we construct a resolution of singularities, in the former we show that singularities are rational by applying a result of M. Brion. We reason why this generalizes the result of N. Perrin and E. Smirnov on the rationality of singularities of Springer fiber components in the two-column case. In the case of Borel orbit closures being contained in orbital varieties, we give an alternative version of L. Fresse's recent singularity criterion.
△ Less
Submitted 26 November, 2013; v1 submitted 11 November, 2013;
originally announced November 2013.
-
Multiple Meixner-Pollaczek polynomials and the six-vertex model
Authors:
Martin Bender,
Steven Delvaux,
Arno B. J. Kuijlaars
Abstract:
We study multiple orthogonal polynomials of Meixner-Pollaczek type with respect to a symmetric system of two orthogonality measures. Our main result is that the limiting distribution of the zeros of these polynomials is one component of the solution to a constrained vector equilibrium problem. We also provide a Rodrigues formula and closed expressions for the recurrence coefficients. The proof of…
▽ More
We study multiple orthogonal polynomials of Meixner-Pollaczek type with respect to a symmetric system of two orthogonality measures. Our main result is that the limiting distribution of the zeros of these polynomials is one component of the solution to a constrained vector equilibrium problem. We also provide a Rodrigues formula and closed expressions for the recurrence coefficients. The proof of the main result follows from a connection with the eigenvalues of block Toeplitz matrices, for which we provide some general results of independent interest.
The motivation for this paper is the study of a model in statistical mechanics, the so-called six-vertex model with domain wall boundary conditions, in a particular regime known as the free fermion line. We show how the multiple Meixner-Pollaczek polynomials arise in an inhomogeneous version of this model.
△ Less
Submitted 21 February, 2011; v1 submitted 15 January, 2011;
originally announced January 2011.
-
Interpolation between Airy and Poisson statistics for unitary chiral non-Hermitian random matrix ensembles
Authors:
Gernot Akemann,
Martin Bender
Abstract:
We consider a family of chiral non-Hermitian Gaussian random matrices in the unitarily invariant symmetry class. The eigenvalue distribution in this model is expressed in terms of Laguerre polynomials in the complex plane. These are orthogonal with respect to a non-Gaussian weight including a modified Bessel function of the second kind, and we give an elementary proof for this. In the large $n$ li…
▽ More
We consider a family of chiral non-Hermitian Gaussian random matrices in the unitarily invariant symmetry class. The eigenvalue distribution in this model is expressed in terms of Laguerre polynomials in the complex plane. These are orthogonal with respect to a non-Gaussian weight including a modified Bessel function of the second kind, and we give an elementary proof for this. In the large $n$ limit, the eigenvalue statistics at the spectral edge close to the real axis are described by the same family of kernels interpolating between Airy and Poisson that was recently found by one of the authors for the elliptic Ginibre ensemble. We conclude that this scaling limit is universal, appearing for two different non-Hermitian random matrix ensembles with unitary symmetry. As a second result we give an equivalent form for the interpolating Airy kernel in terms of a single real integral, similar to representations for the asymptotic kernel in the bulk and at the hard edge of the spectrum. This makes its structure as a one-parameter deformation of the Airy kernel more transparent.
△ Less
Submitted 22 March, 2010;
originally announced March 2010.
-
Crepant resolutions and brane tilings II: Tilting bundles
Authors:
Martin Bender,
Sergey Mozgovoy
Abstract:
Given a brane tiling, that is, a bipartite graph on a torus, we can associate with it a singular 3-Calabi-Yau variety. Using the brane tiling, we can also construct all crepant resolutions of the above variety. We give an explicit toric description of tilting bundles on these crepant resolutions. This result proves the conjecture of Hanany, Herzog and Vegh and a version of the conjecture of Aspi…
▽ More
Given a brane tiling, that is, a bipartite graph on a torus, we can associate with it a singular 3-Calabi-Yau variety. Using the brane tiling, we can also construct all crepant resolutions of the above variety. We give an explicit toric description of tilting bundles on these crepant resolutions. This result proves the conjecture of Hanany, Herzog and Vegh and a version of the conjecture of Aspinwall.
△ Less
Submitted 10 September, 2009;
originally announced September 2009.
-
Edge scaling limits for a family of non-Hermitian random matrix ensembles
Authors:
Martin Bender
Abstract:
A family of random matrix ensembles interpolating between the GUE and the Ginibre ensemble of $n\times n$ matrices with iid centered complex Gaussian entries is considered. The asymptotic spectral distribution in these models is uniform in an ellipse in the complex plane, which collapses to an interval of the real line as the degree of non-Hermiticity diminishes. Scaling limit theorems are prove…
▽ More
A family of random matrix ensembles interpolating between the GUE and the Ginibre ensemble of $n\times n$ matrices with iid centered complex Gaussian entries is considered. The asymptotic spectral distribution in these models is uniform in an ellipse in the complex plane, which collapses to an interval of the real line as the degree of non-Hermiticity diminishes. Scaling limit theorems are proven for the eigenvalue point process at the rightmost edge of the spectrum, and it is shown that a non-trivial transition occurs between Poisson and Airy point process statistics when the ratio of the axes of the supporting ellipse is of order $n^{-1/3}$. In this regime, the family of limiting probability distributions of the maximum of the real parts of the eigenvalues interpolates between the Gumbel and Tracy-Widom distributions.
△ Less
Submitted 19 August, 2008;
originally announced August 2008.
-
Optimal Cache-Oblivious Mesh Layouts
Authors:
Michael A. Bender,
Bradley C. Kuszmaul,
Shang-Hua Teng,
Kebin Wang
Abstract:
A mesh is a graph that divides physical space into regularly-shaped regions. Meshes computations form the basis of many applications, e.g. finite-element methods, image rendering, and collision detection. In one important mesh primitive, called a mesh update, each mesh vertex stores a value and repeatedly updates this value based on the values stored in all neighboring vertices. The performance…
▽ More
A mesh is a graph that divides physical space into regularly-shaped regions. Meshes computations form the basis of many applications, e.g. finite-element methods, image rendering, and collision detection. In one important mesh primitive, called a mesh update, each mesh vertex stores a value and repeatedly updates this value based on the values stored in all neighboring vertices. The performance of a mesh update depends on the layout of the mesh in memory.
This paper shows how to find a memory layout that guarantees that the mesh update has asymptotically optimal memory performance for any set of memory parameters. Such a memory layout is called cache-oblivious. Formally, for a $d$-dimensional mesh $G$, block size $B$, and cache size $M$ (where $M=Ω(B^d)$), the mesh update of $G$ uses $O(1+|G|/B)$ memory transfers. The paper also shows how the mesh-update performance degrades for smaller caches, where $M=o(B^d)$.
The paper then gives two algorithms for finding cache-oblivious mesh layouts. The first layout algorithm runs in time $O(|G|\log^2|G|)$ both in expectation and with high probability on a RAM. It uses $O(1+|G|\log^2(|G|/M)/B)$ memory transfers in expectation and $O(1+(|G|/B)(\log^2(|G|/M) + \log|G|))$ memory transfers with high probability in the cache-oblivious and disk-access machine (DAM) models. The layout is obtained by finding a fully balanced decomposition tree of $G$ and then performing an in-order traversal of the leaves of the tree. The second algorithm runs faster by almost a $\log|G|/\log\log|G|$ factor in all three memory models, both in expectation and with high probability. The layout obtained by finding a relax-balanced decomposition tree of $G$ and then performing an in-order traversal of the leaves of the tree.
△ Less
Submitted 5 October, 2009; v1 submitted 8 May, 2007;
originally announced May 2007.
-
Global Fluctuations in General Beta Dyson Brownian Motion
Authors:
Martin Bender
Abstract:
We consider a system of diffusing particles on the real line in a quadratic external potential and with repulsive electrostatic interaction. The empirical measure process is known to converge weakly to a deterministic measure-valued process as the number of particles tends to infinity. Provided the initial fluctuations are small, the rescaled linear statistics of the empirical measure process co…
▽ More
We consider a system of diffusing particles on the real line in a quadratic external potential and with repulsive electrostatic interaction. The empirical measure process is known to converge weakly to a deterministic measure-valued process as the number of particles tends to infinity. Provided the initial fluctuations are small, the rescaled linear statistics of the empirical measure process converge in distribution to a Gaussian limit for sufficiently smooth test functions. We derive explicit general formulae for the mean and covariance in this central limit theorem by analyzing a partial differential equation characterizing the limiting fluctuations.
△ Less
Submitted 25 October, 2006;
originally announced October 2006.
-
Nonlinear Integral-Equation Formulation of Orthogonal Polynomials
Authors:
Carl M. Bender,
E. Ben-Naim
Abstract:
The nonlinear integral equation P(x)=\int_alpha^beta dy w(y) P(y) P(x+y) is investigated. It is shown that for a given function w(x) the equation admits an infinite set of polynomial solutions P(x). For polynomial solutions, this nonlinear integral equation reduces to a finite set of coupled linear algebraic equations for the coefficients of the polynomials. Interestingly, the set of polynomial…
▽ More
The nonlinear integral equation P(x)=\int_alpha^beta dy w(y) P(y) P(x+y) is investigated. It is shown that for a given function w(x) the equation admits an infinite set of polynomial solutions P(x). For polynomial solutions, this nonlinear integral equation reduces to a finite set of coupled linear algebraic equations for the coefficients of the polynomials. Interestingly, the set of polynomial solutions is orthogonal with respect to the measure x w(x). The nonlinear integral equation can be used to specify all orthogonal polynomials in a simple and compact way. This integral equation provides a natural vehicle for extending the theory of orthogonal polynomials into the complex domain. Generalizations of the integral equation are discussed.
△ Less
Submitted 14 November, 2006; v1 submitted 26 October, 2006;
originally announced October 2006.
-
PT-Symmetric Extension of the Korteweg-de Vries Equation
Authors:
Carl M. Bender,
Dorje C. Brody,
Junhua Chen,
Elisabetta Furlan
Abstract:
The Korteweg-de Vries equation u_t+uu_x+u_{xxx}=0 is PT symmetric (invariant under space-time reflection). Therefore, it can be generalized and extended into the complex domain in such a way as to preserve the PT symmetry. The result is the family of complex nonlinear wave equations u_t-iu(i u_x)^epsilon+u_{xxx}=0, where epsilon is real. The features of these equations are discussed. Special att…
▽ More
The Korteweg-de Vries equation u_t+uu_x+u_{xxx}=0 is PT symmetric (invariant under space-time reflection). Therefore, it can be generalized and extended into the complex domain in such a way as to preserve the PT symmetry. The result is the family of complex nonlinear wave equations u_t-iu(i u_x)^epsilon+u_{xxx}=0, where epsilon is real. The features of these equations are discussed. Special attention is given to the epsilon=3 equation, for which conservation laws are derived and solitary waves are investigated.
△ Less
Submitted 2 October, 2006;
originally announced October 2006.
-
A Class of Exactly-Solvable Eigenvalue Problems
Authors:
Carl M. Bender,
Qinghai Wang
Abstract:
The class of differential-equation eigenvalue problems $-y''(x)+x^{2N+2}y(x)=x^N Ey(x)$ ($N=-1,0,1,2,3,...$) on the interval $-\infty<x<\infty$ can be solved in closed form for all the eigenvalues $E$ and the corresponding eigenfunctions $y(x)$. The eigenvalues are all integers and the eigenfunctions are all confluent hypergeometric functions. The eigenfunctions can be rewritten as products of p…
▽ More
The class of differential-equation eigenvalue problems $-y''(x)+x^{2N+2}y(x)=x^N Ey(x)$ ($N=-1,0,1,2,3,...$) on the interval $-\infty<x<\infty$ can be solved in closed form for all the eigenvalues $E$ and the corresponding eigenfunctions $y(x)$. The eigenvalues are all integers and the eigenfunctions are all confluent hypergeometric functions. The eigenfunctions can be rewritten as products of polynomials and functions that decay exponentially as $x\to\pm \infty$. For odd $N$ the polynomials that are obtained in this way are new and interesting classes of orthogonal polynomials. For example, when N=1, the eigenfunctions are orthogonal polynomials in $x^3$ multiplying Airy functions of $x^2$. The properties of the polynomials for all $N$ are described in detail.
△ Less
Submitted 21 September, 2001; v1 submitted 5 September, 2001;
originally announced September 2001.
-
Eigenvalue Integro-Differential Equations for Orthogonal Polynomials on the Real Line
Authors:
Carl M. Bender,
Joshua Feinberg
Abstract:
The one-dimensional harmonic oscillator wave functions are solutions to a Sturm-Liouville problem posed on the whole real line. This problem generates the Hermite polynomials. However, no other set of orthogonal polynomials can be obtained from a Sturm-Liouville problem on the whole real line. In this paper we show how to characterize an arbitrary set of polynomials orthogonal on…
▽ More
The one-dimensional harmonic oscillator wave functions are solutions to a Sturm-Liouville problem posed on the whole real line. This problem generates the Hermite polynomials. However, no other set of orthogonal polynomials can be obtained from a Sturm-Liouville problem on the whole real line. In this paper we show how to characterize an arbitrary set of polynomials orthogonal on $(-\infty,\infty)$ in terms of a system of integro-differential equations of Hartree-Fock type. This system replaces and generalizes the linear differential equation associated with a Sturm-Liouville problem. We demonstrate our results for the special case of Hahn-Meixner polynomials.
△ Less
Submitted 4 November, 1994;
originally announced November 1994.
