Showing 1–13 of 13 results for author: Kalka, A

The numerical statistical fan for noisy experimental designs

Authors: Arkadius Kalka, Sonja Kuhnt

Abstract: Identifiability of polynomial models is a key requirement for multiple regression. We consider an analogue of the so-called statistical fan, the set of all maximal identifiable hierarchical models, for cases of noisy experimental designs or measured covariate vectors with a given tolerance vector. This gives rise to the definition of the numerical statistical fan. It includes all maximal hierarchi… ▽ More Identifiability of polynomial models is a key requirement for multiple regression. We consider an analogue of the so-called statistical fan, the set of all maximal identifiable hierarchical models, for cases of noisy experimental designs or measured covariate vectors with a given tolerance vector. This gives rise to the definition of the numerical statistical fan. It includes all maximal hierarchical models that avoid approximate linear dependence of the model terms. We develop an algorithm to compute the numerical statistical fan using recent results on the computation of all border bases of a design ideal from the field of algebra. The ideas are applied to data from a thermal spraying process. It turns out that the numerical statistical fan is effectively computable and much smaller than the respective statistical fan. The gained enhanced knowledge of the space of all stable identifiable hierarchical models enables improved model selection procedures. △ Less

Submitted 20 October, 2020; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: 24 pages, 2 figures. Some proofs and more Literature were added

MSC Class: 13P10; 62J02; 62K99; 65F99

Power commutator groups

Authors: Arkadius Kalka

Abstract: We consider the class of finitely generated groups whose relators are powers of commutators of the generators. This class contains as a small subclass graph groups (also called RAAGs), namely if all powers are one. Graph groups are the only torsionfree groups in this class. The generators are of infinite order, but we may also add torsion by assigning arbitrary orders to the generators. Then the a… ▽ More We consider the class of finitely generated groups whose relators are powers of commutators of the generators. This class contains as a small subclass graph groups (also called RAAGs), namely if all powers are one. Graph groups are the only torsionfree groups in this class. The generators are of infinite order, but we may also add torsion by assigning arbitrary orders to the generators. Then the above mentioned small subclass contains partially commutative Shephard groups. We show that these groups embed into Coxeter groups as finite index subgroups, thus establishing the linearity of these groups. The very short proof requires only elementary methods in combinatorial group theory. △ Less

Submitted 8 October, 2015; originally announced October 2015.

Comments: 4 pages

MSC Class: 20F55; 20F36

2-manifold recognition is in logspace

Authors: Benjamin A. Burton, Murray Elder, Arkadius Kalka, Stephan Tillmann

Abstract: We prove that the homeomorphism problem for 2-manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs. We prove that the homeomorphism problem for 2-manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Comments: 11 pages, 2 figures

MSC Class: 57M99; 68Q15 ACM Class: F.2.2; F.1.3

Complete simultaneous conjugacy invariants in Artin's braid groups

Authors: Arkadius Kalka, Boaz Tsaban, Gary Vinokur

Abstract: We solve the simultaneous conjugacy problem in Artin's braid groups and, more generally, in Garside groups, by means of a complete, effectively computable, finite invariant. This invariant generalizes the one-dimensional notion of super summit set to arbitrary dimensions. One key ingredient in our solution is the introduction of a provable high-dimensional version of the Birman--Ko--Lee cycling th… ▽ More We solve the simultaneous conjugacy problem in Artin's braid groups and, more generally, in Garside groups, by means of a complete, effectively computable, finite invariant. This invariant generalizes the one-dimensional notion of super summit set to arbitrary dimensions. One key ingredient in our solution is the introduction of a provable high-dimensional version of the Birman--Ko--Lee cycling theorem. The complexity of this solution is a small degree polynomial in the cardinalities of our generalized super summit sets and the input parameters. Computer experiments suggest that the cardinality of this invariant, for a list of order $N$ independent elements of Artin's braid group $B_N$, is generically close to~1. △ Less

Submitted 15 February, 2018; v1 submitted 18 March, 2014; originally announced March 2014.

Comments: Improved some aspects, added a discussion of Garside families. Paper ready for submission

MSC Class: 20F36; 20F65; 20C40

Double coset problem for parabolic subgroups of braid groups

Authors: Arkadius Kalka, Mina Teicher, Boaz Tsaban

Abstract: We provide the first solution to the double coset problem (DCP) for a large class of natural subgroups of braid groups, namely for all parabolic subgroups which have a connected associated Coxeter graph. Update: We succeeded to solve the DCP for all parabolic subgroups of braid groups. We provide the first solution to the double coset problem (DCP) for a large class of natural subgroups of braid groups, namely for all parabolic subgroups which have a connected associated Coxeter graph. Update: We succeeded to solve the DCP for all parabolic subgroups of braid groups. △ Less

Submitted 12 August, 2015; v1 submitted 22 February, 2014; originally announced February 2014.

Comments: 8 pages. Update remark added

MSC Class: 20F36

Non-associative key establishment protocols and their implementation

Authors: Arkadius Kalka, Mina Teicher

Abstract: We provide implementation details for non-associative key establishment protocols. In particular, we describe the implementation of non-associative key establishment protocols for all left self-distributive and all mutually left distributive systems. We provide implementation details for non-associative key establishment protocols. In particular, we describe the implementation of non-associative key establishment protocols for all left self-distributive and all mutually left distributive systems. △ Less

Submitted 24 December, 2013; originally announced December 2013.

Comments: 10 pages, 2 figures, conference emac13

MSC Class: 20N02; 20F36

Iterated LD-Problem in non-associative key establishment

Authors: Arkadius Kalka, Mina Teicher

Abstract: We construct new non-associative key establishment protocols for all left self-distributive (LD), multi-LD-, and mutual LD-systems. The hardness of these protocols relies on variations of the (simultaneous) iterated LD-problem and its generalizations. We discuss instantiations of these protocols using generalized shifted conjugacy in braid groups and their quotients, LD-conjugacy and $f$-symmetric… ▽ More We construct new non-associative key establishment protocols for all left self-distributive (LD), multi-LD-, and mutual LD-systems. The hardness of these protocols relies on variations of the (simultaneous) iterated LD-problem and its generalizations. We discuss instantiations of these protocols using generalized shifted conjugacy in braid groups and their quotients, LD-conjugacy and $f$-symmetric conjugacy in groups. We suggest parameter choices for instantiations in braid groups, symmetric groups and several matrix groups. △ Less

Submitted 24 December, 2013; originally announced December 2013.

Comments: 30 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1305.4401

MSC Class: 20N02; 20F36

Double Centralizers of Parabolic Subgroups of Braid Groups

Authors: David Garber, Arkadius Kalka, Eran Liberman, Mina Teicher

Abstract: We characterize the double centralizer of all parabolic subgroups of the braid groups. We apply this result to provide a new and potentially more efficient solution to the subgroup conjugacy problem for parabolic subgroups. In the course of the proof we also characterize the centralizer for all parabolic subgroups. We characterize the double centralizer of all parabolic subgroups of the braid groups. We apply this result to provide a new and potentially more efficient solution to the subgroup conjugacy problem for parabolic subgroups. In the course of the proof we also characterize the centralizer for all parabolic subgroups. △ Less

Submitted 13 June, 2015; v1 submitted 3 October, 2013; originally announced October 2013.

Comments: 19 pages, 7 figures. Added Remark 3.4. Shortened abstract

MSC Class: 20F36

Logspace computations for Garside groups of spindle type

Authors: Murray Elder, Arkadius Kalka

Abstract: M. Picantin introduced the notion of Garside groups of spindle type, generalizing the 3-strand braid group. We show that, for linear Garside groups of spindle type, a normal form and a solution to the conjugacy problem are logspace computable. For linear Garside groups of spindle type with homogenous presentation we compute a geodesic normal form in logspace. M. Picantin introduced the notion of Garside groups of spindle type, generalizing the 3-strand braid group. We show that, for linear Garside groups of spindle type, a normal form and a solution to the conjugacy problem are logspace computable. For linear Garside groups of spindle type with homogenous presentation we compute a geodesic normal form in logspace. △ Less

Submitted 27 October, 2013; v1 submitted 3 October, 2013; originally announced October 2013.

Comments: 22 pages; short version as v1. Terminolgy and title changed. In particular, in previous versions we called Garside groups of spindle type "rigid Garside groups"

MSC Class: 20F65; 68Q15

Non-associative key establishment for left distributive systems

Authors: Arkadius Kalka, Mina Teicher

Abstract: We construct non-associative key establishment protocols for all left self-distributive (LD), multi-LD-, and other left distributive systems. Instantiations of these protocols using generalized shifted conjugacy in braid groups lead to instances of a natural and apparently new group-theoretic problem, which we call the (subgroup) conjugacy coset problem. We construct non-associative key establishment protocols for all left self-distributive (LD), multi-LD-, and other left distributive systems. Instantiations of these protocols using generalized shifted conjugacy in braid groups lead to instances of a natural and apparently new group-theoretic problem, which we call the (subgroup) conjugacy coset problem. △ Less

Submitted 3 October, 2013; v1 submitted 19 May, 2013; originally announced May 2013.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1210.8270 Version written in documentclass amsart

MSC Class: 20N02 (Primary) 20F36 (Secondary)

Non-associative public-key cryptography

Authors: Arkadius Kalka

Abstract: We introduce a generalized Anshel-Anshel-Goldfeld (AAG) key establishment protocol (KEP) for magmas. This leads to the foundation of non-associative public-key cryptography (PKC), generalizing the concept of non-commutative PKC. We show that left selfdistributive systems appear in a natural special case of a generalized AAG-KEP for magmas, and we propose, among others instances, concrete realizati… ▽ More We introduce a generalized Anshel-Anshel-Goldfeld (AAG) key establishment protocol (KEP) for magmas. This leads to the foundation of non-associative public-key cryptography (PKC), generalizing the concept of non-commutative PKC. We show that left selfdistributive systems appear in a natural special case of a generalized AAG-KEP for magmas, and we propose, among others instances, concrete realizations using $f$-conjugacy in groups and shifted conjugacy in braid groups. We discuss the advantages of our schemes compared with the classical AAG-KEP based on conjugacy in braid groups. △ Less

Submitted 31 October, 2012; originally announced October 2012.

Comments: 32 pages

MSC Class: 20N02 (Primary) 20F36 (Secondary)

Complexity of relations in the braid group

Authors: Joel Hass, Arkadius Kalka, Tahl Nowik

Abstract: We show that for any given n, there exists a sequence of words a_k in the generators sigma_1, ... sigma_{n-1} of the braid group B_n, representing the identity element of B_n, such that the number of braid relations of the form sigma_i sigma_{i+1} sigma_i = sigma_{i+1} sigma_i sigma_{i+1} needed to pass from a_k to the empty word is quadratic with respect to the length of a_k. We show that for any given n, there exists a sequence of words a_k in the generators sigma_1, ... sigma_{n-1} of the braid group B_n, representing the identity element of B_n, such that the number of braid relations of the form sigma_i sigma_{i+1} sigma_i = sigma_{i+1} sigma_i sigma_{i+1} needed to pass from a_k to the empty word is quadratic with respect to the length of a_k. △ Less

Submitted 31 May, 2009; originally announced June 2009.

MSC Class: 20F36

Short expressions of permutations as products and cryptanalysis of the Algebraic Eraser

Authors: Arkadius Kalka, Mina Teicher, Boaz Tsaban

Abstract: On March 2004, Anshel, Anshel, Goldfeld, and Lemieux introduced the \emph{Algebraic Eraser} scheme for key agreement over an insecure channel, using a novel hybrid of infinite and finite noncommutative groups. They also introduced the \emph{Colored Burau Key Agreement Protocol (CBKAP)}, a concrete realization of this scheme. We present general, efficient heuristic algorithms, which extract the s… ▽ More On March 2004, Anshel, Anshel, Goldfeld, and Lemieux introduced the \emph{Algebraic Eraser} scheme for key agreement over an insecure channel, using a novel hybrid of infinite and finite noncommutative groups. They also introduced the \emph{Colored Burau Key Agreement Protocol (CBKAP)}, a concrete realization of this scheme. We present general, efficient heuristic algorithms, which extract the shared key out of the public information provided by CBKAP. These algorithms are, according to heuristic reasoning and according to massive experiments, successful for all sizes of the security parameters, assuming that the keys are chosen with standard distributions. Our methods come from probabilistic group theory (permutation group actions and expander graphs). In particular, we provide a simple algorithm for finding short expressions of permutations in $S_n$, as products of given random permutations. Heuristically, our algorithm gives expressions of length $O(n^2\log n)$, in time and space $O(n^3)$. Moreover, this is provable from \emph{the Minimal Cycle Conjecture}, a simply stated hypothesis concerning the uniform distribution on $S_n$. Experiments show that the constants in these estimations are small. This is the first practical algorithm for this problem for $n\ge 256$. Remark: \emph{Algebraic Eraser} is a trademark of SecureRF. The variant of CBKAP actually implemented by SecureRF uses proprietary distributions, and thus our results do not imply its vulnerability. See also arXiv:abs/12020598 △ Less

Submitted 6 March, 2012; v1 submitted 3 April, 2008; originally announced April 2008.

Comments: Final version, accepted to Advances in Applied Mathematics. Title slightly changed

Journal ref: Advances in Applied Mathematics 49 (2012) 57-76