Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Exact Algorithms for Edge Deletion to Cactus
Published
• View Publication
• BIB
We study two related problems on simple, un-directed graphs: Edge Deletion to Cactus and Spanning Tree to Cactus. Edge Deletion to Cactus has been known to be NP-hard on general graphs at least since 1988. We show improved exact algorithms for the former and a polynomial time algorithm for the latter.
Sets of subspaces with restricted hyperplane intersection numbers
Published
• View Publication
• BIB
Let $\mathcal{X}$ be a set of $(h-1)$-dimensional subspaces of $\mathrm{PG}(kh-1,q)$ with the property that every hyperplane contains at most $t$ elements of $\mathcal{X}$. We prove the upper bound $|\mathcal{X}| \leq (t-k+2)q^h + t$, and characterise the structure of $\mathcal{X}$ in the case of equality. We call sets attaining this bound \emph{length-maximal}. For $k=3$, such sets are known as maximal arcs and have been well-studied. They are known to exist for $t<q^h$ if and only if $q$ is even and $t$ divides $q^h$. For $k=4$ and $q>2$, we show that any length-maximal set must satisfy $t = q^h+1$ and that every hyperplane is either a $t$-secant or a $1$-secant. For $k \geq 5$ and $q>2$, no length-maximal set exists. In the language of additive codes, these results assert that additive two-weight codes over $\mathbb{F}_{q^h}$ attaining the natural Griesmer-type bound do not exist when the code dimension is $5$ or more and $q>2$.
On four network monitoring parameters in graphs and their gaps
Let \( G \) be a finite simple undirected graph. Four graph parameters related to network monitoring are the \emph{geodetic set}, \emph{edge geodetic set}, \emph{strong edge geodetic set}, and \emph{monitoring edge geodetic set}, with corresponding minimum sizes, denoted by \( g(G), eg(G), seg(G) \), and \( meg(G) \), respectively. These parameters quantify the minimum number of vertices required to monitor all vertices and edges of \( G \) under progressively stricter path-based conditions. As established by Florent \textit{et al.}\ (CALDAM 2023), these parameters satisfy the chain of inequalities: \( g(G) \leq eg(G) \leq seg(G) \leq meg(G). \) In 2025, Florent \textit{et al.}\ posed the following question: given integers \( a, b, c, d \) satisfying \( 2 \leq a \leq b \leq c \leq d \), does there exist a graph \( G \) such that \( g(G) = a, \quad eg(G) = b, \quad seg(G) = c, \quad \text{and} \quad meg(G) = d? \) They partially answered this affirmatively under three specific hypotheses and gave some constructions to support it. In this article, we first identify quadruples of values that cannot be realized by any connected graph. For all remaining admissible quadruples, we provide explicit constructions of connected graphs that realize the specified parameters. These constructions are modular and efficient, with the number of vertices and edges growing linearly with the largest parameter, providing a complete and constructive characterization of such realizable quadruples.
An infinite family of non-extendable MRD codes
In the realm of rank-metric codes, Maximum Rank Distance (MRD) codes are optimal algebraic structures attaining the Singleton-like bound. A major open problem in this field is determining whether an MRD code can be extended to a longer one while preserving its optimality. This work investigates $\mathbb{F}_{q^m}$-linear MRD codes that are non-extendable but do not attain the maximum possible length. Geometrically, these correspond to scattered subspaces with respect to hyperplanes that are maximal with respect to inclusion but not of maximum dimension. By exploiting this geometric connection, we introduce the first infinite family of non-extendable $[4,2,3]_{q^5/q}$ MRD codes. Furthermore, we prove that these codes are self-dual up to equivalence.
Graphs with core(G) = nucleus(G)
Let $G$ be a finite simple graph. An independent set $I$ of $G$ is critical if $\left|I\right|-\left|N(I)\right|\ge\left|J\right|-\left|N(J)\right|$ for every independent set $J$ of $G$. A critical independent set is maximum if it has maximum cardinality. The $core$ and the $nucleus$ of $G$ are defined as the intersection of all maximum independent sets and the intersection of all maximum critical independent sets, respectively. In 2019, Jarden, Levit, and Mandrescu posed the problem of characterizing the graphs satisfying $core(G)=nucleus(G)$. In this paper, we provide a complete solution to this problem. Using Larson's independence decomposition, which partitions any graph into a König--Egerváry component $L_G$ an a $2$-bicritical component $L_G^c$, we establish that $core(G)=nucleus(G)$ holds if and only if $core ({L_G^c})=\emptyset$ and no vertex of $corona(G)$ lies in the boundary between $L_G$ and $L_G^c$. We also show that the same boundary condition is equivalent to the identity $diadem(G)=corona(G) \cap L(G)$. Several consequences and related structural properties are also derived.
Buffon Discrepancy and the Steinhaus Longimeter
Published
• View Publication
• BIB
Let $Ω\subset \mathbb{R}^2$ be a convex set. We study the problem of distributing a one-dimensional set $S$ with total length $L$ so that for any line $\ell$ in $\mathbb{R}^2$ the number of intersections $\#(\ell \cap S)$ is proportional to the length $\mathcal{H}^1(\ell \cap Ω)$ as much as possible; we use the term Buffon discrepancy for the largest error. A construction of Steinhaus can be generalized to prove the existence of sets with Buffon discrepancy $\lesssim L^{1/3}$. We also show that the unit disk $\mathbb{D}$ admits a set with uniformly bounded Buffon discrepancy as $L \rightarrow \infty$.
Unboundedness of the Heesch Number for Hyperbolic Convex Monotiles
Published
• View Publication
• BIB
We provide a resolution of the Heesch problem for homogeneous (also known as semi-regular) tilings, and as a corollary, for tilings by convex monotiles in the hyperbolic plane. We also provide the first known example of weakly aperiodic convex monotiles arising from the dual of homogeneous tilings.
Geometry of ample/lopsided sets
Lopsided sets were introduced by Jim Lawrence in 1983 when he studied the subsets of $\{-1,+1\}^E$ that encode the intersection pattern of a convex set $K$ with the orthants of ${\mathbb R}^E$. Lopsided sets have been independently rediscovered by several other authors, in particular by Andreas Dress in 1995, who called them \emph{ample} sets. Dress defined ample sets as the set families satisfying equality in a combinatorial inequality, which holds for all set families.
In a previous article we characterized ample sets in various combinatorial and graph-theoretical ways. In this paper we study geometric realizations of ample sets as cubihedra (cube complexes), which yields several new characterizations. One such characterization establishes that the cubihedra of ample sets endowed with the intrinsic $\ell_1$-metric are exactly the isometric subspaces of $\ell_1$-spaces (which we call, weakly convex sets). We also view the barycenter maps of faces of cubihedra of ample sets as collections of $\{ \pm 1, 0\}$-sign vectors and, in analogy with the characterization of oriented matroids by the covectors and the cocircuits. Moreover, we characterize the collections of $\{ \pm 1, 0\}$-sign vectors corresponding to barycenter maps of all faces and all maximal faces of an ample set. Furthermore, we show that any ample set $\covectors\subseteq \{ -1,+1\}^E$ is realizable as the intersection pattern of a weakly convex set $K$ with the orthants of ${\mathbb R}^E$. All this testifies that the concept of ample sets is quite natural in the context of cube complexes.
Log-concavity from enumerative geometry of planar curve singularities
We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations. We further extend this conjecture to ruling polynomials of Legendrian links and to E-polynomials of character varieties. We establish these conjectures for irreducible weighted-homogeneous singularities (torus knots) and for ADE singularities, and prove a multiplicative property for ruling polynomials compatible with log-concavity.
Determining the normal subgroups of the automorphism groups of some ultrahomogeneous structures via stabilisers
We show the simplicity of the automorphism groups of the generic $n$-hypertournament and the semigeneric tournament, and determine the normal subgroups of the automorphism groups of several other ultrahomogeneous oriented graphs. We also give a new proof of the simplicity of the automorphism group of the dense $\frac{2π}{n}$-local order $\mathbb{S}(n)$ for $n \geq 2$ (a result due to Droste, Giraudet and Macpherson). Previous techniques of Li, Macpherson, Tent and Ziegler involving stationary weak independence relations (SWIRs) cannot be applied directly to these structures; our approach involves applying these techniques to a certain expansion of each structure, where the expansion has a SWIR and its automorphism group is isomorphic to a stabiliser subgroup of the automorphism group of the original structure.
On the Ramsey numbers of fans and stars
Let $F_n$ be the graph on $2n+1$ vertices consisting of $n$ triangles meeting at a single vertex. After a number of improvements over the years, it is currently known that the Ramsey number of $F_n$ is between $4.5n-5$ (Chen, Yu, Zhao) and $(5+\frac{1}{6})n+O(1)$ (Dvo{ř}{á}k and Metrebian). We improve both of these bounds as follows $$4.732n\approx (3+\sqrt{3})n-8< R(F_n)\leq (5+o(1))n.$$
Additionally, as it relates to the lower bound on $R(F_n)$ (and for which nothing was known when $n< m< n(n-1)$), we determine the Ramsey numbers of stars vs.~fans, within a constant, as follows $$R(K_{1,m}, F_{n})=
\begin{cases}
m+2n-\frac{1+(-1)^{m}}{2}, & m\leq n
\frac{3m+\sqrt{m^2+8n^2}}{2}+Θ(1), & m>n
\end{cases}. $$ In particular, we have $R(K_{1,2n}, F_n)=(3+\sqrt{3})n+Θ(1)$.
The Tutte symmetric matrix of a graph
We provide a matrix-based formula for the Tutte symmetric function of a graph. In particular, for any graph $G$ with a designated head and tail vertex, we describe an infinite matrix $M_G$ from which the Tutte symmetric function can be easily recovered. We prove gluing graphs together corresponds to matrix multiplication, gluing the head and tail of a single graph corresponds to taking the trace, and reversing a graph corresponds to the transpose (up to a change of basis).
On the critical fugacity of the hard-core model on regular bipartite graphs
We establish long-range order for the hard-core model on a finite, regular bipartite graph above a threshold fugacity given in terms of expansion parameters of the graph. The result applies to the $d$-dimensional hypercube graph and, more generally, to $d$-dimensional discrete tori of fixed side length, proving long-range order at fugacities $λ\geΩ(\frac{\log d}{d})$. Furthermore, we use reflection positivity to transfer the result to the lattice $\mathbb{Z}^{d}$, verifying the long-standing belief that its critical fugacity is of the form $d^{-1+o(1)}$ as $d\to\infty$.
Local minimality of the truncated octahedron for the isoperimetric problem on parallelohedra
Published
• View Publication
• BIB
We investigate the isoperimetric problem for the Voronoi cells of three-dimensional lattices. Using Selling parameters, we derive an explicit closed formula for the scale-invariant isoperimetric quotient $F$ in terms of six non-negative variables. We then analyse the local behaviour of $F$ at the most relevant lattice configurations: we prove that the body-centered cubic lattice (BCC) is a strict local minimiser of $F$ at fixed volume, whereas the face-centered cubic lattice (FCC) and the simple cubic lattice (SC) are not local minimisers. Then, we consider a family of lattices which interpolates between BCC and FCC, showing that BCC is the global minimiser of $F$ restricted to this family.
PHOEG: an online tool for discovery and education in extremal graph theory
Extremal Graph Theory heavily relies on exploring bounds and inequalities between graph invariants, a task complicated by the rapid combinatorial explosion of graphs. Various tools have been developed to assist researchers in navigating this complexity, yet they typically rely on heuristic, probabilistic, or non-exhaustive methods, trading exactness for scalability. PHOEG takes a different stance: rather than approximating, it commits to an exact approach.
PHOEG is an interactive online tool (https://phoeg.umons.ac.be) designed to assist researchers and educators in graph theory. Building upon the exact geometrical approach of its predecessor, GraPHedron, PHOEG embeds graphs into a two-dimensional invariant space and computes their convex hull, where facets represent inequalities and vertices correspond to extremal graphs. PHOEG modernizes and expands this approach by offering a comprehensive web interface and API, backed by an extensive database of pairwise non-isomorphic graphs including all graphs up to order 10. Users can intuitively define invariant spaces by selecting a pair of invariants, apply constraints and colorations, visualize resulting convex polytopes, and seamlessly inspect the corresponding drawn graphs.
In this paper, we detail the software architecture and new web-based features of PHOEG. Furthermore, we demonstrate its practical value in two primary contexts: in research, by illustrating its ability to quickly identify conjectures or counterexamples to conjectures, and in education, by detailing its integration into university-level coursework to foster student discovery of classical graph theory principles. Finally, this paper serves as a brief survey of the extremal results and conjectures established over the past two decades using this geometric approach.
Degree theory of the partition graph: exact maxima, profiles, and fibres
For the partition graph $G_n$, whose vertices are the partitions of $n$ and whose edges correspond to elementary unit transfers between parts, we develop a degree theory with three levels: exact value theory, exact profile theory, and fibre-level geometry. Writing $n=T_s+q$ with $T_s=s(s+1)/2$ and $0\le q\le s$, we prove that every degree-maximizing partition lies in the support-maximal stratum and obtain the exact formula \[ Δ_n=s(s-1)+\lfloor\sqrt{4q+1}\rfloor-1 \] for the maximal degree in $G_n$.
For a support-maximal partition $λ$, let $A(λ)$ and $B(λ)$ denote the numbers of active gap bonuses and multiplicity bonuses. We prove that the set of realized maximizing profiles is \[ Π_n=\{(a,b)\in\mathbb Z_{\ge0}^2:a+b=ρ(q),\ T_a+T_b\le q\}, \qquad ρ(q)=\lfloor\sqrt{4q+1}\rfloor-1. \] Thus the exact global theory stops at the profile level. For each realized profile we then study the corresponding fibre of maximizers: we prove nonemptiness, construct canonical representatives, obtain lower bounds for mixed fibres, and show that conjugation induces a bijection between the fibres for $(a,b)$ and $(b,a)$. We also classify exactly the first near-triangular fibre windows and formulate localization and stability questions for the remaining fixed-$q$ regime.
A short proof of Erdős's $B+C$ conjecture
We give a short proof of the fact that every set of natural numbers with positive upper Banach density contains the sum of two infinite sets. The approach simplifies earlier existing proofs.
Perron's method and spherical ideal circle patterns with prescribed total geodesic curvatures
In this paper, we apply the classical Perron method to give a proof of the existence and uniqueness/rigidity result of a circle pattern on a closed surface equipped with conical spherical metric when prescribed measures of the angles of intersecting circles stay in the range (0,π/2] and total geodesic curvatures are assigned to the circles, which is recently obtained in [3] via Colin de Verdière's variation method. Then we show the convergence of Thurston's algorithm, which adjusts the geodesic curvatures of circles one by one based on the prescribed values for total geodesic curvatures of the circles, to the desired circle pattern in the setting of the result.
Largest $2$-regular Subgraphs in complete $S$-partite Graphs
In this paper, we focus on the class of complete $S$-partite graphs, for $S$ an undirected graph possibly with self-loops, and address the problem of finding largest $2$-regular subgraphs of these graphs, which can be formulated as an integer linear program. Roughly speaking, a complete $S$-partite graph is obtained by replacing every single node of $S$ with a number of nodes, preserving the edge/non-edge relations of $S$. Our motivation in finding largest $2$-regular subgraphs is rooted in the structural systems theory, particularly in the problem of finding largest subnetworks that can sustain controllability or asymptotic stability of the corresponding subsystems. A main contribution of the paper is to show that the integer linear problem can be solved efficiently in $O(|V(S)|^3)$, independent of the order/size of the $S$-partite graph itself. Furthermore, we demonstrate through simulations that with high probability, a random $S$-partite graph contains a largest $2$-regular subgraph of the same order as its complete counterpart does.
Some properties of Padovan matrices and bi-periodic Padovan matrices
Let $\left(P_{n}\right)_{n\geq0}$ be the sequence of bi-periodic Padovan numbers and let $\left(M_{p_{n}}\right)_{n\geq0}$ be the sequence of bi-periodic Padovan matrices. In this article we study when these matrices are diagonalizable and we obtain a certain connection with the Lucas number sequence. We also obtain some connections of these matrices with the generating matrix $Q$ for the Padovan numbers.