25 problems
- 0 votes0 replies1 view
Sharpness conjecture for the complexity of non-orientable Seifert fibre spaces
Let be a non-orientable closed irreducible and -irre…
- 0 votes0 replies0 views
Polynomial complexity and finite quasiperiodic asymptotics conjecture for regulatory networks
Consider a discrete-time regulatory network and let denote its complexity at time . Polynomial complexity and finite asymptotics conjecture. The complexity is always boun…
- 0 votes0 replies0 views
The volume–complexity ordering conjecture for hyperbolic 3-manifolds
Let denote the complexity and the volume of a hyperbolic 3-manifold. Fix a topological boundary , and let be the set of hyper…
- 0 votes0 replies0 views
Profile complexity conjecture for graphs of bounded simple treewidth
Let be a positive integer, and let be a graph of simple treewidth at most . For integers , write for the maximum, over all vertex s…
- 0 votes0 replies1 view
Exponential complexity conjecture for local maxima of mixed p-spin Hamiltonians
Let be a mixed -spin Hamiltonian on the sphere, let denote the number of its local maxima on whose normalized radial derivative lies in , and…
- 0 votes0 replies0 views
Shokurov's complexity conjecture
Let be a Fano type morphism, and let be a log Calabi–Yau structure over , meaning that is log canonical and . Its rel…
- 0 votes0 replies0 views
Periodicity conjecture for the k-binomial complexity of generalized Thue–Morse words
Periodicity conjecture. For every , the function is ultimately periodic with period .
- 0 votes0 replies0 views
Patch complexity equals typical backward-complexity growth
Let be the minimal dynamical system generated by the substreetution tree . For , define … Let be the number of patches of size appea…
- 0 votes0 replies0 views
Backward complexity and patch complexity for substreetutions
Let be the minimal dynamical system generated by the fixed substreetution tree , and let denote the number of -step preimages of…
- 0 votes0 replies0 views
Removing assumptions (A3) and finite Bregman diameter in AIDAL complexity analysis
The AIDAL method is analyzed under assumption (A3) and the finiteness condition , where denotes the relevant Bregman-diameter quantity, and achieves an iteration…
- 0 votes0 replies0 views
Spectral-rigidity conjecture for the complexity of local minima
Local-minima determinant conjecture. For ,
- 0 votes0 replies0 views
Large-N determinant self-averaging conjecture for coupled GOE blocks
Determinant self-averaging conjecture. To leading order as , at fixed and , one may replace
- 0 votes0 replies0 views
Polynomial-time solvability conjecture for strong subgraph arc-connectivity
Polynomial-time solvability conjecture. The problem of deciding whether
- 0 votes0 replies0 views
NP-hardness of finding an initial state for general partition adjacency matrix instances
Initial-state conjecture. Finding an initial state for a general partition adjacency matrix instance is NP-hard.
- 0 votes0 replies0 views
Yomdin's analytic complexity conjecture for semialgebraic sets
Let be a semialgebraic set inside the unit cube , and let denote its diagram. Let be the analytic approximation complexity at accu…
- 0 votes0 replies0 views
Homogeneous-demand conjecture for optimal traffic flow at phase transitions
Homogeneous-demand conjecture. To reach around and , it is necessary to have a homogeneous demand on all streets, so as to prevent “idling” of some…
- 0 votes0 replies1 view
Equality between gem-complexity and Matveev complexity for lens spaces
Lens-space complexity equality conjecture. For every ,
- 0 votes0 replies0 views
Saturation conjecture for the distortion complexity of SRB measures
Let be an SRB measure for a diffeomorphism of a compact surface with Lyapunov exponents , and let denote its dimension. Suppose t…
- 0 votes0 replies0 views
NP-completeness conjecture for edge-clique cover on cographs
A cograph is a graph obtained from a single vertex by repeatedly applying disjoint union and complementation. For a graph , the edge-clique cover problem asks whether the edges…
- 0 votes0 replies1 view
Equality of Matveev, modified Heegaard, and generalized GM complexities
Let be a closed connected -manifold. The Matveev complexity is denoted by , the modified Heegaard complexity by , the non-minimal generalized GM-complexity…
- 0 votes0 replies0 views
The quartic upper bound conjecture for reversing complexity
Let and be positive braid words of length at most , with no fixed bound on the indices of their generators, and let b…
- 0 votes0 replies0 views
Finiteness conjecture for irreducible 4-manifolds of fixed complexity
Let be a natural number, and let a complexity- irreducible 4-manifold mean an irreducible 4-manifold having complexity . Finiteness conjecture. For every natural number…
- 0 votes0 replies0 views
The quadratic upper-bound conjecture for reversing complexity
Quadratic upper-bound conjecture. For all -expressions of length , the reversing complexity
- 0 votes0 replies0 views
Complexity grouping for penalty calibration in large model collections
Complexity-grouping conjecture. This grouping of the models is sufficient to take into account the richness of for the optimal calibration of the penalty.
- 0 votes0 replies0 views
Gutkin's polynomial complexity conjecture for planar polygonal billiards
Let be a planar polygon, and let denote the number of words of length generated by coding billiard orbits according to the domains of regularity they visit. Gutkin…