Algebra

Waring rank of determinant ★★

Author(s): Teitler

Question   What is the Waring rank of the determinant of a $ d \times d $ generic matrix?

For simplicity say we work over the complex numbers. The $ d \times d $ generic matrix is the matrix with entries $ x_{i,j} $ for $ 1 \leq i,j \leq d $. Its determinant is a homogeneous form of degree $ d $, in $ d^2 $ variables. If $ F $ is a homogeneous form of degree $ d $, a power sum expression for $ F $ is an expression of the form $ F = \ell_1^d+\dotsb+\ell_r^d $, the $ \ell_i $ (homogeneous) linear forms. The Waring rank of $ F $ is the least number of terms $ r $ in any power sum expression for $ F $. For example, the expression $ xy = \frac{1}{4}(x+y)^2 - \frac{1}{4}(x-y)^2 $ means that $ xy $ has Waring rank $ 2 $ (it can't be less than $ 2 $, as $ xy \neq \ell_1^2 $).

The $ 2 \times 2 $ generic determinant $ x_{1,1}x_{2,2}-x_{1,2}x_{2,1} $ (or $ ad-bc $) has Waring rank $ 4 $. The Waring rank of the $ 3 \times 3 $ generic determinant is at least $ 14 $ and no more than $ 20 $, see for instance Lower bound for ranks of invariant forms, Example 4.1. The Waring rank of the permanent is also of interest. The comparison between the determinant and permanent is potentially relevant to Valiant's "VP versus VNP" problem.

Keywords: Waring rank, determinant

Posted by Zach Teitler
updated March 15th, 2019
add new comment
Graph Theory

Monochromatic vertex colorings inherited from Perfect Matchings ★★★

Author(s):

Conjecture   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?

Keywords:

Posted by Mario Krenn
updated March 4th, 2019
add new comment
Graph Theory

Cycle Double Covers Containing Predefined 2-Regular Subgraphs ★★★

Author(s): Arthur; Hoffmann-Ostenhof

Conjecture   Let $ G $ be a $ 2 $-connected cubic graph and let $ S $ be a $ 2 $-regular subgraph such that $ G-E(S) $ is connected. Then $ G $ has a cycle double cover which contains $ S $ (i.e all cycles of $ S $).

Keywords:

Posted by arthur
updated June 21st, 2017
add new comment
Graph Theory » Directed Graphs

Monochromatic reachability in arc-colored digraphs ★★★

Author(s): Sands; Sauer; Woodrow

Conjecture   For every $ k $, there exists an integer $ f(k) $ such that if $ D $ is a digraph whose arcs are colored with $ k $ colors, then $ D $ has a $ S $ set which is the union of $ f(k) $ stables sets so that every vertex has a monochromatic path to some vertex in $ S $.

Keywords:

Posted by fhavet
updated April 4th, 2017
add new comment
Graph Theory

3-Decomposition Conjecture ★★★

Author(s): Arthur; Hoffmann-Ostenhof

Conjecture   (3-Decomposition Conjecture) Every connected cubic graph $ G $ has a decomposition into a spanning tree, a family of cycles and a matching.

Keywords: cubic graph

Posted by arthur
updated January 24th, 2017
add new comment
Topology

Which outer reloids are equal to inner ones ★★

Author(s): Porton

Warning: This formulation is vague (not exact).

Question   Characterize the set $ \{f\in\mathsf{FCD} \mid (\mathsf{RLD})_{\mathrm{in}} f=(\mathsf{RLD})_{\mathrm{out}} f\} $. In other words, simplify this formula.

The problem seems rather difficult.

Keywords:

Posted by porton
updated December 1st, 2016
add new comment
Topology

A diagram about funcoids and reloids ★★

Author(s): Porton

Define for posets with order $ \sqsubseteq $:

  1. $ \Phi_{\ast} f = \lambda b \in \mathfrak{B}: \bigcup \{ x \in \mathfrak{A} \mid f x \sqsubseteq b \} $;
  2. $ \Phi^{\ast} f = \lambda b \in \mathfrak{A}: \bigcap \{ x \in \mathfrak{B} \mid f x \sqsupseteq b \} $.

Note that the above is a generalization of monotone Galois connections (with $ \max $ and $ \min $ replaced with suprema and infima).

Then we have the following diagram:

What is at the node "other" in the diagram is unknown.

Conjecture   "Other" is $ \lambda f\in\mathsf{FCD}: \top $.
Question   What repeated applying of $ \Phi_{\ast} $ and $ \Phi^{\ast} $ to "other" leads to? Particularly, does repeated applying $ \Phi_{\ast} $ and/or $ \Phi^{\ast} $ to the node "other" lead to finite or infinite sets?

Keywords: Galois connections

Posted by porton
updated November 29th, 2016
2 comments | 2 attachments