arXiv++ Combinatorics

In this paper we study how zeros of the Fourier transform of a function $f: \mathbb{Z}_p^d \to \mathbb{C}$ are related to the structure of the function itself. In particular, we introduce a notion of bandwidth of such functions and discuss its connection with the decomposition of this function into wavelets. Connections of these concepts with the tomography principle and the Nyquist-Shannon sampling theorem are explored. We examine a variety of cases such as when the Fourier transform of the characteristic function of a set $E$ vanishes on specific sets of points, affine subspaces, and algebraic curves. In each of these cases, we prove properties such as equidistribution of $E$ across various surfaces and bounds on the size of $E$. We also establish a finite field Heisenberg uncertainty principle for sets that relates their bandwidth dimension and spatial dimension.

The x-ray process is modelled using integer compositions as a two dimensional analogue of the object being x-rayed, where the examining rays are modelled by diagonal lines with equation $x-y=n$ for non negative integers $n$. This process is essentially parameterised by the degree to which the x-rays are contained inside a particular composition. So, characterising the process translates naturally to obtaining a generating function which tracks the number of "staircases" which are contained inside arbitrary integer compositions of $n$. More precisely, we obtain a generating function which counts the number of times the staircase $1^+2^+3^+\cdots m^+$ fits inside a particular composition. The main theorem establishes this generating function \begin{equation*} F= \dfrac {k_{m}-\frac {qx^{m}y}{1-x}k_{m-1}}{(1-q)x^{\binom {m+1}{2}}\left(\frac{y}{1-x}\right)^{m}+\frac{1-x-xy}{1-x}\left(k_{m}-\frac{qx^{m}y}{1-x}k_{m-1}\right)}. \end{equation*} where \begin{equation} k_{m}=\sum_{j=0}^{m-1}x^{mj-\binom {j}{2}}\left(\frac {y}{1-x}\right)^{j}. \end{equation} Here $x$ and $y$ respectively track the composition size and number of parts, whilst $q$ tracks the number of such staircases contained.

In this paper we give a new sufficient condition for a general stability of Kronecker coefficients, which we call it additive stability. It was motivated by a recent talk of J. Stembridge at the conference in honor of Richard P. Stanley's 70th birthday, and it is based on work of the author on discrete tomography along the years. The main contribution of this paper is the discovery of the connection between additivity of integer matrices and stability of Kronecker coefficients. Additivity, in our context, is a concept from discrete tomography. Its advantage is that it is very easy to produce lots of examples of additive matrices and therefore of new instances of stability properties. We also show that Stembridge's hypothesis and additivity are closely related, and prove that all stability properties of Kronecker coefficients discovered before fit into additive stability.

A kind of fixed-point problem in the area of discrete tomography is proposed and investigated. Our chief concern in this paper is the case of square windows in the plane. Dealing with the arrays which are bounded, of polynomial growth, and finite-ring-valued, one comes across several interesting phenomena of combinatorial and arithmetic nature.

An analytical solution for the posterior estimate in Bayesian tomography of the unknown quantum state of an arbitrary quantum system (with a finite-dimensional Hilbert space) is found. First, we derive the Bayesian estimate for a pure quantum state measured by a set of arbitrary rank-1 POVMs under the uninformative (i.e. the unitary invariant or Haar) prior. The expression for the estimate involves the matrix permanents of the Gram matrices with repeated rows and columns, with the matrix elements being the scalar products of vectors giving the measurement outcomes. Second, an unknown mixed state is treated by the Hilbert-Schmidt purification. In this case, under the uninformative prior for the combined pure state, the posterior estimate of the mixed state of the system is expressed through the matrix $α$-permanents of the Gram matrices of scalar products of vectors giving the measurement outcomes. In the mixed case, there is also a free integer parameter -- the Schmidt number -- which can be used to optimise the Bayesian reconstruction (for instance, in case of Schimdt number being equal to 1, the mixed state estimates reduces to the pure state estimate). We also discuss the perspectives of approximate numerical computation and asymptotic analytical evaluation of the Bayesian estimate using the derived formula.

In hypergraph theory, determining a characterization of the degree sequence $d=(d_1,d_2,\ldots,d_n)$ where $d_1\ge d_2\ge\ldots,d_n$ are positive integers, of an $h$-uniform simple hypergraph $\cal H$, and deciding the complexity status of the reconstruction of $\cal H$ from $d$, are two challenging open problems. They can be formulated in the context of discrete tomography: asks whether there is a matrix $A$ with positive projection vectors $H=(h,h,\ldots,h)$ and $V=(d_1,d_2,\ldots,d_n)$ with distinct rows. In this paper we consider the two subcases where the vector $V$ is an homogeneous vector, and where $V$ is almost homogeneous, i.e., $d_1-d_n=1$. We give a simple characterization for these two subcases, and we show how to solve the related reconstruction problems in polynomial time. To reach our goal, we use the concepts of Lyndon words and necklaces of fixed density, and we apply some already known algorithms for their efficient generation.

In earlier papers we have developed an algebraic theory of discrete tomography. In those papers the structure of the functions $f: A \to \{0,1\}$ and $f: A \to \mathbb{Z}$ having given line sums in certain directions have been analyzed. Here $A$ was a block in $\mathbb{Z}^n$ with sides parallel to the axes. In the present paper we assume that there is noise in the measurements and (only) that $A$ is an arbitrary or convex finite set in $\mathbb{Z}^n$. We derive generalizations of earlier results. Furthermore we apply a method of Beck and Fiala to obtain results of he following type: if the line sums in $k$ directions of a function $h: A \to [0,1]$ are known, then there exists a function $f: A \to \{0,1\}$ such that its line sums differ by at most $k$ from the corresponding line sums of $h$.

In 1980 Alltop produced a family of cubic phase sequences that nearly meet the Welch bound for maximum non-peak correlation magnitude. This family of sequences were shown by Wooters and Fields to be useful for quantum state tomography. Alltop's construction used a function that is not planar, but whose difference function is planar. In this paper we show that Alltop type functions cannot exist in fields of characteristic 3 and that for a known class of planar functions, $x^3$ is the only Alltop type function.

A realisation of a metric $d$ on a finite set $X$ is a weighted graph $(G,w)$ whose vertex set contains $X$ such that the shortest-path distance between elements of $X$ considered as vertices in $G$ is equal to $d$. Such a realisation $(G,w)$ is called optimal if the sum of its edge weights is minimal over all such realisations. Optimal realisations always exist, although it is NP-hard to compute them in general, and they have applications in areas such as phylogenetics, electrical networks and internet tomography. In [Adv. in Math. 53, 1984, 321-402] A.~Dress showed that the optimal realisations of a metric $d$ are closely related to a certain polytopal complex that can be canonically associated to $d$ called its tight-span. Moreover, he conjectured that the (weighted) graph consisting of the zero- and one-dimensional faces of the tight-span of $d$ must always contain an optimal realisation as a homeomorphic subgraph. In this paper, we prove that this conjecture does indeed hold for a certain class of metrics, namely the class of totally"=decomposable metrics whose tight-span has dimension two. As a corollary, it follows that the minimum Manhattan network problem is a special case of finding optimal realisations of two-dimensional totally-decomposable metrics.

We consider the reconstruction of a function on a finite subset of $\mathbb{Z}^2$ if the line sums in certain directions are prescribed. The real solutions form a linear manifold, its integer solutions a grid. First we provide an explicit expression for the projection vector from the origin onto the linear solution manifold in the case of only row and column sums of a finite subset of $\mathbf{Z}^2$. Next we present a method to estimate the maximal distance between two binary solutions. Subsequently we deduce an upper bound for the distance from any given real solution to the nearest integer solution. This enables us to estimate the stability of solutions. Finally we generalize the first mentioned result to the torus case and to the continuous case.

Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements corresponding to the self-loops. The Kron reduction of this graph is again a graph whose Laplacian matrix is obtained by the Schur complement of the original Laplacian matrix with respect to a subset of nodes. The Kron reduction process is ubiquitous in classic circuit theory and in related disciplines such as electrical impedance tomography, smart grid monitoring, transient stability assessment in power networks, or analysis and simulation of induction motors and power electronics. More general applications of Kron reduction occur in sparse matrix algorithms, multi-grid solvers, finite--element analysis, and Markov chains. The Schur complement of a Laplacian matrix and related concepts have also been studied under different names and as purely theoretic problems in the literature on linear algebra. In this paper we propose a general graph-theoretic framework for Kron reduction that leads to novel and deep insights both on the mathematical and the physical side. We show the applicability of our framework to various practical problem setups arising in engineering applications and computation. Furthermore, we provide a comprehensive and detailed graph-theoretic analysis of the Kron reduction process encompassing topological, algebraic, spectral, resistive, and sensitivity analyses. Throughout our theoretic elaborations we especially emphasize the practical applicability of our results.

We consider the problem of reconstructing binary images from their horizontal and vertical projections. For any reconstruction we define the length of the boundary of the image. In this paper we assume that the projections are monotone, and we construct an image satisfying these projections that has a relatively small boundary. We also give families of examples for which we show that no smaller boundary is possible.

We consider possible reconstructions of a binary image of which the row and column sums are given. For any reconstruction we can define the length of the boundary of the image. In this paper we prove a new lower bound on the length of this boundary. In contrast to simple bounds that have been derived previously, in this new lower bound the information of both row and column sums is combined.

A new algorithm for reconstructing a two dimensional object from a set of one dimensional projected views is presented that is both computationally exact and experimentally practical. The algorithm has a computational complexity of O(n log2 n) with n = N^2 for an NxN image, is robust in the presence of noise and produces no artefacts in the reconstruction process, as is the case with conventional tomographic methods. The reconstruction process is approximation free because the object is assumed to be discrete and utilizes fully discrete Radon transforms. Noise in the projection data can be suppressed further by introducing redundancy in the reconstruction. The number of projections required for exact reconstruction and the response to noise can be controlled without comprising the digital nature of the algorithm. The digital projections are those of the Mojette Transform, a form of discrete linogram. A simple analytical mapping is developed that compacts these projections exactly into symmetric periodic slices within the Discrete Fourier Transform. A new digital angle set is constructed that allows the periodic slices to completely fill all of the objects Discrete Fourier space. Techniques are proposed to acquire these digital projections experimentally to enable fast and robust two dimensional reconstructions.

We consider the problem of reconstructing binary images from their horizontal and vertical projections. It is known that the projections do not necessarily determine the image uniquely. In a previous paper it was shown that the symmetric difference between two solutions (binary images that satisfy the projections) is at most 4A times the square root of 2N. Here N is the sum of the projections in one direction (i.e. the size of the image) and A is a parameter depending on the projections. In this paper we give a lower bound: for each set of projections that has at least two solutions, we construct two solutions that have a symmetric difference of at least 2A+2. We also show that this is the best possible.

Discrete tomography is concerned with the reconstruction of images that are defined on a discrete set of lattice points from their projections in several directions. The range of values that can be assigned to each lattice point is typically a small discrete set. In this paper we present a framework for studying these problems from an algebraic perspective, based on Ring Theory and Commutative Algebra. A principal advantage of this abstract setting is that a vast body of existing theory becomes accessible for solving Discrete Tomography problems. We provide proofs of several new results on the structure of dependencies between projections, including a discrete analogon of the well-known Helgason-Ludwig consistency conditions from continuous tomography.

We consider the problem of reconstructing binary images from their horizontal and vertical projections. We present a condition that the projections must necessarily satisfy when there exist two disjoint reconstructions from those projections. More generally, we derive an upper bound on the symmetric difference of two reconstructions from the same projections. We also consider two reconstructions from two different sets of projections and prove an upper bound on the symmetric difference in this case.

In this paper we prove several new stability results for the reconstruction of binary images from two projections. We consider an original image that is uniquely determined by its projections and possible reconstructions from slightly different projections. We show that for a given difference in the projections, the reconstruction can only be disjoint from the original image if the size of the image is not too large. We also prove an upper bound for the size of the image given the error in the projections and the size of the intersection between the image and the reconstruction.

Discrete tomography is a well-established method to investigate finite point sets, in particular finite subsets of periodic systems. Here, we start to develop an efficient approach for the treatment of finite subsets of mathematical quasicrystals. To this end, the class of cyclotomic model sets is introduced, and the corresponding consistency, reconstruction and uniqueness problems of the discrete tomography of these sets are discussed.

The X-ray of a permutation is defined as the sequence of antidiagonal sums in the associated permutation matrix. X-rays of permutation are interesting in the context of Discrete Tomography since many types of integral matrices can be written as linear combinations of permutation matrices. This paper is an invitation to the study of X-rays of permutations from a combinatorial point of view. We present connections between these objects and nondecreasing differences of permutations, zero-sum arrays, decomposable permutations, score sequences of tournaments, queens' problems and rooks' problems.