Geometric generalizations of the Tonnetz and their relation to Fourier phase space

Some recent work on generalized Tonnetze has examined the topologies resulting from Richard Cohn’s common-tone based formulation, while Tymoczko has reformulated the Tonnetz as a network of voice-leading relationships and investigated the resulting geometries. This paper adopts the original common-tone based formulation and takes a geometrical approach, showing that Tonnetze can always be realized in toroidal spaces,and that the resulting spaces always correspond to one of the possible Fourier phase spaces. We can therefore use the DFT to optimize the given Tonnetz to the space (or vice-versa). I interpret two-dimensional Tonnetze as triangulations of the 2-torus into regions associated with the representatives of a single trichord type. The natural generalization to three dimensions is therefore a triangulation of the 3-torus. This means that a three-dimensional Tonnetze is, in the general case, a network of three tetrachord-types related by shared trichordal subsets. Other Tonnetze that have been proposed with bounded or otherwise non-toroidal topologies, including Tymoczko’s voice-leading Tonnetze, can be under-stood as the embedding of the toroidal Tonnetze in other spaces, or as foldings of toroidal Tonnetze with duplicated interval types.Accepted manuscrip

Variational inequalities characterizing weak minimality in set optimization

We introduce the notion of weak minimizer in set optimization. Necessary and sufficient conditions in terms of scalarized variational inequalities of Stampacchia and Minty type, respectively, are proved. As an application, we obtain necessary and sufficient optimality conditions for weak efficiency of vector optimization in infinite dimensional spaces. A Minty variational principle in this framework is proved as a corollary of our main result.Comment: Includes an appendix summarizing results which are submitted but not published at this poin

The Morse theory of \v{C}ech and Delaunay complexes

Given a finite set of points in $\mathbb R^n$ and a radius parameter, we study the \v{C}ech, Delaunay-\v{C}ech, Delaunay (or Alpha), and Wrap complexes in the light of generalized discrete Morse theory. Establishing the \v{C}ech and Delaunay complexes as sublevel sets of generalized discrete Morse functions, we prove that the four complexes are simple-homotopy equivalent by a sequence of simplicial collapses, which are explicitly described by a single discrete gradient field.Comment: 21 pages, 2 figures, improved expositio

A semidefinite programming hierarchy for packing problems in discrete geometry

Packing problems in discrete geometry can be modeled as finding independent sets in infinite graphs where one is interested in independent sets which are as large as possible. For finite graphs one popular way to compute upper bounds for the maximal size of an independent set is to use Lasserre's semidefinite programming hierarchy. We generalize this approach to infinite graphs. For this we introduce topological packing graphs as an abstraction for infinite graphs coming from packing problems in discrete geometry. We show that our hierarchy converges to the independence number.Comment: (v2) 25 pages, revision based on suggestions by referee, accepted in Mathematical Programming Series B special issue on polynomial optimizatio

On the Minimization of Convex Functionals of Probability Distributions Under Band Constraints

The problem of minimizing convex functionals of probability distributions is solved under the assumption that the density of every distribution is bounded from above and below. A system of sufficient and necessary first-order optimality conditions as well as a bound on the optimality gap of feasible candidate solutions are derived. Based on these results, two numerical algorithms are proposed that iteratively solve the system of optimality conditions on a grid of discrete points. Both algorithms use a block coordinate descent strategy and terminate once the optimality gap falls below the desired tolerance. While the first algorithm is conceptually simpler and more efficient, it is not guaranteed to converge for objective functions that are not strictly convex. This shortcoming is overcome in the second algorithm, which uses an additional outer proximal iteration, and, which is proven to converge under mild assumptions. Two examples are given to demonstrate the theoretical usefulness of the optimality conditions as well as the high efficiency and accuracy of the proposed numerical algorithms.Comment: 13 pages, 5 figures, 2 tables, published in the IEEE Transactions on Signal Processing. In previous versions, the example in Section VI.B contained some mistakes and inaccuracies, which have been fixed in this versio

Uncertainty Relations for Shift-Invariant Analog Signals

The past several years have witnessed a surge of research investigating various aspects of sparse representations and compressed sensing. Most of this work has focused on the finite-dimensional setting in which the goal is to decompose a finite-length vector into a given finite dictionary. Underlying many of these results is the conceptual notion of an uncertainty principle: a signal cannot be sparsely represented in two different bases. Here, we extend these ideas and results to the analog, infinite-dimensional setting by considering signals that lie in a finitely-generated shift-invariant (SI) space. This class of signals is rich enough to include many interesting special cases such as multiband signals and splines. By adapting the notion of coherence defined for finite dictionaries to infinite SI representations, we develop an uncertainty principle similar in spirit to its finite counterpart. We demonstrate tightness of our bound by considering a bandlimited lowpass train that achieves the uncertainty principle. Building upon these results and similar work in the finite setting, we show how to find a sparse decomposition in an overcomplete dictionary by solving a convex optimization problem. The distinguishing feature of our approach is the fact that even though the problem is defined over an infinite domain with infinitely many variables and constraints, under certain conditions on the dictionary spectrum our algorithm can find the sparsest representation by solving a finite-dimensional problem.Comment: Accepted to IEEE Trans. on Inform. Theor