Source author record

Mina Teicher

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.GR math.GT Cryptography and Security math.CO math.AT alg-geom math.PR

Catalog footprint

Research overview

21works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Moduli spaces of arrangements of 12 projective lines with a sextic point

*This paper is from 2018* In this paper, we try to classify moduli spaces of arrangements of $12$ lines with sextic points. We show that moduli spaces of arrangements of $12$ lines with sextic points can consist of more than two connected components. We also present defining equations of the arrangements whose moduli spaces are not irreducible taking quotients by the complex conjugation by supply some potential Zariski pairs. Through complex conjugation we take quotients and supply some potential Zariski pairs.

preprint2020arXiv

Multi-Secant Lemma

We present a new generalization of the classical trisecant lemma. Our approach is quite different from previous generalizations. Let $X$ be an equidimensional projective variety of dimension $d$ . For a given $k \leq d + 1$ , we are interested in the study of the variety of $k$ -secants. The classical trisecant lemma just considers the case where $k = 3$ while elsewhere the case $k = d + 2$ is considered. Secants of order from $4$ to $d + 1$ provide service for our main result. In this paper, we prove that if the variety of $k$ -secants ( $k \leq d + 1$ ) satisfies the three following conditions: (i) trough every point in $X$ , passes at least one $k$ -secant, (ii) the variety of $k$ -secant satisfies a strong connectivity property that we defined in the sequel, (iii) every $k$ -secant is also a ( $k+1$ )-secant, then the variety $X$ can be embedded into $P^{d+1}$ . The new assumption, introduced here, that we called strong connectivity is essential because a naive generalization that does not incorporate this assumption fails as we show in some example. The paper concludes with some conjectures concerning the essence of the strong connectivity assumption.

preprint2015arXiv

Double Centralizers of Parabolic Subgroups of Braid Groups

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.

preprint2015arXiv

Double coset problem for 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.

preprint2014arXiv

Moduli Spaces of Arrangements of 10 Projective Lines with Quadruple Points

We classify moduli spaces of arrangements of 10 lines with quadruple points. We show that moduli spaces of arrangements of 10 lines with quadruple points may consist of more than 2 disconnected components, namely 3 or 4 distinct points. We also present defining equations to those arrangements whose moduli spaces are still reducible after taking quotients of complex conjugations.

preprint2013arXiv

Combinatorial symmetry of line arrangements and applications

We introduce an algorithm that exploits a combinatorial symmetry of an arrangement in order to produce a geometric reflection between two disconnected components of its moduli space. We apply this method to disqualify three real examples found in previous work by the authors from being Zariski pairs. Robustness is shown by its application to complex cases, as well.

preprint2013arXiv

Iterated LD-Problem in non-associative key establishment

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.

preprint2013arXiv

Moduli spaces of ten-line arrangements with double and triple points

Two arrangements with the same combinatorial intersection lattice but whose complements have different fundamental groups are called a Zariski pair. This work finds that there are at most nine such pairs amongst all ten line arrangements whose intersection points are doubles or triples. This result is obtained by considering the moduli space of a given configuration table which describes the intersection lattice. A complete combinatorial classification is given of all arrangements of this type under a suitable assumption, producing a list of seventy-one described in a table, most of which do not explicitly appear in the literature. This list also includes other important counterexamples: nine combinatorial arrangements that are not geometrically realizable.

preprint2013arXiv

Non-associative key establishment for left distributive systems

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.

preprint2013arXiv

Non-associative key establishment protocols and their implementation

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.

preprint2012arXiv

A conjugation-free geometric presentation of fundamental groups of arrangements II: Expansion and some properties

A conjugation-free geometric presentation of a fundamental group is a presentation with the natural topological generators $x_1, ..., x_n$ and the cyclic relations: $x_{i_k}x_{i_{k-1}} ... x_{i_1} = x_{i_{k-1}} ... x_{i_1} x_{i_k} = ... = x_{i_1} x_{i_k} ... x_{i_2}$ with no conjugations on the generators. We have already proved that if the graph of the arrangement is a disjoint union of cycles, then its fundamental group has a conjugation-free geometric presentation. In this paper, we extend this property to arrangements whose graphs are a disjoint union of cycle-tree graphs. Moreover, we study some properties of this type of presentations for a fundamental group of a line arrangement's complement. We show that these presentations satisfy a completeness property in the sense of Dehornoy, if the corresponding graph of the arrangement has no edges. The completeness property is a powerful property which leads to many nice properties concerning the presentation (such as the left-cancellativity of the associated monoid and yields some simple criterion for the solvability of the word problem in the group).

preprint2012arXiv

Kauffman's clock lattice as a graph of perfect matchings: a formula for its height

We give an algorithmic computation for the height of Kauffman's clock lattice obtained from a knot diagram with two adjacent regions starred and without crossing information specified. We show that this lattice is more familiarly the graph of perfect matchings of a bipartite graph obtained from the knot diagram by overlaying the two dual Tait graphs of the knot diagram. This setting also makes evident applications to Chebyshev or harmonic knots, whose related bipartite graph is the popular grid graph, and to discrete Morse functions. Furthermore we prove structural properties of the bipartite graph in general.

preprint2012arXiv

Links arising from braid monodromy factorizations

We investigate the local contribution of the braid monodromy factorization in the context of the links obtained by the closure of these braids. We consider plane curves which are arrangements of lines and conics as well as some algebraic surfaces, where some of the former occur as local configurations in degenerated and regenerated surfaces in the latter. In particular we focus on degenerations which involve intersection points of multiplicity two and three. We demonstrate when the same links arise even when the local arrangements are different.

preprint2012arXiv

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

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

preprint2011arXiv

On fundamental groups related to degeneratable surfaces: conjectures and examples

We argue that for a smooth surface S, considered as a ramified cover over the projective plane branched over a nodal-cuspidal curve B one could use the structure of the fundamental group of the complement of the branch curve to understand other properties of the surface and its degeneration and vice-versa. In this paper, we look at embedded-degeneratable surfaces - a class of surfaces admitting a planar degeneration with a few combinatorial conditions imposed on its degeneration. We close a conjecture of Teicher on the virtual solvability of the mentioned fundamental group for these surfaces and present two new conjectures on the structure of this group, regarding non-embedded-degeneratable surfaces. We prove two theorems supporting our conjectures, and show that for an empbedding of a product of a projective line with a curve of genus g, the fundamental group of the complement of the branch curve is a quotient of an Artin group associated to the degeneration.

preprint2010arXiv

Classification of Fundamental Groups of Galois Covers of Surfaces of Small Degree Degenerating to Nice Plane Arrangements

Let $X$ be a surface of degree $n$ , projected onto $\mathbb{CP}^2$ . The surface has a natural Galois cover with Galois group $S_n.$ It is possible to determine the fundamental group of a Galois cover from that of the complement of the branch curve of $X.$ In this paper we survey the fundamental groups of Galois covers of all surfaces of small degree $n \leq 4$ , that degenerate to a nice plane arrangement, namely a union of $n$ planes such that no three planes meet in a line. We include the already classical examples of the quadric, the Hirzebruch and the Veronese surfaces and the degree $4$ embedding of $\mathbb{CP}^1 \times \mathbb{CP}^1,$ and also add new computations for the remaining cases: the cubic embedding of the Hirzebruch surface $F_1$ , the Cayley cubic (or a smooth surface in the same family), for a quartic surface that degenerates to the union of a triple point and a plane not through the triple point, and for a quartic $4$ -point. In an appendix, we also include the degree $8$ surface $\mathbb{CP}^1\times \mathbb{CP}^1$ embedded by the $(2,2)$ embedding, and the degree $2n$ surface embedded by the $(1,n)$ embedding, in order to complete the classification of all embeddings of $\mathbb{CP}^1 \times \mathbb{CP}^1,$ which was begun in \cite{15}.

preprint2010arXiv

Conjugation-free geometric presentations of fundamental groups of arrangements

We introduce the notion of a conjugation-free geometric presentation for a fundamental group of a line arrangement's complement, and we show that the fundamental groups of the following family of arrangements have a conjugation-free geometric presentation: A real arrangement L, whose graph of multiple points is a union of disjoint cycles, has no line with more than two multiple points, and where the multiplicities of the multiple points are arbitrary. We also compute the exact group structure (by means of a semi-direct product of groups) of the arrangement of 6 lines whose graph consists of a cycle of length 3, and all the multiple points have multiplicity 3.

preprint2008arXiv

On non Fundamental Group Equivalent Surfaces

In this paper we present an example of two polarized K3 surfaces which are not Fundamental Group Equivalent (their fundamental groups of the complement of the branch curves are not isomorphic; denoted by FGE) but the fundamental groups of their related Galois covers are isomorphic. For each surface, we consider a generic projection to CP^2 and a degenerations of the surface into a union of planes - the "pillow" degeneration for the non-prime surface and the "magician" degeneration for the prime surface. We compute the Braid Monodromy Factorization (BMF) of the branch curve of each projected surface, using the related degenerations. By these factorizations, we compute the above fundamental groups. It is known that the two surfaces are not in the same component of the Hilbert scheme of linearly embedded K3 surfaces. Here we prove that furthermore they are not FGE equivalent, and thus they are not of the same Braid Monodromy Type (BMT) (which implies that they are not a projective deformation of each other

preprint2007arXiv

On fundamental groups related to the Hirzebruch surface F_1

Given a projective surface and a generic projection to the plane, the braid monodromy factorization (and thus, the braid monodromy type) of the complement of its branch curve is one of the most important topological invariants, stable on deformations. From this factorization, one can compute the fundamental group of the complement of the branch curve, either in C^2 or in CP^2. In this article, we show that these groups, for the Hirzebruch surface F_{1,(a,b)}, are almost-solvable. That is - they are an extension of a solvable group, which strengthen the conjecture on degeneratable surfaces.

preprint2002arXiv

The fundamental group of a Galois cover of CP^1 X T

Let T be the complex projective torus, and X the surface CP^1 X T. Let X_Gal be its Galois cover with respect to a generic projection to CP^2. In this paper we compute the fundamental group of X_Gal, using the degeneration and regeneration techniques, the Moishezon-Teicher braid monodromy algorithm and group calculations. We show that pi_1(X_Gal) = Z^10.

preprint1997arXiv

On the quotient of the braid group by commutators of transversal half-twists and its group actions

The group described in this paper appeared while studying fundamental groups of complements of branch curves. It turned out that a certain quotient of the braid group acts on those fundamental groups and studying this action is essential for understanding the structure of the fundamental groups. We describe here the quotient of the Artin braid group by commutators of transversal half-twists and we investigates its group actions. We denote the quotient by B_n~ and refer to the groups which admit an action of B_n~ , as B_n~-groups. We distinguish special elements in B_n~-groups which we call prime elements and we give a criterion for an element to be prime. This criterion will be applied to the study of the structure of fundamental groups of complements of branch curves. The group B_n~ itself turns out to be an extension of a solvable group by a symmetric group.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Mina Teicher

Research overview

Is this your work?

21 publications

Moduli spaces of arrangements of 12 projective lines with a sextic point

Multi-Secant Lemma

Double Centralizers of Parabolic Subgroups of Braid Groups

Double coset problem for parabolic subgroups of braid groups

Moduli Spaces of Arrangements of 10 Projective Lines with Quadruple Points

Combinatorial symmetry of line arrangements and applications

Iterated LD-Problem in non-associative key establishment

Moduli spaces of ten-line arrangements with double and triple points

Non-associative key establishment for left distributive systems

Non-associative key establishment protocols and their implementation

A conjugation-free geometric presentation of fundamental groups of arrangements II: Expansion and some properties

Kauffman's clock lattice as a graph of perfect matchings: a formula for its height

Links arising from braid monodromy factorizations

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

On fundamental groups related to degeneratable surfaces: conjectures and examples

Classification of Fundamental Groups of Galois Covers of Surfaces of Small Degree Degenerating to Nice Plane Arrangements

Conjugation-free geometric presentations of fundamental groups of arrangements

On non Fundamental Group Equivalent Surfaces

On fundamental groups related to the Hirzebruch surface F_1

The fundamental group of a Galois cover of CP^1 X T

On the quotient of the braid group by commutators of transversal half-twists and its group actions

See the researcher in context

Building this map preview