Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,355 answers , 22,793 comments
1,470 users with positive rep
820 active unimported users
More ...

  Vertex coloring inherited from perfect matchings (motivated by quantum physics)

+ 11 like - 0 dislike
306 views

Added (19.01.2021): Dustin Mixon wrote a blog post about the question where he reformulated and generalized the question.

Added (25.12.2020): I made a youtube video to explain the question in detail.

Added (24.08.2019): As I consider this question important for quantum physics, I have announced a 3000 Euro award on its solution, see here for more details.


The following purely graph-theoretic question is motivated by quantum mechanics (and a special case of the questions asked here).

Bi-Colored Graph: A bi-colored weighted graph $G=(V(G),E(G))$, on $n$ vertices with $d$ colors is an undirected, not necessarily simple graph where there is a fixed ordering of the vertices $V(G)=v_1, \ldots, v_n$ and to each edge $e \in E(G)$ there is a complex weight $w_e$ and an ordered pair of (not necessarily different) colors $(c_1(e),c_2(e))$ associated with it from the $d$ possible colors. We say that an edge is monochromatic if the associated pair of colors are not different, otherwise the edge is bi-chromatic. Moreover, if $e$ is an edge incident to the vertices $v_i,v_j \in V(G)$ with $i<j$ and the associated ordered pair of colors to $e$ is $(c_1(e),c_2(e))$ then we say that $e$ is colored $c_1$ at $v_i$ and $c_2$ at $v_j$.

We will be interested in a special coloring of this graph:

Inherited Vertex Coloring: Let $G$ be a bi-colored weighted graph and $PM$ denote a perfect matching in $G$. We associate a coloring of the vertices of G with PM in the natural way: for every vertex $v_i$ there is a single edge $e(v_i) \in PM$ that is incident to $v_i$, let the color of $v_i$ be the color of $e(v_i)$ at $v_i$. We call this coloring $c$, the inherited vertex coloring (IVC) of the perfect matching PM.

Weight of Vertex Coloring: Let $G$ be a bi-colored weighted graph. Let $\mathcal{M}$ be the set of perfect matchings of $G$ which have the coloring $c$ as their inherited vertex coloring. We define the weight of $c$ as $$w(c) := \sum_{PM \in \mathcal{M}} \prod_{e \in PM}w_e. $$ Moreover, if $w(c)$=1 we say that the coloring gets unit weight, and if $w(c)$=0 we say that the coloring cancels out.

Question: For which values of $n$ and $d$ are there bi-colored graphs on $n$ vertices and $d$ different colors with the property that all the $d$ monochromatic colorings have unit weight, and every other coloring cancels out?

We call such graphs monochromatic with respect to the IVC.

  • The only known examples are $C_{2n}$ and $K_4$. Furthermore, Ilya Bogdanov has shown that, if all $w_e$ are positive real numbers, these examples are the only solutions.

Example of Inherited Vertex Coloring: enter image description here A bi-chromatic weighted edge with one double edge between vertex 4 and 6 is shown on the top left, the edge weights $E_{ij}$ are shown below. On the right top, its eight perfect matchings are shown, and $w(PM_i)$ denotes the product of the edge weights of the perfect matching $PM_i$. The perfect matching 4 and 5 have the same inherited vertex coloring. As $w(c)=w(PM_4)+w(PM_5)=0$, we say this coloring cancels out. There are six remaining IVCs with nonzero weights, three of them are monochromatic, while three others are non-monochromatic. Therefore, the graph is not monochromatic.


PS: This problem can be rephrased entirely in terms of equation systems, without the connections to graph theory, as Alex Ravsky has already suggested.

This post imported from StackExchange MathOverflow at 2024-06-17 13:14 (UTC), posted by SE-user Mario Krenn
asked Sep 24, 2018 in Theoretical Physics by Mario Krenn (55 points) [ no revision ]
retagged Jun 17
Do we allow multiple edges (of different colors/bicolors) connecting the same pair of vertices?

This post imported from StackExchange MathOverflow at 2024-06-17 13:15 (UTC), posted by SE-user Mikhail Tikhomirov
yes, multiedges are allowed (i specify that now).

This post imported from StackExchange MathOverflow at 2024-06-17 13:15 (UTC), posted by SE-user Mario Krenn
Are multicolor edges necessary? It seems that appropriate weights are enough to fulfill property 2.

This post imported from StackExchange MathOverflow at 2024-06-17 13:15 (UTC), posted by SE-user LeechLattice
@Bullet51 The multi-color of edges are additional degree-of-freedom, but does not need to be used. Same with the ability to use multi-edges.

This post imported from StackExchange MathOverflow at 2024-06-17 13:15 (UTC), posted by SE-user Mario Krenn
Am I right thet a bichromatic edge is directed, i.e., that it is specified which its endpoint should get which color? Can some edge heve zero weight?

This post imported from StackExchange MathOverflow at 2024-06-17 13:15 (UTC), posted by SE-user Ilya Bogdanov
@IlyaBogdanov Yes, it is specified which of the endpoints get which color (i clarify that now, thanks), and the weights are arbitrary numbers in $\mathbb{C}$ including zero. (However, I think edges with weights zero cannot help, because all PMs where it is contained has PM-weight zero [as the PM weight is constructed multiplicative of its edge-weights]).

This post imported from StackExchange MathOverflow at 2024-06-17 13:15 (UTC), posted by SE-user Mario Krenn
As for me, the question doesn’t look hopeless, so I sent an inspiring letter to five strong related specialists and I hope we’ll make a group to attack it.

This post imported from StackExchange MathOverflow at 2024-06-17 13:15 (UTC), posted by SE-user Alex Ravsky

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysic$\varnothing$Overflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...