Torsion in asymptotic cones of free groups
We prove that the asymptotic cone of any non-abelian free group equipped with the bi-invariant word metric has elements of order 2.
math.GR↗
arXiv subjects
Assaf Libman
Publications and source records attributed to Assaf Libman.
Are free groups of different ranks bi-invariantly quasi-isometric?
We prove that a homomorphism between free groups of finite rank equipped with the bi-invariant word metrics is a quasi-isometry if and only if it is an isomorphism.
math.GR↗
Abstract Weighted Based Gradual Semantics in Argumentation Theory
Weighted gradual semantics provide an acceptability degree to each argument representing the strength of the argument, computed based on factors including background evidence for the argument, and taking into account interactions between this argument and others. We introduce four important problems linking gradual semantics and acceptability degrees. First, we reexamine the inverse problem, seeking to identify the argument weights of the argumentation framework which lead to a specific final acceptability degree. Second, we ask whether the function mapping between argument weights and acceptability degrees is injective or a homeomorphism onto its image. Third, we ask whether argument weights can be found when preferences, rather than acceptability degrees for arguments are considered. Fourth, we consider the topology of the space of valid acceptability degrees, asking whether "gaps" exist in this space. While different gradual semantics have been proposed in the literature, in this paper, we identify a large family of weighted gradual semantics, called abstract weighted based gradual semantics. These generalise many of the existing semantics while maintaining desirable properties such as convergence to a unique fixed point. We also show that a sub-family of the weighted gradual semantics, called abstract weighted (L^p,\lambda,\mu)-based gradual semantics and which include well-known semantics, solve all four of the aforementioned problems.
cs.AI↗
The complex of injective words of permutations which are not derangements is contractible
Let $D_n \subseteq \Sigma_n$ be the set of derangements in the symmetric group. We prove that the complex of injective words generated by $\Sigma_n \setminus D_n$ is contractible. This gives a conceptual explanation to the well known fact that the complex of injective words generated by $\Sigma_n$ is homotopy equivalent to the wedge sum $\underset{|D_n|}{\bigvee} S^{n-1}$.
math.CO↗
European baskets in discrete-time continuous-binomial market models
We consider a discrete-time incomplete multi-asset market model with continuous price jumps. For a wide class of contingent claims, including European basket call options, we compute the bounds of the interval containing the no-arbitrage prices. We prove that the lower bound coincides, in fact, with Jensen's bound. The upper bound can be computed by restricting to a binomial model for which an explicit expression for the bound is known by an earlier work of the authors. We describe explicitly a maximal hedging strategy which is the best possible in the sense that its value is equal to the upper bound of the price interval of the claim. Our results show that for any $c$ in the interval of the non-arbitrage contingent claim price at time $0$, one can change the boundaries of the price jumps to obtain a model in which $c$ is the upper bound at time $0$ of this interval. The lower bound of this interval remains unaffected.
q-fin.MF↗
Minimum Cost Super-Hedging in a Discrete Time Incomplete Multi-Asset Binomial Market
We consider a multi-asset incomplete model of the financial market, where each of $m\geq 2$ risky assets follows the binomial dynamics, and no assumptions are made on the joint distribution of the risky asset price processes. We provide explicit formulas for the minimum cost super-hedging strategies for a wide class of European type multi-asset contingent claims. This class includes European basket call and put options, among others. Since a super-hedge is a non-self-financing arbitrage strategy, it produces non-negative local residuals, for which we also give explicit formulas. This paper completes the foundation started in previous work of the authors for the extension of our results to a more realistic market model.
q-fin.MF↗
Directional asymptotic cones of groups equipped with bi-invariant metrics
Given a bi-invariant metric on a group, we construct a version of an asymptotic cone without using ultrafilters. The new construction, called the directional asymptotic cone, is a contractible topological group equipped with a complete bi-invariant metric and admits a canonical Lipschitz homomorphism to the standard asymptotic cone. Moreover, the directional asymptotic cone of a countable group is separable.
math.GR↗
Analytical Solutions for the Inverse Problem within Gradual Semantics
Gradual semantics within abstract argumentation associate a numeric score with every argument in a system, which represents the level of acceptability of this argument, and from which a preference ordering over arguments can be derived. While some semantics operate over standard argumentation frameworks, many utilise a weighted framework, where a numeric initial weight is associated with each argument. Recent work has examined the inverse problem within gradual semantics. Rather than determining a preference ordering given an argumentation framework and a semantics, the inverse problem takes an argumentation framework, a gradual semantics, and a preference ordering as inputs, and identifies what weights are needed to over arguments in the framework to obtain the desired preference ordering. Existing work has attacked the inverse problem numerically, using a root finding algorithm (the bisection method) to identify appropriate initial weights. In this paper we demonstrate that for a class of gradual semantics, an analytical approach can be used to solve the inverse problem. Unlike the current state-of-the-art, such an analytic approach can rapidly find a solution, and is guaranteed to do so. In obtaining this result, we are able to prove several important properties which previous work had posed as conjectures.
cs.AI↗
Uniform boundedness for algebraic groups and Lie groups
Let $G$ be a semisimple linear algebraic group over a field $k$ and let $G^+(k)$ be the subgroup generated by the subgroups $R_u(Q)(k)$, where $Q$ ranges over all the minimal $k$-parabolic subgroups $Q$ of $G$. We prove that if $G^+(k)$ is bounded then it is uniformly bounded. Under extra assumptions we get explicit bounds for $\Delta(G^+(k))$: we prove that if $k$ is algebraically closed then $\Delta(G^+(k))\leq 4\, {\rm rank}\,G$, and if $G$ is split over $k$ then $\Delta(G^+(k))\leq 28\, {\rm rank}\,G$. We deduce some analogous results for real and complex semisimple Lie groups.
math.GR↗
Punctured groups for exotic fusion systems
The transporter systems of Oliver and Ventura and the localities of Chermak are classes of algebraic structures that model the $p$-local structures of finite groups. Other than the transporter categories and localities of finite groups, important examples include centric, quasicentric, and subcentric linking systems for saturated fusion systems. These examples are however not defined in general on the full collection of subgroups of the Sylow group. We study here punctured groups, a short name for transporter systems or localities on the collection of nonidentity subgroups of a finite $p$-group. As an application of the existence of a punctured group, we show that the subgroup homology decomposition on the centric collection is sharp for the fusion system. We also prove a Signalizer Functor Theorem for punctured groups and use it to show that the smallest Benson-Solomon exotic fusion system at the prime $2$ has a punctured group, while the others do not. As for exotic fusion systems at odd primes $p$, we survey several classes and find that in almost all cases, either the subcentric linking system is a punctured group for the system, or the system has no punctured group because the normalizer of some subgroup of order $p$ is exotic. Finally, we classify punctured groups restricting to the centric linking system for certain fusion systems on extraspecial $p$-groups of order $p^3$.
math.GR↗
Pricing multi-asset contingent claims in a multi-dimensional binomial market
We consider an incomplete multi-asset binomial market model. We prove that for a wide class of contingent claims the extremal multi-step martingale measure is a power of the corresponding single-step extremal martingale measure. This allows for closed form formulas for the bounds of a no-arbitrage contingent claim price interval. We construct a feasible algorithm for computing those boundaries as well as for the corresponding hedging strategies. Our results apply, for example, to European basket call and put options and Asian arithmetic average options.
q-fin.MF↗
Polytopes associated with lattices of subsets and maximising expectation of random variables
The present paper originated from a problem in Financial Mathematics concerned with calculating the value of a European call option based on multiple assets each following the binomial model. The model led to an interesting family of polytopes $P(b)$ associated with the power-set $\mathcal{L} = \wp\{1,\dots,m\}$ and parameterized by $b \in \mathbb{R}^m$, each of which is a collection of probability density function on $\mathcal{L}$. For each non-empty $P(b)$ there results a family of probability measures on $\mathcal{L}^n$ and, given a function $F \colon \mathcal{L}^n \to \mathbb{R}$, our goal is to find among these probability measures one which maximises (resp. minimises) the expectation of $F$. In this paper we identify a family of such functions $F$, all of whose expectations are maximised (resp. minimised under some conditions) by the same {\em product} probability measure defined by a distinguished vertex of $P(b)$ called the supervertex (resp. the subvertex). The pay-offs of European call options belong to this family of functions.
math.CO↗
Stabilization of the homotopy groups of the self equivalences of linear spheres
Let $G$ be a finite group. Let $U_1,U_2,\dots$ be a sequence of orthogonal representations in which any irreducible representation of $\oplus_{n \geq 1} U_n$ has infinite multiplicity. Let $V_n=\oplus_{i=1}^n U_n$ and $S(V_n)$ denote the linear sphere of unit vectors. Then for any $i \geq 0$ the sequence of group $\dots \rightarrow \pi_i \operatorname{map}^G(S(V_n),S(V_n)) \rightarrow \pi_i \operatorname{map}^G(S(V_{n+1}),S(V_{n+1})) \rightarrow \dots$ stabilizes with the stable group $\oplus_H \omega_i(BW_GH)$ where $H$ runs through representatives of the conjugacy classes of all the isotropy group of the points of $S(\oplus_n U_n)$.
math.AT↗
Strong and uniform boundedness of groups
A group G is called bounded if every conjugation-invariant norm on G has finite diameter. We introduce various strengthenings of this property and investigate them in several classes of groups including semisimple Lie groups, arithmetic groups and linear algebraic groups. We provide applications to Hamiltonian dynamics.
math.GR↗
Groups of unstable Adams operations on p-local compact groups
A $p$-local compact group is an algebraic object modelled on the homotopy theory associated with $p$-completed classifying spaces of compact Lie groups and p-compact groups. In particular $p$-local compact groups give a unified framework in which one may study $p$-completed classifying spaces from an algebraic and homotopy theoretic point of view. Like connected compact Lie groups and p-compact groups, $p$-local compact groups admit unstable Adams operations - self equivalences that are characterised by their cohomological effect. Unstable Adams operations on $p$-local compact groups were constructed in a previous paper by F. Junod and the authors. In the current paper we study groups of unstable operations from a geometric and algebraic point of view. We give a precise description of the relationship between algebraic and geometric operations, and show that under some conditions unstable Adams operations are determined by their degree. We also examine a particularly well behaved subgroup of operations.
math.AT↗
On the homotopy groups of the self equivalences of linear spheres
Let $S(V)$ be a complex linear sphere of a finite group $G$. %the space of unit vectors in a complex representation $V$ of a finite group $G$. Let $S(V)^{*n}$ denote the $n$-fold join of $S(V)$ with itself and let $\aut_G(S(V)^*)$ denote the space of $G$-equivariant self homotopy equivalences of $S(V)^{*n}$. We show that for any $k \geq 1$ there exists $M>0$ which depends only on $V$ such that $|\pi_k \aut_G(S(V)^{*n})| \leq M$ is for all $n \gg 0$.
math.AT↗
Unstable Adams operations on p-local compact groups
A p-local compact group is an algebraic object modelled on the p-local homotopy theory of classifying spaces of compact Lie groups and p-compact groups. In the study of these objects unstable Adams operations, are of fundamental importance. In this paper we define unstable Adams operations within the theory of p-local compact groups, and show that such operations exist under rather mild conditions. More precisely, we prove that for a given p-local compact group G and a sufficiently large positive integer $m$, there exists an injective group homomorphism from the group of p-adic units which are congruent to 1 modulo p^m to the group of unstable Adams operations on G
math.AT↗
Homology decompositions and groups inducing fusion systems
We relate the construction of groups which realize saturated fusion systems and signaliser functors with homology decompositions of p-local finite groups. We prove that the cohomology ring of Robinson's construction is in some precise sense very close to the cohomology ring of the fusion system it realizes.
math.AT↗