Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A row analogue of Hecke column insertion
Published
• View Publication
• BIB
We introduce a new row insertion algorithm on decreasing tableaux and increasing tableaux, generalizing Edelman-Greene (EG) row insertion. Our row insertion algorithm is a nontrivial variation of Hecke column insertion which generalizes EG column insertion. Similar to Hecke column insertion, our row insertion is bijective and respects Hecke equivalence, and therefore recovers the expansions of stable Grothendieck functions into Grassmannian stable Grothendieck functions.
Cyclability, Connectivity and Circumference
Published
• View Publication
• BIB
In a graph $G$, a subset of vertices $S \subseteq V(G)$ is said to be cyclable if there is a cycle containing the vertices in some order. $G$ is said to be $k$-cyclable if any subset of $k \geq 2$ vertices is cyclable. If any $k$ \textit{ordered} vertices are present in a common cycle in that order, then the graph is said to be $k$-ordered. We show that when $k \leq \sqrt{n+3}$, $k$-cyclable graphs also have circumference $c(G) \geq 2k$, and that this is best possible. Furthermore when $k \leq \frac{3n}{4} -1$, $c(G) \geq k+2$, and for $k$-ordered graphs we show $c(G) \geq \min\{n,2k\}$. We also generalize a result by Byer et al. on the maximum number of edges in nonhamiltonian $k$-connected graphs, and show that if $G$ is a $k$-connected graph of order $n \geq 2(k^2+k)$ with $|E(G)| > \binom{n-k}{2} + k^2$, then the graph is hamiltonian, and moreover the extremal graphs are unique.
Characterizing subgroup perfect codes by 2-subgroups
Published
• View Publication
• BIB
A perfect code in a graph $Γ$ is a subset $C$ of $V(Γ)$ such that no two vertices in $C$ are adjacent and every vertex in $V(Γ)\setminus C$ is adjacent to exactly one vertex in $C$. Let $G$ be a finite group and $C$ a subset of $G$. Then $C$ is said to be a perfect code of $G$ if there exists a Cayley graph of $G$ admiting $C$ as a perfect code. It is proved that a subgroup $H$ of $G$ is a perfect code of $G$ if and only if a Sylow $2$-subgroup of $H$ is a perfect code of $G$. This result provides a way to simplify the study of subgroup perfect codes of general groups to the study of subgroup perfect codes of $2$-groups. As an application, a criterion for determining subgroup perfect codes of projective special linear groups $\mathrm{PSL}(2,q)$ is given.
Maximum size of $C_{\leq k}$-free strong digraphs with out-degree at least two
Published
• View Publication
• BIB
Let $\mathscr{H}$ be a family of digraphs. A digraph $D$ is \emph{$\mathscr{H}$-free} if it contains no isomorphic copy of any member of $\mathscr{H}$. For $k\geq2$, we set $C_{\leq k}=\{C_{2}, C_{3},\ldots,C_{k}\}$, where $C_{\ell}$ is a directed cycle of length $\ell\in\{2,3,\ldots,k\}$. Let $D_{n}^{k}(ξ,ζ)$ denote the family of \emph{${C}_{\le k}$-free} strong digraphs on $n$ vertices with every vertex having out-degree at least $ξ$ and in-degree at least $ζ$, where both $ξ$ and $ζ$ are positive integers. Let $\varphi_{n}^{k}(ξ,ζ)=\max\{|A(D)|:\;D\in D_{n}^{k}(ξ,ζ)\}$ and $Φ_{n}^{k}(ξ,ζ)=\{D\in D_{n}^{k}(ξ,ζ): |A(D)|=\varphi_{n}^{k}(ξ,ζ)\}$. Bermond et al.\;(1980) verified that $\varphi_{n}^{k}(1,1)=\binom{n-k+2}{2}+k-2$. Chen and Chang\;(2021) showed that $\binom{n-1}{2}-2\leq\varphi_{n}^{3}(2,1)\leq\binom{n-1}{2}$. This upper bound was further improved to $\binom{n-1}{2}-1$ by Chen and Chang\;(DAM, 2022), furthermore, they also gave the exact values of $\varphi_{n}^{3}(2,1)$ for $n\in \{7,8,9\}$. In this paper, we continue to determine the exact values of $\varphi_{n}^{3}(2,1)$ for $n\ge 10$, i.e., $\varphi_{n}^{3}(2,1)=\binom{n-1}{2}-2$ for $n\geq10$.
Minimizing the number of matchings of fixed size in a $K_s$-saturated graph
For a fixed graph $F$, a graph $G$ is said to be $F$-saturated if $G$ does not contain a subgraph isomorphic to $F$ but does contain $F$ after the addition of any new edge.
Let $M_k$ be a matching consisting of $k$ edges and $S_{n,k}$ be the join graph of a complete graph $K_k$ and an empty graph $\overline{K_{n-k}}$. In this paper, we prove that for $s \geq3$ and $k\geq 2$, $S_{n,s-2}$ contains the minimum number of $M_k$ among all $n$-vertex $K_s$-saturated graphs for sufficiently large $n$, and when $k \leq s-2$, it is the unique extremal graph. In addition, we also show that $S_{n,1}$ is the unique extremal graph when $k=2$ and $s=3$.
New Bounds for the Integer Carathéodory Rank
Published
• View Publication
• BIB
Given a rational pointed $n$-dimensional cone $C$, we study the integer Carathéodory rank $\operatorname{CR}(C)$ and its asymptotic form $\operatorname{CR^{\rm a}}(C)$, where we consider ``most'' integer vectors in the cone. The main result significantly improves the previously known upper bound for $\operatorname{CR^{\rm a}}(C)$. We also study bounds on $\operatorname{CR}(C)$ in terms of $Δ$, the maximal absolute $n\times n$ minor of the matrix given in an integral polyhedral representation of $C$. If $Δ\in\lbrace 1,2\rbrace$, we show $\operatorname{CR}(C) = n$, and prove upper bounds for simplicial cones, improving the best known upper bound on $\operatorname{CR}(C)$ for $Δ\leq n$.
Hypergeometric functions for Dirichlet characters and Peisert-like graphs on $\mathbb{Z}_n$
Published
• View Publication
• BIB
For a prime $p\equiv 3\pmod 4$ and a positive integer $t$, let $q=p^{2t}$. The Peisert graph of order $q$ is the graph with vertex set $\mathbb{F}_q$ such that $ab$ is an edge if $a-b\in\langle g^4\rangle\cup g\langle g^4\rangle$, where $g$ is a primitive element of $\mathbb{F}_q$. In this paper, we construct a similar graph with vertex set as the commutative ring $\mathbb{Z}_n$ for suitable $n$, which we call \textit{Peisert-like} graph and denote by $G^\ast(n)$. Owing to the need for cyclicity of the group of units of $\mathbb{Z}_n$, we consider $n=p^α$ or $2p^α$, where $p\equiv 1\pmod 4$ is a prime and $α$ is a positive integer. For primes $p\equiv 1\pmod 8$, we compute the number of triangles in the graph $G^\ast(p^α)$ by evaluating certain character sums. Next, we study cliques of order 4 in $G^\ast(p^α)$. To find the number of cliques of order $4$ in $G^\ast(p^α)$, we first introduce hypergeometric functions containing Dirichlet characters as arguments, and then express the number of cliques of order $4$ in $G^\ast(p^α)$ in terms of these hypergeometric functions.
Approximate Graph Colouring and the Crystal with a Hollow Shadow
Published in SIAM Journal on Computing 54(4) (2025) 1138-1192
• View Publication
• BIB
We show that approximate graph colouring is not solved by the lift-and-project hierarchy for the combination of linear programming and linear Diophantine equations. The proof is based on combinatorial tensor theory.
The chain covering number of a poset with no infinite antichains
Published
• View Publication
• BIB
The chain covering number $\Cov(P)$ of a poset $P$ is the least number of chains needed to cover $P$. For a cardinal $ν$, we give a list of posets of cardinality and covering number $ν$ such that for every poset $P$ with no infinite antichain, $\Cov(P)\geq ν$ if and only if $P$ embeds a member of the list. This list has two elements if $ν$ is a successor cardinal, namely $[ν]^2$ and its dual, and four elements if $ν$ is a limit cardinal with $\cf(ν)$ weakly compact. For $ν= \aleph_1$, a list was given by the first author; his construction was extended by F. Dorais to every infinite successor cardinal $ν$.
Proper Conflict-free Coloring of Graphs with Large Maximum Degree
Published in SIAM J. Discrete Math. 38 (2024), 3004-3027
• View Publication
• BIB
A proper coloring of a graph is \emph{conflict-free} if, for every non-isolated vertex, some color is used exactly once on its neighborhood. Caro, Petruševski, and Škrekovski proved that every graph $G$ has a proper conflict-free coloring with at most $5Δ(G)/2$ colors and conjectured that $Δ(G)+1$ colors suffice for every connected graph $G$ with $Δ(G)\ge 3$. Our first main result is that even for list-coloring, $\left\lceil 1.6550826Δ(G)+\sqrt{Δ(G)}\right\rceil$ colors suffice for every graph $G$ with $Δ(G)\ge 10^{8}$; we also prove slightly weaker bounds for all graphs with $Δ(G)\ge 750$. These results follow from our more general framework on proper conflict-free list-coloring of a pair consisting of a graph $G$ and a "conflict" hypergraph ${\mathcal H}$. As another corollary of our results in this general framework, every graph has a proper $(\sqrt{30}+o(1))Δ(G)^{1.5}$-list-coloring such that every bi-chromatic component is a path on at most three vertices, where the number of colors is optimal up to a constant factor. Our proof uses a fairly new type of recursive counting argument called Rosenfeld counting, which is a variant of the Lovász Local Lemma or entropy compression.
We also prove an asymptotically optimal result for a fractional analogue of our general framework for proper conflict-free coloring for pairs of a graph and a conflict hypergraph. A corollary states that every graph $G$ has a fractional $(1+o(1))Δ(G)$-coloring such that every fractionally bi-chromatic component has at most two vertices. In particular, it implies that the fractional analogue of the conjecture of Caro et al.\ holds asymptotically in a strong sense.
Two stability theorems for $\mathcal{K}_{\ell + 1}^{r}$-saturated hypergraphs
Published
• View Publication
• BIB
An $\mathcal{F}$-saturated $r$-graph is a maximal $r$-graph not containing any member of $\mathcal{F}$ as a subgraph. Let $\mathcal{K}_{\ell + 1}^{r}$ be the collection of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that for some $\left(\ell+1\right)$-set $S$ every pair $\{u, v\} \subset S$ is covered by an edge in $F$. Our first result shows that for each $\ell \geq r \geq 2$ every $\mathcal{K}_{\ell+1}^{r}$-saturated $r$-graph on $n$ vertices with $t_{r}(n, \ell) - o(n^{r-1+1/\ell})$ edges contains a complete $\ell$-partite subgraph on $(1-o(1))n$ vertices, which extends a stability theorem for $K_{\ell+1}$-saturated graphs given by Popielarz, Sahasrabudhe and Snyder. We also show that the bound is best possible. Our second result is motivated by a celebrated theorem of Andrásfai, Erdős and Sós which states that for $\ell \geq 2$ every $K_{\ell+1}$-free graph $G$ on $n$ vertices with minimum degree $δ(G) > \frac{3\ell-4}{3\ell-1}n$ is $\ell$-partite. We give a hypergraph version of it. The \emph{minimum positive co-degree} of an $r$-graph $\mathcal{H}$, denoted by $δ_{r-1}^{+}(\mathcal{H})$, is the maximum $k$ such that if $S$ is an $(r-1)$-set contained in a edge of $\mathcal{H}$, then $S$ is contained in at least $k$ distinct edges of $\mathcal{H}$. Let $\ell\ge 3$ be an integer and $\mathcal{H}$ be a $\mathcal{K}_{\ell+1}^3$-saturated $3$-graph on $n$ vertices. We prove that if either $\ell \ge 4$ and $δ_{2}^{+}(\mathcal{H}) > \frac{3\ell-7}{3\ell-1}n$; or $\ell = 3$ and $δ_{2}^{+}(\mathcal{H}) > 2n/7$, then $\mathcal{H}$ is $\ell$-partite; and the bound is best possible. This is the first stability result on minimum positive co-degree for hypergraphs.
Avoiding Monotone Arithmetic Progressions in Permutations of Integers
Published
• View Publication
• BIB
A permutation of the integers avoiding monotone arithmetic progressions of length $6$ was constructed in (Geneson, 2018). We improve on this by constructing a permutation of the integers avoiding monotone arithmetic progressions of length $5$. We also construct permutations of the integers and the positive integers that improve on previous upper and lower density results. In (Davis et al. 1977) they constructed a doubly infinite permutation of the positive integers that avoids monotone arithmetic progressions of length $4$. We construct a doubly infinite permutation of the integers avoiding monotone arithmetic progressions of length $5$. A permutation of the positive integers that avoided monotone arithmetic progressions of length $4$ with odd common difference was constructed in (LeSaulnier and Vijay, 2011). We generalise this result and show that for each $k\geq 1$, there exists a permutation of the positive integers that avoids monotone arithmetic progressions of length $4$ with common difference not divisible by $2^k$. In addition, we specify the structure of permutations of $[1,n]$ that avoid length $3$ monotone arithmetic progressions mod $n$ as defined in (Davis et al. 1977) and provide an explicit construction for a multiplicative result on permutations that avoid length $k$ monotone arithmetic progressions mod $n$.
Note on Sombor index of connected graphs with given degree sequence
Published
• View Publication
• BIB
For a simple connected graph $G=(V,E)$, let $d(u)$ be the degree of the vertex $u$ of $G$. The general Sombor index of $G$ is defined as $$SO_α(G)=\sum_{uv\in E} \left[d(u)^2+d(v)^2\right]^α$$ where $SO(G)=SO_{0.5}(G)$ is the recently invented Sombor index. In this paper, we show that in the class of connected graphs with a fixed degree sequence (for which the minimum degree being equal to one), there exists a special extremal $BFS$-graph with minimum general Sombor index for $0<α<1$ (resp. maximum general Sombor index for either $α>1$ or $α<0$). Moreover, for any given tree, unicyclic, and bicyclic degree sequences with minimum degree 1, there exists a unique extremal $BFS$-graph with minimum general Sombor index for $0<α<1$ and maximum general Sombor index for either $α>1$ or $α<0$.
Marches aléatoires dans un cône et fonctions discrètes harmoniques
Random walks in cones have the double interest of being at the heart of many probabilistic problems and of being related to many mathematical fields, such as spectral theory, combinatorics, or discrete complex analysis. In this article, we present some key ideas associated with these processes: we will discuss their definition, the link with Brownian motion in cones, as well as some recent research topics such as the construction of discrete harmonic functions.
Minimum degree of minimal (\emph{n}-10)-factor-critical graphs
Published
• View Publication
• BIB
A graph $G$ of order $n$ is said to be $k$-factor-critical
for integers $1\leq k < n$, if the removal of any $k$
vertices results in a graph with a perfect matching.
A $k$-factor-critical graph $G$
is called minimal if for any edge $e\in E(G)$, $G-e$ is not $k$-factor-critical.
In 1998, O. Favaron and M. Shi conjectured that every minimal $k$-factor-critical graph
of order $n$ has the minimum degree $k+1$ and confirmed it for $k=1, n-2, n-4$ and $n-6$.
By using a novel approach, we have confirmed it for $k = n - 8$ in a previous paper.
Continuing this method, we prove the conjecture to be true for $k=n-10$ in this paper.
Extremely primitive groups and linear spaces
Published
• View Publication
• BIB
A finite non-regular primitive permutation group $G$ is extremely primitive if a point stabiliser acts primitively on each of its nontrivial orbits. Such groups have been studied for almost a century, finding various applications. The classification of extremely primitive groups was recently completed by Burness and Lee, who relied on an earlier classification of soluble extremely primitive groups by Mann, Praeger and Seress. Unfortunately, there is an inaccuracy in the latter classification. We correct this mistake, and also investigate regular linear spaces which admit groups of automorphisms that are extremely primitive on points.
Discretized sum-product type problems: Energy variants and Applications
In this paper, we provide estimates for the additive discretized energy of \[\sum_{c\in C} |\{(a_1, a_2, b_1, b_2)\in A^2\times B^2: |(a_1 +cb_1) - (a_2 + cb_2)|\le δ\}|_δ,\] that depend on non-concentration conditions of the sets. Our proof follows the Guth-Katz-Zahl approach (2021) with appropriate changes along the way clarifying and optimizing many of the steps. Several applications will also be discussed.
Graphs without a rainbow path of length 3
In 1959 Erdős and Gallai proved the asymptotically optimal bound for the maximum number of edges in graphs not containing a path of a fixed length. Here we study a rainbow version of their theorem, in which one considers $k \geq 1$ graphs on a common set of vertices not creating a path having edges from different graphs and asks for the maximum number of edges in each graph. We prove the asymptotically optimal bound in the case of a path on three edges and any $k \geq 1$.
Separating rank 3 graphs
Published
• View Publication
• BIB
We classify, up to some notoriously hard cases, the rank 3 graphs which fail to meet either the Delsarte or the Hoffman bound. As a consequence, we resolve the question of separation for the corresponding rank 3 primitive groups and give new examples of synchronising, but not $\mathbb{Q}\mathrm{I}$, groups of affine type.
On the two-distance embedding in real Euclidean space of coherent configuration of type (2,2;3)
Published
• View Publication
• BIB
Finding the maximum cardinality of a $2$-distance set in Euclidean space is a classical problem in geometry. Lisoněk in 1997 constructed a maximum $2$-distance set in $\mathbb R^8$ with $45$ points. That $2$-distance set constructed by Lisoněk has a distinguished structure of a coherent configuration of type $(2,2;3)$ and is embedded in two concentric spheres in $\mathbb R^8$. In this paper we study whether there exists any other similar embedding of a coherent configuration of type $(2,2;3)$ as a $2$-distance set in $\mathbb R^n$, without assuming any restriction on the size of the set. We prove that there exists no such example other than that of Lisoněk. The key ideas of our proof are as follows: (i) study the geometry of the embedding of the coherent configuration in Euclidean spaces and to drive diophantine equations coming from this embedding. (ii) solve diophantine equations with certain additional conditions of integrality of some parameters of the combinatorial structure by using the method of auxiliary equations.