-
On Sums, Derivatives, and Flips of Riordan Arrays
Authors:
Caroline Bang,
Matias von Bell,
Eric Culver,
Jessica Dickson,
Stoyan Dimitrov,
Rachel Perrier,
Sheila Sundaram
Abstract:
We study three operations on Riordan arrays. First, we investigate when the sum of Riordan arrays yields another Riordan array. We characterize the $A$- and $Z$-sequences of these sums of Riordan arrays, and also identify an analog for $A$-sequences when the sum of Riordan arrays does not yield a Riordan array. In addition, we define the new operations `Der' and `Flip' on Riordan arrays. We fully…
▽ More
We study three operations on Riordan arrays. First, we investigate when the sum of Riordan arrays yields another Riordan array. We characterize the $A$- and $Z$-sequences of these sums of Riordan arrays, and also identify an analog for $A$-sequences when the sum of Riordan arrays does not yield a Riordan array. In addition, we define the new operations `Der' and `Flip' on Riordan arrays. We fully characterize the Riordan arrays resulting from these operations applied to the Appell and Lagrange subgroups of the Riordan group. Finally, we study the application of these operations to various known Riordan arrays, generating many combinatorial identities in the process.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
On the subdivision algebra for the polytope $\mathcal{U}_{I,\bar{J}}$
Authors:
Matias von Bell,
Martha Yip
Abstract:
The polytopes $\mathcal{U}_{I,\bar{J}}$ were introduced by Ceballos, Padrol, and Sarmiento to provide a geometric approach to the study of $(I,\bar{J})$-Tamari lattices. They observed a connection between certain $\mathcal{U}_{I,\bar{J}}$ and acyclic root polytopes, and wondered if Mészáros' subdivision algebra can be used to subdivide all $\mathcal{U}_{I,\bar{J}}$. We answer this in the affirmati…
▽ More
The polytopes $\mathcal{U}_{I,\bar{J}}$ were introduced by Ceballos, Padrol, and Sarmiento to provide a geometric approach to the study of $(I,\bar{J})$-Tamari lattices. They observed a connection between certain $\mathcal{U}_{I,\bar{J}}$ and acyclic root polytopes, and wondered if Mészáros' subdivision algebra can be used to subdivide all $\mathcal{U}_{I,\bar{J}}$. We answer this in the affirmative from two perspectives, one using flow polytopes and the other using root polytopes. We show that $\mathcal{U}_{I,\bar{J}}$ is integrally equivalent to a flow polytope that can be subdivided using the subdivision algebra. Alternatively, we find a suitable projection of $\mathcal{U}_{I,\bar{J}}$ to an acyclic root polytope which allows subdivisions of the root polytope to be lifted back to $\mathcal{U}_{I,\bar{J}}$. As a consequence, this implies that subdivisions of $\mathcal{U}_{I,\bar{J}}$ can be obtained with the algebraic interpretation of using reduced forms of monomials in the subdivision algebra. In addition, we show that the $(I,\bar{J})$-Tamari complex can be obtained as a triangulated flow polytope.
△ Less
Submitted 21 May, 2022;
originally announced May 2022.
-
A subdivision algebra for a product of two simplices via flow polytopes
Authors:
Matias von Bell
Abstract:
For a lattice path $ν$ from the origin to a point $(a,b)$ using steps $E=(1,0)$ and $N=(0,1)$, we construct an associated flow polytope $\mathcal{F}_{\hat{G}_B(ν)}$ arising from an acyclic graph where bidirectional edges are permitted. We show that the flow polytope $\mathcal{F}_{\hat{G}_B(ν)}$ admits a subdivision dual to a $w$-simplex, where $w$ is the number of valleys in the path…
▽ More
For a lattice path $ν$ from the origin to a point $(a,b)$ using steps $E=(1,0)$ and $N=(0,1)$, we construct an associated flow polytope $\mathcal{F}_{\hat{G}_B(ν)}$ arising from an acyclic graph where bidirectional edges are permitted. We show that the flow polytope $\mathcal{F}_{\hat{G}_B(ν)}$ admits a subdivision dual to a $w$-simplex, where $w$ is the number of valleys in the path $\barν = EνN$. Refinements of this subdivision can be obtained by reductions of a polynomial $P_ν$ in a generalization of Mészáros' subdivision algebra for acyclic root polytopes where negative roots are allowed. Via an integral equivalence between $\mathcal{F}_{\hat{G}_B(ν)}$ and the product of simplices $Δ_a\times Δ_b$, we thereby obtain a subdivision algebra for a product of two simplices. As a special case, we give a reduction order for reducing $P_ν$ that yields the cyclic $ν$-Tamari complex of Ceballos, Padrol, and Sarmiento.
△ Less
Submitted 6 September, 2022; v1 submitted 18 May, 2022;
originally announced May 2022.
-
Triangulations of Flow Polytopes, Ample Framings, and Gentle Algebras
Authors:
Matias von Bell,
Benjamin Braun,
Kaitlin Bruegge,
Derek Hanely,
Zachery Peterson,
Khrystyna Serhiyenko,
Martha Yip
Abstract:
The cone of nonnegative flows for a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. These triangulations restrict to triangulations of the flow polytope for strength one flows, which are called DKK triangulations. For a special class of framings called ample framings, these triangulations of the flow cone project to a complete fan. W…
▽ More
The cone of nonnegative flows for a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. These triangulations restrict to triangulations of the flow polytope for strength one flows, which are called DKK triangulations. For a special class of framings called ample framings, these triangulations of the flow cone project to a complete fan. We characterize the DAGs that admit ample framings, and we enumerate the number of ample framings for a fixed DAG. We establish a connection between maximal simplices in DKK triangulations and $τ$-tilting posets for certain gentle algebras, which allows us to impose a poset structure on the dual graph of any DKK triangulation for an amply framed DAG. Using this connection, we are able to prove that for full DAGs, i.e., those DAGs with inner vertices having in-degree and out-degree equal to two, the flow polytopes are Gorenstein and have unimodal Ehrhart $h^\ast$-polynomials.
△ Less
Submitted 6 March, 2024; v1 submitted 3 March, 2022;
originally announced March 2022.
-
Triangulations, order polytopes, and generalized snake posets
Authors:
Matias von Bell,
Benjamin Braun,
Derek Hanely,
Khrystyna Serhiyenko,
Julianne Vega,
Andrés R. Vindas-Meléndez,
Martha Yip
Abstract:
This work regards the order polytopes arising from the class of generalized snake posets and their posets of meet-irreducible elements. Among generalized snake posets of the same rank, we characterize those whose order polytopes have minimal and maximal volume. We give a combinatorial characterization of the circuits in these order polytopes and then conclude that every triangulation is unimodular…
▽ More
This work regards the order polytopes arising from the class of generalized snake posets and their posets of meet-irreducible elements. Among generalized snake posets of the same rank, we characterize those whose order polytopes have minimal and maximal volume. We give a combinatorial characterization of the circuits in these order polytopes and then conclude that every triangulation is unimodular. For a generalized snake word, we count the number of flips for the canonical triangulation of these order polytopes. We determine that the flip graph of the order polytope of the poset whose lattice of filters comes from a ladder is the Cayley graph of a symmetric group. Lastly, we introduce an operation on triangulations called twists and prove that twists preserve regular triangulations.
△ Less
Submitted 7 April, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Diagonal flow detects topology of strata
Authors:
Mark Bell,
Vincent Delecroix,
Vaibhav Gadre,
Rodolfo Gutiérrez-Romo,
Saul Schleimer
Abstract:
We study the interplay between the diagonal flow on, and the topology of, a stratum component of a space of rooted quadratic differentials. We prove that the flow group -- the subgroup of the fundamental group generated by almost-flow loops -- equals the fundamental group. As a corollary, we show that the plus and minus modular Rauzy-Veech groups are finite-index subgroups of their ambient modular…
▽ More
We study the interplay between the diagonal flow on, and the topology of, a stratum component of a space of rooted quadratic differentials. We prove that the flow group -- the subgroup of the fundamental group generated by almost-flow loops -- equals the fundamental group. As a corollary, we show that the plus and minus modular Rauzy-Veech groups are finite-index subgroups of their ambient modular monodromy groups. This partially answers a question of Yoccoz. Using this, and recent advances on algebraic hulls and Zariski closures of symplectic monodromy groups, we prove that the Rauzy-Veech groups are Zariski dense in their ambient symplectic groups. Density, in turn, implies the simplicity of the plus and minus Lyapunov spectra of any component of any stratum of quadratic differentials. We thus establish the Kontsevich -- Zorich conjecture.
△ Less
Submitted 27 June, 2024; v1 submitted 28 January, 2021;
originally announced January 2021.
-
A unifying framework for the $ν$-Tamari lattice and principal order ideals in Young's lattice
Authors:
Matias von Bell,
Rafael S. González D'León,
Francisco A. Mayorga Cetina,
Martha Yip
Abstract:
We present a unifying framework in which both the $ν$-Tamari lattice, introduced by Préville-Ratelle and Viennot, and principal order ideals in Young's lattice indexed by lattice paths $ν$, are realized as the dual graphs of two combinatorially striking triangulations of a family of flow polytopes which we call the $ν$-caracol flow polytopes. The first triangulation gives a new geometric realizati…
▽ More
We present a unifying framework in which both the $ν$-Tamari lattice, introduced by Préville-Ratelle and Viennot, and principal order ideals in Young's lattice indexed by lattice paths $ν$, are realized as the dual graphs of two combinatorially striking triangulations of a family of flow polytopes which we call the $ν$-caracol flow polytopes. The first triangulation gives a new geometric realization of the $ν$-Tamari complex introduced by Ceballos, Padrol and Sarmiento. We use the second triangulation to show that the $h^*$-vector of the $ν$-caracol flow polytope is given by the $ν$-Narayana numbers, extending a result of Mészáros when $ν$ is a staircase lattice path. Our work generalizes and unifies results on the dual structure of two subdivisions of a polytope studied by Pitman and Stanley.
△ Less
Submitted 3 February, 2021; v1 submitted 25 January, 2021;
originally announced January 2021.
-
Schroder combinatorics and $ν$-associahedra
Authors:
Matias von Bell,
Martha Yip
Abstract:
We study $ν$-Schröder paths, which are Schröder paths which stay weakly above a given lattice path $ν$. Some classical bijective and enumerative results are extended to the $ν$-setting, including the relationship between small and large Schröder paths. We introduce two posets of $ν$-Schröder objects, namely $ν$-Schröder paths and trees, and show that they are isomorphic to the face poset of the…
▽ More
We study $ν$-Schröder paths, which are Schröder paths which stay weakly above a given lattice path $ν$. Some classical bijective and enumerative results are extended to the $ν$-setting, including the relationship between small and large Schröder paths. We introduce two posets of $ν$-Schröder objects, namely $ν$-Schröder paths and trees, and show that they are isomorphic to the face poset of the $ν$-associahedron $A_ν$ introduced by Ceballos, Padrol and Sarmiento. A consequence of our results is that the $i$-dimensional faces of $A_ν$ are indexed by $ν$-Schröder paths with $i$ diagonal steps, and we obtain a closed-form expression for these Schröder numbers in the special case when $ν$ is a `rational' lattice path. Using our new description of the face poset of $A_ν$, we apply discrete Morse theory to show that $A_ν$ is contractible. This yields one of two proofs presented for the fact that the Euler characteristic of $A_ν$ is one. A second proof of this is obtained via a formula for the $ν$-Narayana polynomial in terms of $ν$-Schröder numbers.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
On Universality and Training in Binary Hypothesis Testing
Authors:
Michael Bell,
Yuval Kochman
Abstract:
The classical binary hypothesis testing problem is revisited. We notice that when one of the hypotheses is composite, there is an inherent difficulty in defining an optimality criterion that is both informative and well-justified. For testing in the simple normal location problem (that is, testing for the mean of multivariate Gaussians), we overcome the difficulty as follows. In this problem there…
▽ More
The classical binary hypothesis testing problem is revisited. We notice that when one of the hypotheses is composite, there is an inherent difficulty in defining an optimality criterion that is both informative and well-justified. For testing in the simple normal location problem (that is, testing for the mean of multivariate Gaussians), we overcome the difficulty as follows. In this problem there exists a natural hardness order between parameters as for different parameters the error-probailities curves (when the parameter is known) are either identical, or one dominates the other. We can thus define minimax performance as the worst-case among parameters which are below some hardness level. Fortunately, there exists a universal minimax test, in the sense that it is minimax for all hardness levels simultaneously. Under this criterion we also find the optimal test for composite hypothesis testing with training data. This criterion extends to the wide class of local asymptotic normal models, in an asymptotic sense where the approximation of the error probabilities is additive. Since we have the asymptotically optimal tests for composite hypothesis testing with and without training data, we quantify the loss of universality and gain of training data for these models.
△ Less
Submitted 25 March, 2021; v1 submitted 3 April, 2020;
originally announced April 2020.
-
Experimental statistics for Mirzakhani's Theorem
Authors:
Mark C Bell
Abstract:
In her seminal 2008 paper, Maryam Mirzakhani showed that the ratio that two topological types of curves occur in is a rational number.
In this paper we describe the process by which we obtained experimental evidence that separating and non-separating curves on the surface of genus two occur in the ratio 1 : 48.
In her seminal 2008 paper, Maryam Mirzakhani showed that the ratio that two topological types of curves occur in is a rational number.
In this paper we describe the process by which we obtained experimental evidence that separating and non-separating curves on the surface of genus two occur in the ratio 1 : 48.
△ Less
Submitted 17 October, 2019;
originally announced October 2019.
-
Coding Teichmüller flow using veering triangulations
Authors:
Mark Bell,
Vincent Delecroix,
Vaibhav Gadre,
Rodolfo Gutiérrez-Romo,
Saul Schleimer
Abstract:
We develop the theory of veering triangulations on oriented surfaces adapted to moduli spaces of half-translation surfaces. We use veering triangulations to give a coding of the Teichmüller flow on connected components of strata of quadratic differentials. We prove that this coding, given by a countable shift, has an approximate product structure and a roof function with exponential tails. This ma…
▽ More
We develop the theory of veering triangulations on oriented surfaces adapted to moduli spaces of half-translation surfaces. We use veering triangulations to give a coding of the Teichmüller flow on connected components of strata of quadratic differentials. We prove that this coding, given by a countable shift, has an approximate product structure and a roof function with exponential tails. This makes it conducive to the study of the dynamics of Teichmüller flow.
△ Less
Submitted 2 September, 2019;
originally announced September 2019.
-
Computing trisections of 4-manifolds
Authors:
Mark Bell,
Joel Hass,
J. Hyam Rubinstein,
Stephan Tillmann
Abstract:
Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to algorithmically construct a trisection, which describes a $4$-dimensional manifold as a union of three $4$-dimensional handlebodies. The complexity of the $4$-manifold is…
▽ More
Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to algorithmically construct a trisection, which describes a $4$-dimensional manifold as a union of three $4$-dimensional handlebodies. The complexity of the $4$-manifold is captured in a collection of curves on a surface, which guide the gluing of the handelbodies. The algorithm begins with a description of a manifold as a union of pentachora, or $4$-dimensional simplices. It transforms this description into a trisection. This results in the first explicit complexity bounds for the trisection genus of a $4$-manifold in terms of the number of pentachora ($4$-simplices) in a triangulation.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
Cubical Geometry in the Polygonalisation Complex
Authors:
Mark C. Bell,
Valentina Disarlo,
Robert Tang
Abstract:
We introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using properties of the flip graph, we show that the midcubes in the polygonalisation complex can be extended to a family of embedded and separating hyperplanes, paramet…
▽ More
We introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using properties of the flip graph, we show that the midcubes in the polygonalisation complex can be extended to a family of embedded and separating hyperplanes, parametrised by the arcs in the surface.
We study the crossing graph of these hyperplanes and prove that it is quasi-isometric to the arc complex. We use the crossing graph to prove that, generically, different surfaces have different polygonalisation complexes. The polygonalisation complex is not CAT(0), but we can characterise the vertices where Gromov's link condition fails. This gives a tool for proving that, generically, the automorphism group of the polygonalisation complex is the (extended) mapping class group of the surface.
△ Less
Submitted 13 December, 2016;
originally announced December 2016.
-
Polynomial-time algorithms for the curve graph
Authors:
Mark C. Bell,
Richard C. H. Webb
Abstract:
We describe a polynomial-time algorithm to compute a (tight) geodesic between two curves in the curve graph. As well as enabling us to compute the distance between a pair of curves, this has several applications to mapping classes. For example, we can use these geodesics to compute the asymptotic translation length, Nielsen--Thurston type, and canonical curve system of a mapping class in polynomia…
▽ More
We describe a polynomial-time algorithm to compute a (tight) geodesic between two curves in the curve graph. As well as enabling us to compute the distance between a pair of curves, this has several applications to mapping classes. For example, we can use these geodesics to compute the asymptotic translation length, Nielsen--Thurston type, and canonical curve system of a mapping class in polynomial time in its word length.
△ Less
Submitted 4 October, 2016; v1 submitted 29 September, 2016;
originally announced September 2016.
-
Asymmetric dynamics of outer automorphisms
Authors:
Mark C. Bell
Abstract:
We consider the action of an irreducible outer automorphism $φ$ on the closure of Culler--Vogtmann Outer space. This action has north-south dynamics and so, under iteration, points converge exponentially to $[T^φ_+]$.
For each $N \geq 3$, we give a family of outer automorphisms $φ_k \in \textrm{Out}(\mathbb{F}_N)$ such that as, $k$ goes to infinity, the rate of convergence of $φ_k$ goes to infin…
▽ More
We consider the action of an irreducible outer automorphism $φ$ on the closure of Culler--Vogtmann Outer space. This action has north-south dynamics and so, under iteration, points converge exponentially to $[T^φ_+]$.
For each $N \geq 3$, we give a family of outer automorphisms $φ_k \in \textrm{Out}(\mathbb{F}_N)$ such that as, $k$ goes to infinity, the rate of convergence of $φ_k$ goes to infinity while the rate of convergence of $φ_k^{-1}$ goes to one. Even if we only require the rate of convergence of $φ_k$ to remain bounded away from one, no such family can be constructed when $N < 3$.
This family also provides an explicit example of a property described by Handel and Mosher: that there is no uniform upper bound on the distance between the axes of an automorphism and its inverse.
△ Less
Submitted 4 August, 2016;
originally announced August 2016.
-
Applications of fast triangulation simplification
Authors:
Mark C. Bell,
Richard C. H. Webb
Abstract:
We describe a new algorithm to compute the geometric intersection number between two curves, given as edge vectors on an ideal triangulation. Most importantly, this algorithm runs in polynomial time in the bit-size of the two edge vectors.
In its simplest instances, this algorithm works by finding the minimal position of the two curves. We achieve this by phrasing the problem as a collection of…
▽ More
We describe a new algorithm to compute the geometric intersection number between two curves, given as edge vectors on an ideal triangulation. Most importantly, this algorithm runs in polynomial time in the bit-size of the two edge vectors.
In its simplest instances, this algorithm works by finding the minimal position of the two curves. We achieve this by phrasing the problem as a collection of linear programming problems. We describe how to reduce the more general case down to one of these simplest instances in polynomial time. This reduction relies on an algorithm by the first author to quickly switch to a new triangulation in which an edge vector is significantly smaller.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
Simplifying triangulations
Authors:
Mark C. Bell
Abstract:
We give a new algorithm to simplify a given triangulation with respect to a given curve. The simplification uses flips together with powers of Dehn twists in order to complete in polynomial time in the bit-size of the curve.
We give a new algorithm to simplify a given triangulation with respect to a given curve. The simplification uses flips together with powers of Dehn twists in order to complete in polynomial time in the bit-size of the curve.
△ Less
Submitted 22 April, 2016; v1 submitted 14 April, 2016;
originally announced April 2016.
-
Slow north-south dynamics on $\mathcal{PML}$
Authors:
Mark C. Bell,
Saul Schleimer
Abstract:
We consider the action of a pseudo-Anosov mapping class on $\mathcal{PML}(S)$. This action has north-south dynamics and so, under iteration, laminations converge exponentially to the stable lamination.
We study the rate of this convergence and give examples of families of pseudo-Anosov mapping classes where the rate goes to one, decaying exponentially with the word length. Furthermore we prove t…
▽ More
We consider the action of a pseudo-Anosov mapping class on $\mathcal{PML}(S)$. This action has north-south dynamics and so, under iteration, laminations converge exponentially to the stable lamination.
We study the rate of this convergence and give examples of families of pseudo-Anosov mapping classes where the rate goes to one, decaying exponentially with the word length. Furthermore we prove that this behaviour is the worst possible.
△ Less
Submitted 11 May, 2016; v1 submitted 2 December, 2015;
originally announced December 2015.
-
The pseudo-Anosov and conjugacy problems are in $\textbf{NP} \cap \textbf{co-NP}$
Authors:
Mark C. Bell
Abstract:
For a fixed marked surface $S$, we construct polynomial bounds on the periodic and preperiodic lengths of the maximal splitting sequences of a projectively invariant measured train track.
We give two consequences of these bounds. Firstly, that the problem of deciding whether a mapping class is pseudo-Anosov lies in $\textbf{NP}$. This is dual to the previously known result that the pseudo-Anosov…
▽ More
For a fixed marked surface $S$, we construct polynomial bounds on the periodic and preperiodic lengths of the maximal splitting sequences of a projectively invariant measured train track.
We give two consequences of these bounds. Firstly, that the problem of deciding whether a mapping class is pseudo-Anosov lies in $\textbf{NP}$. This is dual to the previously known result that the pseudo-Anosov problem is in $\textbf{co-NP}$. Secondly, that the problem of deciding whether two mapping classes are conjugate lies in $\textbf{co-NP}$. Similarly, this is the dual to the previously known result that the conjugacy problem is in $\textbf{NP}$.
As usual, in both cases we immediately obtain exponential time solutions to these problems. A version of these algorithms have been implemented as part of flipper.
△ Less
Submitted 30 April, 2016; v1 submitted 6 October, 2014;
originally announced October 2014.
-
Deciding reducibility of mapping classes is in $\textbf{NP}$
Authors:
Mark C. Bell
Abstract:
For a fixed marked surface $S$, we show that the problem of deciding whether or not a mapping class is reducible lies in $\textbf{NP}$. As usual this immediately gives an exponential time algorithm to decide whether or not a mapping class is reducible.
To do this we use an (ideal) triangulation to obtain a coordinate system on the set of multicurves on $S$. The result then follows from the fact…
▽ More
For a fixed marked surface $S$, we show that the problem of deciding whether or not a mapping class is reducible lies in $\textbf{NP}$. As usual this immediately gives an exponential time algorithm to decide whether or not a mapping class is reducible.
To do this we use an (ideal) triangulation to obtain a coordinate system on the set of multicurves on $S$. The result then follows from the fact that the action of the mapping class group of $S$ is piecewise-linear with respect to such a coordinate system and so we are able so show that: if a mapping class $h$ fixes a multicurve then it fixes one whose size is at most exponential in the word length of $h$.
We go on to show how to repeat this construction on invariant subsurfaces. This allows us to show that a similar bound holds for the size of the canonical curve system of a mapping class and so give an alternate, elementary proof of a result of Koberda and Mangahas.
△ Less
Submitted 25 October, 2015; v1 submitted 12 March, 2014;
originally announced March 2014.
-
The connection between Bayesian estimation of a Gaussian random field and RKHS
Authors:
Aleksandr Y. Aravkin,
Bradley M. Bell,
James V. Burke,
Gianluigi Pillonetto
Abstract:
Reconstruction of a function from noisy data is often formulated as a regularized optimization problem over an infinite-dimensional reproducing kernel Hilbert space (RKHS). The solution describes the observed data and has a small RKHS norm. When the data fit is measured using a quadratic loss, this estimator has a known statistical interpretation. Given the noisy measurements, the RKHS estimate re…
▽ More
Reconstruction of a function from noisy data is often formulated as a regularized optimization problem over an infinite-dimensional reproducing kernel Hilbert space (RKHS). The solution describes the observed data and has a small RKHS norm. When the data fit is measured using a quadratic loss, this estimator has a known statistical interpretation. Given the noisy measurements, the RKHS estimate represents the posterior mean (minimum variance estimate) of a Gaussian random field with covariance proportional to the kernel associated with the RKHS. In this paper, we provide a statistical interpretation when more general losses are used, such as absolute value, Vapnik or Huber. Specifically, for any finite set of sampling locations (including where the data were collected), the MAP estimate for the signal samples is given by the RKHS estimate evaluated at these locations.
△ Less
Submitted 17 July, 2013; v1 submitted 22 January, 2013;
originally announced January 2013.
-
The monodromies of homogeneous links
Authors:
Mark Bell
Abstract:
We show that there are only finitely many homogeneous links whose Conway polynomial has any given degree. Using this we give an example of an inhomogeneous, fibred knot. Secondly, we show how to compute the monodromy of a homogeneous link complement from a homogeneous braid word representative.
We show that there are only finitely many homogeneous links whose Conway polynomial has any given degree. Using this we give an example of an inhomogeneous, fibred knot. Secondly, we show how to compute the monodromy of a homogeneous link complement from a homogeneous braid word representative.
△ Less
Submitted 30 June, 2012;
originally announced July 2012.
