Abstract
Geometric methods of convex polytopes are applied to demonstrate a new connection between convexity and threshold logic. A cut-complex is a cubical complex whose vertices are strictly separable from rest of the vertices of then-cube by a hyperplane ofR n. Cutcomplexes are geometric presentations for threshold Boolean functions and thus are related to threshold logic. For an old classical theorem of threshold logic a shorter but geometric proof is given. The dimension of the cube hull of a cut-complex is shown to be the same as the maximum degree of the vertices in the complex. A consequence of the latter result indicates that any two isomorphic cut-complexes are isometric.
Similar content being viewed by others
References
Barnette, D.: A family of neighborly polytopes. Israel J. Math.39 (1981), 127–140.
Emamy-K., M. R.: On the cuts and cut-number of the 4 —cube. J. Combin. Theory Ser. A41, 2 (1986), 221–227.
Emamy-K., M. R. andCaiseda, C.: An efficient algorithm for characterization of cut-complexes. Congressus Numerantium85 (1991), 89–95.
Emamy-K., M. R.: A new connection between convex geometry and threshold logic. Math. Appl. Ser.,329, Combinatorics Advances, Kluwer Acad. Pub., C. J. Colbourn and E. Mahmoodian (eds.) (1995), 121–128.
Caiseda, C: Characterization, enumeration and generation of pseudo-Boolean functions for 5 and 6-cubes. M.S. thesis, University of Puerto Rico, May 1991.
Goto. E.: Japanese patent, 1954.
Goto. E.: Threshold Logic. Lecture Notes, MIT, 1963.
Grünbaum, B.: Convex Polytopes. Interscience, 1967.
Hoke, K. W.: Completely unimodal numberings of a simple polytope. Discrete Appl. Math.20 (1988), 69–81.
Hu, S. T.: Threshold Logic. University of California Press, Berkeley, 1965, 332 pages.
McMullen, P. andShephard, G. C: Convex Polytopes and the Upper-Bound Conjecture. London Math. Soc. Lecture Note Ser.3, 1971.
Muroga, S.: Threshold Logic and its Applications. Wiley Interscience, Toronto, 1971.
Von Neumann, J.: U. S. Patent, 1954.
Von Neumann, J.: Probabilistic logics and the synthesis of reliable organism from unreliable components. Automata Studies, Princeton University Press, 1956, 43–98.
Wiedemann, D. H.: Hamming Geometry. Ph.D. Thesis, Combinatorics and Optimization, University of Waterloo, 1986.
Winder, R. O.: Threshold Logic. Ph.D. Thesis, Mathematics Department, Princeton University, May 1962.
Author information
Authors and Affiliations
Additional information
This research was partially supported by FIPI-University of Puerto Rico, by Inter American University of Puerto Rico at Bayamon and by IPM, Tehran, Iran.
Rights and permissions
About this article
Cite this article
Emamy-K., M.R. Geometry of cut-complexes and threshold logic. J Geom 65, 91–100 (1999). https://doi.org/10.1007/BF01228680
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01228680