35 problems
- 0 votes0 replies0 views
Positive-probability percolation conjecture for the clairvoyant demon model
Percolation conjecture. For , the configuration percolates with positive probability.
- 0 votes0 replies1 view
Conjecture 3 on clairvoyant scheduling of random walks on large complete graphs
Let a communication graph be a sufficiently large complete graph, and let two distinct tokens perform independent random walks on it. A clairvoyant adversary, or demon, controls th…
- 0 votes0 replies0 views
HRT's linear amenability bound conjecture
HRT's conjecture. The bound can be improved, perhaps even to
- 0 votes0 replies0 views
Activation-function normalization conjecture for vector-quantized autoencoders
Activation-function normalization conjecture. The activation function normalizes \tilde{\underaccent{\bar}{j}} to an interval close to the latent alphabet…
- 0 votes0 replies0 views
Transfer-principle conjecture for the distributed marking theorem
Let be a finite graph, and consider the localized transfer principle for distributed graph-coloring algorithms via the labeling spaces…
- 0 votes0 replies0 views
Optimality of the star-graph time-complexity bound
Let denote the time-complexity bound for decentralized stochastic optimization on the star graph described above, with heterogeneous worker computation time…
- 0 votes0 replies0 views
The constant-round recoloring conjecture for toroidal grids
Consider the distributed recoloring problem for toroidal grids in the LOCAL model, where a schedule transforms an input proper coloring into a target coloring. The constant-round t…
- 0 votes0 replies0 views
Local List Linear Hadwiger's Conjecture
Let be a graph, let denote its number of vertices, and let be the subgraph induced by the vertices at distance at most from . For a positive integer ,…
- 0 votes0 replies0 views
Conjecture on trace maximization for consecutive roots of unity
The analog MatDot scheme uses evaluation points on the unit circle, and for each colluding set the matrices and determine the quantity…
- 0 votes0 replies0 views
The lower-bound conjecture for coupon collecting with friends
Lower-bound conjecture. If
- 0 votes0 replies0 views
Angluin's common finite cover conjecture
Angluin's conjecture. The graphs and have a common finite cover.
- 0 votes0 replies1 view
BOREL, MEASURE and fiid equivalence on graphs of subexponential growth
Subexponential-growth equivalence conjecture. The equality established on paths should extend to every graph family of subexponential growth:
- 0 votes0 replies1 view
Randomness does not help on graphs of subexponential growth
Randomness-elimination conjecture. Randomness does not help in graphs of subexponential growth: in this setting, randomized local algorithms should not have an essential advantage…
- 0 votes0 replies0 views
Chang–Pettie's deterministic Lovász Local Lemma complexity conjecture
The deterministic Lovász Local Lemma (LLL) problem asks for a deterministic local algorithm solving instances of the Lovász Local Lemma on graphs, where denotes the relevant in…
- 0 votes0 replies0 views
The conjecture that binning may not optimize functional-compression rate regions
Let and be sources, possibly independently distributed or correlated, and let be a function whose value is to be computed from their observations. Binning inefficie…
- 0 votes0 replies0 views
Conjecture that Scheme 1 has computation-communication gap at most two
Scheme 1 gap conjecture. For the other values of , and , one has
- 0 votes0 replies0 views
Asymptotic optimality conjecture for MDS-XSTPIR
Asymptotic optimality conjecture. For MDS-XSTPIR, the rate
- 0 votes0 replies0 views
The upper-bound conjecture for the averaged Kaczmarz relaxation parameter
Let be the angle between the two lines in the averaged Kaczmarz method, and define … Here is the relaxation-parameter value at which the larger eigenvalue of the…
- 0 votes0 replies0 views
Conjecture that uniform quantization is optimal under the stated assumptions
Let the source variables be quantized using a quantizer satisfying the assumptions made in the paper, and let performance refer to the protocol performance measured by its error pr…
- 0 votes0 replies1 view
Log-squared computation and communication cost for Pareto-optimal MP-AMP
MP-AMP cost conjecture. The total computation and communication cost scales as
- 0 votes0 replies0 views
Characterization conjecture for universal classes of unlabeled robot systems
Let be unlabeled networks, let , and let denote the corresponding system of oblivious mobile robots. Let be the quotient graph ass…
- 0 votes0 replies0 views
Monotonicity conjecture for the computational capabilities of oblivious robot systems
Let be a network and let . Write for the system of oblivious mobile robots on , and write for the computational-capability preorder.…
- 0 votes0 replies0 views
Binary Markov-chain information-theoretic clustering conjecture
Let and be binary variables satisfying the Markov chain … Here denotes the binary entropy and …
- 0 votes0 replies0 views
Mészáros–Mitsche conjecture on the unique maximum of Herman protocol stabilization time
Consider Herman's token process on a cycle of nodes, started from any initial configuration with an odd number of tokens, and let be the expected time until one…
- 0 votes0 replies0 views
Herman Protocol Conjecture on the maximizing token configuration
Consider a cycle of nodes with an odd number of tokens. At each step, each token independently moves to its clockwise neighbor or stays at its position with probability…