Abstract:The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to special mappings of plane to projective spaces of higher dimensions. In this work, viewed as a signed graph, first we present a number of equivalent definitions each of which leads to a different development. In particular, the new notion of common product of signed graphs is introduced which captures both Cartesian and tensor products of graphs. We then have a look at some of their homomorphism properties. We first introduce an inverse technique for the basic no-homomorphism lemma, using which we show that every signed projective cube is of circular chromatic number 4. Then observing that the 4-color theorem is about mapping planar graphs into signed projective cube of dimension 2, we study some conjectures in extension of 4CT. Toward a better understanding of these conjectures we present the notion of extended double cover as a key operation in formulating the conjectures. With a deeper look into connection between some of these graphs and algebraic geometry, we discover that projective cube of dimension 4, widely known as the Clebsh graph, but also known as Greenwood-Gleason graph, is the intersection graph of the 16 straight lines of an algebraic surface known as Segre surface, which is a Del Pezzo surface of degree 4. We note that an algebraic surface known as the Clebsch surface is one of the most symmetric presentations of a cubic surface. Recall that each smooth cubic surface contains 27 lines. Hence, from hereafter, we believe, a proper name for this graph should be Segre graph.

On the Spectrum of Middle-Cubes

A characterization of regular partial cubes whose all convex cycles have the same lengths

A relation between the cube polynomials of partial cubes and the clique polynomials of their crossing graphs

Hypercubes Are Determined by Their Distance Spectra

Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture

Visibility in Hypercubes

Tight Gaps in the Cycle Spectrum of 3-Connected Planar Graphs

A book proof of the middle levels theorem

Counting Vertices and Cubes in Median Graphs of Circular Split Systems

The number of colorings of the middle layers of the Hamming cube

Reinterpreting the Middle-Levels Theorem via Natural Enumeration of Ordered Trees

Disproof of a conjecture by Erdős and Guy on the crossing number of hypercubes

On graphs embeddable in a layer of a hypercube and their extremal numbers

A proof of a conjecture on the distance spectral radius

Median Sets of Isometries in CAT(0) Cube Complexes and Some Applications

Randomly Twisted Hypercubes: Between Structure and Randomness

Signed projective cubes, a homomorphism point of view

Upper bounds on the size of 4- and 6-cycle-free subgraphs of the hypercube

A Spectral Characterization of the S-Clique Extension of the Square Grid Graphs

A Note on the Subcubes of the $n$-Cube