-
Multiplier Design Addressing Area-Delay Trade-offs by using DSP and Logic resources on FPGAs
Authors:
Andreas Böttcher,
Martin Kumm
Abstract:
The major challenge when designing multipliers for FPGAs is to address several trade-offs: On the one hand at the performance level and on the other hand at the resource level utilizing DSP blocks or look-up tables (LUTs). With DSPs being a relatively limited resource, the problem of under- or over-utilization of DSPs has previously been addressed by the concept of multiplier tiling, by assembling…
▽ More
The major challenge when designing multipliers for FPGAs is to address several trade-offs: On the one hand at the performance level and on the other hand at the resource level utilizing DSP blocks or look-up tables (LUTs). With DSPs being a relatively limited resource, the problem of under- or over-utilization of DSPs has previously been addressed by the concept of multiplier tiling, by assembling multipliers from DSPs and small supplemental LUT multipliers. But there had always been an efficiency gap between tiling-based multipliers and radix-4 Booth-Arrays. While the monolithic Booth-Array was shown to be considerably more efficient in terms of LUT-resources on many modern FPGA-architectures, it typically possess a significantly higher critically path delay (or latency when pipelined) compared to multipliers designed by tiling. This work proposes and analyzes the use of smaller Booth-Arrays as sub-multipliers that are integrated into existing tiling-based methods, such that better trade-off points between area and delay can be reached while utilizing a user-specified number of DSP blocks. It is shown by synthesis experiments, that the critical path delay compared to large Booth-Arrays can be reduced, while achieving significant reductions in LUT-resources compared to previous tiling.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Small Logic-based Multipliers with Incomplete Sub-Multipliers for FPGAs
Authors:
Andreas Böttcher,
Martin Kumm
Abstract:
There is a recent trend in artificial intelligence (AI) inference towards lower precision data formats down to 8 bits and less. As multiplication is the most complex operation in typical inference tasks, there is a large demand for efficient small multipliers. The large DSP blocks have limitations implementing many small multipliers efficiently. Hence, this work proposes a solution for better logi…
▽ More
There is a recent trend in artificial intelligence (AI) inference towards lower precision data formats down to 8 bits and less. As multiplication is the most complex operation in typical inference tasks, there is a large demand for efficient small multipliers. The large DSP blocks have limitations implementing many small multipliers efficiently. Hence, this work proposes a solution for better logic-based multipliers that is especially beneficial for small multipliers. Our work is based on the multiplier tiling method in which a multiplier is designed out of several sub-multiplier tiles. The key observation we made is that these sub-multipliers do not necessarily have to perform a complete (rectangular) NxK multiplication and more efficient sub-multipliers are possible that are incomplete (non-rectangular). This proposal first seeks to identify efficient incomplete irregular sub-multipliers and then demonstrates improvements over state-of-the-art designs. It is shown that optimal solutions can be found using integer linear programming (ILP), which are evaluated in FPGA synthesis experiments.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
The Reciprocal Schur Inequality
Authors:
Albrecht Boettcher,
Stephan Ramon Garcia,
Mishko Mitkovski
Abstract:
Schur's inequality states that the sum of three special terms is always nonnegative. This note is a short review of inequalities for the sum of the reciprocals of these terms and of extensions of the latter inequalities to an arbitrary number of terms and thus to higher-order divided differences.
Schur's inequality states that the sum of three special terms is always nonnegative. This note is a short review of inequalities for the sum of the reciprocals of these terms and of extensions of the latter inequalities to an arbitrary number of terms and thus to higher-order divided differences.
△ Less
Submitted 16 June, 2023; v1 submitted 6 June, 2023;
originally announced June 2023.
-
The norm attainment problem for functions of projections
Authors:
Albrecht Böttcher,
Ilya M. Spitkovsky
Abstract:
The paper is concerned with the problem of identifying the norm attaining operators in the von Neumann algebra generated by two orthogonal projections on a Hilbert space. This algebra contains every skew projection on that Hilbert space and hence the results of the paper also describe functions of skew projections and their adjoints that attain the norm.
The paper is concerned with the problem of identifying the norm attaining operators in the von Neumann algebra generated by two orthogonal projections on a Hilbert space. This algebra contains every skew projection on that Hilbert space and hence the results of the paper also describe functions of skew projections and their adjoints that attain the norm.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
Representing integers by multilinear polynomials
Authors:
Albrecht Boettcher,
Lenny Fukshansky
Abstract:
Let $F(\boldsymbol x)$ be a homogeneous polynomial in $n \ge 1$ variables of degree $1 \leq d \leq n$ with integer coefficients so that its degree in every variable is equal to $1$. We give some sufficient conditions on $F$ to ensure that for every integer $b$ there exists an integer vector $\boldsymbol a$ such that $F(\boldsymbol a) = b$. The conditions provided also guarantee that the vector…
▽ More
Let $F(\boldsymbol x)$ be a homogeneous polynomial in $n \ge 1$ variables of degree $1 \leq d \leq n$ with integer coefficients so that its degree in every variable is equal to $1$. We give some sufficient conditions on $F$ to ensure that for every integer $b$ there exists an integer vector $\boldsymbol a$ such that $F(\boldsymbol a) = b$. The conditions provided also guarantee that the vector $\boldsymbol a$ can be found in a finite number of steps.
△ Less
Submitted 14 July, 2020;
originally announced July 2020.
-
Weighted Means of B-Splines, Positivity of Divided Differences, and Complete Homogeneous Symmetric Polynomials
Authors:
Albrecht Boettcher,
Stephan Ramon Garcia,
Mohamed Omar,
Christopher O'Neill
Abstract:
We employ the fact certain divided differences can be written as weighted means of B-splines and hence are positive. These divided differences include the complete homogeneous symmetric polynomials of even degree $2p$, the positivity of which is a classical result by D. B. Hunter. We extend Hunter's result to complete homogeneous symmetric polynomials of fractional degree, which are defined via Ja…
▽ More
We employ the fact certain divided differences can be written as weighted means of B-splines and hence are positive. These divided differences include the complete homogeneous symmetric polynomials of even degree $2p$, the positivity of which is a classical result by D. B. Hunter. We extend Hunter's result to complete homogeneous symmetric polynomials of fractional degree, which are defined via Jacobi's bialternant formula. We show in particular that these polynomials have positive real part for real degrees $μ$ with $|μ-2p|< 1/2$. We also prove a positivity criterion for linear combinations of the classical complete homogeneous symmetric polynomials and a sufficient criterion for the positivity of linear combinations of products of such polynomials.
△ Less
Submitted 20 January, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Trace your sources in large-scale data: one ring to find them all
Authors:
Alexander Böttcher,
Wieland Brendel,
Bernhard Englitz,
Matthias Bethge
Abstract:
An important preprocessing step in most data analysis pipelines aims to extract a small set of sources that explain most of the data. Currently used algorithms for blind source separation (BSS), however, often fail to extract the desired sources and need extensive cross-validation. In contrast, their rarely used probabilistic counterparts can get away with little cross-validation and are more accu…
▽ More
An important preprocessing step in most data analysis pipelines aims to extract a small set of sources that explain most of the data. Currently used algorithms for blind source separation (BSS), however, often fail to extract the desired sources and need extensive cross-validation. In contrast, their rarely used probabilistic counterparts can get away with little cross-validation and are more accurate and reliable but no simple and scalable implementations are available. Here we present a novel probabilistic BSS framework (DECOMPOSE) that can be flexibly adjusted to the data, is extensible and easy to use, adapts to individual sources and handles large-scale data through algorithmic efficiency. DECOMPOSE encompasses and generalises many traditional BSS algorithms such as PCA, ICA and NMF and we demonstrate substantial improvements in accuracy and robustness on artificial and real data.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
Robert Sheckley\s Answerer for two orthogonal projections
Authors:
Albrecht Boettcher,
Ilya Spitkovsky
Abstract:
This paper is the written version of our talk (presented by the second author) at the IWOTA in Chemnitz in August 2017.
The meta theorem of the paper is that Halmos' two projections theorem is something like Robert Sheckley's Answerer: no question about the W*- and C*-algebras generated by two orthogonal projections will go unanswered, provided the question is not foolish. An alternative approac…
▽ More
This paper is the written version of our talk (presented by the second author) at the IWOTA in Chemnitz in August 2017.
The meta theorem of the paper is that Halmos' two projections theorem is something like Robert Sheckley's Answerer: no question about the W*- and C*-algebras generated by two orthogonal projections will go unanswered, provided the question is not foolish. An alternative approach to questions about two orthogonal projections makes use of the supersymmetry equality introduced by Avron, Seiler, and Simon. A noteworthy insight of the paper reveals that the supersymmetric approach is nothing but Halmos in different language and hence an equivalent Answerer.
△ Less
Submitted 29 November, 2017;
originally announced November 2017.
-
Eigenvalues of even very nice Toeplitz matrices can be unexpectedly erratic
Authors:
Mauricio Barrera,
Albrecht Boettcher,
Sergei M. Grudsky,
Egor A. Maximenko
Abstract:
It was shown in a series of recent publications that the eigenvalues of $n\times n$ Toeplitz matrices generated by so-called simple-loop symbols admit certain regular asymptotic expansions into negative powers of $n+1$. On the other hand, recently two of the authors considered the pentadiagonal Toeplitz matrices generated by the symbol $g(x)=(2\sin(x/2))^4$, which does not satisfy the simple-loop…
▽ More
It was shown in a series of recent publications that the eigenvalues of $n\times n$ Toeplitz matrices generated by so-called simple-loop symbols admit certain regular asymptotic expansions into negative powers of $n+1$. On the other hand, recently two of the authors considered the pentadiagonal Toeplitz matrices generated by the symbol $g(x)=(2\sin(x/2))^4$, which does not satisfy the simple-loop conditions, and derived asymptotic expansions of a more complicated form. We here use these results to show that the eigenvalues of the pentadiagonal Toeplitz matrices do not admit the expected regular asymptotic expansion. This also delivers a counter-example to a conjecture by Ekström, Garoni, and Serra-Capizzano and reveals that the simple-loop condition is essential for the existence of the regular asymptotic expansion.
△ Less
Submitted 14 October, 2017;
originally announced October 2017.
-
Similarity between two projections
Authors:
Albrecht Boettcher,
Barry Simon,
Ilya Spitkovsky
Abstract:
Given two orthogonal projections P and Q, we are interested in all unitary operators U such that UP=QU and UQ=PU. Such unitaries U have previously been constructed by Wang, Du, and Dou and also by one of the authors. One purpose of this note is to compare these constructions. Very recently, Dou, Shi, Cui, and Du described all unitaries U with the required property. Their proof is via the two proje…
▽ More
Given two orthogonal projections P and Q, we are interested in all unitary operators U such that UP=QU and UQ=PU. Such unitaries U have previously been constructed by Wang, Du, and Dou and also by one of the authors. One purpose of this note is to compare these constructions. Very recently, Dou, Shi, Cui, and Du described all unitaries U with the required property. Their proof is via the two projections theorem by Halmos. We here give a proof based on the supersymmetric approach by Avron, Seiler, and one of the authors.
△ Less
Submitted 1 November, 2017; v1 submitted 24 May, 2017;
originally announced May 2017.
-
Lattices and quadratic forms from tight frames in Euclidean spaces
Authors:
Albrecht Boettcher,
Lenny Fukshansky
Abstract:
This paper supplies additions to our paper in Linear Algebra Appl. 510 (2016) 395--420 on integral spans of tight frames in Euclidean spaces. In that previous paper, we considered the case of an equiangular tight frame (ETF), proving that if its integral span is a lattice then the frame must be rational, but overlooking a simple argument in the reverse direction. Thus our first result here is that…
▽ More
This paper supplies additions to our paper in Linear Algebra Appl. 510 (2016) 395--420 on integral spans of tight frames in Euclidean spaces. In that previous paper, we considered the case of an equiangular tight frame (ETF), proving that if its integral span is a lattice then the frame must be rational, but overlooking a simple argument in the reverse direction. Thus our first result here is that the integral span of an ETF is a lattice if and only if the frame is rational. Further, we discuss conditions under which such lattices are eutactic and perfect and, consequently, are local maxima of the packing density function in the dimension of their span. In particular, the unit (276, 23) equiangular tight frame is shown to be eutactic and perfect. More general tight frames and their norm-forms are considered as well, and definitive results are obtained in dimensions two and three.
△ Less
Submitted 12 October, 2018; v1 submitted 25 April, 2017;
originally announced April 2017.
-
Energy stable discretization of Allen-Cahn type problems modeling the motion of phase boundaries
Authors:
Anke Böttcher,
Herbert Egger
Abstract:
We study the systematic numerical approximation of a class of Allen-Cahn type problems modeling the motion of phase interfaces. The common feature of these models is an underlying gradient flow structure which gives rise to a decay of an associated energy functional along solution trajectories. We first study the discretization in space by a conforming Galerkin approximation of a variational princ…
▽ More
We study the systematic numerical approximation of a class of Allen-Cahn type problems modeling the motion of phase interfaces. The common feature of these models is an underlying gradient flow structure which gives rise to a decay of an associated energy functional along solution trajectories. We first study the discretization in space by a conforming Galerkin approximation of a variational principle which characterizes smooth solutions of the problem. Well-posedness of the resulting semi-discretization is established and the energy decay along discrete solution trajectories is proven. A problem adapted implicit time-step** scheme is then proposed and we establish its well-posed and decay of the free energy for the fully discrete scheme. Some details about the numerical realization by finite elements are discussed, in particular the iterative solution of the nonlinear problems arising in every time-step. The theoretical results are illustrated by numerical tests which also provide further evidence for asymptotic expansions of the interface velocities derived by Alber et al.
△ Less
Submitted 8 March, 2017;
originally announced March 2017.
-
Mitosis Detection in Intestinal Crypt Images with Hough Forest and Conditional Random Fields
Authors:
Gerda Bortsova,
Michael Sterr,
Lichao Wang,
Fausto Milletari,
Nassir Navab,
Anika Böttcher,
Heiko Lickert,
Fabian Theis,
Tingying Peng
Abstract:
Intestinal enteroendocrine cells secrete hormones that are vital for the regulation of glucose metabolism but their differentiation from intestinal stem cells is not fully understood. Asymmetric stem cell divisions have been linked to intestinal stem cell homeostasis and secretory fate commitment. We monitored cell divisions using 4D live cell imaging of cultured intestinal crypts to characterize…
▽ More
Intestinal enteroendocrine cells secrete hormones that are vital for the regulation of glucose metabolism but their differentiation from intestinal stem cells is not fully understood. Asymmetric stem cell divisions have been linked to intestinal stem cell homeostasis and secretory fate commitment. We monitored cell divisions using 4D live cell imaging of cultured intestinal crypts to characterize division modes by means of measurable features such as orientation or shape. A statistical analysis of these measurements requires annotation of mitosis events, which is currently a tedious and time-consuming task that has to be performed manually. To assist data processing, we developed a learning based method to automatically detect mitosis events. The method contains a dual-phase framework for joint detection of dividing cells (mothers) and their progeny (daughters). In the first phase we detect mother and daughters independently using Hough Forest whilst in the second phase we associate mother and daughters by modelling their joint probability as Conditional Random Field (CRF). The method has been evaluated on 32 movies and has achieved an AUC of 72%, which can be used in conjunction with manual correction and dramatically speed up the processing pipeline.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.
-
Lattices from tight equiangular frames
Authors:
Albrecht Boettcher,
Lenny Fukshansky,
Stephan Ramon Garcia,
Hiren Maharaj,
Deanna Needell
Abstract:
We consider the set of all linear combinations with integer coefficients of the vectors of a unit tight equiangular $(k,n)$ frame and are interested in the question whether this set is a lattice, that is, a discrete additive subgroup of the $k$-dimensional Euclidean space. We show that this is not the case if the cosine of the angle of the frame is irrational. We also prove that the set is a latti…
▽ More
We consider the set of all linear combinations with integer coefficients of the vectors of a unit tight equiangular $(k,n)$ frame and are interested in the question whether this set is a lattice, that is, a discrete additive subgroup of the $k$-dimensional Euclidean space. We show that this is not the case if the cosine of the angle of the frame is irrational. We also prove that the set is a lattice for $n = k+1$ and that there are infinitely many $k$ such that a lattice emerges for $n = 2k$. We dispose of all cases in dimensions $k$ at most $9$. In particular, we show that a $(7,28)$ frame generates a strongly eutactic lattice and give an alternative proof of Roland Bacher's recent observation that this lattice is perfect.
△ Less
Submitted 18 July, 2016;
originally announced July 2016.
-
Promotion of Cooperation by Selective Group Extinction
Authors:
Marvin A. Böttcher,
Jan Nagler
Abstract:
Multilevel selection is an important organizing principle that crucially underlies evolutionary processes from the emergence of cells to eusociality and the economics of nations. Previous studies on multilevel selection assumed that the effective higher-level selection emerges from lower-level reproduction. This leads to selection among groups, although only individuals reproduce. We introduce sel…
▽ More
Multilevel selection is an important organizing principle that crucially underlies evolutionary processes from the emergence of cells to eusociality and the economics of nations. Previous studies on multilevel selection assumed that the effective higher-level selection emerges from lower-level reproduction. This leads to selection among groups, although only individuals reproduce. We introduce selective group extinction, where groups die with a probability inversely proportional to their group fitness. When accounting for this the critical benefit-to-cost ratio is substantially lowered. Because in game theory and evolutionary dynamics the degree of cooperation crucially depends on this ratio above which cooperation emerges previous studies may have substantially underestimated the establishment and maintenance of cooperation.
△ Less
Submitted 27 May, 2016;
originally announced May 2016.
-
Spherical 2-designs and lattices from Abelian groups
Authors:
Albrecht Boettcher,
Simon Eisenbarth,
Lenny Fukshansky,
Stephan Ramon Garcia,
Hiren Maharaj
Abstract:
We consider lattices generated by finite Abelian groups. We prove that such a lattice is strongly eutactic, which means the normalized minimal vectors of the lattice form a spherical 2-design, if and only if the group is of odd order or if it is a power of the group of order 2. This result also yields a criterion for the appropriately normalized minimal vectors to constitute a uniform normalized t…
▽ More
We consider lattices generated by finite Abelian groups. We prove that such a lattice is strongly eutactic, which means the normalized minimal vectors of the lattice form a spherical 2-design, if and only if the group is of odd order or if it is a power of the group of order 2. This result also yields a criterion for the appropriately normalized minimal vectors to constitute a uniform normalized tight frame. Further, our result combined with a recent theorem of R. Bacher produces (via the classical Voronoi criterion) a new infinite family of extreme lattices. Additionally, we investigate the structure of the automorphism groups of these lattices, strengthening our previous results in this direction.
△ Less
Submitted 6 April, 2017; v1 submitted 29 October, 2015;
originally announced October 2015.
-
From convergence in distribution to uniform convergence
Authors:
Johan Manuel Bogoya,
Albrecht Boettcher,
Egor A. Maximenko
Abstract:
We present conditions that allow us to pass from the convergence of probability measures in distribution to the uniform convergence of the associated quantile functions. Under these conditions, one can in particular pass from the asymptotic distribution of collections of real numbers, such as the eigenvalues of a family of $n$-by-$n$ matrices as $n$ goes to infinity, to their uniform approximation…
▽ More
We present conditions that allow us to pass from the convergence of probability measures in distribution to the uniform convergence of the associated quantile functions. Under these conditions, one can in particular pass from the asymptotic distribution of collections of real numbers, such as the eigenvalues of a family of $n$-by-$n$ matrices as $n$ goes to infinity, to their uniform approximation by the values of the quantile function at equidistant points. For Hermitian Toeplitz-like matrices, convergence in distribution is ensured by theorems of the Szegő type. Our results transfer these convergence theorems into uniform convergence statements.
△ Less
Submitted 6 September, 2015;
originally announced September 2015.
-
Lattices from Hermitian function fields
Authors:
Albrecht Boettcher,
Lenny Fukshansky,
Stephan Ramon Garcia,
Hiren Maharaj
Abstract:
We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming…
▽ More
We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.
△ Less
Submitted 22 February, 2015;
originally announced February 2015.
-
Role of dynamic capsomere supply for viral capsid self-assembly
Authors:
Marvin A. Boettcher,
Heinrich C. R. Klein,
Ulrich S. Schwarz
Abstract:
Many viruses rely on the self-assembly of their capsids to protect and transport their genomic material. For many viral systems, in particular for human viruses like hepatitis B, adeno or human immunodeficiency virus, that lead to persistent infections, capsomeres are continuously produced in the cytoplasm of the host cell while completed capsids exit the cell for a new round of infection. Here we…
▽ More
Many viruses rely on the self-assembly of their capsids to protect and transport their genomic material. For many viral systems, in particular for human viruses like hepatitis B, adeno or human immunodeficiency virus, that lead to persistent infections, capsomeres are continuously produced in the cytoplasm of the host cell while completed capsids exit the cell for a new round of infection. Here we use coarse-grained Brownian dynamics simulations of a generic patchy particle model to elucidate the role of the dynamic supply of capsomeres for the reversible self-assembly of empty T1 icosahedral virus capsids. We find that for high rates of capsomere influx only a narrow range of bond strengths exists for which a steady state of continuous capsid production is possible. For bond strengths smaller and larger than this optimal value, the reaction volume becomes crowded by small and large intermediates, respectively. For lower rates of capsomere influx a broader range of bond strengths exists for which a steady state of continuous capsid production is established, although now the production rate of capsids is smaller. Thus our simulations suggest that the importance of an optimal bond strength for viral capsid assembly typical for in vitro conditions can be reduced by the dynamic influx of capsomeres in a cellular environment.
△ Less
Submitted 31 January, 2015;
originally announced February 2015.
-
On lattices generated by finite Abelian groups
Authors:
Albrecht Boettcher,
Lenny Fukshansky,
Stephan Ramon Garcia,
Hiren Maharaj
Abstract:
This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In case the generating group is cyclic, they are also known as the Barnes lattices. It is shown that for every finite Abelian group with the exception of the cyclic group of order four these lattices have a basis of mini…
▽ More
This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In case the generating group is cyclic, they are also known as the Barnes lattices. It is shown that for every finite Abelian group with the exception of the cyclic group of order four these lattices have a basis of minimal vectors. Another result provides an improvement of a recent upper bound by Min Sha for the covering radius in the case of the Barnes lattices. Also discussed are properties of the automorphism groups of these lattices.
△ Less
Submitted 21 July, 2014; v1 submitted 29 June, 2014;
originally announced June 2014.
-
Toeplitz determinants with perturbations in the corners
Authors:
Albrecht Boettcher,
Lenny Fukshansky,
Stephan Ramon Garcia,
Hiren Maharaj
Abstract:
The paper is devoted to exact and asymptotic formulas for the determinants of Toeplitz matrices with perturbations by blocks of fixed size in the four corners. If the norms of the inverses of the unperturbed matrices remain bounded as the matrix dimension goes to infinity, then standard perturbation theory yields asymptotic expressions for the perturbed determinants. This premise is not satisfied…
▽ More
The paper is devoted to exact and asymptotic formulas for the determinants of Toeplitz matrices with perturbations by blocks of fixed size in the four corners. If the norms of the inverses of the unperturbed matrices remain bounded as the matrix dimension goes to infinity, then standard perturbation theory yields asymptotic expressions for the perturbed determinants. This premise is not satisfied for matrices generated by so-called Fisher-Hartwig symbols. In that case we establish formulas for pure single Fisher-Hartwig singularities and for Hermitian matrices induced by general Fisher-Hartwig symbols.
△ Less
Submitted 21 July, 2014; v1 submitted 29 June, 2014;
originally announced June 2014.
-
On Hurwitz stable polynomials with integer coefficients
Authors:
Albrecht Boettcher
Abstract:
Let H(N) denote the set of all polynomials with positive integer coefficients which have their zeros in the open left half-plane. We are looking for polynomials in H(N) whose largest coefficients are as small as possible and also for polynomials in H(N) with minimal sum of the coefficients. Let h(N) and s(N) denote these minimal values. Using Fekete's subadditive lemma we show that the N-th square…
▽ More
Let H(N) denote the set of all polynomials with positive integer coefficients which have their zeros in the open left half-plane. We are looking for polynomials in H(N) whose largest coefficients are as small as possible and also for polynomials in H(N) with minimal sum of the coefficients. Let h(N) and s(N) denote these minimal values. Using Fekete's subadditive lemma we show that the N-th square roots of h(N) and s(N) have a limit as N goes to infinity and that these two limits coincide. We also derive tight bounds for the common value of the limits.
△ Less
Submitted 1 August, 2013;
originally announced August 2013.
-
Borodin-Okounkov and Szegö for Toeplitz operators on model spaces
Authors:
Albrecht Böttcher
Abstract:
We consider the determinants of compressions of Toeplitz operators to finite-dimensional model spaces and establish analogues of the Borodin-Okounkov formula and the strong Szegö limit theorem in this setting.
We consider the determinants of compressions of Toeplitz operators to finite-dimensional model spaces and establish analogues of the Borodin-Okounkov formula and the strong Szegö limit theorem in this setting.
△ Less
Submitted 1 July, 2013;
originally announced July 2013.
-
C58 on Au(111): a scanning tunneling microscopy study
Authors:
Noelia Bajales,
Stefan Schmaus,
Toshio Miyamashi,
Wulf Wulfhekel,
Jan Wilhelm,
Michael Walz,
Melanie Stendel,
Alexej Bagrets,
Ferdinand Evers,
Seyithan Ulas,
Bastian Kern,
Artur Böttcher,
Manfred M. Kappes
Abstract:
C58 fullerenes were adsorbed onto room temperature Au(111) surface by low-energy (~6 eV) cluster ion beam deposition under ultrahigh vacuum conditions. The topographic and electronic properties of the deposits were monitored by means of scanning tunnelling microscopy (STM at 4.2 K). Topographic images reveal that at low coverages fullerene cages are pinned by point dislocation defects on the herri…
▽ More
C58 fullerenes were adsorbed onto room temperature Au(111) surface by low-energy (~6 eV) cluster ion beam deposition under ultrahigh vacuum conditions. The topographic and electronic properties of the deposits were monitored by means of scanning tunnelling microscopy (STM at 4.2 K). Topographic images reveal that at low coverages fullerene cages are pinned by point dislocation defects on the herringbone reconstructed gold terraces (as well as by step edges). At intermediate coverages, pinned monomers, act as nucleation centres for the formation of oligomeric C58 chains and 2D islands. At the largest coverages studied, the surface becomes covered by 3D interlinked C58 cages. STM topographic images of pinned single adsorbates are essentially featureless. The corresponding local densities of states are consistent with strong cage-substrate interactions. Topographic images of [C58]n oligomers show a stripe-like intensity pattern oriented perpendicular to the axis connecting the cage centers. This striped pattern becomes even more pronounced in maps of the local density of states. As supported by density functional theory, DFT calculations, and also by analogous STM images previously obtained for C60 polymers (M. Nakaya et al., J. Nanosci. Nanotechnol. 11, 2829 (2011)), we conclude that these striped orbital patterns are a fingerprint of covalent intercage bonds. For thick C58 films we have derived a band gap of 1.2 eV from scanning tunnelling spectroscopy data, STS, confirming that the outermost C58 layer behaves as a wide band semiconductor.
△ Less
Submitted 24 January, 2013;
originally announced January 2013.
-
Hexane Air Combustion
Authors:
Philipp A. Boettcher,
Brian Ventura,
Joseph E. Shepherd
Abstract:
Hot surface ignition and subsequent flame propagation of premixed n-hexane air mixtures are shown in this fluid dynamics video. High speed schlieren photography revealed 3 distinct behaviors of ignition and propagation as a function of mixture composition and initial pressure.
Hot surface ignition and subsequent flame propagation of premixed n-hexane air mixtures are shown in this fluid dynamics video. High speed schlieren photography revealed 3 distinct behaviors of ignition and propagation as a function of mixture composition and initial pressure.
△ Less
Submitted 29 September, 2010;
originally announced September 2010.
-
Increase of the mean inner Coulomb potential in Au clusters induced by surface tension and its implication for electron scattering
Authors:
R. Popescu,
E. Mueller,
M. Wanner,
D. Gerthsen,
M. Scowalter,
A. Rosenauer,
A. Boettcher,
D. Loeffler,
P. Weis
Abstract:
Electron holography in a transmission electron microscope was applied to measure the phase shift induced by Au clusters as a function of the cluster size. Large phase shifts Df observed for small Au clusters cannot be described by the well-known equation Df=C_E V_0 t (C_E: interaction constant, V_0: mean inner Coulomb potential (MIP) of bulk gold, t: cluster thickness). The rapid increase of the…
▽ More
Electron holography in a transmission electron microscope was applied to measure the phase shift induced by Au clusters as a function of the cluster size. Large phase shifts Df observed for small Au clusters cannot be described by the well-known equation Df=C_E V_0 t (C_E: interaction constant, V_0: mean inner Coulomb potential (MIP) of bulk gold, t: cluster thickness). The rapid increase of the Au MIP with decreasing cluster size derived from Df, can be explained by the compressive strain of surface atoms in the cluster.
△ Less
Submitted 8 May, 2007;
originally announced May 2007.
-
Generalized Krein algebras and asymptotics of Toeplitz determinants
Authors:
Albrecht Böttcher,
Alexei Karlovich,
Bernd Silbermann
Abstract:
We give a survey on generalized Krein algebras $K_{p,q}^{α,β}$ and their applications to Toeplitz determinants. Our methods originated in a paper by Mark Krein of 1966, where he showed that $K_{2,2}^{1/2,1/2}$ is a Banach algebra. Subsequently, Widom proved the strong Szegő limit theorem for block Toeplitz determinants with symbols in $(K_{2,2}^{1/2,1/2})_{N\times N}$ and later two of the author…
▽ More
We give a survey on generalized Krein algebras $K_{p,q}^{α,β}$ and their applications to Toeplitz determinants. Our methods originated in a paper by Mark Krein of 1966, where he showed that $K_{2,2}^{1/2,1/2}$ is a Banach algebra. Subsequently, Widom proved the strong Szegő limit theorem for block Toeplitz determinants with symbols in $(K_{2,2}^{1/2,1/2})_{N\times N}$ and later two of the authors studied symbols in the generalized Krein algebras $(K_{p,q}^{α,β})_{N\times N}$, where $λ:=1/p+1/q=α+β$ and $λ=1$. We here extend these results to $0<λ<1$. The entire paper is based on fundamental work by Mark Krein, ranging from operator ideals through Toeplitz operators up to Wiener-Hopf factorization.
△ Less
Submitted 18 December, 2006;
originally announced December 2006.
-
Norms of Toeplitz Matrices with Fisher-Hartwig Symbols
Authors:
Albrecht Boettcher,
Jani Virtanen
Abstract:
We describe the asymptotics of the spectral norm of finite Toeplitz matrices generated by functions with Fisher-Hartwig singularities as the matrix dimension goes to infinity. In the case of positive generating functions, our result provides the asymptotics of the largest eigenvalue, which is of interest in time series with long-range memory.
We describe the asymptotics of the spectral norm of finite Toeplitz matrices generated by functions with Fisher-Hartwig singularities as the matrix dimension goes to infinity. In the case of positive generating functions, our result provides the asymptotics of the largest eigenvalue, which is of interest in time series with long-range memory.
△ Less
Submitted 18 December, 2006; v1 submitted 1 June, 2006;
originally announced June 2006.
-
Szegö via Jacobi
Authors:
A. Boettcher,
H. Widom
Abstract:
At present there exist numerous different approaches to results on Toeplitz determinants of the type of Szegö's strong limit theorem. The intention of this paper is to show that Jacobi's theorem on the minors of the inverse matrix remains one of the most comfortable tools for tackling the matter. We repeat a known proof of the Borodin-Okounkov formula and thus of the strong Szegö limit theorem t…
▽ More
At present there exist numerous different approaches to results on Toeplitz determinants of the type of Szegö's strong limit theorem. The intention of this paper is to show that Jacobi's theorem on the minors of the inverse matrix remains one of the most comfortable tools for tackling the matter. We repeat a known proof of the Borodin-Okounkov formula and thus of the strong Szegö limit theorem that is based on Jacobi's theorem. We then use Jacobi's theorem to derive exact and asymptotic formulas for Toeplitz determinants generated by functions with nonzero winding number. This derivation is new and completely elementary
△ Less
Submitted 1 April, 2006;
originally announced April 2006.
-
On the Eigenvalues of Certain Canonical Higher-Order Ordinary Differential Operators
Authors:
Albrecht Boettcher,
Harold Widom
Abstract:
We consider the operator of taking the $2p$th derivative of a function with zero boundary conditions for the function and its first $p-1$ derivatives at two distinct points. Our main result provides an asymptotic formula for the eigenvalues and resolves a question on the appearance of certain regular numbers in the eigenvalue sequences for $p=1$ and $p=3$.
We consider the operator of taking the $2p$th derivative of a function with zero boundary conditions for the function and its first $p-1$ derivatives at two distinct points. Our main result provides an asymptotic formula for the eigenvalues and resolves a question on the appearance of certain regular numbers in the eigenvalue sequences for $p=1$ and $p=3$.
△ Less
Submitted 8 January, 2005;
originally announced January 2005.
-
From Toeplitz Eigenvalues through Green's Kernels to Higher-Order Wirtinger-Sobolev Inequalities
Authors:
A. Boettcher,
H. Widom
Abstract:
The paper is concerned with a sequence of constants which appear in several problems. These problems include the minimal eigenvalue of certain positive definite Toeplitz matrices, the minimal eigenvalue of some higher-order ordinary differential operators, the norm of the Green kernels of these operators, the best constant in a Wirtinger-Sobolev inequality, and the conditioning of a special leas…
▽ More
The paper is concerned with a sequence of constants which appear in several problems. These problems include the minimal eigenvalue of certain positive definite Toeplitz matrices, the minimal eigenvalue of some higher-order ordinary differential operators, the norm of the Green kernels of these operators, the best constant in a Wirtinger-Sobolev inequality, and the conditioning of a special least squares problem. The main result of the paper gives the asymptotics of this sequence.
△ Less
Submitted 13 December, 2004;
originally announced December 2004.
-
Two Elementary Derivations of the Pure Fisher-Hartwig Determinant
Authors:
Albrecht Boettcher,
Harold Widom
Abstract:
We present two elementary derivations of the formula for the Toeplitz determinant generated by a pure Fisher-Hartwig singularity.
We present two elementary derivations of the formula for the Toeplitz determinant generated by a pure Fisher-Hartwig singularity.
△ Less
Submitted 20 December, 2003; v1 submitted 9 December, 2003;
originally announced December 2003.
-
On the determinant formulas by Borodin, Okounkov, Baik, Deift, and Rains
Authors:
A. Boettcher
Abstract:
We give alternative proofs to (block case versions of) some formulas for Toeplitz and Fredholm determinants established recently by the authors of the title. Our proof of the Borodin-Okounkov formula is very short and direct. The proof of the Baik-Deift-Rains formulas is based on standard manipulations with Wiener-Hopf factorizations.
We give alternative proofs to (block case versions of) some formulas for Toeplitz and Fredholm determinants established recently by the authors of the title. Our proof of the Borodin-Okounkov formula is very short and direct. The proof of the Baik-Deift-Rains formulas is based on standard manipulations with Wiener-Hopf factorizations.
△ Less
Submitted 1 January, 2001;
originally announced January 2001.
-
One more proof of the Borodin-Okounkov formula for Toeplitz determinants
Authors:
A. Boettcher
Abstract:
Recently, Borodin and Okounkov established a remarkable identity for Toeplitz determinants. Two other proofs of this identity were subsequently found by Basor and Widom, who also extended the formula to the block case. We here give one more proof, also for the block case. This proof is based on a formula for the inverse of a finite block Toeplitz matrix obtained in the late seventies by Silberma…
▽ More
Recently, Borodin and Okounkov established a remarkable identity for Toeplitz determinants. Two other proofs of this identity were subsequently found by Basor and Widom, who also extended the formula to the block case. We here give one more proof, also for the block case. This proof is based on a formula for the inverse of a finite block Toeplitz matrix obtained in the late seventies by Silbermann and the author.
△ Less
Submitted 20 December, 2000;
originally announced December 2000.