-
Explicit Sarkisov program for regular surfaces over arbitrary fields and applications
Authors:
Fabio Bernasconi,
Andrea Fanelli,
Julia Schneider,
Susanna Zimmermann
Abstract:
We prove the Sarkisov program for projective surfaces over excellent base rings, including the case of non-perfect base fields of characteristic p>0. We classify the Sarkisov links between Mori fibre spaces and their relations for regular surfaces, generalising work of Iskovskikh. As an application, we discuss rationality problems for regular surfaces and the structure of the plane Cremona group.
We prove the Sarkisov program for projective surfaces over excellent base rings, including the case of non-perfect base fields of characteristic p>0. We classify the Sarkisov links between Mori fibre spaces and their relations for regular surfaces, generalising work of Iskovskikh. As an application, we discuss rationality problems for regular surfaces and the structure of the plane Cremona group.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Using quantum computers in control: interval matrix properties
Authors:
Jan Schneider,
Julian Berberich
Abstract:
Quantum computing provides a powerful framework for tackling computational problems that are classically intractable. The goal of this paper is to explore the use of quantum computers for solving relevant problems in systems and control theory. In the recent literature, different quantum algorithms have been developed to tackle binary optimization, which plays an important role in various control-…
▽ More
Quantum computing provides a powerful framework for tackling computational problems that are classically intractable. The goal of this paper is to explore the use of quantum computers for solving relevant problems in systems and control theory. In the recent literature, different quantum algorithms have been developed to tackle binary optimization, which plays an important role in various control-theoretic problems. As a prototypical example, we consider the verification of interval matrix properties such as non-singularity and stability on a quantum computer. We present a quantum algorithm solving these problems and we study its performance in simulation. Our results demonstrate that quantum computers provide a promising tool for control whose applicability to further computationally complex problems remains to be explored.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Mixed identities for oligomorphic automorphism groups
Authors:
Manuel Bodirsky,
Jakob Schneider,
Andreas Thom
Abstract:
We study mixed identities for oligomorphic automorphism groups of countable relational structures. Our main result gives sufficient conditions for such a group to not admit a mixed identity without particular constants. We study numerous examples and prove in many cases that there cannot be a non-singular mixed identity.
We study mixed identities for oligomorphic automorphism groups of countable relational structures. Our main result gives sufficient conditions for such a group to not admit a mixed identity without particular constants. We study numerous examples and prove in many cases that there cannot be a non-singular mixed identity.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Non-singular word maps for linear groups
Authors:
Henry Bradford,
Jakob Schneider,
Andreas Thom
Abstract:
We study the word image of words with constants in ${\rm GL}(V)$ and show that it is large provided the word satisfies some natural conditions on its length and its critical constants.
There are various consequences: We prove that for every $l \geq 1$, there are only finitely many pairs $(n,q)$ such that the length of the shortest non-singular mixed identity ${\rm PSL}_n(q)$ is bounded by $l$. W…
▽ More
We study the word image of words with constants in ${\rm GL}(V)$ and show that it is large provided the word satisfies some natural conditions on its length and its critical constants.
There are various consequences: We prove that for every $l \geq 1$, there are only finitely many pairs $(n,q)$ such that the length of the shortest non-singular mixed identity ${\rm PSL}_n(q)$ is bounded by $l$. We generalize the Hull--Osin dichotomy for highly transitive permutation groups to linear groups over finite fields. Finally, we show that the rank limit of ${\rm GL}_n(q)$ for $q$ fixed and $n \to \infty$ is mixed identity free.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
On the length of non-solutions to equations with constants in some linear groups
Authors:
Henry Bradford,
Jakob Schneider,
Andreas Thom
Abstract:
We show that for any finite-rank free group $Γ$, any word-equation in one variable of length $n$ with constants in $Γ$ fails to be satisfied by some element of $Γ$ of word-length $O(\log (n))$. By a result of the first author, this logarithmic bound cannot be improved upon for any finitely generated group $Γ$. Beyond free groups, our method (and the logarithmic bound) applies to a class of groups…
▽ More
We show that for any finite-rank free group $Γ$, any word-equation in one variable of length $n$ with constants in $Γ$ fails to be satisfied by some element of $Γ$ of word-length $O(\log (n))$. By a result of the first author, this logarithmic bound cannot be improved upon for any finitely generated group $Γ$. Beyond free groups, our method (and the logarithmic bound) applies to a class of groups including $\mathrm{PSL}_d(\mathbb{Z})$ for all $d \geq 2$, and the fundamental groups of all closed hyperbolic surfaces and $3$-manifolds. Finally, using a construction of Nekrashevych, we exhibit a finitely generated group $Γ$ and a sequence of word-equations with constants in $Γ$ for which every non-solution in $Γ$ is of word-length strictly greater than logarithmic.
△ Less
Submitted 30 August, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
The length of mixed identities for finite groups
Authors:
Henry Bradford,
Jakob Schneider,
Andreas Thom
Abstract:
We prove that there exists a constant $c>0$ such that any finite group having no non-trivial mixed identity of length $\leq c$ is an almost simple group with a simple group of Lie type as its socle. Starting the study of mixed identities for almost simple groups, we obtain results for groups with socle ${\rm PSL}_n(q)$, ${\rm PSp}_{2m}(q)$, ${\rm P Ω}_{2m-1}^\circ(q)$, and ${\rm PSU}_n(q)$ for a p…
▽ More
We prove that there exists a constant $c>0$ such that any finite group having no non-trivial mixed identity of length $\leq c$ is an almost simple group with a simple group of Lie type as its socle. Starting the study of mixed identities for almost simple groups, we obtain results for groups with socle ${\rm PSL}_n(q)$, ${\rm PSp}_{2m}(q)$, ${\rm P Ω}_{2m-1}^\circ(q)$, and ${\rm PSU}_n(q)$ for a prime power $q$. For such groups, we will prove rank-independent bounds for the length of a shortest non-trivial mixed identity, depending only on the field size $q$.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Birational maps of Severi-Brauer surfaces, with applications to Cremona groups of higher rank
Authors:
Jérémy Blanc,
Julia Schneider,
Egor Yasinsky
Abstract:
We describe the group of birational transformations of a non-trivial Severi-Brauer surface over a perfect field $K$, proving in particular that if it contains a point of degree $6$, then it is not generated by elements of finite order as it admits a surjective group homomorphism to $\mathbb{Z}$.
We then use this result to study Mori fibre spaces over the field of complex numbers, for which the g…
▽ More
We describe the group of birational transformations of a non-trivial Severi-Brauer surface over a perfect field $K$, proving in particular that if it contains a point of degree $6$, then it is not generated by elements of finite order as it admits a surjective group homomorphism to $\mathbb{Z}$.
We then use this result to study Mori fibre spaces over the field of complex numbers, for which the generic fibre is a non-trivial Severi-Brauer surface. We prove that any group of cardinality at most the one of $\mathbb{C}$ is a quotient of any Cremona group of rank at least $4$. As a consequence, this gives a negative answer to the question of Dolgachev of whether the Cremona groups of all ranks are generated by involutions. We also prove that the $3$-torsion of the Cremona group of rank at least $4$ is not countable.
△ Less
Submitted 9 February, 2023; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Bernoulli Factories for Flow-Based Polytopes
Authors:
Rad Niazadeh,
Renato Paes Leme,
Jon Schneider
Abstract:
We construct explicit combinatorial Bernoulli factories for the class of \emph{flow-based polytopes}; integral 0/1-polytopes defined by a set of network flow constraints. This generalizes the results of Niazadeh et al. (who constructed an explicit factory for the specific case of bipartite perfect matchings) and provides novel exact sampling procedures for sampling paths, circulations, and $k$-flo…
▽ More
We construct explicit combinatorial Bernoulli factories for the class of \emph{flow-based polytopes}; integral 0/1-polytopes defined by a set of network flow constraints. This generalizes the results of Niazadeh et al. (who constructed an explicit factory for the specific case of bipartite perfect matchings) and provides novel exact sampling procedures for sampling paths, circulations, and $k$-flows. In the process, we uncover new connections to algebraic combinatorics.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
Word maps with constants on symmetric groups
Authors:
Jakob Schneider,
Andreas Thom
Abstract:
We study word maps with constants on symmetric groups. Even though there are mixed identities of bounded length that are valid for all symmetric groups, we show that no such identities hold in a metric sense. Moreover, we prove that word maps with constants and non-trivial content that are short enough have an image of positive diameter only depending on the length of the word. Finally, we also sh…
▽ More
We study word maps with constants on symmetric groups. Even though there are mixed identities of bounded length that are valid for all symmetric groups, we show that no such identities hold in a metric sense. Moreover, we prove that word maps with constants and non-trivial content that are short enough have an image of positive diameter only depending on the length of the word. Finally, we also show that every self-map $G \to G$ on a finite non-abelian simple group is actually a word map with constants from $G$.
△ Less
Submitted 17 May, 2023; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Multiparameter Bernoulli Factories
Authors:
Renato Paes Leme,
Jon Schneider
Abstract:
We consider the problem of computing with many coins of unknown bias. We are given samples access to $n$ coins with \emph{unknown} biases $p_1,\dots, p_n$ and are asked to sample from a coin with bias $f(p_1, \dots, p_n)$ for a given function $f:[0,1]^n \rightarrow [0,1]$. We give a complete characterization of the functions $f$ for which this is possible. As a consequence, we show how to extend v…
▽ More
We consider the problem of computing with many coins of unknown bias. We are given samples access to $n$ coins with \emph{unknown} biases $p_1,\dots, p_n$ and are asked to sample from a coin with bias $f(p_1, \dots, p_n)$ for a given function $f:[0,1]^n \rightarrow [0,1]$. We give a complete characterization of the functions $f$ for which this is possible. As a consequence, we show how to extend various combinatorial sampling procedures (most notably, the classic Sampford Sampling for $k$-subsets) to the boundary of the hypercube.
△ Less
Submitted 15 February, 2022;
originally announced February 2022.
-
Generating the plane Cremona groups by involutions
Authors:
Stéphane Lamy,
Julia Schneider
Abstract:
We prove that over any perfect field the plane Cremona group is generated by involutions.
We prove that over any perfect field the plane Cremona group is generated by involutions.
△ Less
Submitted 14 November, 2022; v1 submitted 6 October, 2021;
originally announced October 2021.
-
Protecting Time Series Data with Minimal Forecast Loss
Authors:
Matthew J. Schneider,
**wook Lee
Abstract:
Forecasting could be negatively impacted due to anonymization requirements in data protection legislation. To measure the potential severity of this problem, we derive theoretical bounds for the loss to forecasts from additive exponential smoothing models using protected data. Following the guidelines of anonymization from the General Data Protection Regulation (GDPR) and California Consumer Priva…
▽ More
Forecasting could be negatively impacted due to anonymization requirements in data protection legislation. To measure the potential severity of this problem, we derive theoretical bounds for the loss to forecasts from additive exponential smoothing models using protected data. Following the guidelines of anonymization from the General Data Protection Regulation (GDPR) and California Consumer Privacy Act (CCPA), we develop the $k$-nearest Time Series ($k$-nTS) Swap** and $k$-means Time Series ($k$-mTS) Shuffling methods to create protected time series data that minimizes the loss to forecasts while preventing a data intruder from detecting privacy issues. For efficient and effective decision making, we formally model an integer programming problem for a perfect matching for simultaneous data swap** in each cluster. We call it a two-party data privacy framework since our optimization model includes the utilities of a data provider and data intruder. We apply our data protection methods to thousands of time series and find that it maintains the forecasts and patterns (level, trend, and seasonality) of time series well compared to standard data protection methods suggested in legislation. Substantively, our paper addresses the challenge of protecting time series data when used for forecasting. Our findings suggest the managerial importance of incorporating the concerns of forecasters into the data protection itself.
△ Less
Submitted 7 March, 2023; v1 submitted 30 June, 2021;
originally announced June 2021.
-
Contextual Recommendations and Low-Regret Cutting-Plane Algorithms
Authors:
Sreenivas Gollapudi,
Guru Guruganesh,
Kostas Kollias,
Pasin Manurangsi,
Renato Paes Leme,
Jon Schneider
Abstract:
We consider the following variant of contextual linear bandits motivated by routing applications in navigational engines and recommendation systems. We wish to learn a hidden $d$-dimensional value $w^*$. Every round, we are presented with a subset $\mathcal{X}_t \subseteq \mathbb{R}^d$ of possible actions. If we choose (i.e. recommend to the user) action $x_t$, we obtain utility…
▽ More
We consider the following variant of contextual linear bandits motivated by routing applications in navigational engines and recommendation systems. We wish to learn a hidden $d$-dimensional value $w^*$. Every round, we are presented with a subset $\mathcal{X}_t \subseteq \mathbb{R}^d$ of possible actions. If we choose (i.e. recommend to the user) action $x_t$, we obtain utility $\langle x_t, w^* \rangle$ but only learn the identity of the best action $\arg\max_{x \in \mathcal{X}_t} \langle x, w^* \rangle$. We design algorithms for this problem which achieve regret $O(d\log T)$ and $\exp(O(d \log d))$. To accomplish this, we design novel cutting-plane algorithms with low "regret" -- the total distance between the true point $w^*$ and the hyperplanes the separation oracle returns. We also consider the variant where we are allowed to provide a list of several recommendations. In this variant, we give an algorithm with $O(d^2 \log d)$ regret and list size $\mathrm{poly}(d)$. Finally, we construct nearly tight algorithms for a weaker variant of this problem where the learner only learns the identity of an action that is better than the recommendation. Our results rely on new algorithmic techniques in convex geometry (including a variant of Steiner's formula for the centroid of a convex set) which may be of independent interest.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
Combinatorial Bernoulli Factories
Authors:
Rad Niazadeh,
Renato Paes Leme,
Jon Schneider
Abstract:
A Bernoulli factory is an algorithmic procedure for exact sampling of certain random variables having only Bernoulli access to their parameters. Bernoulli access to a parameter $p \in [0,1]$ means the algorithm does not know $p$, but has sample access to independent draws of a Bernoulli random variable with mean equal to $p$. In this paper, we study the problem of Bernoulli factories for polytopes…
▽ More
A Bernoulli factory is an algorithmic procedure for exact sampling of certain random variables having only Bernoulli access to their parameters. Bernoulli access to a parameter $p \in [0,1]$ means the algorithm does not know $p$, but has sample access to independent draws of a Bernoulli random variable with mean equal to $p$. In this paper, we study the problem of Bernoulli factories for polytopes: given Bernoulli access to a vector $x\in P$ for a given polytope $P\subset [0,1]^n$, output a randomized vertex such that the expected value of the $i$-th coordinate is \emph{exactly} equal to $x_i$. For example, for the special case of the perfect matching polytope, one is given Bernoulli access to the entries of a doubly stochastic matrix $[x_{ij}]$ and asked to sample a matching such that the probability of each edge $(i,j)$ be present in the matching is exactly equal to $x_{ij}$. We show that a polytope $P$ admits a Bernoulli factory if and and only if $P$ is the intersection of $[0,1]^n$ with an affine subspace. Our construction is based on an algebraic formulation of the problem, involving identifying a family of Bernstein polynomials (one per vertex) that satisfy a certain algebraic identity on $P$. The main technical tool behind our construction is a connection between these polynomials and the geometry of zonotope tilings. We apply these results to construct an explicit factory for the perfect matching polytope. The resulting factory is deeply connected to the combinatorial enumeration of arborescences and may be of independent interest. For the $k$-uniform matroid polytope, we recover a sampling procedure known in statistics as Sampford sampling.
△ Less
Submitted 19 February, 2024; v1 submitted 7 November, 2020;
originally announced November 2020.
-
Toward a Combinatorial Theory of SET and Related Card Games
Authors:
Jonathan Schneider
Abstract:
We define a natural equivalence relation on collections of cards from the card game SET, and enumerate some of the equivalence classes, vastly generalizing the standard game. On this basis, we describe several alternative games for the SET deck, including the game of STUN, in which the goal is to find three cards with exactly two values in each attribute.
We define a natural equivalence relation on collections of cards from the card game SET, and enumerate some of the equivalence classes, vastly generalizing the standard game. On this basis, we describe several alternative games for the SET deck, including the game of STUN, in which the goal is to find three cards with exactly two values in each attribute.
△ Less
Submitted 8 November, 2021; v1 submitted 5 October, 2020;
originally announced October 2020.
-
Generators of the plane Cremona group over the field with two elements
Authors:
Julia Schneider
Abstract:
The plane Cremona group over the finite field $\mathbb{F}_2$ is generated by three infinite families and finitely many birational maps with small base orbits. One family preserves the pencil of lines through a point, the other two preserve the pencil of conics through four points that form either one Galois orbit of size 4, or two Galois orbits of size 2. For each family, we give a generating set…
▽ More
The plane Cremona group over the finite field $\mathbb{F}_2$ is generated by three infinite families and finitely many birational maps with small base orbits. One family preserves the pencil of lines through a point, the other two preserve the pencil of conics through four points that form either one Galois orbit of size 4, or two Galois orbits of size 2. For each family, we give a generating set that is parametrized by the rational functions over $\mathbb{F}_2$. Moreover, we describe the finitely many remaining maps and give an upper bound on the number needed to generate the Cremona group. Finally, we prove that the plane Cremona group over $\mathbb{F}_2$ is generated by involutions.
△ Less
Submitted 7 February, 2024; v1 submitted 18 August, 2020;
originally announced August 2020.
-
Algebraic subgroups of the plane Cremona group over a perfect field
Authors:
Julia Schneider,
Susanna Zimmermann
Abstract:
We show that any infinite algebraic subgroup of the plane Cremona group over a perfect field is contained in a maximal algebraic subgroup of the plane Cremona group. We classify the maximal groups, and their subgroups of rational points, up to conjugacy by a birational map.
We show that any infinite algebraic subgroup of the plane Cremona group over a perfect field is contained in a maximal algebraic subgroup of the plane Cremona group. We classify the maximal groups, and their subgroups of rational points, up to conjugacy by a birational map.
△ Less
Submitted 24 October, 2023; v1 submitted 9 August, 2020;
originally announced August 2020.
-
Isomorphism questions for metric ultraproducts of finite quasisimple groups
Authors:
Jakob Schneider
Abstract:
New results on metric ultraproducts of finite simple groups are established. We show that the isomorphism type of a simple metric ultraproduct of groups $X_{n_i}(q)$ ($i\in I$) for $X\in\{{\rm PGL},{\rm PSp},{\rm PGO}^{(\varepsilon)},{\rm PGU}\}$ ($\varepsilon=\pm$) along an ultrafilter $\mathcal{U}$ on the index set $I$ for which $n_i\to_{\mathcal{U}}\infty$ determines the type $X$ and the field…
▽ More
New results on metric ultraproducts of finite simple groups are established. We show that the isomorphism type of a simple metric ultraproduct of groups $X_{n_i}(q)$ ($i\in I$) for $X\in\{{\rm PGL},{\rm PSp},{\rm PGO}^{(\varepsilon)},{\rm PGU}\}$ ($\varepsilon=\pm$) along an ultrafilter $\mathcal{U}$ on the index set $I$ for which $n_i\to_{\mathcal{U}}\infty$ determines the type $X$ and the field size $q$ up to the possible isomorphism of a metric ultraproduct of groups ${\rm PSp}_{n_i}(q)$ and a metric ultraproduct of groups ${\rm PGO}_{n_i}^{(\varepsilon)}(q)$. This extends results of Thom and Wilson.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Optimal transport and barycenters for dendritic measures
Authors:
Young-Heon Kim,
Brendan Pass,
David J. Schneider
Abstract:
We introduce and study a variant of the Wasserstein distance on the space of probability measures, specially designed to deal with measures whose support has a dendritic, or treelike structure with a particular direction of orientation. Our motivation is the comparison of and interpolation between plants' root systems. We characterize barycenters with respect to this metric, and establish that the…
▽ More
We introduce and study a variant of the Wasserstein distance on the space of probability measures, specially designed to deal with measures whose support has a dendritic, or treelike structure with a particular direction of orientation. Our motivation is the comparison of and interpolation between plants' root systems. We characterize barycenters with respect to this metric, and establish that the interpolations of root-like measures, using this new metric, are also root like, in a certain sense; this property fails for conventional Wasserstein barycenters. We also establish geodesic convexity with respect to this metric for a variety of functionals, some of which we expect to have biological importance.
△ Less
Submitted 17 October, 2019;
originally announced October 2019.
-
Relations in the Cremona group over perfect fields
Authors:
Julia Schneider
Abstract:
For perfect fields $k$ satisfying $[\bar k:k]>2$, we construct new normal subgroups of the plane Cremona group and provide an elementary proof of its non-simplicity, following the melody of the recent proof by Blanc, Lamy and Zimmermann that the Cremona group of rank $n$ over (subfields of) the complex numbers is not simple for $n\geq3$.
For perfect fields $k$ satisfying $[\bar k:k]>2$, we construct new normal subgroups of the plane Cremona group and provide an elementary proof of its non-simplicity, following the melody of the recent proof by Blanc, Lamy and Zimmermann that the Cremona group of rank $n$ over (subfields of) the complex numbers is not simple for $n\geq3$.
△ Less
Submitted 23 April, 2021; v1 submitted 12 June, 2019;
originally announced June 2019.
-
On groups with unbounded Cayley graphs
Authors:
Jakob Schneider
Abstract:
We show that every non-trivial compact connected group and every non-trivial general or special linear group over an infinite field admits a generating set such that the associated Cayley graph has infinite diameter.
We show that every non-trivial compact connected group and every non-trivial general or special linear group over an infinite field admits a generating set such that the associated Cayley graph has infinite diameter.
△ Less
Submitted 29 January, 2019; v1 submitted 29 November, 2018;
originally announced November 2018.
-
Plane curves of fixed bidegree and their $A_k$-singularities
Authors:
Julia Schneider
Abstract:
We provide a tool how one can view a polynomial on the affine plane of bidegree $(a,b)$ - by which we mean that its Newton polygon lies in the triangle spanned by $(a,0)$, $(0,b)$ and the origin - as a curve in a Hirzebruch surface having nice geometric properties. As an application, we study maximal $A_k$-singularities of curves of bidegree $(3,b)$ and find the answer for $b\leq 12$.
We provide a tool how one can view a polynomial on the affine plane of bidegree $(a,b)$ - by which we mean that its Newton polygon lies in the triangle spanned by $(a,0)$, $(0,b)$ and the origin - as a curve in a Hirzebruch surface having nice geometric properties. As an application, we study maximal $A_k$-singularities of curves of bidegree $(3,b)$ and find the answer for $b\leq 12$.
△ Less
Submitted 15 August, 2018;
originally announced August 2018.
-
A spinning construction for virtual 1-knots and 2-knots, and the fiberwise and welded equivalence of virtual 1-knots
Authors:
Louis H. Kauffman,
Eiji Ogasa,
Jonathan Schneider
Abstract:
We succeed to generalize spun knots of classical 1-knots to the virtual 1-knot case by using the `spinning construction'. That, is, we prove the following: Let $Q$ be a spun knot of a virtual 1-knot $K$ by our method. The embedding type $Q$ in $S^4$ depends only on $K$. Furthermore we prove the following: The submanifolds, $Q$ and the embedded torus made from $K,$ defined by Satoh's method, in…
▽ More
We succeed to generalize spun knots of classical 1-knots to the virtual 1-knot case by using the `spinning construction'. That, is, we prove the following: Let $Q$ be a spun knot of a virtual 1-knot $K$ by our method. The embedding type $Q$ in $S^4$ depends only on $K$. Furthermore we prove the following: The submanifolds, $Q$ and the embedded torus made from $K,$ defined by Satoh's method, in $S^4$ are isotopic.
We succeed to generalize the above construction to the virtual 2-knot case. Note that Satoh's method says nothing about the virtual 2-knot case. Rourke's interpretation of Satoh's method is that one puts `fiber-circles' on each point of each virtual 1-knot diagram. If there is no virtual branch point in a virtual 2-knot diagram, our way gives such fiber-circles to each point of the virtual 2-knot diagram. We prove the following: If a virtual 2-knot diagram $α$ has a virtual branch point, $α$ cannot be covered by such fiber-circles.
We obtain a new equivalence relation, the $\mathcal E$-equivalence relation of the set of virtual 2-knot diagrams, by using our spinning construction. We prove that there are virtual 2-knot diagrams that are virtually nonequivalent but are $\mathcal E$-equivalent.
Although Rourke claimed that two virtual 1-knot diagrams $α$ and $β$ are fiberwise equivalent if and only if $α$ and $β$ are welded equivalent, we state that this claim is wrong. We prove that two virtual 1-knot diagrams $α$ and $β$ are fiberwise equivalent if and only if $α$ and $β$ are rotational welded equivalent.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
Symplectic dynamics and the 3-sphere
Authors:
Marc Kegel,
Jay Schneider,
Kai Zehmisch
Abstract:
Given a knot in a closed connected orientable 3-manifold we prove that if the exterior of the knot admits an aperiodic contact form that is Euclidean near the boundary, then the 3-manifold is diffeomorphic to the 3-sphere and the knot is the unknot.
Given a knot in a closed connected orientable 3-manifold we prove that if the exterior of the knot admits an aperiodic contact form that is Euclidean near the boundary, then the 3-manifold is diffeomorphic to the 3-sphere and the knot is the unknot.
△ Less
Submitted 12 March, 2019; v1 submitted 22 June, 2018;
originally announced June 2018.
-
Contextual Search via Intrinsic Volumes
Authors:
Renato Paes Leme,
Jon Schneider
Abstract:
We study the problem of contextual search, a multidimensional generalization of binary search that captures many problems in contextual decision-making. In contextual search, a learner is trying to learn the value of a hidden vector $v \in [0,1]^d$. Every round the learner is provided an adversarially-chosen context $u_t \in \mathbb{R}^d$, submits a guess $p_t$ for the value of…
▽ More
We study the problem of contextual search, a multidimensional generalization of binary search that captures many problems in contextual decision-making. In contextual search, a learner is trying to learn the value of a hidden vector $v \in [0,1]^d$. Every round the learner is provided an adversarially-chosen context $u_t \in \mathbb{R}^d$, submits a guess $p_t$ for the value of $\langle u_t, v\rangle$, learns whether $p_t < \langle u_t, v\rangle$, and incurs loss $\ell(\langle u_t, v\rangle, p_t)$ (for some loss function $\ell$). The learner's goal is to minimize their total loss over the course of $T$ rounds.
We present an algorithm for the contextual search problem for the symmetric loss function $\ell(θ, p) = |θ- p|$ that achieves $O_{d}(1)$ total loss. We present a new algorithm for the dynamic pricing problem (which can be realized as a special case of the contextual search problem) that achieves $O_{d}(\log \log T)$ total loss, improving on the previous best known upper bounds of $O_{d}(\log T)$ and matching the known lower bounds (up to a polynomial dependence on $d$). Both algorithms make significant use of ideas from the field of integral geometry, most notably the notion of intrinsic volumes of a convex set. To the best of our knowledge this is the first application of intrinsic volumes to algorithm design.
△ Less
Submitted 17 May, 2018; v1 submitted 9 April, 2018;
originally announced April 2018.
-
Word images in symmetric and classical groups of Lie type are dense
Authors:
Jakob Schneider,
Andreas Thom
Abstract:
Let $w\in\mathbf F_k$ be a non-trivial word and denote by $w(G)\subseteq G$ the image of the associated word map $w\colon G^k\to G$. Let $G$ be one of the finite groups ${\rm S}_n,{\rm GL}_n(q),{\rm Sp}_{2m}(q),{\rm GO}_{2m}^\pm(q),{\rm GO}_{2m+1}(q),{\rm GU}_n(q)$ ($q$ a prime power, $n\geq 2$, $m\geq 1$), or the unitary group ${\rm U}_n$ over $\mathbb C$. Let $d_G$ be the normalized Hamming dist…
▽ More
Let $w\in\mathbf F_k$ be a non-trivial word and denote by $w(G)\subseteq G$ the image of the associated word map $w\colon G^k\to G$. Let $G$ be one of the finite groups ${\rm S}_n,{\rm GL}_n(q),{\rm Sp}_{2m}(q),{\rm GO}_{2m}^\pm(q),{\rm GO}_{2m+1}(q),{\rm GU}_n(q)$ ($q$ a prime power, $n\geq 2$, $m\geq 1$), or the unitary group ${\rm U}_n$ over $\mathbb C$. Let $d_G$ be the normalized Hamming distance resp. the normalized rank metric on $G$ when $G$ is a symmetric group resp. one of the other classical groups and write $n(G)$ for the permutation resp. Lie rank of $G$. For $\varepsilon>0$, we prove that there exists an integer $N(\varepsilon,w)$ such that $w(G)$ is $\varepsilon$-dense in $G$ with respect to the metric $d_G$ if $n(G)\geq N(\varepsilon,w)$. This confirms metric versions of a conjectures by Shalev and Larsen. Equivalently, we prove that any non-trivial word map is surjective on a metric ultraproduct of groups $G$ from above such that $n(G)\to\infty$ along the ultrafilter. As a consequence of our methods, we also obtain an alternative proof of the result of Hui-Larsen-Shalev that $w_1({\rm SU}_n)w_2({\rm SU}_n)={\rm SU}_n$ for non-trivial words $w_1,w_2\in\mathbf F_k$ and $n$ sufficiently large.
△ Less
Submitted 31 March, 2023; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Levy processes in cones of fuzzy vectors
Authors:
Jan Schneider,
Roman Urban
Abstract:
The general problem of how to construct stochastic processes which are confined to stay in a predefined cone (in the one-dimensional but also multi-dimensional case also referred to as \emph{subordinators}) is of course known to be of great importance in the theory and a myriad of applications.\par But fuzzy stochastic processes are considered in this context for the first time in this paper:\par…
▽ More
The general problem of how to construct stochastic processes which are confined to stay in a predefined cone (in the one-dimensional but also multi-dimensional case also referred to as \emph{subordinators}) is of course known to be of great importance in the theory and a myriad of applications.\par But fuzzy stochastic processes are considered in this context for the first time in this paper:\par By first relating with each proper convex cone $C$ in $\R^{n}$ a certain cone of fuzzy vectors $C^*$ and subsequently using some specific Banach space techniques we have been able to produce as many pairs $(L^*_t, C^*)$ of fuzzy Łprocesses $L^*_t$ and cones $C^*$ of fuzzy vectors such that $L^*_t$ are $C^*$-$\,$subordinators.
△ Less
Submitted 5 November, 2017;
originally announced November 2017.
-
Symplectic dynamics of contact isotropic torus complements
Authors:
Kilian Barth,
Jay Schneider,
Kai Zehmisch
Abstract:
We determine the homotopy type of isotropic torus complements in closed contact manifolds in terms of Reeb dynamics of special contact forms. For that we utilize holomorphic curve techniques known from symplectic field theory as Gromov-Hofer compactness and localized transversality on non-compact contact manifolds.
We determine the homotopy type of isotropic torus complements in closed contact manifolds in terms of Reeb dynamics of special contact forms. For that we utilize holomorphic curve techniques known from symplectic field theory as Gromov-Hofer compactness and localized transversality on non-compact contact manifolds.
△ Less
Submitted 13 September, 2018; v1 submitted 5 October, 2017;
originally announced October 2017.
-
A note on the normal subgroup lattice of ultraproducts of finite quasisimple groups
Authors:
Jakob Schneider,
Andreas Thom
Abstract:
In [A. Stolz and A. Thom, On the lattice of normal subgroups in ultraproducts of compact simple groups, PLMS 108(1), 2014] it was stated that the lattice of normal subgroups of an ultraproduct of finite simple groups is always linearly ordered. This is false in this form in most cases for classical groups of Lie type. We correct the statement and point out a version of 'relative' bounded generatio…
▽ More
In [A. Stolz and A. Thom, On the lattice of normal subgroups in ultraproducts of compact simple groups, PLMS 108(1), 2014] it was stated that the lattice of normal subgroups of an ultraproduct of finite simple groups is always linearly ordered. This is false in this form in most cases for classical groups of Lie type. We correct the statement and point out a version of 'relative' bounded generation results for classical quasisimple groups and its implications on the structure of the lattice of normal subgroups of an ultraproduct of quasisimple groups.
△ Less
Submitted 19 September, 2017;
originally announced September 2017.
-
Convergence of fuzzy random walks to a standard Brownian motion
Authors:
Jan Schneider,
Roman Urban
Abstract:
In this note - starting from $d$-dimensional (with $d>1$) fuzzy vectors - we prove Donsker's classical invariance principle. We consider a fuzzy random walk ${S^*_n}=X^*_1+\cdots+X^*_n,$ where $\{X^*_i\}_1^{\infty}$ is a sequence of mutually independent and identically distributed $d$-dimensional fuzzy random variables whose $α$-cuts are assumed to be compact and convex.
Our reasoning and techniq…
▽ More
In this note - starting from $d$-dimensional (with $d>1$) fuzzy vectors - we prove Donsker's classical invariance principle. We consider a fuzzy random walk ${S^*_n}=X^*_1+\cdots+X^*_n,$ where $\{X^*_i\}_1^{\infty}$ is a sequence of mutually independent and identically distributed $d$-dimensional fuzzy random variables whose $α$-cuts are assumed to be compact and convex.
Our reasoning and technique are based on the well known conjugacy correspondence between convex sets and support functions, which allows for the association of an appropriately normalized and interpolated time-continuous fuzzy random process with a real valued random process in the space of support functions.
We show that each member of the associated family of dual sequences tends in distribution to a standard Brownian motion.
△ Less
Submitted 1 September, 2017;
originally announced September 2017.
-
Quantized-CP Approximation and Sparse Tensor Interpolation of Function Generated Data
Authors:
Boris N. Khoromskij,
Kishore K. Naraparaju,
Jan Schneider
Abstract:
In this article we consider the iterative schemes to compute the canonical (CP) approximation of quantized data generated by a function discretized on a large uniform grid in an interval on the real line. This paper continues the research on the QTT method [16] developed for the tensor train (TT) approximation of the quantized images of function related data. In the QTT approach the target vector…
▽ More
In this article we consider the iterative schemes to compute the canonical (CP) approximation of quantized data generated by a function discretized on a large uniform grid in an interval on the real line. This paper continues the research on the QTT method [16] developed for the tensor train (TT) approximation of the quantized images of function related data. In the QTT approach the target vector of length $2^{L}$ is reshaped to a $L^{th}$ order tensor with two entries in each mode (Quantized representation) and then approximated by the QTT tenor including $2r^2 L$ parameters, where $r$ is the maximal TT rank. In what follows, we consider the Alternating Least-Squares (ALS) iterative scheme to compute the rank-$r$ CP approximation of the quantized vectors, which requires only $2 r L\ll 2^L$ parameters for storage. In the earlier papers [17] such a representation was called Q$_{Can}$ format, while in this paper we abbreviate it as the QCP representation. We test the ALS algorithm to calculate the QCP approximation on various functions, and in all cases we observed the exponential error decay in the QCP rank. The main idea for recovering a discretized function in the rank-$r$ QCP format using the reduced number the functional samples, calculated only at $O(2rL)$ grid points, is presented. The special version of ALS scheme for solving the arising minimization problem is described. This approach can be viewed as the sparse QCP-interpolation method that allows to recover all $2r L$ representation parameters of the rank-$r$ QCP tensor. Numerical examples show the efficiency of the QCP-ALS type iteration and indicate the exponential convergence rate in $r$.
△ Less
Submitted 14 July, 2017;
originally announced July 2017.
-
Some remarks on finitarily approximable groups
Authors:
Nikolay Nikolov,
Jakob Schneider,
Andreas Thom
Abstract:
The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite solvable groups with arbitrary invariant length function. We answer this question by showing that any non-trivial finitely generated perfect group does not have t…
▽ More
The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite solvable groups with arbitrary invariant length function. We answer this question by showing that any non-trivial finitely generated perfect group does not have this property, generalizing a counterexample of Howie. Moreover, we discuss the question which connected Lie groups can be embedded into a metric ultraproduct of finite groups with invariant length function. We prove that these are precisely the abelian ones, providing a negative answer to a question of Doucha. Referring to a problem of Zilber, we show that a the identity component of a Lie group, whose topology is generated by an invariant length function and which is an abstract quotient of a product of finite groups, has to be abelian. Both of these last two facts give an alternative proof of a result of Turing. Finally, we solve a conjecture of Pillay by proving that the identity component of a compactification of a pseudofinite group must be abelian as well. All results of this article are applications of theorems on generators and commutators in finite groups by the first author and Segal.
△ Less
Submitted 24 May, 2017; v1 submitted 17 March, 2017;
originally announced March 2017.
-
What's in a ball? Constructing and characterizing uncertainty sets
Authors:
Thomas Kruse,
Judith C. Schneider,
Nikolaus Schweizer
Abstract:
In the presence of model risk, it is well-established to replace classical expected values by worst-case expectations over all models within a fixed radius from a given reference model. This is the "robustness" approach. We show that previous methods for measuring this radius, e.g. relative entropy or polynomial divergences, are inadequate for reference models which are moderately heavy-tailed suc…
▽ More
In the presence of model risk, it is well-established to replace classical expected values by worst-case expectations over all models within a fixed radius from a given reference model. This is the "robustness" approach. We show that previous methods for measuring this radius, e.g. relative entropy or polynomial divergences, are inadequate for reference models which are moderately heavy-tailed such as lognormal models. Worst cases are either infinitely pessimistic, or they rule out the possibility of fat-tailed "power law" models as plausible alternatives. We introduce a new family of divergence measures which captures intermediate levels of pessimism.
△ Less
Submitted 6 October, 2015;
originally announced October 2015.
-
Tight space-noise tradeoffs in computing the ergodic measure
Authors:
Mark Braverman,
Cristobal Rojas,
Jon Schneider
Abstract:
In this note we obtain tight bounds on the space-complexity of computing the ergodic measure of a low-dimensional discrete-time dynamical system affected by Gaussian noise. If the scale of the noise is $\varepsilon$, and the function describing the evolution of the system is not by itself a source of computational complexity, then the density function of the ergodic measure can be approximated wit…
▽ More
In this note we obtain tight bounds on the space-complexity of computing the ergodic measure of a low-dimensional discrete-time dynamical system affected by Gaussian noise. If the scale of the noise is $\varepsilon$, and the function describing the evolution of the system is not by itself a source of computational complexity, then the density function of the ergodic measure can be approximated within precision $δ$ in space polynomial in $\log 1/\varepsilon+\log\log 1/δ$. We also show that this bound is tight up to polynomial factors.
In the course of showing the above, we prove a result of independent interest in space-bounded computation: that it is possible to exponentiate an $n$ by $n$ matrix to an exponentially large power in space polylogarithmic in $n$.
△ Less
Submitted 21 August, 2015;
originally announced August 2015.
-
Equivalence of anchored and ANOVA spaces via interpolation
Authors:
Aicke Hinrichs,
Jan Schneider
Abstract:
We consider weighted anchored and ANOVA spaces of functions with first order mixed derivatives bounded in $L_p$. Recently, Hefter, Ritter and Wasilkowski established conditions on the weights in the cases $p=1$ and $p=\infty$ which ensure equivalence of the corresponding norms uniformly in the dimension or only polynomially dependent on the dimension. We extend these results to the whole range of…
▽ More
We consider weighted anchored and ANOVA spaces of functions with first order mixed derivatives bounded in $L_p$. Recently, Hefter, Ritter and Wasilkowski established conditions on the weights in the cases $p=1$ and $p=\infty$ which ensure equivalence of the corresponding norms uniformly in the dimension or only polynomially dependent on the dimension. We extend these results to the whole range of $p\in [1,\infty]$. It is shown how this can be achieved via interpolation.
△ Less
Submitted 21 October, 2015; v1 submitted 31 March, 2015;
originally announced March 2015.
-
Fast Distribution To Real Regression
Authors:
Junier B. Oliva,
Willie Neiswanger,
Barnabas Poczos,
Jeff Schneider,
Eric Xing
Abstract:
We study the problem of distribution to real-value regression, where one aims to regress a map** $f$ that takes in a distribution input covariate $P\in \mathcal{I}$ (for a non-parametric family of distributions $\mathcal{I}$) and outputs a real-valued response $Y=f(P) + ε$. This setting was recently studied, and a "Kernel-Kernel" estimator was introduced and shown to have a polynomial rate of co…
▽ More
We study the problem of distribution to real-value regression, where one aims to regress a map** $f$ that takes in a distribution input covariate $P\in \mathcal{I}$ (for a non-parametric family of distributions $\mathcal{I}$) and outputs a real-valued response $Y=f(P) + ε$. This setting was recently studied, and a "Kernel-Kernel" estimator was introduced and shown to have a polynomial rate of convergence. However, evaluating a new prediction with the Kernel-Kernel estimator scales as $Ω(N)$. This causes the difficult situation where a large amount of data may be necessary for a low estimation risk, but the computation cost of estimation becomes infeasible when the data-set is too large. To this end, we propose the Double-Basis estimator, which looks to alleviate this big data problem in two ways: first, the Double-Basis estimator is shown to have a computation complexity that is independent of the number of of instances $N$ when evaluating new predictions after training; secondly, the Double-Basis estimator is shown to have a fast rate of convergence for a general class of map**s $f\in\mathcal{F}$.
△ Less
Submitted 8 March, 2014; v1 submitted 9 November, 2013;
originally announced November 2013.
-
FuSSO: Functional Shrinkage and Selection Operator
Authors:
Junier B. Oliva,
Barnabas Poczos,
Timothy Verstynen,
Aarti Singh,
Jeff Schneider,
Fang-Cheng Yeh,
Wen-Yih Tseng
Abstract:
We present the FuSSO, a functional analogue to the LASSO, that efficiently finds a sparse set of functional input covariates to regress a real-valued response against. The FuSSO does so in a semi-parametric fashion, making no parametric assumptions about the nature of input functional covariates and assuming a linear form to the map** of functional covariates to the response. We provide a statis…
▽ More
We present the FuSSO, a functional analogue to the LASSO, that efficiently finds a sparse set of functional input covariates to regress a real-valued response against. The FuSSO does so in a semi-parametric fashion, making no parametric assumptions about the nature of input functional covariates and assuming a linear form to the map** of functional covariates to the response. We provide a statistical backing for use of the FuSSO via proof of asymptotic sparsistency under various conditions. Furthermore, we observe good results on both synthetic and real-world data.
△ Less
Submitted 8 March, 2014; v1 submitted 9 November, 2013;
originally announced November 2013.
-
Arithmetic of fuzzy numbers and intervals -- a new perspective with examples
Authors:
Jan Schneider
Abstract:
This article is meant to give a lucid and widely accessible, self-contained account of a novel way of performing arithmetic operations on fuzzy intervals. Based on two formulae of generalized inversion (the first in close analogy to the inversion of cumulative distribution functions in probability and statistics, and subsequent re-inversion which in this form seems to be new in the literature) the…
▽ More
This article is meant to give a lucid and widely accessible, self-contained account of a novel way of performing arithmetic operations on fuzzy intervals. Based on two formulae of generalized inversion (the first in close analogy to the inversion of cumulative distribution functions in probability and statistics, and subsequent re-inversion which in this form seems to be new in the literature) the technique could prove to be of some importance for the practical handling of fuzzy intervals whose characterizing functions are discontinuous and/or not strictly monotonic, e.g. piecewise constant. Notwithstanding its innovative nature, the article is written in the style of an introductory textbook featuring a multitude of illustrated examples.
△ Less
Submitted 27 October, 2016; v1 submitted 16 October, 2013;
originally announced October 2013.
-
Polynomial sequences of binomial-type arising in graph theory
Authors:
Jon Schneider
Abstract:
In this paper, we show that the solution to a large class of "tiling" problems is given by a polynomial sequence of binomial type. More specifically, we show that the number of ways to place a fixed set of polyominos on an $n\times n$ toroidal chessboard such that no two polyominos overlap is eventually a polynomial in $n$, and that certain sets of these polynomials satisfy binomial-type recurrenc…
▽ More
In this paper, we show that the solution to a large class of "tiling" problems is given by a polynomial sequence of binomial type. More specifically, we show that the number of ways to place a fixed set of polyominos on an $n\times n$ toroidal chessboard such that no two polyominos overlap is eventually a polynomial in $n$, and that certain sets of these polynomials satisfy binomial-type recurrences. We exhibit generalizations of this theorem to higher dimensions and other lattices. Finally, we apply the techniques developed in this paper to resolve an open question about the structure of coefficients of chromatic polynomials of certain grid graphs (namely that they also satisfy a binomial-type recurrence).
△ Less
Submitted 27 June, 2012;
originally announced June 2012.
-
Copula-based Kernel Dependency Measures
Authors:
Barnabas Poczos,
Zoubin Ghahramani,
Jeff Schneider
Abstract:
The paper presents a new copula based method for measuring dependence between random variables. Our approach extends the Maximum Mean Discrepancy to the copula of the joint distribution. We prove that this approach has several advantageous properties. Similarly to Shannon mutual information, the proposed dependence measure is invariant to any strictly increasing transformation of the marginal vari…
▽ More
The paper presents a new copula based method for measuring dependence between random variables. Our approach extends the Maximum Mean Discrepancy to the copula of the joint distribution. We prove that this approach has several advantageous properties. Similarly to Shannon mutual information, the proposed dependence measure is invariant to any strictly increasing transformation of the marginal variables. This is important in many applications, for example in feature selection. The estimator is consistent, robust to outliers, and uses rank statistics only. We derive upper bounds on the convergence rate and propose independence tests too. We illustrate the theoretical contributions through a series of experiments in feature selection and low-dimensional embedding of distributions.
△ Less
Submitted 18 June, 2012;
originally announced June 2012.
-
Enumeration and Quasipolynomiality of Chip-Firing Configurations
Authors:
Jon Schneider
Abstract:
In this paper we explore enumeration problems related to the number of reachable configurations in a chip-firing game on a finite connected graph G. We define an auxiliary notion of debt-reachability and prove that the number of debt-reachable configurations from an initial configuration with c chips on one vertex is a quasipolynomial in c. For the cycle graph C_n, we apply these results to comput…
▽ More
In this paper we explore enumeration problems related to the number of reachable configurations in a chip-firing game on a finite connected graph G. We define an auxiliary notion of debt-reachability and prove that the number of debt-reachable configurations from an initial configuration with c chips on one vertex is a quasipolynomial in c. For the cycle graph C_n, we apply these results to compute a near explicit formula for the number of debt-reachable configurations. We then derive polynomial asymptotic bounds for the number of debt-reachable and reachable configurations, and finally provide evidence for a quasipolynomiality conjecture regarding the number of reachable configurations.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.