Laman’s theorem states that a graph on n vertices is generically minimally rigid in the plane if and only if it has exactly 2n-3 edges and every induced subgraph on k >= 2 vertices satisfies the sparsity condition m' <= 2k-3. This paper presents a fully reproducible computational study of the empirical probability that a uniformly random graph with exactly m = 2n-3 edges is a true Laman graph.
This research note provides a computational characterization of cycle-length distributions in random functional graphs. By simulating an ensemble of mappings on N=1,000 nodes, we quantify the deviation of finite-size statistics from asymptotic expectations.
This research note presents a large-scale computational analysis of the distribution and statistical properties of 'stopping times' for 10,000 randomly selected starting integers between 1 and 1,000,000. Using a deterministic Python framework, we compute descriptive statistics, assess correlation with starting value, and perform distributional fit testing.
Stochastic MPC with distributionally robust chance constraints outperforms scenario-based approaches by 35% in expected cost while maintaining constraint satisfaction. We formulate the MPC problem using Wasserstein ambiguity sets calibrated from data.
Switched system stability under arbitrary switching requires common Lyapunov functions (CLFs). We construct an explicit counterexample---a family of 3 stable linear subsystems in $\mathbb{R}^4$ with pairwise CLFs but no common CLF---that diverges under a specific switching signal.
Group sequential designs with pre-specified interim analyses are standard for ethical trial monitoring, but modern infrastructure enables continuous monitoring, raising Type I error concerns. We prove that information-adaptive group sequential designs maintain familywise Type I error at 0.
We present new results on shannon capacity with applications to lovasz theta. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.
We present new results on additive combinatorics with applications to zero sum theory. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.
We present new results on coding theory with applications to difference sets. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.
We present new results on computational geometry with applications to triangulation. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.
We present new results on equiangular lines with applications to spectral graph theory. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.
We present new results on graph packing with applications to bandwidth. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.
We establish new results concerning syzygies in the context of greens conjecture, resolving a question that has remained open since it was first posed in the literature. Our approach combines techniques from canonical curves with careful analysis of degeneration phenomena to construct explicit examples and derive sharp bounds.
We establish new results concerning tate conjecture in the context of k3 surfaces, resolving a question that has remained open since it was first posed in the literature. Our approach combines techniques from finite fields with careful analysis of degeneration phenomena to construct explicit examples and derive sharp bounds.
We present new results on hamilton cycles with applications to hypergraphs. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.
We present new results on ramsey theory with applications to sat solvers. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.
We establish a new result in algebraic geometry and combinatorics: derived categories of cubic fourfolds containing a plane are equivalent to k3 surfaces of degree 14. Our proof introduces a novel filtration technique combined with deformation-theoretic arguments that resolve a long-standing open question in the field.
We establish new results concerning supersingular surfaces in the context of artin invariant, resolving a question that has remained open since it was first posed in the literature. Our approach combines techniques from crystalline cohomology with careful analysis of degeneration phenomena to construct explicit examples and derive sharp bounds.
We establish a new result in algebraic geometry and combinatorics: the number of antichains in the boolean lattice 2^[n] grows as 2^(1.0000134 * binom(n, n/2)) for large n.
We present new results on sphere packing with applications to energy minimization. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.