1 citations · 1 across the 12 of their papers we have counts for
16 papers
On the chromatic number and equilateral dimension of with the tropical norm
Amnon Rosenmann
We study the tropical chromatic number of , , the minimal number of colors needed to color , so that no two points at tro…
Tropical measures, anisotropic isoperimetric inequality and honeycomb
Amnon Rosenmann
We introduce a tropical spherical measure on that is based on the tropical metric and is an analogue of spherical Hausdorff measure. This measure is translation inva…
Tropical balls, geodesics and honeycomb
Amnon Rosenmann
In these notes we describe the geometry of tropical balls in equipped with the tropical metric. After defining the tropical length of rectifiable curves (and not jus…
On matrices in finite free position
Octavio Arizmendi, Franz Lehner, Amnon Rosenmann
We study pairs of square matrices that are in additive (resp. multiplicative) finite free position, that is, the characteristic polynomial (resp. )…
Dependence over subgroups of free groups
Amnon Rosenmann, Enric Ventura Capell
Given a finitely generated subgroup of a free group , we present an algorithm which computes , such that the set of elements , for which there e…
Computing the sequence of -cardinality assignments
Amnon Rosenmann
The -cardinality assignment problem asks for finding a maximal (minimal) weight of a matching of cardinality in a weighted bipartite graph , . The algorit…
On the Distance between Timed Automata
Amnon Rosenmann
The problem of inclusion of the language accepted by timed automaton (e.g., the implementation) in the language accepted by (e.g., the specification) is, in general, undeci…
Circular automata synchronize with high probability
Christoph Aistleitner, Daniele D'Angeli, Abraham Gutierrez +2
In this paper we prove that a uniformly distributed random circular automaton of order synchronizes with high probability (whp). More precisely, we prove that $…
Polynomial convolutions in max-plus algebra
Amnon Rosenmann, Franz Lehner, Aljosa Peperko
Recently, in a work that grew out of their exploration of interlacing polynomials, Marcus, Spielman and Srivastava and then Marcus studied certain combinatorial polynomial convolut…
Bounded Determinization of Timed Automata with Silent Transitions
Florian Lorber, Amnon Rosenmann, Dejan Nickovic +1
Deterministic timed automata are strictly less expressive than their non-deterministic counterparts, which are again less expressive than those with silent transitions. As a conseq…
A Multiple-Valued Logic Approach to the Design and Verification of Hardware Circuits
Amnon Rosenmann
We present a novel approach, which is based on multiple-valued logic (MVL), to the verification and analysis of digital hardware designs, which extends the common ternary or quater…
On the intersection of subgroups in free groups: echelon subgroups are inert
Amnon Rosenmann
A subgroup of a free group is called inert in if for every the rank of the intersection of with is no grater than the rank of . In this paper we expa…
The Timestamp of Timed Automata
Amnon Rosenmann
Given a member A of the class of non-deterministic timed automata with silent transitions (eNTA), we effectively compute its timestamp: the set of all pairs (time value, action) of…
The normalized cyclomatic quotient associated with presentations of finitely generated groups
Amnon Rosenmann
Given the Cayley graph of a finitely generated group , with respect to a presentation with generators, the quotient of the rank of the fundamental group of subgraphs o…
When Schrier transversals grow wild
Amnon Rosenmann
Schreier formula for the rank of a subgroup of finite index of a finitely generated free group is generalized to an arbitrary (even infinitely generated) subgroup through t…
Cogrowth and essentiality in groups and algebras
Amnon Rosenmann
The cogrowth of a subgroup is defined as the growth of a set of coset representatives which are of minimal length. A subgroup is essential if it intersects non-trivially every non-…