Showing 20 papers (Total: 83842 papers, 48355 authors in database)
A characterization of 4-connected graphs with no $K_{3,3}+v$-minor
Published
• View Publication
• BIB
Among graphs with 13 edges, there are exactly three internally 4-connected graphs which are $Oct^{+}$, cube+e and $ K_{3,3} +v$. A complete characterization of all 4-connected graphs with no $Oct^{+}$-minor is given in [John Maharry, An excluded minor theorem for the octahedron plus an edge, Journal of Graph Theory 57(2) (2008) 124-130]. Let $K_{3,3}+v$ denote the graph obtained by adding a new vertex $v$ to $K_{3,3}$ and joining $v$ to the four vertices of a 4-cycle. In this paper, we determine all 4-connected graphs that do not contain $K_{3,3}+v$ as a minor.
Torus quotients of Richardson varieties in $G_{r,qr+1}$
Published
• View Publication
• BIB
Let $r$ and $q$ be positive integers and $n=qr+1.$ Let $G = SL(n, \mathbb{C})$ and $T$ be a maximal torus of $G.$ Let $P^{α_r}$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_r.$ Let $ω_r$ be the fundamental weight corresponding to $α_r.$ Let $W$ be the Weyl group of $G$ and $W_{P^{α_r}}$ be the Weyl group of $P^{α_r}.$ Let $W^{P^{α_r}}$ be the set of all minimal coset representatives of $W/W_{P^{α_r}}$ in $W.$ Let $w_{r,n}$ (respectively, $v_{r,n}$) be the minimal (respectively, maximal) element in $W^{P^{α_{r}}}$ such that $w_{r,n}(nω_r) \leq 0$ (respectively, $v_{r,n}(nω_r) \geq 0$). Let $v \leq v_{r,n}$ and $X^v_{w_{r,n}}$ be the Richardson variety in $G_{r,n}$ corresponding to $v$ and $w_{r,n}.$ In this article, we give a sufficient condition on $v$ such that the GIT quotient of $X^{v}_{w_{r,n}}$ for the action of $T$ is the product of projective spaces with respect to the descent of the line bundle $\mathcal{L}(nω_r).$
Reuniting $χ$-boundedness with polynomial $χ$-boundedness
Published in J. Combin. Theory Ser. B, 176:30-73, 2026
• View Publication
• BIB
A class $\mathcal{F}$ of graphs is $χ$-bounded if there is a function $f$ such that $χ(H)\le f(ω(H))$ for all induced subgraphs $H$ of a graph in $\mathcal{F}$. If $f$ can be chosen to be a polynomial, we say that $\mathcal{F}$ is polynomially $χ$-bounded. Esperet proposed a conjecture that every $χ$-bounded class of graphs is polynomially $χ$-bounded. This conjecture has been disproved; it has been shown that there are classes of graphs that are $χ$-bounded but not polynomially $χ$-bounded. Nevertheless, inspired by Esperet's conjecture, we introduce Pollyanna classes of graphs. A class $\mathcal{C}$ of graphs is Pollyanna if $\mathcal{C}\cap \mathcal{F}$ is polynomially $χ$-bounded for every $χ$-bounded class $\mathcal{F}$ of graphs. We prove that several classes of graphs are Pollyanna and also present some proper classes of graphs that are not Pollyanna.
Gallai's path decomposition conjecture for Cartesian product of graphs
Let $G$ be a graph of order $n$. A path decomposition $\mathcal{P}$ of $G$ is a collection of edge-disjoint paths that covers all the edges of $G$. Let $p(G)$ denote the minimum number of paths needed in a path decomposition of $G$. Gallai conjectured that if $G$ is connected, then $p(G)\leq \lceil\frac{n}{2}\rceil$. Let $n_o(G)$ to denote the number of vertices with odd degree in $G$. Lovász proved that if $G$ is a connected graph with all vertices having degree odd, i.e. $n_o(G)=n$, then $p(G)=\frac n 2$.
In this paper, we prove that if $G$ is a connected graph of order $m\geq 2$ with $p(G)=\frac{n_o(G)}{2}$ and $H$ is a connected graph of order $n$, then $p(G\Box H)\leq\frac{mn}{2}$. Furthermore, we prove that $p(G)=\frac{n_o(G)}{2}$, if one of the following is hold:
(\romannumeral1) $G$ is a tree;
(\romannumeral2) $G=P_n\Box T$, where $n\geq 4$ and $T$ is a tree;
(\romannumeral3) $G=P_n\Box H$, where $H$ is an even graph.
Triangulations Admit Dominating Sets of Size $2n/7$
Published
• View Publication
• BIB
We show that every planar triangulation on $n>10$ vertices has a dominating set of size $n/7=n/3.5$. This approaches the $n/4$ bound conjectured by Matheson and Tarjan [MT'96], and improves significantly on the previous best bound of $17n/53\approx n/3.117$ by Špacapan [Š'20].
From our proof it follows that every 3-connected $n$-vertex near-triangulation (except for 3 sporadic examples) has a dominating set of size $n/3.5$. On the other hand, for 3-connected near-triangulations, we show a lower bound of $3(n-1)/11\approx n/3.666$, demonstrating that the conjecture by Matheson and Tarjan [MT'96] cannot be strengthened to 3-connected near-triangulations.
Our proof uses a penalty function that, aside from the number of vertices, penalises vertices of degree 2 and specific constellations of neighbours of degree 3 along the boundary of the outer face. To facilitate induction, we not only consider near-triangulations, but a wider class of graphs (skeletal triangulations), allowing us to delete vertices more freely. Our main technical contribution is a set of attachments, that are small graphs we inductively attach to our graph, in order both to remember whether existing vertices are already dominated, and that serve as a tool in a divide and conquer approach. Along with a well-chosen potential function, we thus both remove and add vertices during the induction proof.
We complement our proof with a constructive algorithm that returns a dominating set of size $\le 2n/7$. Our algorithm has a quadratic running time.
Trimming forests is hard (unless they are made of stars)
Published
• View Publication
• BIB
Graph modification problems ask for the minimal number of vertex/edge additions/deletions needed to make a graph satisfy some predetermined property. A (meta) problem of this type, which was raised by Yannakakis in 1981, asks to determine for which properties ${\mathcal P}$, it is NP-hard to compute the smallest number of edge deletions needed to make a graph satisfy ${\mathcal P}$. Despite being extensively studied in the past 40 years, this problem is still wide open. In fact, it is open even when ${\mathcal P}$ is the property of being $H$-free, for some fixed graph $H$. In this case we use $\text{rem}_{H}(G)$ to denote the smallest number of edge deletions needed to turn $G$ into an $H$-free graph.
Alon, Sudakov and Shapira [Annals of Math. 2009] proved that if $H$ is not bipartite, then computing $\text{rem}_{H}(G)$ is NP-hard. They left open the problem of classifying the bipartite graphs $H$ for which computing $\text{rem}_{H}(G)$ is NP-hard. In this paper we resolve this problem when $H$ is a forest, showing that computing $\text{rem}_{H}(G)$ is polynomial-time solvable if $H$ is a star forest and NP-hard otherwise. Our main innovation in this work lies in introducing a new graph theoretic approach for Yannakakis's problem, which differs significantly from all prior works on this subject. In particular, we prove new results concerning an old and famous conjecture of Erdős and Sós, which are of independent interest.
The interplay between bounded ranks of tensors arising from partitions
Published
• View Publication
• BIB
Let $d \ge 2, h \ge 1$ be integers. Using a fragmentation technique, we characterise $(h+1)$-tuples $(R_1, \dots, R_h, R)$ of non-empty families of partitions of $\{1, \dots, d\}$ such that it suffices for an order-$d$ tensor to have bounded $R_i$-rank for each $i=1,\dots,h$ for it to have bounded $R$-rank. On the way, we prove power lower bounds on products of identity tensors that do not have rank $1$, providing a qualitative answer to a question of Naslund.
Towards the Characterization of Terminal Cut Functions: a Condition for Laminar Families
We study the following characterization problem. Given a set $T$ of terminals and a $(2^{|T|}-2)$-dimensional vector $π$ whose coordinates are indexed by proper subsets of $T$, is there a graph $G$ that contains $T$, such that for all subsets $\emptyset\subsetneq S\subsetneq T$, $π_S$ equals the value of the min-cut in $G$ separating $S$ from $T\setminus S$? The only known necessary conditions are submodularity and a special class of linear inequalities given by Chaudhuri, Subrahmanyam, Wagner and Zaroliagis.
Our main result is a new class of linear inequalities concerning laminar families, that generalize all previous ones. Using our new class of inequalities, we can generalize Karger's approximate min-cut counting result to graphs with terminals.
Higher Dimensional Chain Conditions
Published
• View Publication
• BIB
We investigate higher dimensional chain conditions, where the largeness notion is given by Fubini products of a given ideal. From strong saturation properties of an ideal, we derive abstractly versions of higher dimensional $Δ$-system lemma, which imply many posets, including any finite support iteration of $σ$-centered posets and measure algebras, satisfy the higher dimensional chain conditions. We then show that if a poset satisfies a strengthening of the $σ$-finite chain condition by Horn and Tarski, then it satisfies higher dimensional chain conditions. As an application, we derive Ramsey-theoretic consequences, namely various partition hypotheses as studied by Bannister, Bergfalk, Moore and Todorcevic, from the existence of ideals satisfying strong chain conditions.
Transitive generalized toggle groups containing a cycle
Published
• View Publication
• BIB
In \cite{striker2018rowmotion} Striker generalized Cameron and Fon-Der-Flaass's notion of a toggle group. In this paper we begin the study of transitive generalized toggle groups that contain a cycle. We first show that if such a group has degree $n$ and contains a transposition or a 3-cycle then the group contains $A_n$. Using the result about transpositions, we then prove that a transitive generalized toggle group that contains a short cycle must be primitive. Employing a result of Jones \cite{jones2014primitive}, which relies on the classification of the finite simple groups, we conclude that any transitive generalized toggle group of degree $n$ that contains a cycle with at least 3 fixed points must also contain $A_n$. Finally, we look at imprimitive generalized toggle groups containing a long cycle and show that they decompose into a direct product of primitive generalized toggle groups each containing a long cycle.
On Faces and Hilbert Bases of Kostka Cones
Published
• View Publication
• BIB
Kostka coefficients appear in the representation theory of the general linear group and enumerate semistandard Young tableaux of fixed shape and content. The $r$-Kostka cone is the real polyhedral cone generated by pairs of partitions with at most $r$ parts, written as non-increasing $r$-tuples, such that the corresponding Kostka coefficient is nonzero. We provide several results showing that its faces have interesting structural and enumerative properties. We show that the $d$-faces of the $r$-Kostka cone can be determined from those of the $(3d+3)$-Kostka cone, allowing us to characterize its $2$-faces and enumerate its $d$-faces for $d \leq 4$. We provide tight asymptotics for the number of $d$-faces for arbitrary $d$ and determine the maximum number of extremal rays contained in a $d$-face for $d < r$. We then make progress towards a generalization of the Gao-Kiers-Orelowitz-Yong Width Bound on initial entries of partitions $(λ,μ)$ appearing in the Hilbert basis of the $λ_1$-Kostka cone. We show that at least $93.7\%$ of integer pairs $λ_1 \geq μ_1 > 0$ appear as the initial entries of partitions $(λ,μ)$ comprising a Hilbert basis element of the $r$-Kostka cone for every $r > λ_1$. We conclude with a conjecture about a curious $h$-vector phenomenon.
Operations on the set of scalar and matrix-valued quiddity sequences
Published
• View Publication
• BIB
Our purpose with this paper is, in first place, to recast the space of quiddity sequences corresponding to usual frieze patterns as a different type of SET operad, and second to introduce and study $\mathfrak{M}$-quiddity sequences where $\mathfrak{M}$ is a monodromy block matrix of order two. Also, we examine some related topic as are the possibility of to define matrix-valued friezes patterns and noncommutative signed Chebyshev polynomials.
On Isospectral Integral Circulant Graphs
Understanding when two non-isomorphic graphs can have the same spectra is a classic problem that is still not completely understood, even for integral circulant graphs. We say that a natural number $N$ satisfies the \emph{integral spectral Adàm property (ISAP)} if any two integral circulant graphs of order $N$ with the same spectra must be isomorphic. It seems to be open whether all $N$ satisfy the ISAP; Mönius and So showed that $N$ satisfies the ISAP if $N = p^k, pq^k,$ or $pqr$. We show that: (a) for any prime factorization structure $N = p_1^{a_1}\cdots p_k^{a_k}$, $N$ satisfies the ISAP for "most" values of the $p_i$; (b) $N=p^2q^n$ satisfy the ISAP if $p,q$ are odd and $(q-1) \nmid (p-1)^2(p+1)$; (c) all $N =p^2q^2$ satisfy the ISAP.
The Codegree, Weak Maximum Likelihood Threshold, and the Gorenstein Property of Hierarchical Models
Published in Alg. Stat. 16 (2025) 201-215
• View Publication
• BIB
The codegree of a lattice polytope is the smallest integer dilate that contains a lattice point in the relative interior. The weak maximum likelihood threshold of a statistical model is the smallest number of data points for which there is a non-zero probability that the maximum likelihood estimate exists. The codegree of a marginal polytope is a lower bound on the maximum likelihood threshold of the associated log-linear model, and they are equal when the marginal polytope is normal. We prove a lower bound on the codegree in the case of hierarchical log-linear models and provide a conjectural formula for the codegree in general. As an application, we study when the marginal polytopes of hierarchical models are Gorenstein, including a classification of Gorenstein decomposable models, and a conjectural classification of Gorenstein binary hierarchical models.
Proving the Existence of a GOR Without Probability
In this note, we provide a new proof that a $D$-connected graph $G$ on $n$ vertices has a general position orthogonal representation in $\RR^{n-D}$. Our argument, while based on many of the concepts from the original proof due to Lovász, Saks and Schrijver, does not use the probabilistic method.
A polynomial bound on the number of minimal separators and potential maximal cliques in $P_6$-free graphs of bounded clique number
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (March 18, 2025) dmtcs:12438
• View Publication
• BIB
In this note we show a polynomial bound on the number of minimal separators and potential maximal cliques in $P_6$-free graphs of bounded clique number.
Optimal Hamilton covers and linear arboricity for random graphs
In his seminal 1976 paper, Pósa showed that for all $p\geq C\log n/n$, the binomial random graph $G(n,p)$ is with high probability Hamiltonian. This leads to the following natural questions, which have been extensively studied: How well is it typically possible to cover all edges of $G(n,p)$ with Hamilton cycles? How many cycles are necessary? In this paper we show that for $ p\geq C\log n/n$, we can cover $G\sim G(n,p)$ with precisely $\lceilΔ(G)/2\rceil$ Hamilton cycles. Our result is clearly best possible both in terms of the number of required cycles, and the asymptotics of the edge probability $p$, since it starts working at the weak threshold needed for Hamiltonicity. This resolves a problem of Glebov, Krivelevich and Szabó, and improves upon previous work of Hefetz, Kühn, Lapinskas and Osthus, and of Ferber, Kronenberg and Long, essentially closing a long line of research on Hamiltonian packing and covering problems in random graphs.
Morphologie des posets (-1)-critiques
Let $G=(V,A)$ be a digraph. For $X\subseteq V$, the subdigraph of $G$ induced by $X$ is denoted by $G[X]$. A subset $I$ of $V$ is an interval of $G$ if for every $a,b \in I$ and $x \in V \setminus I$, $(x,a) \in A$ if and only if $(x,b) \in A$, and similarly for $(a,x)$ and $(b,x)$. The trivial intervals of $G$ are $\varnothing$, $V$ and $\lbrace x\rbrace$, where $x\in V$. The digraph $G$ is indecomposable if $| V(G)|\geqslant 3$ and all its intervals are trivial. Given an indecomposable digraph $G$, a vertex $x$ of $G$ is critical, if the induced subdigraph $G[V(G) \setminus \{x\}]$ is decomposable. The digraph $G$ is said to be (-1)-critical if it admits a single non-critical vertex. A poset (or a strict partial order) is a transitive digraph. In this paper, We characterize the (-1)-critical posets.
Random-order Contention Resolution via Continuous Induction: Tightness for Bipartite Matching under Vertex Arrivals
Published
• View Publication
• BIB
We introduce a new approach for designing Random-order Contention Resolution Schemes (RCRS) via exact solution in continuous time. Given a function $c(y):[0,1] \rightarrow [0,1]$, we show how to select each element which arrives at time $y \in [0,1]$ with probability exactly $c(y)$. We provide a rigorous algorithmic framework for achieving this, which discretizes the time interval and also needs to sample its past execution to ensure these exact selection probabilities. We showcase our framework in the context of online contention resolution schemes for matching with random-order vertex arrivals. For bipartite graphs with two-sided arrivals, we design a $(1+e^{-2})/2 \approx 0.567$-selectable RCRS, which we also show to be tight. Next, we show that the presence of short odd-length cycles is the only barrier to attaining a (tight) $(1+e^{-2})/2$-selectable RCRS on general graphs. By generalizing our bipartite RCRS, we design an RCRS for graphs with odd-length girth $g$ which is $(1+e^{-2})/2$-selectable as $g \rightarrow \infty$. This convergence happens very rapidly: for triangle-free graphs (i.e., $g \ge 5$), we attain a $121/240 + 7/16 e^2 \approx 0.563$-selectable RCRS. Finally, for general graphs we improve on the $8/15 \approx 0.533$-selectable RCRS of Fu et al. (ICALP, 2021) and design an RCRS which is at least $0.535$-selectable. Due to the reduction of Ezra et al. (EC, 2020), our bounds yield a $0.535$-competitive (respectively, $(1+e^{-2})/2$-competitive) algorithm for prophet secretary matching on general (respectively, bipartite) graphs under vertex arrivals.
Bent functions satisfying the dual bent condition and permutations with the $(\mathcal{A}_m)$ property
Published
• View Publication
• BIB
The concatenation of four Boolean bent functions $f=f_1||f_2||f_3||f_4$ is bent if and only if the dual bent condition $f_1^* + f_2^* + f_3^* + f_4^* =1$ is satisfied. However, to specify four bent functions satisfying this duality condition is in general quite a difficult task. Commonly, to simplify this problem, certain connections between $f_i$ are assumed, as well as functions $f_i$ of a special shape are considered, e.g., $f_i(x,y)=x\cdotπ_i(y)+h_i(y)$ are Maiorana-McFarland bent functions. In the case when permutations $π_i$ of $\mathbb{F}_2^m$ have the $(\mathcal{A}_m)$ property and Maiorana-McFarland bent functions $f_i$ satisfy the additional condition $f_1+f_2+f_3+f_4=0$, the dual bent condition is known to have a relatively simple shape allowing to specify the functions $f_i$ explicitly. In this paper, we generalize this result for the case when Maiorana-McFarland bent functions $f_i$ satisfy the condition $f_1(x,y)+f_2(x,y)+f_3(x,y)+f_4(x,y)=s(y)$ and provide a construction of new permutations with the $(\mathcal{A}_m)$ property from the old ones. Combining these two results, we obtain a recursive construction method of bent functions satisfying the dual bent condition. Moreover, we provide a generic condition on the Maiorana-McFarland bent functions stemming from the permutations of $\mathbb{F}_2^m$ with the $(\mathcal{A}_m)$ property, such that their concatenation does not belong, up to equivalence, to the Maiorana-McFarland class. Using monomial permutations $π_i$ of $\mathbb{F}_{2^m}$ with the $(\mathcal{A}_m)$ property and monomial functions $h_i$ on $\mathbb{F}_{2^m}$, we provide explicit constructions of such bent functions. Finally, with our construction method, we explain how one can construct homogeneous cubic bent functions, noticing that only very few design methods of these objects are known.