Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Odd coloring of $k$-trees
Published
• View Publication
• BIB
An odd coloring of a graph is a proper coloring such that every non-isolated vertex has a color that appears at an odd number of its neighbors. This notion was introduced by Petrševski and Škrekovski in 2022. In this paper, we focus on odd coloring of $k$-trees, where a $k$-tree is a graph obtained from the complete graph of order $k+1$ by recursively adding a new vertex that is joined to a clique of order $k$ in the former graph. It follows from a result of Cranston, Lafferty, and Song in 2023 that every $k$-tree is odd $(2k+1)$-colorable. We improve this bound to show that every $k$-tree is odd $\left(k+2\left\lfloor\log_2 k\right\rfloor+3\right)$-colorable. Furthermore, when $k=2,3$, we show the tight bound that every 2-tree is odd $4$-colorable and that every 3-tree is odd $5$-colorable.
Unavoidable subgraphs in digraphs with large out-degrees
Published
• View Publication
• BIB
We ask the question, which oriented trees $T$ must be contained as subgraphs in every finite directed graph of sufficiently large minimum out-degree. We formulate the following simple condition: all vertices in $T$ of in-degree at least $2$ must be on the same 'level' in the natural height function of $T$. We prove this condition to be necessary and conjecture it to be sufficient. In support of our conjecture, we prove it for a fairly general class of trees.
An essential tool in the latter proof, and a question interesting in its own right, is finding large subdivided in-stars in a directed graph of large minimum out-degree. We conjecture that any digraph and oriented graph of minimum out-degree at least $k\ell$ and $k\ell/2$, respectively, contains the $(k-1)$-subdivision of the in-star with $\ell$ leaves as a subgraph; this would be tight and generalizes a conjecture of Thomassé. We prove this for digraphs and $k=2$ up to a factor of less than $2$.
Young Diagram Decompositions for Almost Symmetric Numerical Semigroups
Published
• View Publication
• BIB
This paper introduces new structural decompositions for almost symmetric numerical semigroups through the combinatorial lens of Young diagrams. To do that, we use the foundational correspondence between numerical sets and Young diagrams, which enables a visual and algorithmic approach to studying properties of numerical semigroups. Central to the paper, a decomposition theorem for almost symmetric numerical semigroups is proved, which reveals that such semigroups can be uniquely expressed as a combination of a numerical semigroup, its dual and an ordinary numerical semigroup.
Every 2-connected, cubic, planar graph with faces of size at most 6 is Hamiltonian
We prove that every 2-connected, cubic, planar graph with faces of size at most 6 is Hamiltonian, and show that the 6-face condition is tight. Our results push the connectivity condition of the Barnette-Goodey conjecture to the weakest possible.
Unimodality of the number of paths per length on polytopes: Examples, counter-examples, and central limit theorem
Published
• View Publication
• BIB
To solve a linear program, the simplex method follows a path in the graph of a polytope, on which a linear function increases. The length of this path is an key measure of the complexity of the simplex method. Numerous previous articles focused on the longest paths, or, following Borgwardt, computed the average length of a path for certain random polytopes. We detail more precisely how this length is distributed, i.e., how many paths of each length there are.
It was conjectured by De Loera that the number of paths counted according to their length forms a unimodal sequence. We give examples (old and new) for which this holds; but we disprove this conjecture by constructing counterexamples for several classes of polytopes. However, De Loera is "statistically correct": We prove that the length of coherent paths on a random polytope (with vertices chosen uniformly on a sphere) admits a central limit theorem.
Polyhedral Aspects of Maxoids
The conditional independence (CI) relation of a distribution in a max-linear Bayesian network depends on its weight matrix through the $C^\ast$-separation criterion. These CI~models, which we call maxoids, are compositional graphoids which are in general not representable by Gaussian random variables. We prove that every maxoid can be obtained from a transitively closed weighted DAG and show that the stratification of generic weight matrices by their maxoids yields a polyhedral~fan. We also use this connection to polyhedral geometry to develop an algorithm for solving the conditional independence implication problem for maxoids.
Six types of separable integer partitions
Recently, Andrews introduced separable integer partition classes and studied some well-known theorems. In this atricle, we will investigate six types of partitions from the view of the point of separable integer partition classes.
New Capacity Bounds for PIR on Graph and Multigraph-Based Replicated Storage
Published
• View Publication
• BIB
In this paper, we study the problem of private information retrieval (PIR) in both graph-based and multigraph-based replication systems, where each file is stored on exactly two servers, and any pair of servers shares at most $r$ files. We derive upper bounds on the PIR capacity for such systems and construct PIR schemes that approach these bounds. For graph-based systems, we determine the exact PIR capacity for path graphs and improve upon existing results for complete bipartite graphs and complete graphs. For multigraph-based systems, we propose a PIR scheme that leverages the symmetry of the underlying graph-based construction, yielding a capacity lower bound for such multigraphs. Furthermore, we establish several general upper and lower bounds on the PIR capacity of multigraphs, which are tight in certain cases.
A generalization of Ramanujan's sum over finite groups
Published
• View Publication
• BIB
Let $G$ be a finite group, and let $x \in G$. Define $[x^G] := \{ y \in G : \langle x^G \rangle = \langle y^G \rangle \}$, where $\langle x^G \rangle$ denotes the normal subgroup of $G$ generated by the conjugacy class of $x$. In this paper, we determine an explicit formula for the eigenvalues of the normal Cayley graph $\text{Cay}(G, [x^G])$. These eigenvalues can be viewed as a generalization of classical Ramanujan's sum in the setting of finite groups. Surprisingly, the formula we derive for the eigenvalues of $\text{Cay}(G, [x^G])$ extends the known formula of classical Ramanujan's sum to the context of finite groups. This generalization not only enrich the theory of Ramanujan's sum but also provide new tools in spectral graph theory, representation theory, and algebraic number theory.
Note about the complexity of the acyclic orientation with parity constraint problem
Published
• View Publication
• BIB
Let $G = (V, E)$ be a connected graph, and let $T$ in $V$ be a subset of vertices. An orientation of $G$ is called $T$-odd if any vertex $v \in V$ has odd in-degree if and only if it is in $T$. Finding a T -odd orientation of G can be solved in polynomial time as shown by Chevalier, Jaeger, Payan and Xuong (1983). Since then, $T$-odd orientations have continued to attract interest, particularly in the context of global constraints on the orientation. For instance, Frank and Király (2002) investigated $k$-connected $T$-odd orientations and raised questions about acyclic $T$-odd orientations. This problem is now recognized as an Egres problem and is known as the "Acyclic orientation with parity constraints" problem. Szegedy ( 005) proposed a randomized polynomial algorithm to address this problem. An easy consequence of his work provides a polynomial time algorithm for planar graphs whenever $|T | = |V | - 1$. Nevertheless, it remains unknown whether it exists in general. In this paper we contribute to the understanding of the complexity of this problem by studying a more general one. We prove that finding a $T$-odd acyclic orientation on graphs having some directed edges is NP-complete.
Digraph-defined external difference families and new circular external difference families
Published
• View Publication
• BIB
External difference families (EDFs) are combinatorial objects which were introduced in the early 2000s, motivated by information security applications such as the construction of AMD codes. Various generalizations have since been defined and investigated, in particular strong external difference families (SEDFs) and circular external difference families (CEDFs). In this paper, we present a framework based on graphs and digraphs which offers a new unified way to view these structures, and leads to natural new research questions. We present constructions and structural results about these digraph-defined EDFs, and we obtain new explicit constructions for infinite families of CEDFs, in particular $(ml^2+1,m,l,1)$-CEDFs. Our techniques include cyclotomy in finite fields and direct constructions in cyclic groups and direct products of cyclic groups. We construct the first infinite family of such CEDFs in non-cyclic abelian groups; these have odd values of $m$ and $l$. We also present the first CEDF in a non-abelian group.
Trapezodial property of the generalized Alexander polynomial
Fox's conjecture from 1962, that the absolute values of the coefficients of the Alexander polynomial of an alternating link are trapezoidal, has remained stubbornly open to this date. Recently Fox's conjecture was settled for all special alternating links. In this paper we take a broad view of the Alexander polynomials of special alternating links, showing that they are a generating function for a statistic on certain vector configurations. We study three types of vector configurations: (1) vectors arising from cographic matroids, (2) vectors arising from graphic matroids, (3) vectors arising from totally positive matrices. We prove that Alexander polynomials of special alternating links belong to both classes (1) and (2), and prove log-concavity, respectively trapezoidal, properties for classes (2) and (3). As a special case of our results, we obtain a new proof of Fox's conjecture for special alternating links.
The Redei-Berge function in noncommuting variables
Recently, Stanley and Grinberg introduced a symmetric function associated to digraphs, called the Redei-Berge symmetric function. This function, however, does not satisfy the deletion-contraction property, which is a very powerful tool for proving various identities using induction. In this paper, we introduce an analogue of this function in noncommuting variables which does have such property. Furthermore, it specializes to the ordinary Redei-Berge function when the variables are allowed to commute. This modification allows us to further generalize properties that are already proved for the original function and to deduce many new ones.
Linear function of a poset
Stanley and Grinberg introduced a symmetric function associated with digraphs and named it the Redei-Berge symmetric function. This function arises from a suitable combinatorial Hopf algebra on digraphs, which made it possible to assign the Redei-Berge function to posets. In this paper, we define a new combinatorial Hopf algebra of posets whose character is a close cousin of the Redei-Berge character for posets. Further, we investigate the properties of the symmetric function that arises from this algebra and explore its expansions in various natural bases of $QSym$ and $Sym$. Finally, we obtain an interesting method for decomposing a poset.
Coloring graphs as complete graph invariants
Published
• View Publication
• BIB
We investigate the extent to which the $k$-coloring graph $\mathcal{C}_{k}(G)$ uniquely determines the base graph $G$ and the number of colors $k$. The vertices of $\mathcal{C}_{k}(G)$ are the proper $k$-colorings of $G$, and edges connect colorings that differ on exactly one vertex. There are nonisomorphic graphs $G_1$ and $G_2$ with isomorphic coloring graphs, so $\mathcal{C}_{k}(G)$ is not a complete invariant in general. However, for color palettes with surplus colors (when the number of colors $k$ is greater than the chromatic number), we prove that the coloring graph is a complete invariant. Specifically, provided that $k_1 > χ(G_1)$, we show that $\mathcal{C}_{k_1}(G_1)\cong \mathcal{C}_{k_2}(G_2)$ implies $G_1\cong G_2$ and $k_1=k_2$. Thus, there is a natural bijection between pairs $(G, k)$ with $k > χ(G)$ and their coloring graphs $\mathcal{C}_k(G)$. Furthermore, no coloring graph of the form $\mathcal{C}_{χ(G)}(G)$ is isomorphic to a coloring graph with surplus colors. Our constructive proof provides a method to decide whether a coloring graph is generated with surplus colors, although the resulting algorithms are inefficient.
Bull-free graphs and $χ$-boundedness
Published
• View Publication
• BIB
A bull is a graph obtained from a four-vertex path by adding a vertex adjacent to the two middle vertices of the path. A graph $G$ is bull-free if no induced subgraph of $G$ is a bull. We prove that for all $k,t\in \mathbb{N}$, if $G$ is a bull-free graph of clique number at most $k$ and every triangle-free induced subgraph of $G$ has chromatic number at most $t$, then $G$ has chromatic number at most $k^{\mathcal{O}(\log t)}$. We further show that the bound $k^{\mathcal{O}(\log t)}$ is best possible up to a multiplicative constant in the exponent.
Thomassé, Trotignon and Vušković (2017) were the first to give a bound, of the form $2^{p\log p}$ where $p=\mathcal{O}(k^2+t)$, with a proof that uses Chudnovsky's structure theorem for bull-free graphs. This was improved by Chudnovsky, Cook, Davies and Oum (2023) to a bound that is polynomial in $k$ (of degree linear in $t$), with a 10-page proof that again relies heavily on Chudnovsky's structure theorem.
Our proof is a single page long and completely avoids the structure theorem; instead using only one result of Chudnovsky and Safra (which itself has a short proof).
Partial sampling of a random spanning tree
We investigate the distributions of subtrees connecting several vertices in the spanning trees of the complete graphs and their asymptotics.
Induced Minors and Region Intersection Graphs
Published
• View Publication
• BIB
We show that for any positive integers $g$ and $t$, there is a $K_{6}^{(1)}$-induced-minor-free graph of girth at least $g$ that is not a region intersection graph over the class of $K_t$-minor-free graphs. This answers in a strong form the recently raised question of whether for every graph $H$ there is a graph $H'$ such that $H$-induced-minor-free graphs are region intersection graphs over $H'$-minor-free graphs.
On polynomially high-chromatic pure pairs
Let $T$ be a forest. We study polynomially high-chromatic pure pairs in graphs with no $T$ as an induced subgraph ($T$-free graphs in other words), with applications to the polynomial Gyárfás-Sumner conjecture. In addition to reproving several known results in the literature, we deduce:
$\bullet$ If $T=P_5$ is the five-vertex path, then every $T$-free graph $G$ with clique number $w\ge2$ contains a complete pair $(A,B)$ of induced subgraphs with $χ(A)\ge w^{-d}χ(G)$ and $χ(B)\ge 2^{-d}χ(G)$, for some universal $d\ge1$. The proof uses the recent Erdős-Hajnal result for $P_5$-free graphs. Via the classical Gyárfás path argument, such a ``polynomial versus linear high-$χ$ complete pairs'' result can be viewed as further supporting evidence for the polynomial Gyárfás-Sumner conjecture for $P_5$. In particular, it implies
\[χ(G)\le w^{O(\log w/\log\log w)}\]
which asymptotically improves the bound $χ(G)\le w^{\log w}$ of Scott, Seymour, and Spirkl.
$\bullet$ If $T$ and a broom satisfy the polynomial Gyárfás-Sumner conjecture, then so does their disjoint union. Unifying earlier results of Chudnovsky, Scott, Seymour, and Spirkl, and of Scott, Seymour, and Spirkl, this gives new instances of $T$ for which the conjecture holds.
Permutation ensembles and acyclicity on product of simplices
We propose the study of $S_n$-ensembles: $n \times n$ arrays of permutations of $[n]$ that encode the boundary data of $nΔ_{n-1}$. We characterize precisely when an $S_4$-ensemble contains a permutation appearing exactly four times, leading to a complete description of the types of boundary of $4Δ_3$ that can be extended to fine mixed subdivisions.