-
Influence in Completely Bounded Block-multilinear Forms and Classical Simulation of Quantum Algorithms
Authors:
Nikhil Bansal,
Makrand Sinha,
Ronald de Wolf
Abstract:
The Aaronson-Ambainis conjecture (Theory of Computing '14) says that every low-degree bounded polynomial on the Boolean hypercube has an influential variable. This conjecture, if true, would imply that the acceptance probability of every $d$-query quantum algorithm can be well-approximated almost everywhere (i.e., on almost all inputs) by a $\mathrm{poly}(d)$-query classical algorithm. We prove a…
▽ More
The Aaronson-Ambainis conjecture (Theory of Computing '14) says that every low-degree bounded polynomial on the Boolean hypercube has an influential variable. This conjecture, if true, would imply that the acceptance probability of every $d$-query quantum algorithm can be well-approximated almost everywhere (i.e., on almost all inputs) by a $\mathrm{poly}(d)$-query classical algorithm. We prove a special case of the conjecture: in every completely bounded degree-$d$ block-multilinear form with constant variance, there always exists a variable with influence at least $1/\mathrm{poly}(d)$. In a certain sense, such polynomials characterize the acceptance probability of quantum query algorithms, as shown by Arunachalam, Briët and Palazuelos (SICOMP '19). As a corollary we obtain efficient classical almost-everywhere simulation for a particular class of quantum algorithms that includes for instance $k$-fold Forrelation. Our main technical result relies on connections to free probability theory.
△ Less
Submitted 28 February, 2022;
originally announced March 2022.
-
Computing associators of endomorphism fusion categories
Authors:
Daniel Barter,
Jacob C. Bridgeman,
Ramona Wolf
Abstract:
Many applications of fusion categories, particularly in physics, require the associators or $F$-symbols to be known explicitly. Finding these matrices typically involves solving vast systems of coupled polynomial equations in large numbers of variables. In this work, we present an algorithm that allows associator data for some category with unknown associator to be computed from a Morita equivalen…
▽ More
Many applications of fusion categories, particularly in physics, require the associators or $F$-symbols to be known explicitly. Finding these matrices typically involves solving vast systems of coupled polynomial equations in large numbers of variables. In this work, we present an algorithm that allows associator data for some category with unknown associator to be computed from a Morita equivalent category with known data. Given a module category over the latter, we utilize the representation theory of a module tube category, built from the known data, to compute this unknown associator data. When the input category is unitary, we discuss how to ensure the obtained data is also unitary.
We provide several worked examples to illustrate this algorithm. In addition, we include several Mathematica files showing how the algorithm can be used to compute the data for the Haagerup category $\mathcal{H}_1$, whose data was previously unknown.
△ Less
Submitted 27 July, 2022; v1 submitted 7 October, 2021;
originally announced October 2021.
-
A problem on distance matrices of subsets of the Hamming cube
Authors:
Ian Doust,
Reinhard Wolf
Abstract:
Let $D$ denote the distance matrix for an $n+1$ point metric space $(X,d)$. In the case that $X$ is an unweighted metric tree, the sum of the entries in $D^{-1}$ is always equal to $2/n$. Such trees can be considered as affinely independent subsets of the Hamming cube $H_n$, and it was conjectured that the value $2/n$ was minimal among all such subsets. In this paper we confirm this conjecture and…
▽ More
Let $D$ denote the distance matrix for an $n+1$ point metric space $(X,d)$. In the case that $X$ is an unweighted metric tree, the sum of the entries in $D^{-1}$ is always equal to $2/n$. Such trees can be considered as affinely independent subsets of the Hamming cube $H_n$, and it was conjectured that the value $2/n$ was minimal among all such subsets. In this paper we confirm this conjecture and give a geometric interpretation of our result which applies to any subset of $H_n$.
△ Less
Submitted 24 January, 2022; v1 submitted 14 September, 2021;
originally announced September 2021.
-
Microscopic Models for Fusion Categories
Authors:
Ramona Wolf
Abstract:
This is a PhD Thesis on the connection between subfactors (more precisely, their corresponding fusion categories) and Conformal Field Theory (CFT). Besides being a mathematically interesting topic on its own, subfactors have also attracted the attention of physicists, since there is a conjectured correspondence between these and CFTs. Although there is quite a persuasive body of evidence for this…
▽ More
This is a PhD Thesis on the connection between subfactors (more precisely, their corresponding fusion categories) and Conformal Field Theory (CFT). Besides being a mathematically interesting topic on its own, subfactors have also attracted the attention of physicists, since there is a conjectured correspondence between these and CFTs. Although there is quite a persuasive body of evidence for this conjecture, there are some gaps: there exists a set of exceptional subfactors with no known counterpart CFT. Hence, it is necessary to develop new techniques for building a CFT from a subfactor. Here, it is useful to study the underlying mathematical structure in more detail: The even parts of every subfactor give rise to two Unitary Fusion Categories (UFCs), and it is a promising direction to study quantum spin systems constructed from these categories to find a connection to CFTs. The simplest example that requires new techniques for building a CFT is the Haagerup subfactor, since it is the smallest subfactor with index larger than 4. In this thesis, we investigate the question whether there is a CFT corresponding to the Haagerup subfactor via lattice models in one and two dimensions. The first task here is to find the F-symbols of the fusion category since these are crucial ingredients for the construction of a physical model in all of the models we consider in this thesis. We then investigate microscopic models such as the golden chain model and the Levin-Wen model in order to find evidence for a corresponding CFT. We find that there is no evidence for a corresponding CFT from the investigation of the UFCs directly and it is necessary to expand these studies to the corresponding unitary modular tensor category, which can, for instance, be obtained via the excitations of the Levin-Wen model.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Quantum algorithms for matrix scaling and matrix balancing
Authors:
Joran van Apeldoorn,
Sander Gribling,
Yinan Li,
Harold Nieuwboer,
Michael Walter,
Ronald de Wolf
Abstract:
Matrix scaling and matrix balancing are two basic linear-algebraic problems with a wide variety of applications, such as approximating the permanent, and pre-conditioning linear systems to make them more numerically stable. We study the power and limitations of quantum algorithms for these problems.
We provide quantum implementations of two classical (in both senses of the word) methods: Sinkhor…
▽ More
Matrix scaling and matrix balancing are two basic linear-algebraic problems with a wide variety of applications, such as approximating the permanent, and pre-conditioning linear systems to make them more numerically stable. We study the power and limitations of quantum algorithms for these problems.
We provide quantum implementations of two classical (in both senses of the word) methods: Sinkhorn's algorithm for matrix scaling and Osborne's algorithm for matrix balancing. Using amplitude estimation as our main tool, our quantum implementations both run in time $\tilde O(\sqrt{mn}/\varepsilon^4)$ for scaling or balancing an $n \times n$ matrix (given by an oracle) with $m$ non-zero entries to within $\ell_1$-error $\varepsilon$. Their classical analogs use time $\tilde O(m/\varepsilon^2)$, and every classical algorithm for scaling or balancing with small constant $\varepsilon$ requires $Ω(m)$ queries to the entries of the input matrix. We thus achieve a polynomial speed-up in terms of $n$, at the expense of a worse polynomial dependence on the obtained $\ell_1$-error $\varepsilon$. We emphasize that even for constant $\varepsilon$ these problems are already non-trivial (and relevant in applications).
Along the way, we extend the classical analysis of Sinkhorn's and Osborne's algorithm to allow for errors in the computation of marginals. We also adapt an improved analysis of Sinkhorn's algorithm for entrywise-positive matrices to the $\ell_1$-setting, leading to an $\tilde O(n^{1.5}/\varepsilon^3)$-time quantum algorithm for $\varepsilon$-$\ell_1$-scaling in this case.
We also prove a lower bound, showing that our quantum algorithm for matrix scaling is essentially optimal for constant $\varepsilon$: every quantum algorithm for matrix scaling that achieves a constant $\ell_1$-error with respect to uniform marginals needs to make at least $Ω(\sqrt{mn})$ queries.
△ Less
Submitted 25 November, 2020;
originally announced November 2020.
-
The F-Symbols for the H3 Fusion Category
Authors:
Tobias J. Osborne,
Deniz E. Stiegemann,
Ramona Wolf
Abstract:
We present a solution for the F-symbols of the H3 fusion category, which is Morita equivalent to the even parts of the Haagerup subfactor. This solution has been computed by solving the pentagon equations and using several properties of trivalent categories.
We present a solution for the F-symbols of the H3 fusion category, which is Morita equivalent to the even parts of the Haagerup subfactor. This solution has been computed by solving the pentagon equations and using several properties of trivalent categories.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
Convex optimization using quantum oracles
Authors:
Joran van Apeldoorn,
András Gilyén,
Sander Gribling,
Ronald de Wolf
Abstract:
We study to what extent quantum algorithms can speed up solving convex optimization problems. Following the classical literature we assume access to a convex set via various oracles, and we examine the efficiency of reductions between the different oracles. In particular, we show how a separation oracle can be implemented using $\tilde{O}(1)$ quantum queries to a membership oracle, which is an exp…
▽ More
We study to what extent quantum algorithms can speed up solving convex optimization problems. Following the classical literature we assume access to a convex set via various oracles, and we examine the efficiency of reductions between the different oracles. In particular, we show how a separation oracle can be implemented using $\tilde{O}(1)$ quantum queries to a membership oracle, which is an exponential quantum speed-up over the $Ω(n)$ membership queries that are needed classically. We show that a quantum computer can very efficiently compute an approximate subgradient of a convex Lipschitz function. Combining this with a simplification of recent classical work of Lee, Sidford, and Vempala gives our efficient separation oracle. This in turn implies, via a known algorithm, that $\tilde{O}(n)$ quantum queries to a membership oracle suffice to implement an optimization oracle (the best known classical upper bound on the number of membership queries is quadratic). We also prove several lower bounds: $Ω(\sqrt{n})$ quantum separation (or membership) queries are needed for optimization if the algorithm knows an interior point of the convex set, and $Ω(n)$ quantum separation queries are needed if it does not.
△ Less
Submitted 20 December, 2019; v1 submitted 3 September, 2018;
originally announced September 2018.
-
Compactness of iso-resonant potentials for Schrödinger operators in dimensions one and three
Authors:
Peter D. Hislop,
Robert Wolf
Abstract:
We prove compactness of a restricted set of real-valued, compactly supported potentials $V$ for which the corresponding Schrödinger operators $H_V$ have the same resonances, including multiplicities. More specifically, let $B_R(0)$ be the ball of radius $R > 0$ about the origin in $R^d$, for $d=1,3$. Let $\mathcal{I}_R (V_0)$ be the set of real-valued potentials in…
▽ More
We prove compactness of a restricted set of real-valued, compactly supported potentials $V$ for which the corresponding Schrödinger operators $H_V$ have the same resonances, including multiplicities. More specifically, let $B_R(0)$ be the ball of radius $R > 0$ about the origin in $R^d$, for $d=1,3$. Let $\mathcal{I}_R (V_0)$ be the set of real-valued potentials in $C_0^\infty( \overline{B}_R(0); R)$ so that the corresponding Schrödinger operators have the same resonances, including multiplicities, as $H_{V_0}$. We prove that the set $\mathcal{I}_R (V_0)$ is a compact subset of $C_0^\infty (\overline{B}_R(0))$ in the $C^\infty$-topology. An extension to Sobolev spaces of less regular potentials is discussed.
△ Less
Submitted 6 March, 2018;
originally announced March 2018.
-
Estimating the gap of finite metric spaces of strict p-negative type
Authors:
Reinhard Wolf
Abstract:
Let (X,d) be a finite metric space. This paper first discusses the spectrum of the p-distance matrix of a finite metric space of p-negative type and then gives upper and lower bounds for the so called gap of a finite metric space of strict p-negative type. Furthermore estimations for the gap under a certain glueing construction for finite metric spaces are given and finally be applied to finite ul…
▽ More
Let (X,d) be a finite metric space. This paper first discusses the spectrum of the p-distance matrix of a finite metric space of p-negative type and then gives upper and lower bounds for the so called gap of a finite metric space of strict p-negative type. Furthermore estimations for the gap under a certain glueing construction for finite metric spaces are given and finally be applied to finite ultrametric spaces.
△ Less
Submitted 21 April, 2016;
originally announced April 2016.
-
Computing automorphisms of Mori dream spaces
Authors:
Juergen Hausen,
Simon Keicher,
Ruediger Wolf
Abstract:
We present an algorithm to compute the automorphism group of a Mori dream space. As an example calculation, we determine the automorphism groups of singular cubic surfaces with general parameters. The strategy is to study graded automorphisms of affine algebras graded by a finitely generated abelian groups and apply the results to the Cox ring. Besides the application to Mori dream spaces, our res…
▽ More
We present an algorithm to compute the automorphism group of a Mori dream space. As an example calculation, we determine the automorphism groups of singular cubic surfaces with general parameters. The strategy is to study graded automorphisms of affine algebras graded by a finitely generated abelian groups and apply the results to the Cox ring. Besides the application to Mori dream spaces, our results could be used for symmetry based computing, e.g. for Gröbner bases or tropical varieties.
△ Less
Submitted 27 May, 2016; v1 submitted 16 November, 2015;
originally announced November 2015.
-
Some upper and lower bounds on PSD-rank
Authors:
Troy Lee,
Zhaohui Wei,
Ronald de Wolf
Abstract:
Positive semidefinite rank (PSD-rank) is a relatively new quantity with applications to combinatorial optimization and communication complexity. We first study several basic properties of PSD-rank, and then develop new techniques for showing lower bounds on the PSD-rank. All of these bounds are based on viewing a positive semidefinite factorization of a matrix $M$ as a quantum communication protoc…
▽ More
Positive semidefinite rank (PSD-rank) is a relatively new quantity with applications to combinatorial optimization and communication complexity. We first study several basic properties of PSD-rank, and then develop new techniques for showing lower bounds on the PSD-rank. All of these bounds are based on viewing a positive semidefinite factorization of a matrix $M$ as a quantum communication protocol. These lower bounds depend on the entries of the matrix and not only on its support (the zero/nonzero pattern), overcoming a limitation of some previous techniques. We compare these new lower bounds with known bounds, and give examples where the new ones are better. As an application we determine the PSD-rank of (approximations of) some common matrices.
△ Less
Submitted 16 July, 2014;
originally announced July 2014.
-
Exponential Lower Bounds for Polytopes in Combinatorial Optimization
Authors:
Samuel Fiorini,
Serge Massar,
Sebastian Pokutta,
Hans Raj Tiwary,
Ronald de Wolf
Abstract:
We solve a 20-year old problem posed by Yannakakis and prove that there exists no polynomial-size linear program (LP) whose associated polytope projects to the traveling salesman polytope, even if the LP is not required to be symmetric. Moreover, we prove that this holds also for the cut polytope and the stable set polytope. These results were discovered through a new connection that we make betwe…
▽ More
We solve a 20-year old problem posed by Yannakakis and prove that there exists no polynomial-size linear program (LP) whose associated polytope projects to the traveling salesman polytope, even if the LP is not required to be symmetric. Moreover, we prove that this holds also for the cut polytope and the stable set polytope. These results were discovered through a new connection that we make between one-way quantum communication protocols and semidefinite programming reformulations of LPs.
△ Less
Submitted 13 March, 2015; v1 submitted 3 November, 2011;
originally announced November 2011.
-
A norm - inequality related to affine regular hexagons
Authors:
Reinhard Wolf
Abstract:
Let $(E, \lVert . \rVert)$ be a two-dimensional real normed space with unit sphere $S = \{x \in E, \lVert x \rVert = 1\}$. The main result of this paper is the following: Consider an affine regular hexagon with vertex set $H = \{\pm v_1, \pm v_2, \pm v_3\} \subseteq S$ inscribed to $S$. Then we have $$\min_i \max_{x \in S}{\lVert x - v_i \rVert + \lVert x + v_i \rVert} \leq 3.$$ From this result w…
▽ More
Let $(E, \lVert . \rVert)$ be a two-dimensional real normed space with unit sphere $S = \{x \in E, \lVert x \rVert = 1\}$. The main result of this paper is the following: Consider an affine regular hexagon with vertex set $H = \{\pm v_1, \pm v_2, \pm v_3\} \subseteq S$ inscribed to $S$. Then we have $$\min_i \max_{x \in S}{\lVert x - v_i \rVert + \lVert x + v_i \rVert} \leq 3.$$ From this result we obtain $$\min_{y \in S} \max_{x \in S}{\lVert x - y \rVert + \lVert x + y \rVert} \leq 3,$$ and equality if and only if $S$ is a parallelogram or an affine regular hexagon.
△ Less
Submitted 30 June, 2011;
originally announced June 2011.
-
On the gap of finite metric spaces of p-negative type
Authors:
Reinhard Wolf
Abstract:
Let (X,d) be a metric space of p-negative type. Recently I. Doust and A. Weston introduced a quantification of the p-negative type property, the so called gap Γ of X. This talk introduces some formulas for the gap Γ of a finite metric space of strict p-negative type and applies them to evaluate Γ for some concrete finite metric spaces.
Let (X,d) be a metric space of p-negative type. Recently I. Doust and A. Weston introduced a quantification of the p-negative type property, the so called gap Γ of X. This talk introduces some formulas for the gap Γ of a finite metric space of strict p-negative type and applies them to evaluate Γ for some concrete finite metric spaces.
△ Less
Submitted 5 August, 2010;
originally announced August 2010.
-
Finite Quasihypermetric Spaces
Authors:
Peter Nickolas,
Reinhard Wolf
Abstract:
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by $I(mu) = \int_X \int_X d(x,y) dμ(x) dμ(y)$, and set $M(X) = \sup I(mu)$, where $μ$ ranges over the collection of measures in $\mathcal{M}(X)$ of total mass 1. The space $(X, d)$ is \emph{quasihypermetric} if $I(μ) \leq 0$ for all…
▽ More
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by $I(mu) = \int_X \int_X d(x,y) dμ(x) dμ(y)$, and set $M(X) = \sup I(mu)$, where $μ$ ranges over the collection of measures in $\mathcal{M}(X)$ of total mass 1. The space $(X, d)$ is \emph{quasihypermetric} if $I(μ) \leq 0$ for all measures $μ$ in $\mathcal{M}(X)$ of total mass 0 and is \emph{strictly quasihypermetric} if in addition the equality $I(μ) = 0$ holds amongst measures $μ$ of mass 0 only for the zero measure.
This paper explores the constant $M(X)$ and other geometric aspects of $X$ in the case when the space $X$ is finite, focusing first on the significance of the maximal strictly quasihypermetric subspaces of a given finite quasihypermetric space and second on the class of finite metric spaces which are $L^1$-embeddable. While most of the results are for finite spaces, several apply also in the general compact case. The analysis builds upon earlier more general work of the authors [Peter Nickolas and Reinhard Wolf, \emph{Distance geometry in quasihypermetric spaces. I}, \emph{II} and \emph{III}].
△ Less
Submitted 25 February, 2009;
originally announced February 2009.
-
Distance Geometry in Quasihypermetric Spaces. III
Authors:
Peter Nickolas,
Reinhard Wolf
Abstract:
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(μ) = \int_X \int_X d(x,y) dμ(x) dμ(y), \] and set $M(X) = \sup I(μ)$, where $μ$ ranges over the collection of signed measures in $\mathcal{M}(X)$ of total mass 1. This paper, with two earlier papers [Peter Nickolas and Reinha…
▽ More
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(μ) = \int_X \int_X d(x,y) dμ(x) dμ(y), \] and set $M(X) = \sup I(μ)$, where $μ$ ranges over the collection of signed measures in $\mathcal{M}(X)$ of total mass 1. This paper, with two earlier papers [Peter Nickolas and Reinhard Wolf, Distance geometry in quasihypermetric spaces. I and II], investigates the geometric constant $M(X)$ and its relationship to the metric properties of $X$ and the functional-analytic properties of a certain subspace of $\mathcal{M}(X)$ when equipped with a natural semi-inner product. Specifically, this paper explores links between the properties of $M(X)$ and metric embeddings of $X$, and the properties of $M(X)$ when $X$ is a finite metric space.
△ Less
Submitted 4 September, 2008;
originally announced September 2008.
-
Distance Geometry in Quasihypermetric Spaces. II
Authors:
Peter Nickolas,
Reinhard Wolf
Abstract:
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(μ) = \int_X \int_X d(x,y) dμ(x) dμ(y), \] and set $M(X) = \sup I(μ)$, where $μ$ ranges over the collection of signed measures in $\mathcal{M}(X)$ of total mass 1. This paper, with an earlier and a subsequent paper [Peter Nick…
▽ More
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(μ) = \int_X \int_X d(x,y) dμ(x) dμ(y), \] and set $M(X) = \sup I(μ)$, where $μ$ ranges over the collection of signed measures in $\mathcal{M}(X)$ of total mass 1. This paper, with an earlier and a subsequent paper [Peter Nickolas and Reinhard Wolf, Distance geometry in quasihypermetric spaces. I and III], investigates the geometric constant $M(X)$ and its relationship to the metric properties of $X$ and the functional-analytic properties of a certain subspace of $\mathcal{M}(X)$ when equipped with a natural semi-inner product. Using the work of the earlier paper, this paper explores measures which attain the supremum defining $M(X)$, sequences of measures which approximate the supremum when the supremum is not attained and conditions implying or equivalent to the finiteness of $M(X)$.
△ Less
Submitted 4 September, 2008;
originally announced September 2008.
-
Distance Geometry in Quasihypermetric Spaces. I
Authors:
Peter Nickolas,
Reinhard Wolf
Abstract:
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[I(μ) = \int_X \int_X d(x,y) dμ(x) dμ(y),\] and set $M(X) = \sup I(μ)$, where $μ$ ranges over the collection of signed measures in $\mathcal{M}(X)$ of total mass 1.
The metric space $(X, d)$ is quasihypermetric if for all…
▽ More
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[I(μ) = \int_X \int_X d(x,y) dμ(x) dμ(y),\] and set $M(X) = \sup I(μ)$, where $μ$ ranges over the collection of signed measures in $\mathcal{M}(X)$ of total mass 1.
The metric space $(X, d)$ is quasihypermetric if for all $n \in \N$, all $α_1, ..., α_n \in \R$ satisfying $\sum_{i=1}^n α_i = 0$ and all $x_1, ..., x_n \in X$, one has $\sum_{i,j=1}^n α_i α_j d(x_i, x_j) \leq 0$. Without the quasihypermetric property $M(X)$ is infinite, while with the property a natural semi-inner product structure becomes available on $\mathcal{M}_0(X)$, the subspace of $\mathcal{M}(X)$ of all measures of total mass 0. This paper explores: operators and functionals which provide natural links between the metric structure of $(X, d)$, the semi-inner product space structure of $\mathcal{M}_0(X)$ and the Banach space $C(X)$ of continuous real-valued functions on $X$; conditions equivalent to the quasihypermetric property; the topological properties of $\mathcal{M}_0(X)$ with the topology induced by the semi-inner product, and especially the relation of this topology to the weak-$*$ topology and the measure-norm topology on $\mathcal{M}_0(X)$; and the functional-analytic properties of $\mathcal{M}_0(X)$ as a semi-inner product space, including the question of its completeness. A later paper [Peter Nickolas and Reinhard Wolf, Distance Geometry in Quasihypermetric Spaces. II] will apply the work of this paper to a detailed analysis of the constant $M(X)$.
△ Less
Submitted 4 September, 2008;
originally announced September 2008.
-
The Top-Dog Index: A New Measurement for the Demand Consistency of the Size Distribution in Pre-Pack Orders for a Fashion Discounter with Many Small Branches
Authors:
Sascha Kurz,
Joerg Rambau,
Joerg Schluechtermann,
Rainer Wolf
Abstract:
We propose the new Top-Dog-Index, a measure for the branch-dependent historic deviation of the supply data of apparel sizes from the sales data of a fashion discounter. A common approach is to estimate demand for sizes directly from the sales data. This approach may yield information for the demand for sizes if aggregated over all branches and products. However, as we will show in a real-world b…
▽ More
We propose the new Top-Dog-Index, a measure for the branch-dependent historic deviation of the supply data of apparel sizes from the sales data of a fashion discounter. A common approach is to estimate demand for sizes directly from the sales data. This approach may yield information for the demand for sizes if aggregated over all branches and products. However, as we will show in a real-world business case, this direct approach is in general not capable to provide information about each branch's individual demand for sizes: the supply per branch is so small that either the number of sales is statistically too small for a good estimate (early measurement) or there will be too much unsatisfied demand neglected in the sales data (late measurement). Moreover, in our real-world data we could not verify any of the demand distribution assumptions suggested in the literature. Our approach cannot estimate the demand for sizes directly. It can, however, individually measure for each branch the scarcest and the amplest sizes, aggregated over all products. This measurement can iteratively be used to adapt the size distributions in the pre-pack orders for the future. A real-world blind study shows the potential of this distribution free heuristic optimization approach: The gross yield measured in percent of gross value was almost one percentage point higher in the test-group branches than in the control-group branches.
△ Less
Submitted 9 April, 2008;
originally announced April 2008.
-
Hahn Field Representation of A. Robinson's Asymptotic Numbers
Authors:
Todor Todorov,
Robert Wolf
Abstract:
Let $^*\mathbb{R}$ be a nonstandard extension of $\mathbb{R}$ and $ρ$ be a positive infinitesimal in $^*\mathbb{R}$. We show how to create a variety of isomorphisms between A. Robinson's field of asymptotic numbers $^ρ\mathbb{R}$ and the Hahn field $\hat{^ρ\mathbb{R}}(t^\mathbb{R})$, where $\hat{^ρ\mathbb{R}}$ is the residue class field of $^ρ\mathbb{R}$. Then, assuming that $^*\mathbb{R}$ is fu…
▽ More
Let $^*\mathbb{R}$ be a nonstandard extension of $\mathbb{R}$ and $ρ$ be a positive infinitesimal in $^*\mathbb{R}$. We show how to create a variety of isomorphisms between A. Robinson's field of asymptotic numbers $^ρ\mathbb{R}$ and the Hahn field $\hat{^ρ\mathbb{R}}(t^\mathbb{R})$, where $\hat{^ρ\mathbb{R}}$ is the residue class field of $^ρ\mathbb{R}$. Then, assuming that $^*\mathbb{R}$ is fully saturated we show that $\hat{^ρ\mathbb{R}}$ is isomorphic to $^*\mathbb{R}$ and so $^ρ\mathbb{R}$ contains a copy of $^*\mathbb{R}$. As a consequence (that is important for applications in non-linear theory of generalized functions) we show that every two fields of asymptotic numbers corresponding to different scales are isomorphic.
△ Less
Submitted 30 January, 2006;
originally announced January 2006.
-
A Bayesian Reflection on Surfaces
Authors:
David R. Wolf
Abstract:
The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informative inference of continuous-basis fields, that is where the basis for the field is itself a continuous object and not representable in a finite manner; the tradeoff between accuracy of representation in terms of informatio…
▽ More
The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informative inference of continuous-basis fields, that is where the basis for the field is itself a continuous object and not representable in a finite manner; the tradeoff between accuracy of representation in terms of information learned, and memory or storage capacity in bits; the approximation of probability distributions so that a maximal amount of information about the object being inferred is preserved; an information theoretic justification for multigrid methodology. The maximally informative field inference framework is described in full generality and denoted the Generalized Kalman Filter. The Generalized Kalman Filter allows the update of field knowledge from previous knowledge at any scale, and new data, to new knowledge at any other scale. An application example instance, the inference of continuous surfaces from measurements (for example, camera image data), is presented.
△ Less
Submitted 26 May, 2000;
originally announced May 2000.
