1
$\begingroup$

We are given a $n\times n$ symmetric matrix $M$ whose entries are positive integers.

Let $z_{i,j}:=\frac{M_{i,j}}{M_{i,j}+\sum_{k\neq i,j}\min(M_{i,k},M_{k,j})}$ for all $1\le i<j \le n$, and $z:=\sum_{i<j}z_{i,j}$.


Question: Can we prove that the maximum value $z^*$ of $z$ over all matrices $M$ defined above is upper bounded by $\alpha n$ for some absolute constant $\alpha$?



Note: $M$ can be viewed as the adjacency matrix of a given undirected multi-edge graph. Alternatively, for all $1\le i<j\le n$, $M_{i,j}$ can be viewed as an integer capacity in a symmetric flow network. For all $1\le i<j\le n$, $z_{i,j}$ can be viewed as a function of the amount of "flow" between the two nodes $i$ and $j$ passing through paths of length at most $2$ (i.e., containing $2$ edges).

$\endgroup$
1
  • $\begingroup$ Thank you @PeterTaylor, you are right. In formulating the problem here, I oversimplified the original graph problem I am attempting to solve. Hence, now I corrected the definition of $z_{i,j}$ to better match my underlying original problem. $\endgroup$ Oct 21, 2021 at 14:17

1 Answer 1

2
$\begingroup$

Consider $$M_{i,j} = \begin{cases} 1 & \textrm{if } i \equiv j \pmod 2 \\ N & \textrm{if } i \not\equiv j \pmod 2\end{cases}$$ where $N > 1$. Then $$\min(M_{i,k}, M_{k,j}) = \begin{cases} 1 & \textrm{if } i \equiv k \pmod 2 \;\vee\; k \equiv j \pmod 2 \\ N & \textrm{if } i \not\equiv k \pmod 2 \;\wedge\; k \not\equiv j \pmod 2 \end{cases}$$

In particular, if $i \not\equiv j \pmod 2$ then $\forall k: \min(M_{i,k}, M_{k,j}) = 1$. We get $$z \ge \sum_{i < j, i \not\equiv j \pmod 2} \frac{N}{N+n-2} = \left\lfloor \frac{n^2}{4} \right\rfloor \frac{N}{N+n-2}$$ and by choosing sufficiently large $N$ we can exceed $\frac{n^2 - 4}{4}$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.