arXiv ScienceSearch

arXiv · 2201.03007

The Generalized Sylvester's And Orchard Problems Via Discriminantal arrangement

Abstract

In 1989 Manin and Schechtman defined the discriminantal arrangement $\mathcal{B}(n, k,\mathcal{A})$ associated to a generic arrangement $\mathcal{A}$ of $n$ hyperplanes in a $k$-dimensional space. An equivalent notion was already introduced by Crapo in 1985 with the name of geometry of circuits. While both those papers were mainly focused on the case in which $\mathcal{B}(n, k,\mathcal{A})$ has a constant combinatorics when $\mathcal{A}$ changes, it turns out that the case in which the combinatorics of $\mathcal{B}(n, k,\mathcal{A})$ changes is quite interesting as it classifies special configurations of points in the $k$-dimensional space. In this paper we provide an example of this fact elucidating the connection between the well known generalized Sylvester's and orchard problems and the combinatorics of $\mathcal{B}(n, k,\mathcal{A})$. In particular we point out how this connection could be helpful to address those old but still open problems.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Pragnya Das, Elisa Palezzato, Simona Settepanella. 2022-01-09. The Generalized Sylvester's And Orchard Problems Via Discriminantal arrangement. https://doi.org/10.2140/iig.2024.21.117

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Nonexistence results and constructions for signed difference sets

Signed difference sets (SDSs) extend ordinary difference sets by allowing negative coefficients. We establish new nonexistence criteria and existence constructions for SDSs in finite abelian groups. Using the classical self-conjugate-prime method and a support-refined quotient method, we derive four obstructions, including the $C_2$-quotient, near-full-support, and small-defect obstructions. Applied cumulatively to the $67{,}823$ open group-specific cases in the database with $9\leq v\leq499$, these criteria rule out $45{,}361$ cases. For existence, we construct an infinite family from PCP-type regular partial difference sets arising from Desarguesian spreads and an explicit $(125,28,3)$-SDS in $C_5^3$ using quartic multiplicative characters. These constructions settle three further open cases.

math.CO

Connected irregular cospectral graphs with identical combinatorial invariants and distinct Lovász numbers

For every integer $n\geq 11$, we construct pairs of connected, irregular, nonisomorphic graphs on $n$ vertices that are cospectral for the adjacency, Laplacian, signless Laplacian, normalized Laplacian, and Seidel matrices, have equal independence, clique, chromatic, complement chromatic, and maximum-cut numbers, and have distinct Lovász $\vartheta$-numbers. Each pair is formed by joining $K_{n-10}$ to fixed cospectral, nonisomorphic, regular graphs on ten vertices due to van Dam and Haemers. We prove that the joins retain equality of the five spectra and listed integer-valued invariants, while preserving the respective Lovász numbers. We derive exact formulas for these numbers and prove them distinct. We also determine the cardinality-constrained maximum-cut profiles of the base graphs and their complements. They give exact formulas and prove equality of the maximum-cut numbers within each pair, both for the joins of the base graphs with $K_{n-10}$ and for those of their complements with $K_{n-10}$. For $n=10$, we first give a regular pair with all the stated properties except irregularity, then a connected, irregular, nonisomorphic pair sharing all five spectra and listed integer-valued invariants but having distinct Lovász numbers. An exhaustive SageMath computation shows that no connected, irregular, nonisomorphic pair on at most nine vertices shares all five spectra and listed integer-valued invariants. Thus, ten is the smallest possible order, and such pairs exist for every $n\geq 10$. It extends and strengthens a result for even $n\geq 14$ (Sason, '24), which did not address Seidel matrices, complement chromatic numbers, maximum-cut numbers of the graphs, or those of the corresponding joins formed from their complements. Thus, the Lovász number is a computable certificate of nonisomorphism even when all five spectra and listed integer-valued invariants coincide.

math.CO

An $O(k\log(n/k))$ Bound on Spanning Bipartite Connectivity

For integers $1\le k\le n/2$, let $f(k,n)$ be the least integer $s$ such that every $s$-connected graph on $n$ vertices contains a spanning bipartite $k$-connected subgraph. Thomassen conjectured that $f(k,n)$ is bounded by a function of $k$ alone. Delcourt and Ferber proved $f(k,n)=O(k^3\log n)$, and Yuster subsequently obtained $f(k,n)\le22k^2\log_2 n$. We prove that, for $2\le k\le n/2$, \[ f(k,n)\le\min\left\{n-1,\, \left\lfloor6(k-1)\log_2\frac{n}{k-1}\right\rfloor\right\}. \] In particular, $f(k,n)=O(k\log(n/k))$.

math.CO