Showing 20 papers (Total: 82797 papers, 47838 authors in database)
A note on the connected game coloring number
Published
• View Publication
• BIB
We consider the \emph{connected game coloring number} of a graph, introduced by Charpentier et al. as a game theoretic graph parameter that measures the degeneracy of a graph with respect to a certain two-player game played with an uncooperative adversary. We consider the connected game coloring number of graphs of bounded treedepth and of $k$-trees. In particular, we show that there exists an outerplanar $2$-tree with connected game coloring number of $5$, which answers a question from [C. Charpentier, H. Hocquard, E. Sopena, and X. Zhu. A connected version of the graph coloring game. \textit{Discrete Appl. Math.}, 2020].
A note on the largest induced matching in graphs avoiding a fixed bipartite graph
We give a simple proof that every $n$-vertex graph $d$-regular graph that does not contain a fixed bipartite graph as a subgraph has an induced matching of size $Ω((n/d)(\log d))$.
Enumeration of standard barely set-valued tableaux of shifted shapes
Published
• View Publication
• BIB
A standard barely set-valued tableau of shape $λ$ is a filling of the Young diagram $λ$ with integers $1,2,\dots,|λ|+1$ such that the integers are increasing in each row and column, and every cell contains one integer except one cell that contains two integers. Counting standard barely set-valued tableaux is closely related to the coincidental down-degree expectations (CDE) of lower intervals in Young's lattice. Using $q$-integral techniques we give a formula for the number of standard barely set-valued tableaux of arbitrary shifted shape. We show how it can be used to recover two formulas, originally conjectured by Reiner, Tenner and Yong, and proved by Hopkins, for numbers of standard barely set valued tableaux of particular shifted-balanced shapes. We also prove a conjecture of Reiner, Tenner and Yong on the CDE property of the shifted shape $(n,n-2,n-4,\dots,n-2k+2)$. Finally, in the Appendix we raise a conjecture on an $\mathsf a;q$-analogue of the down-degree expectation with respect to the uniform distribution for a specific class of lower order ideals of Young's lattice.
On distance matrices of wheel graphs with odd number of vertices
Published
• View Publication
• BIB
Let $W_n$ denote the wheel graph having $n$-vertices. If $i$ and $j$ are any two vertices of $W_n$, define \[d_{ij}:= \begin{cases} 0 & \mbox{if}~i=j \\ 1 & \mbox{if}~i~ \mbox{and} ~j~ \mbox{are adjacent} \\ 2 & \mbox{else}. \end{cases}\] Let $D$ be the $n \times n$ matrix with $(i,j)^{\rm th}$ entry equal to $d_{ij}$. The matrix $D$ is called the distance matrix of $W_n$. Suppose $n \geq 5$ is an odd integer. In this paper, we deduce a formula to compute the Moore-Penrose inverse of $D$. More precisely, we obtain an $n\times n$ matrix $\widetilde{L}$ and a rank one matrix $ww'$ such that \[D^\dagger = -\frac{1}{2} \widetilde{L}+\frac{4}{n-1}ww'.\] Here, $\widetilde{L}$ is positive semidefinite, ${\rm rank}(\widetilde{L})=n-2$ and all row sums are equal to zero.
A symmetric Bloch-Okounkov theorem
Published in Res. Math. Sci. 8, 19 (2021)
• View Publication
• BIB
The algebra of so-called shifted symmetric functions on partitions has the property that for all elements a certain generating series, called the $q$-bracket, is a quasimodular form. More generally, if a graded algebra $A$ of functions on partitions has the property that the $q$-bracket of every element is a quasimodular form of the same weight, we call $A$ a quasimodular algebra. We introduce a new quasimodular algebra consisting of symmetric polynomials in the part sizes and multiplicities.
C-trees and a coherent presentation for the plactic monoid of type C
In this article we introduce the $\mathbb{N}-$decorated plactic monoid of type $C$, denoted $Pl^\mathbb{N}(C_n)$, via a finite convergent presentation $ACol$, with generating set $ACol(C_n)$ consisting of admissible columns, and an element $ε$. By Squier's coherent completion theorem, this presentation is extended into a coherent presentation by identifying a family of generating confluences, i.e. generating $3-$cells. Here the generating $3-$cells are critical branchings on words of length $3$. We adapt the notions of crystal structure to $ACol(C_n)^\ast$ , and show that the shape of $3-$cells is preserved by the action of Kashiwara operators. Thus we reduce the study of the coherent presentation to only describing the generating $3-$cells whose source is a word of highest weight. We then introduce combinatorial objects called $C-$trees which parameterize the words of highest weight in $ACol(C_n)^\ast$. The $C-$trees allow for simplifying calculations with the insertion algorithm in type $C$, as introduced in by Lecouvey, and we prove that the generating $3-$cells in $ACol$ are of shape at most $(4,3)$. As a consequence, we show that the column presentation of $Pl(C_n)$, as introduced by Hage, has generating $3-$cells of shape at most $(4,3)$. This contrasts the situation in type $A$, where the $3-$cells in the column presentation of $Pl(A_n)$ are of shape at most $(3,3)$.
Multiple ergodic averages along functions from a Hardy field: convergence, recurrence and combinatorial applications
Published
• View Publication
• BIB
We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in [Fra10; Fra16] and obtain combinatorial applications which contain, as rather special cases, several previously known (polynomial and non-polynomial) extensions of Szemeredi's theorem on arithmetic progressions [BL96; BLL08; FW09; Fra10; BMR17]. One of the novel features of our results, which is not present in previous work, is that they allow for a mixture of polynomials and non-polynomial functions. As an illustration, assume $f_i(t)=a_{i,1}t^{c_{i,1}}+\cdots+a_{i,d}t^{c_{i,d}}$ for $c_{i,j}>0$ and $a_{i,j}\in\mathbb{R}$. Then
$\bullet$ for any measure preserving system $(X,\mathcal{B},μ,T)$ and $h_1,\dots,h_k\in L^\infty(X)$, the limit $$\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T^{[f_1(n)]}h_1\cdots T^{[f_k(n)]}h_k$$ exists in $L^2$;
$\bullet$ for any $E\subset \mathbb{N}$ with $\overline{\mathrm{d}}(E)>0$ there are $a,n\in\mathbb{N}$ such that $\{a,\, a+[f_1(n)],\ldots,a+[f_k(n)]\}\subset E$.
We also show that if $f_1,\dots,f_k$ belong to a Hardy field, have polynomial growth, and are such that no linear combination of them is a polynomial, then for any measure preserving system $(X,{\mathcal B},μ,T)$ and any $A\in{\mathcal B}$, $$\limsup_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nμ\Big(A\cap T^{-[ f_1(n) ]}A\cap\ldots\cap T^{-[f_k(n)]}A\Big)\,\geq\,μ(A)^{k+1}.$$
Line Completion Number of Grid Graph $P_n \times P_m$
Published in Communications in Combinatorics and Optimization, Vol. 6, No. 2, 2021 pp.299-313
• View Publication
• BIB
The concept of super line graph was introduced in the year 1995 by Bagga, Beineke and Varma. Given a graph with at least $r$ edges, the super line graph of index $r$, $L_r(G)$, has as its vertices the sets of $r$ edges of $G$, with two adjacent if there is an edge in one set adjacent to an edge in the other set. The line completion number $lc(G)$ of a graph $G$ is the least positive integer $r$ for which $L_r(G)$ is a complete graph. In this paper, we find the line completion number of grid graph $P_n \times P_m$ for various cases of $n$ and $m$.
Clique-Width: Harnessing the Power of Atoms
Published
• View Publication
• BIB
Many NP-complete graph problems are polynomial-time solvable on graph classes of bounded clique-width. Several of these problems are polynomial-time solvable on a hereditary graph class ${\cal G}$ if they are so on the atoms (graphs with no clique cut-set) of ${\cal G}$. Hence, we initiate a systematic study into boundedness of clique-width of atoms of hereditary graph classes. A graph $G$ is $H$-free if $H$ is not an induced subgraph of $G$, and it is $(H_1,H_2)$-free if it is both $H_1$-free and $H_2$-free. A class of $H$-free graphs has bounded clique-width if and only if its atoms have this property. This is no longer true for $(H_1,H_2)$-free graphs, as evidenced by one known example. We prove the existence of another such pair $(H_1,H_2)$ and classify the boundedness of clique-width on $(H_1,H_2)$-free atoms for all but 18 cases.
Characterizations of Some Parity Signed Graphs
We describe parity labelings of signed graphs; equivalently, cuts of the underlying graph that have nearly equal sides. We characterize the balanced signed graphs which are parity signed graphs. We give structural characterizations of all parity signed stars, bistars, cycles, paths and complete bipartite graphs. The rna number of a graph is the smallest cut size that has nearly equal sides; we find it for a few classes of parity signed graphs.
Vector TSP: A Traveling Salesperson Problem with Racetrack-like Acceleration Constraints
Published
• View Publication
• BIB
We study a new version of the Traveling Salesperson Problem, called \VectorTSP, where the traveler is subject to discrete acceleration constraints, as defined in the paper-and-pencil game Racetrack (also known as Vector Racer). In this model, the degrees of freedom at a certain point in time depends on the current velocity, and the speed is not limited.
The paper introduces this problem and initiates its study, discussing also the main differences with existing versions of TSP. Not surprisingly, the problem turns out to be NP-hard. A key feature of \VectorTSP is that it deals with acceleration in a discrete, combinatorial way, making the problem more amenable to algorithmic investigation. The problem involves two layers of trajectory planning: (1) the order in which cities are visited, and (2) the physical trajectory realizing such a visit, both interacting with each other. This interaction is formalized as an interactive protocol between a high-level tour algorithm and a trajectory oracle, the former calling the latter repeatedly. We present an exact implementation of the trajectory oracle, adapting the A* algorithm for paths over multiple checkpoints whose ordering is \emph{given} (this algorithm being possibly of independent interest). To motivate the problem further, we perform experiments showing that the naive approach consisting of solving the instance as an \EuclideanTSP first, then optimizing the trajectory of the resulting tour, is typically suboptimal and outperformed by simple (but dedicated) heuristics.
$H$-kernels in $H$-colored digraphs without $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{C_{3}}$
Let $H$ be a digraph possibly with loops and $D$ a digraph without loops with a coloring of its arcs $c:A(D) \rightarrow V(H)$ ($D$ is said to be an $H$-colored digraph). A directed path $W$ in $D$ is said to be an $H$-path if and only if the consecutive colors encountered on $W$ form a directed walk in $H$. A subset $N$ of vertices of $D$ is said to be an $H$-kernel if (1) for every pair of different vertices in $N$ there is no $H$-path between them and (2) for every vertex $u$ in V($D$)$\setminus$$N$ there exists an $H$-path in $D$ from $u$ to $N$. Under this definition an $H$-kernel is a kernel whenever $A(H)=\emptyset$.
The color-class digraph $\mathscr{C}_C$($D$) of $D$ is the digraph whose vertices are the colors represented in the arcs of $D$ and ($i$,$j$) $\in$ $A$($\mathscr{C}_C$($D$)) if and only if there exist two arcs, namely ($u$,$v$) and ($v$,$w$) in $D$, such that ($u$,$v$) has color $i$ and ($v$,$w$) has color $j$. Since not every $H$-colored digraph has an $H$-kernel and $V(\mathscr{C}_C(D))= V(H)$, the natural question is: what structural properties of $\mathscr{C}_C(D)$, with respect to the $H$-coloring, imply that $D$ has an $H$-kernel?
In this paper we investigate the problem of the existence of an $H$-kernel by means of a partition $ξ$ of $V(H)$ and a partition \{$ξ_1$, $ξ_2$\} of $ξ$. We establish conditions on the directed cycles and the directed paths of the digraph $D$, with respect to the partition \{$ξ_1$, $ξ_2$\}. In particular we pay attention to some subestructures produced by the partitions $ξ$ and \{$ξ_1$, $ξ_2$\}, namely $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{C_{3}}$ and $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{P_{3}}$.
We give some examples which show that each hypothesis in the main result is tight.
A Strengthening of the Erdős-Szekeres Theorem
Published
• View Publication
• BIB
The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We characterize the subgraphs of $K_{rs+1}$ with this coloring property as follows: they are exactly the subgraphs that contain all the edges of a graph we call the circus tent graph $CT(r,s)$.
Additionally, we use similar proof techniques to improve upon some of the bounds on the online ordered size Ramsey number of a path given by Pérez-Giménez, Pralat, and West.
Distinguishing Generalized Mycielskian Graphs
A graph $G$ is $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $\operatorname{Dist}(G)$. The Mycielskian $μ(G)$ of a graph $G$ is constructed by adding a shadow vertex $u_i$ for each vertex $v_i$ of $G$ and one additional vertex $w$ and adding edges so that $N(u_i)~=~N_G(v_i)~\cup~\{w\}$. The generalized Mycielskian $μ_t(G)$ is a Mycielskian graph with $t$ layers of shadow vertices, each with edges to layers above and below. This paper examines the distinguishing number of the traditional and generalized Mycielskian graphs. Notably, if $G~\neq ~K_1,~K_2$ and the number of isolated vertices in $μ_t(G)$ is at most $\operatorname{Dist}(G)$, then $\operatorname{Dist}(μ_t(G)) \le \operatorname{Dist}(G)$. This result proves and exceeds a conjecture of Alikhani and Soltani.
Hamilton Cycles in the Semi-random Graph Process
Published
• View Publication
• BIB
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the problem of constructing a Hamilton cycle in as few rounds as possible. In particular, we present a novel strategy for the player which achieves a Hamiltonian cycle in $(2+4e^{-2}+0.07+o(1)) \, n < 2.61135 \, n$ rounds, assuming that a specific non-convex optimization problem has a negative solution (a premise we numerically support). Assuming that this technical condition holds, this improves upon the previously best known upper bound of $3 \, n$ rounds. We also show that the previously best lower bound of $(\ln 2 + \ln (1+\ln 2) + o(1)) \, n$ is not tight.
Gallai-Ramsey numbers for graphs with chromatic number three
Published
• View Publication
• BIB
Given a graph $H$ and an integer $k\ge1$, the Gallai-Ramsey number $GR_k(H)$ is defined to be the minimum integer $n$ such that every $k$-edge coloring of the complete graph $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $H$. In this paper, we study Gallai-Ramsey numbers for graphs with chromatic number three such as $\widehat{K}_m$ for $m\ge2$, where $\widehat{K}_m$ is a kipas with $m+1$ vertices obtained from the join of $K_1$ and $P_m$, and a class of graphs with five vertices, denoted by $\mathscr{H}$. We first study the general lower bound of such graphs and propose a conjecture for the exact value of $GR_k(\widehat{K}_m)$. Then we give a unified proof to determine the Gallai-Ramsey numbers for many graphs in $\mathscr{H}$ and obtain the exact value of $GR_k(\widehat{K}_4)$ for $k\ge1$. Our outcomes not only indicate that the conjecture on $GR_k(\widehat{K}_m)$ is true for $m\le4$, but also imply several results on $GR_k(H)$ for some $H\in \mathscr{H}$ which are proved individually in different papers.
Computing linear extensions for polynomial posets subject to algebraic constraints
Published
• View Publication
• BIB
In this paper we consider the classical problem of computing linear extensions of a given poset which is well known to be a difficult problem. However, in our setting the elements of the poset are multivariate polynomials, and only a small "admissible" subset of these linear extensions, determined implicitly by the evaluation map, are of interest. This seemingly novel problem arises in the study of global dynamics of gene regulatory networks in which case the poset is a Boolean lattice. We provide an algorithm for solving this problem using linear programming for arbitrary partial orders of linear polynomials.
This algorithm exploits this additional algebraic structure inherited from the polynomials to efficiently compute the admissible linear extensions. The biologically relevant problem involves multilinear polynomials and we provide a construction for embedding it into an instance of the linear problem.
On Rall's $1/2$-conjecture on the domination game
The $1/2$-conjecture on the domination game asserts that if $G$ is a traceable graph, then the game domination number $γ_g(G)$ of $G$ is at most $\left\lceil \frac{n(G)}{2} \right\rceil$. A traceable graph is a $1/2$-graph if $γ_g(G) = \left\lceil \frac{n(G)}{2} \right\rceil$ holds. It is proved that the so-called hatted cycles are $1/2$-graphs and that unicyclic graphs fulfill the $1/2$-conjecture. Several additional families of graphs that support the conjecture are determined and computer experiments related to the conjecture described.
Generalized Ordered Set Partitions
In this paper, we consider ordered set partitions obtained by imposing conditions on the size of the lists, and such that the first $r$ elements are in distinct blocks, respectively. We introduce a generalization of the Lah numbers. For this new combinatorial sequence we derive its exponential generating function, some recurrence relations, and combinatorial identities. We prove and present results using combinatorial arguments, generating functions, the symbolic method and Riordan arrays. For some specific cases we provide a combinatorial interpretation for the inverse matrix of the generalized Lah numbers by means of two families of posets.
The layer number of $α$-evenly distributed point sets
Published
• View Publication
• BIB
For a finite point set in $\mathbb{R}^d$, we consider a peeling process where the vertices of the convex hull are removed at each step. The layer number $L(X)$ of a given point set $X$ is defined as the number of steps of the peeling process in order to delete all points in $X$. It is known that if $X$ is a set of random points in $\mathbb{R}^d$, then the expectation of $L(X)$ is $Θ(|X|^{2/(d+1)})$, and recently it was shown that if $X$ is a point set of the square grid on the plane, then $L(X)=Θ(|X|^{2/3})$.
In this paper, we investigate the layer number of $α$-evenly distributed point sets for $α>1$; these point sets share the regularity aspect of random point sets but in a more general setting. The set of lattice points is also an $α$-evenly distributed point set for some $α>1$. We find an upper bound of $O(|X|^{3/4})$ for the layer number of an $α$-evenly distributed point set $X$ in a unit disk on the plane for some $α>1$, and provide an explicit construction that shows the growth rate of this upper bound cannot be improved. In addition, we give an upper bound of $O(|X|^{\frac{d+1}{2d}})$ for the layer number of an $α$-evenly distributed point set $X$ in a unit ball in $\mathbb{R}^d$ for some $α>1$ and $d\geq 3$.