Showing 20 papers (Total: 81914 papers, 47441 authors in database)
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.
Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number
A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to the first problems shown to be computationally hard when the theory of NP-completeness was being developed. A lot of research has been devoted to the complexity of Hamiltonian path and Hamiltonian cycle problems for special graph classes, yet only a handful of positive results are known. The complexities of both of these problems have been open even for $4K_1$-free graphs, i.e., graphs of independence number at most $3$. We answer this question in the general setting of graphs of bounded independence number.
We also consider a newly introduced problem called \emph{Hamiltonian-$\ell$-Linkage} which is related to the notions of a path cover and of a linkage in a graph. This problem asks if given $\ell$ pairs of vertices in an input graph can be connected by disjoint paths that altogether traverse all vertices of the graph. For $\ell=1$, Hamiltonian-1-Linkage asks for existence of a Hamiltonian path connecting a given pair of vertices. Our main result reads that for every pair of integers $k$ and $\ell$, the Hamiltonian-$\ell$-Linkage problem is polynomial time solvable for graphs of independence number not exceeding $k$.
Homological Shift Ideals: Macaulay2 Package
We introduce the Macaulay2 package HomologicalShiftIdeals. It allows to compute the homological shift ideals of a monomial ideal, and to check the homological shift properties, including having linear resolution, having linear quotients, or being polymatroidal. The theory behind these concepts is explained and the main features of the package are presented.
Sufficient conditions for fractional [a,b]-deleted graphs
Published
• View Publication
• BIB
Let $a$ and $b$ be two positive integers with $a\leq b$, and let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. Let $h:E(G)\rightarrow[0,1]$ be a function. If $a\leq\sum\limits_{e\in E_G(v)}{h(e)}\leq b$ holds for every $v\in V(G)$, then the subgraph of $G$ with vertex set $V(G)$ and edge set $F_h$, denoted by $G[F_h]$, is called a fractional $[a,b]$-factor of $G$ with indicator function $h$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$ and $F_h=\{e\in E(G):h(e)>0\}$. A graph $G$ is defined as a fractional $[a,b]$-deleted graph if for any $e\in E(G)$, $G-e$ contains a fractional $[a,b]$-factor. The size, spectral radius and signless Laplacian spectral radius of $G$ are denoted by $e(G)$, $ρ(G)$ and $q(G)$, respectively. In this paper, we establish a lower bound on the size, spectral radius and signless Laplacian spectral radius of a graph $G$ to guarantee that $G$ is a fractional $[a,b]$-deleted graph.
On the structure of a smallest counterexample and a new class verifying the 2-Decomposition Conjecture
Published
• View Publication
• BIB
The 2-Decomposition Conjecture, equivalent to the 3-Decomposition Conjecture stated in 2011 by Hoffmann-Ostenhof, claims that every connected graph $G$ with vertices of degree 2 and 3, for which $G \setminus E(C)$ is disconnected for every cycle $C$, admits a decomposition into a spanning tree and a matching. In this work we present two main results focused on developing a strategy to prove the 2-Decomposition Conjecture. One of them is a list of structural properties of a minimum counterexample for this conjecture. Among those properties, we prove that a minimum counterexample has girth at least 5 and its vertices of degree 2 are at distance at least 3. Motivated by the class of smallest counterexamples, we show that the 2-Decomposition Conjecture holds for graphs whose vertices of degree 3 induce a collection of cacti in which each vertex belongs to a cycle. The core of the proof of this result may possibly be used in an inductive proof of the 2-Decomposition Conjecture based on a parameter that relates the number of vertices of degree 2 and 3 in a minimum counterexample.
The Cohen-Macaulay type of edge-weighted r-path ideals
We describe combinatorially the Cohen-Macaulay type of edge-weighted r-path suspensions of edge-weighted graphs for an arbitrary positive integer r. The computation of the Cohen-Macaulay type of edge-weighted suspensions of edge-weighted graphs becomes a special case of r = 1.
Random Maps with Sociological Flavor
Published in J. Phys. A 57, 215201 (2024)
• View Publication
• BIB
A map of a set to itself admits a representation by a graph with vertices being the elements of the set and an edge between every vertex and its image. Communities defined as the maximal connected components are uni-cyclic. The distributions of the sizes of communities and lengths of cycles for unconstrained random maps is a classical subject. We call experts the images and followers the remaining vertexes, and we further define prophets, egocentrics, and introverts. We introduce and analyze classes of random maps with sociological flavor.
A central limit theorem for a card shuffling problem
Published
• View Publication
• BIB
Given a positive integer $n$, consider a random permutation $τ$ of the set $\{1,2,\ldots, n\}$. In $τ$, we look for sequences of consecutive integers that appear in adjacent positions: a maximal such a sequence is called a block. Each block in $τ$ is merged, and after all the merges, the elements of this new set are relabeled from $1$ to the current number of elements. We continue to randomly permute and merge this new set until only one integer is left. In this paper, we investigate the asymptotic behavior of $X_n$, the number of permutations needed for this process to end. In particular, we find an explicit asymptotic expression for each of $\mathbf{E}[X_n]$ and $\mathbf{Var} [X_n]$ as well as for every higher central moment, and show that $X_n$ satisfies a central limit theorem.
Proof of the Kresch-Tamvakis Conjecture
Published
• View Publication
• BIB
In this paper we resolve a conjecture of Kresch and Tamvakis. Our result is the following.
Theorem: For any positive integer $D$ and any integers $i,j$ $(0\leq i,j \leq D)$, the absolute value of the following hypergeometric series is at most 1: \begin{equation*}
{_4F_3} \left[ \begin{array}{c} -i, \; i+1, \; -j, \; j+1 \\ 1, \; D+2, \; -D \end{array} ; 1 \right].
\end{equation*}
To prove this theorem, we use the Biedenharn-Elliott identity, the theory of Leonard pairs, and the Perron-Frobenius theorem.
Ehrhart Polynomials of Generic Orthotopes
A generic orthotope is an orthogonal polytope whose tangent cones are described by read-once Boolean functions. The purpose of this note is to develop a theory ofEhrhart polynomials for integral generic orthotopes. The most remarkable part of this theory is a relation between the number of lattice points in an integral generic orthotope $P$ and the number of unit cubes in $P$ of various floral types. This formula is facilitated through the introduction of a set of "local polynomials" defined for every read-once Boolean function.
Some bounds on the Laplacian eigenvalues of token graphs
The $k$-token graph $F_k(G)$ of a graph $G$ on $n$ vertices is the graph whose vertices are the ${n\choose k}$ $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$.
It is known that the algebraic connectivity (or second Laplacian eigenvalue) of $F_k(G)$ equals the algebraic connectivity $α(G)$ of $G$.
In this paper, we give some bounds on the (Laplacian) eigenvalues of a $k$-token graph (including the algebraic connectivity) in terms of the $h$-token graph, with $h\leq k$. For instance, we prove that if $λ$ is an eigenvalue of $F_k(G)$, but not of $G$, then $$ λ\ge kα(G)-k+1. $$ As a consequence, we conclude that if $α(G)\geq k$, then $α(F_h(G))=α(G)$ for every $h\le k$.
A note on the Assmus--Mattson theorem for some ternary codes (a resume)
Published
• View Publication
• BIB
Let $C$ be a two and three-weight ternary code. Furthermore, we assume that $C_\ell$ are $t$-designs for all $\ell$ by the Assmus--Mattson theorem. We show that $t \leq 5$. As a corollary, we provide a new characterization of the (extended) ternary Golay code.