Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Maximum cliques in a graph without disjoint given subgraph
Published
• View Publication
• BIB
The generalized Turán number $\ex(n,K_s,F)$ denotes the maximum number of copies of $K_s$ in an $n$-vertex $F$-free graph. Let $kF$ denote $k$ disjoint copies of $F$. Gerbner, Methuku and Vizer [DM, 2019, 3130-3141] gave a lower bound for $\ex(n,K_3,2C_5)$ and obtained the magnitude of $\ex(n, K_s, kK_r)$. In this paper, we determine the exact value of $\ex(n,K_3,2C_5)$ and described the unique extremal graph for large $n$. Moreover, we also determine the exact value of $\ex(n,K_r,(k+1)K_r)$ which generalizes some known results.
Proving the existence of Euclidean knight's tours on $n \times n \times \cdots \times n$ chessboards for $n < 4$
Published in Notes on Number Theory and Discrete Mathematics, 30(1):20-33, 2024
• View Publication
• BIB
The Knight's Tour problem consists of finding a Hamiltonian path for the knight on a given set of points so that the knight can visit exactly once every vertex of the mentioned set. In the present paper, we provide a $5$-dimensional alternative to the well-known statement that it is not ever possible for a knight to visit once every vertex of $C(3,k) := \{0,1,2\}^k$ by performing a sequence of $3^k-1$ jumps of standard length, since the most accurate answer to the original question actually depends on which mathematical assumptions we are making at the beginning of the game, when we decide to extend a planar chess piece to the third dimension and above. Our counterintuitive outcome follows from the observation that we can alternatively define a $2$D knight as a piece that moves from one square to another on the chessboard by covering a fixed Euclidean distance of $\sqrt{5}$ so that also the statement of Theorem~3 in [Erde, J., Gol{é}nia, B., \& Gol{é}nia, S. (2012), The closed knight tour problem in higher dimensions, The Electronic Journal of Combinatorics, 19(4), \#P9] does not hold anymore for such a Euclidean knight, as long as a $2 \times 2 \times \cdots \times 2$ chessboard with at least $2^6$ cells is given. Moreover, we show a classical closed knight's tour on $C(3,4)-\{(1,1,1,1)\}$ whose arrival is at a distance of $2$ from $(1,1,1,1)$, and we finally construct closed Euclidean knight's tours on $\{0,1\}^k$ for each integer $k \geq 6$.
On the Adjacency and Seidel Spectra of Hypergraphs
A hypergraph generalizes the concept of an ordinary graph. In an ordinary graph, edges connect pairs of vertices, whereas in a hypergraph, hyperedges can connect multiple vertices at a time. In this paper, we obtain a relationship between the characteristic polynomial of Seidel and adjacency matrices of hypergraph and also compute all the eigenvalues of some k-uniform hypergraphs. Moreover, we estimate the adjacency and Seidel spectra of the uniform double hyperstar and sunflower hypergraph. In addition to that, we determine the Seidel spectrum and main Seidel eigenvalues of hyperstar.
Exponentially many graphs are determined by their spectrum
Published
• View Publication
• BIB
As a discrete analogue of Kac's celebrated question on "hearing the shape of a drum", and towards a practical graph isomorphism test, it is of interest to understand which graphs are determined up to isomorphism by their spectrum (of their adjacency matrix). A striking conjecture in this area, due to van Dam and Haemers, is that "almost all graphs are determined by their spectrum", meaning that the fraction of unlabelled $n$-vertex graphs which are determined by their spectrum converges to $1$ as $n\to\infty$.
In this paper we make a step towards this conjecture, showing that there are exponentially many $n$-vertex graphs which are determined by their spectrum. This improves on previous bounds (of shape $e^{c\sqrt{n}}$). We also propose a number of further directions of research.
The Erdős-Ko-Rado Theorem for non-quasiprimitive groups of degree $3p$
The \emph{intersection density} of a finite transitive group $G\leq \operatorname{Sym}(Ω)$ is the rational number $ρ(G)$ given by the ratio between the maximum size of a subset of $G$ in which any two permutations agree on some elements of $Ω$ and the order of a point stabilizer of $G$. In 2022, Meagher asked whether $ρ(G)\in \{1,\frac{3}{2},3\}$ for any transitive group $G$ of degree $3p$, where $p\geq 5$ is an odd prime. For the primitive case, it was proved in [\emph{J. Combin. Ser. A}, 194:105707, 2023] that the intersection density is $1$.
It is shown in this paper that the answer to this question is affirmative for non-quasiprimitive groups, unless possibly when $p = q+1$ is a Fermat prime and $Ω$ admits a unique $G$-invariant partition $\mathcal{B}$ such that the induced action $\overline{G}_\mathcal{B}$ of $G$ on $\mathcal{B}$ is an almost simple group containing $\operatorname{PSL}_{2}(q)$.
Convex Embeddability and Knot Theory
Published in Transactions of the American Mathematical Society 378 (2025), 2745-2796
• View Publication
• BIB
We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of circular orders. These results are then applied to the study of arcs and knots, establishing combinatorial properties and lower bounds (in terms of Borel reducibility) for the complexity of some natural relations between these geometrical objects.
Coloring and density theorems for configurations of a given volume
This is a treatise on finite point configurations spanning a fixed volume to be found in a single color-class of an arbitrary finite (measurable) coloring of the Euclidean space $\mathbb{R}^n$, or in a single large measurable subset $A\subseteq\mathbb{R}^n$. More specifically, we study vertex-sets of simplices, rectangular boxes, and parallelotopes, attempting to make progress on several open problems posed in the 1970s and the 1980s. As one of the highlights, we give a negative answer to a question of Erdős and Graham, by coloring the Euclidean plane $\mathbb{R}^2$ in $25$ colors without creating monochromatic rectangles of unit area. More generally, we construct a finite coloring of the Euclidean space $\mathbb{R}^n$ such that no color-class contains the $2^m$ vertices of any (possibly rotated) $m$-dimensional rectangular box of volume $1$. A positive result is still possible if rectangular boxes of merely sufficiently large volumes are sought in a single color-class of a finite measurable coloring of $\mathbb{R}^n$, and we establish it under an additional assumption $n\geq m+1$. Also, motivated by a question of Graham on reasonable bounds in his result on monochromatic axes-aligned right-angled $m$-dimensional simplices, we establish its measurable coloring and density variants with polylogarithmic bounds, again in dimensions $n\geq m+1$. Next, we generalize a result of Erdős and Mauldin, by constructing an infinite measure set $A\subseteq\mathbb{R}^n$ such that every $n$-parallelotope with vertices in $A$ has volume strictly smaller than $1$. Finally, some results complementing the literature on isometric embeddings of hypercube graphs and on the hyperbolic analogue of the Hadwiger-Nelson problem also follow as byproducts of our approaches.
Strong greedoid structure of $r$-removed $P$-orderings
Published
• View Publication
• BIB
Inspired by the notion of \emph{$r$-removed $P$-orderings} introduced in the setting of Dedekind domains by Bhargava \cite{Bha09-1} we study its generalization in the framework of arbitrary (generalised) ultrametric spaces. We show that sets of maximal "$r$-removed perimeter" can be constructed by a greedy algorithm and form a strong greedoid. This gives a simplified proof of several theorems in \cite{Bha09-1} and also generalises the results of \cite{GP21} which considered the case $r=0$ corresponding, in turn, to simple $P$-orderings of \cite{Bha97}.
Graph Reconstruction from Connected Triples
Published
• View Publication
• BIB
The problem of graph reconstruction has been studied in its various forms over the years. In particular, the Reconstruction Conjecture, proposed by Ulam and Kelly in 1942, has attracted much research attention and yet remains one of the foremost unsolved problems in graph theory. Recently, Bastide, Cook, Erickson, Groenland, Kreveld, Mannens, and Vermeulen proposed a new model of partial information, where we are given the set of connected triples T_3, which is the set of 3-subsets of the vertex set that induce connected subgraphs. They proved that reconstruction is unique within the class of triangle-free graphs, 2-connected outerplanar graphs, and maximal planar graphs. They also showed that almost every graph can be uniquely reconstructed from their connected triples. However, little is known about other classes of non-triangle-free graphs within which reconstruction can occur uniquely, nor do we understand what kind of graphs can be uniquely reconstructed from their connected triples without assuming anything about the classes of graphs to which they belong.
The main result of this paper is a complete characterization of all graphs that can be uniquely reconstructed from their connected triples T_3. We also show that reconstruction from T_3 is unique within the class of regular planar graphs, 5-connected planar graphs, certain strongly regular graphs, and complete multi-partite graphs, whereas it is not unique for the class of k-connected planar graphs with k less or equal to 4, Eulerian graphs, or Hamiltonian graphs.
Plactic-like monoids arising from meets and joins of stalactic and taiga congruences
Published
• View Publication
• BIB
We study the four plactic-like monoids that arise by taking the meets and joins of stalactic and taiga congruences. We obtain the combinatorial objects associated with the meet monoids, establishing Robinson-Schensted-like correspondences and giving extraction and iterative insertion algorithms for these objects. We then obtain results on the sizes of classes of words equal in plactic-like monoids, show that some of these monoids are syntactic, and characterise their equational theories.
On the Minimum Distance, Minimum Weight Codewords, and the Dimension of Projective Reed-Muller Codes
Published
• View Publication
• BIB
We give an alternative proof of the formula for the minimum distance of a projective Reed-Muller code of an arbitrary order. It leads to a complete characterization of the minimum weight codewords of a projective Reed-Muller code. This is then used to determine the number of minimum weight codewords of a projective Reed-Muller code. Various formulas for the dimension of a projective Reed-Muller code, and their equivalences are also discussed.
The dimension of the feasible region of pattern densities
Published in Math. Proc. Camb. Phil. Soc. 178 (2025) 1-14
• View Publication
• BIB
A classical result of Erdős, Lovász and Spencer from the late 1970s asserts that the dimension of the feasible region of densities of graphs with at most k vertices in large graphs is equal to the number of non-trivial connected graphs with at most k vertices. Indecomposable permutations play the role of connected graphs in the realm of permutations, and Glebov et al. showed that pattern densities of indecomposable permutations are independent, i.e., the dimension of the feasible region of densities of permutation patterns of size at most k is at least the number of non-trivial indecomposable permutations of size at most k. However, this lower bound is not tight already for k=3. We prove that the dimension of the feasible region of densities of permutation patterns of size at most k is equal to the number of non-trivial Lyndon permutations of size at most k. The proof exploits an interplay between algebra and combinatorics inherent to the study of Lyndon words.
On generalized Turán problems with bounded matching number
Given a graph $H$ and a family of graphs $\mathcal{F}$, the generalized Turán number $\mathrm{ex}(n,H,\mathcal{F})$ is the maximum number of copies of $H$ in an $n$-vertex graphs that do not contain any member of $\mathcal{F}$ as a subgraph. Recently there has been interest in studying the case $\mathcal{F}=\{F,M_{s+1}\}$ for arbitrary $F$ and $H=K_r$. We extend these investigations to the case $H$ is arbitrary as well.
Breaking Cycles, the Odd Versus the Even
Published
• View Publication
• BIB
In an award-winning expository article, V. Pozdnyakov and J.M. Steele gave a beautiful demonstration of the ramifications of a basic bijection for permutations. The aim of this note is to connect this correspondence to a seemingly unrelated problem concerning odd cycles and even cycles, arising in the combinatorial study of the Cayley continuants by E. Munarini and D. Torri. In extreme cases, one encounters two special classes of permutations of $2n$ elements with the same cardinality. A bijection of this appealing relation has been found by E. Sayag. A combinatorial study of permutations with only odd cycles has been carried out by M. Bóna, A. Mclennan and D. White. We find an intermediate structure which leads to a linkage between these two antipodal structures. A recursive setting reveals that everything boils down to only one trick -- breaking the cycles.
Maker-Breaker Rado games for equations with radicals
Published in Integers 2024
• Search Publication
We study two-player positional games where Maker and Breaker take turns to select a previously unoccupied number in $\{1,2,\ldots,n\}$. Maker wins if the numbers selected by Maker contain a solution to the equation \[ x_1^{1/\ell}+\cdots+x_k^{1/\ell}=y^{1/\ell} \] where $k$ and $\ell$ are integers with $k\geq2$ and $\ell\neq0$, and Breaker wins if they can stop Maker. Let $f(k,\ell)$ be the smallest positive integer $n$ such that Maker has a winning strategy when $x_1,\ldots,x_k$ are not necessarily distinct, and let $f^*(k,\ell)$ be the smallest positive integer $n$ such that Maker has a winning strategy when $x_1,\ldots,x_k$ are distinct.
When $\ell\geq1$, we prove that, for all $k\geq2$, $f(k,\ell)=(k+2)^\ell$ and $f^*(k,\ell)=(k^2+3)^\ell$; when $\ell\leq-1$, we prove that $f(k,\ell)=[k+Θ_k(1)]^{-\ell}$ and $f^*(k,\ell)=[\exp(O_k(k\log k))]^{-\ell}$. Our proofs use elementary combinatorial arguments as well as results from number theory and arithmetic Ramsey theory.
A renewal approach to prove the Four Color Theorem unplugged, Part III: Diamond routes, canal lines and $Σ$-adjustments
This is the last part of three episodes to demonstrate a renewal approach for proving the Four Color Theorem without checking by a computer. The first and the second episodes have subtitles: ``RGB-tilings on maximal planar graphs'' and ``R/G/B Kempe chains in an extremum non-4-colorable MPG,'' where R/G/B stand for red, green and blue colors to paint on edges and an MPG stands for a maximal planar graph. We focus on an extremum non-4-colorable MPG $EP$ in the whole paper. In this part we introduce three tools based on RGB-tilings. They are diamond routes, normal and generalized canal lines or rings and $Σ$-adjustments. Using these tools, we show a major result of this paper: no four vertices of degree 5 form a diamond in any extremum $EP$.
A renewal approach to prove the Four Color Theorem unplugged, Part II: R/G/B Kempe chains in an extremum non-4-colorable MPG
This is the second part of three episodes to demonstrate a renewal approach for proving the Four Color Theorem without checking by a computer. The first and the third episodes have subtitles: ``RGB-tilings on maximal planar graphs'' and ``Diamond routes, canal lines and $Σ$-adjustments,'' where R/G/B stand for red, green and blue colors to paint on edges and an MPG stands for a maximal planar graph. We focus on an extremum non-4-colorable MPG $EP$ in the whole paper. In this second part, we refresh the false proof on $EP$ by Kempe for the Four Color Theorem. And then using single color tilings or RGB-tilings on $EP$, we offer a renewal point of view through R/G/B Kempe chains to enhance our coloring skill, either in vertex-colorings or in edge-colorings. We discover many fundamental theorems associated with R-/RGB-tilings and 4-colorability; an adventure study on One Piece, which is either an MPG or an $n$-semi-MPG; many if-and-only-if statements for $EP-\{e\}$ by using Type A or Type B $e$-diamond and Kempe chains. This work started on May 31, 2018 and was first announced by the author~\cite{Liu2020} on Jan.\ 22, 2020, when the pandemic just occurred.
Simon Conjecture and the $\text{v}$-number of monomial ideals
Published
• View Publication
• BIB
Let $I\subset S$ be a graded ideal of a standard graded polynomial ring $S$ with coefficients in a field $K$, and let $\text{v}(I)$ be the $\text{v}$-number of $I$. In previous work, we showed that for any graded ideal $I\subset S$ generated in a single degree, then $\text{v}(I^k)=α(I)k+b$, for all $k\gg0$, where $α(I)$ is the initial degree of $I$ and $b$ is a suitable integer. In the present paper, using polarization, we extend Simon conjecture to any monomial ideal. As a consequence, if Simon conjecture holds, and all powers of $I$ have linear quotients, then $b\in\{-1,0\}$. This fact suggest that if $I$ is an equigenerated monomial ideal with linear powers, then $\text{v}(I^k)=α(I)k-1$, for all $k\ge1$. We verify this conjecture for monomial ideals with linear powers having $\text{depth}S/I=0$, edge ideals with linear resolution, polymatroidal ideals, and Hibi ideals.
Matroid, Ideal, Ultrafilter, Tangle, and so on: Reconsideration of Obstruction to linear decomposition
Published in International Journal of Mathematics Trends and Technology (IJMTT), vol. 70, no. 7, pp. 18-29, 2024
• View Publication
• BIB
The investigation of width parameters in both graph and algebraic contexts has attracted considerable interest. Among these parameters, the linear branch width has emerged as a crucial measure. In this concise paper, we explore the concept of linear decomposition, specifically focusing on the single filter in a connectivity system. Additionally, we examine the relevance of matroids, antimatroids, and greedoids in the context of connectivity systems. Our primary objective in this study is to shed light on the impediments to linear decomposition from multiple perspectives.
Comparing generalized Gorenstein properties in semi-standard graded rings
Published
• View Publication
• BIB
Semi-standard graded rings are a generalized notion of standard graded rings. In this paper, we compare generalized notions of the Gorenstein property in semi-standard graded rings. We discuss the commonalities between standard graded rings and semi-standard graded rings, as well as elucidate distinctive phenomena present in semi-standard graded rings that are absent in standard graded rings.