An open workspace for mathematical discovery. Check proofs, make comments, form collaborations.
Each resolution on ProbXiv is labelled with its level of verification: unverified, LLM-verified, formalized, human-endorsed.
problems
It meets ρ^⊥(G)>ρ^⊥(V_c) if it meets the following: - ρ^⊥(V_c)>ρ^⊥(A) - ρ^⊥(V_c)>ρ^⊥(B) - ρ^⊥(V_c)≤ ρ^⊥(A)+ρ^⊥(B)
Let n = ks + ℓ where 0 < ℓ < k and F_0, F_1, …, F_s ⊂ binom[n]k be non-empty cross-union families. Does the following inequality hold? ∑_i=0^s |F_i| ≤ max (s+1) binomn-1k, 1 + s binomnk - ∑_i=0^k-ℓ binomki binomn-kk-i
For n≥2 B(K_2,n,Z_2n)≤4n-3 .
So, we have an open problem, χ(G(2,11,9)=? .
Let k ≥5 be an odd integer and G be a (n,d,λ) -graph satisfying d^k-1≫ λ^k-2 . Then G has global resilience (1 / 4+o(1)) n d with respect to being C_k -free.
Note that the divisibility conditions in (22) should be equivalent to those in (23) if a t-(n,k,λ) exists. It is open if they are equivalent.
If G is a graph where every precoloring of at most k edges can be extended to a proper χ'(G)-edge coloring, then every precoloring of at most k+1 edges of G square K_2 is extendable to a proper (χ'(G)+1)-edge coloring of G square K_2.
If s > t ≥ 1 with (s, -t) ≠ (2, -1) and n, r ∈ P then ⌊ ( ∑{k=n}^{∞} 1/{rk}{s,-t} )^{-1} ⌋ = {rn}{s,-t} - {r(n-1)}{s,-t} - 1. If t = -1 and s, n, r ∈ P then ⌊ ( ∑{k=n}^{∞} 1/{rk}{s,-1}^2 )^{-1} ⌋ = {rn}{s,-1}^2 - {r(n-1)}{s,-1}^2 - 1.
Let d: V → Z_0^+ be a symmetric function that satisfies d(∅) = 0 and ∀ X, Y ⊆ V (19) and (20). Let hatR: V → Z_0^+ be an even valued, symmetric, skew-supermodular function. Suppose that hatR(X) ≤ d(X) ∀ X ⊆ V. Then there exists a pairing M…
For any sequence s_0,...,s_n of non-negative integers satisfying \sum s_i=\sum i s_i=n, there exist i, j with 1\le i, j and i+j\le n so that n \left( {i+j \atop i} \right)s_{i+j}\geqslant e s_i s_j.
An interesting question is whether every red-blue coloring of a k-pseudorandom graph contains a monochromatic path of length \Omega(\frac{n}{\sqrt{k}}).
If T is a k-peripheral tree and G is a nontrivial connected graph, then aw(T square G,k)=k .
For any 1 ≤ α ≤ 6, p_∞^(α) := lim_n → ∞ p_n^(α) exists and is given by: p_∞^(1) = 1/π (6.1) p_∞^(2) = p_∞^(5) = 1/2 - 1/π (6.2) p_∞^(3) = p_∞^(4) = 2/π - 1/2 (6.3) p_∞^(6) = 1 - 3/π (6.4)
No two non-isomorphic H-shape trees are L-cospectral.
if n is odd then there exist isometric embeddings of \frac{1}{2}H_{n} in the half-spin Grassmann graphs of \Pi whose images are not apartments.
If r is an integer that is not a part in either partitions λ or μ , then L_λ+(r),μ+(r)(q)≥ L_λ μ(q).
In particular, what is the value L_{k,S} = \lim_{n \to \infty} b_{k,S}(n)^{1/n}?
It would be interesting to know if there exists a regular/vertex-transitive self-complementary graph Γ on n vertices with the second eigenvalue in the bounds frac√n(n-4)-12 < λ_2 ≤ n-7/2 - 2cos(π(n-1)/n).
We make the analogous conjecture here, that we may have both t and d in Theorem3.2, provided deg(d)=3.
In fact, what can be said (in general) about the connected components of these graphs: are they all paths or cliques ?