Showing 20 papers (Total: 81378 papers, 47165 authors in database)
An Alternative Generating Function for $k$-Regular Partitions
We construct a $k$-fold $q$-series as a generating function of $k$-regular partitions for each positive integer $k$. The $k=1$ case is one of Euler's $q$-series identities pertaining to the partitions into distinct parts. The construction is combinatorial. Although we find a connection to Bessel polynomials in the $k=2$ case, this note is certainly not a study of Bessel polynomials and their $q$-analogs.
Toroidal graphs without $K_{5}^{-}$ and 6-cycles
Published in Discrete Mathematics, 347 (2024) 114076
• View Publication
• BIB
Cai et al.\ proved that a toroidal graph $G$ without $6$-cycles is $5$-choosable, and proposed the conjecture that $\textsf{ch}(G) = 5$ if and only if $G$ contains a $K_{5}$ [J. Graph Theory 65 (2010) 1--15], where $\textsf{ch}(G)$ is the choice number of $G$. However, Choi later disproved this conjecture, and proved that toroidal graphs without $K_{5}^{-}$ (a $K_{5}$ missing one edge) and $6$-cycles are $4$-choosable [J. Graph Theory 85 (2017) 172--186]. In this paper, we provide a structural description, for toroidal graphs without $K_{5}^{-}$ and $6$-cycles. Using this structural description, we strengthen Choi's result in two ways: (I) we prove that such graphs have weak degeneracy at most three (nearly $3$-degenerate), and hence their DP-paint numbers and DP-chromatic numbers are at most four; (II) we prove that such graphs have Alon-Tarsi numbers at most $4$. Furthermore, all of our results are sharp in some sense.
Cookie cutters: Bisections with fixed shapes
In a mass partition problem, we are interested in finding equitable partitions of smooth measures in $\mathbb{R}^d$. In this manuscript, we study the problem of finding simultaneous bisections of measures using scaled copies of a prescribed set $K$. We distinguish the problem when we are allowed to use scaled and translated copies of $K$ and the problem when we are allowed to use scaled isometric copies of $K$. These problems have only previously been studied if $K$ is a half-space or a Euclidean ball. We obtain positive results for simultaneous bisection of any $d+1$ masses for star-shaped compact sets $K$ with non-empty interior, where the conditions on the problem depend on the smoothness of the boundary of $K$. Additional proofs are included for particular instances of $K$, such as hypercubes and cylinders, answering positively a conjecture of Soberón and Takahashi. The proof methods are topological and involve new Borsuk--Ulam-type theorems.
On Pancyclicity in a Mixed Model for Domination Reconfiguration
A new model for domination reconfiguration is introduced which combines the properties of the preexisting token addition/removal (TAR) and token sliding (TS) models. The vertices of the TARS-graph correspond to the dominating sets of $G$, where two vertices are adjacent if and only if they are adjacent via either the TAR reconfiguration rule or the TS reconfiguration rule. While the domination reconfiguration graph obtained by using only the TAR rule (sometimes called the dominating graph) will never have a Hamilton cycle, we show that for some classes of graphs $G$, by adding a relatively small number of token sliding edges, the resulting graph is not only hamiltonian, but is in fact pancyclic. In particular, if the underlying graphs are trees, complete graphs, or complete multipartite graphs, their TARS-graphs will be pancyclic. We also provide pancyclicity results for TARS-graphs of graph unions and joins, and conclude by posing the question: Are all TARS-graphs pancyclic?
Amplitubes: Graph Cosmohedra
The tree-level scattering amplitudes for $\text{tr}(φ^3)$ theory can be interpreted as a sum over the vertices of a polytope known as the associahedron. For each graph $G$, there exists a natural generalisation of the associahedron, which is constructed by considering tubes and tubings of the underling graph. This family of polytopes are called graph associahedra. The classical associahedra then arise as the graph associahedron for the path graphs. It is therefore natural to associate to each graph associahedron an amplitude-like object, we refer to as the amplitube, defined via a sum over its vertices. Recently, also in the context of trace $\text{tr}(φ^3)$ theory, progress has been made towards defining a new geometric object, coined the cosmohedron, which computes not the amplitude, but the cosmological wavefunction as a sum over its vertices. This polytope can be constructed by consistently blowing up all boundaries of the associahedron to co-dimension one. Building on these results, in the present paper, we generalise the notion of the wavefunction for arbitrary graphs. These new expressions, which we call cosmological amplitubes, are defined via a sum over the vertices of a corresponding polytope, the graph cosmohedron. The graph cosmohedra are constructed by considering regions and regional tubings of the underlying graph which we introduce. Like the cosmohedron, the graph cosmohedra can be obtained by consistently blowing up all boundaries of the corresponding graph associahedron to co-dimension one. This new family of polytopes constitutes a vast generalisation of the cosmohedron, and we provide explicit embeddings for them, which builds upon an ABHY-like embedding for the graph associahedra.
Restricted CSPs and F-free Digraph Algorithmics
In recent years, much attention has been placed on the complexity of graph homomorphism problems when the input is restricted to ${\mathbb P}_k$-free and ${\mathbb P}_k$-subgraph-free graphs. We consider the directed version of this research line, by addressing the questions, is it true that digraph homomorphism problems CSP$({\mathbb H})$ have a P versus NP-complete dichotomy when the input is restricted to $\vec{\mathbb P}_k$-free (resp.\ $\vec{\mathbb P}_k$-subgraph-free) digraphs? Our main contribution in this direction shows that if CSP$({\mathbb H})$ is NP-complete, then there is a positive integer $N$ such that CSP$({\mathbb H})$ remains NP-hard even for $\vec{\mathbb P}_N$-subgraph-free digraphs. Moreover, it remains NP-hard for acyclic $\vec{\mathbb P}_N$-subgraph-free digraphs, and becomes polynomial-time solvable for $\vec{\mathbb P}_{N-1}$-subgraph-free acyclic digraphs. We then verify the questions above for digraphs on three vertices and a family of smooth tournaments. We prove these results by establishing a connection between $\mathbb F$-(subgraph)-free algorithmics and constraint satisfaction theory. On the way, we introduce restricted CSPs, i.e., problems of the form CSP$({\mathbb H})$ restricted to yes-instances of CSP$({\mathbb H}')$ -- these were called restricted homomorphism problems by Hell and Nešetřil. Another main result of this paper presents a P versus NP-complete dichotomy for these problems. Moreover, this complexity dichotomy is accompanied by an algebraic dichotomy in the spirit of the finite domain CSP dichotomy.
On the minimum number of eigenvalues of trees of diameter seven
The underlying graph $G$ of a symmetric matrix $M=(m_{ij})\in \mathbb{R}^{n\times n}$ is the graph with vertex set $\{v_1,\ldots,v_n\}$ such that a pair $\{v_i,v_j\}$ with $i\neq j$ is an edge if and only if $m_{ij}\neq 0$. Given a graph $G$, let $q(G)$ be the minimum number of distinct eigenvalues in a symmetric matrix whose underlying graph is $G$. A symmetric matrix $M$ is said to be a realization of $q(G)$ if it has underlying graph $G$ and $q(G)$ distinct eigenvalues. In the case of trees, a paper by Johnson and Saiago [Johnson, C.R, and Saiago, C.M, Diameter Minimal Trees, Linear and Multilinear Algebra 64(3) (2015), 557--571.] proposed an approach by which realizations of large trees are constructed from realizations of smaller trees with the same diameter, known as seeds, which has proved to be very successful. In this paper, we discuss realizations of $q(T)$ for trees of diameter seven based on the seed that defines it, correcting a result in the aforementioned paper.
The Saturation Spectrum of Berge Stars
The forbidden subgraph problem is among the oldest in extremal combinatorics -- how many edges can an $n$-vertex $F$-free graph have? The answer to this question is the well-studied extremal number of $F$. Observing that every extremal example must be maximally $F$-free, a natural minimization problem is also studied -- how few edges can an $n$-vertex maximal $F$-free graph have? This leads to the saturation number of $F$. Both of these problems are notoriously difficult to extend to $k$-uniform hypergraphs for any $k\ge 3$.
Barefoot et al., in the case of forbidding triangles in graphs, asked a beautiful question -- which numbers of edges, between the saturation number and the extremal number, are actually realized by an $n$-vertex maximal $F$-free graph? Hence named the saturation spectrum of $F$, this has since been determined precisely for several classes of graphs through a large number of papers over the past two decades.
In this paper, we extend the notion of the saturation spectrum to the hypergraph context. Given a graph $F$ and a hypergraph $G$ embedded on the same vertex set, we say $G$ is a {\bf{Berge-$F$}} if there exists a bijection $φ:E(F)\to E(G)$ such that $e\subseteq φ(e)$ for all $e\in E(F)$. We completely determine the saturation spectrum for $3$-uniform Berge-$K_{1,\ell}$ for $1\leq \ell\leq 4$, and for $\ell=5$ when $5\mid n$. We also determine all but a constant number of values in the spectrum for $3$-uniform Berge-$K_{1,\ell}$ for all $\ell\geq 5$. We note that this is the first result determining the saturation spectrum for any non-trivial hypergraph.
Integral Ricci Curvature for Graphs
We introduce the notion of integral Ricci curvature $I_{κ_0}$ for graphs, which measures the amount of Ricci curvature below a given threshold $κ_0$. We focus our attention on the Lin-Lu-Yau Ricci curvature. As applications, we prove a Bonnet-Myers-type diameter estimate, a Moore-type estimate on the number of vertices of a graph in terms of the maximum degree $d_M$ and diameter $D$, and a Lichnerowicz-type estimate for the first eigenvalue $λ_1$ of the Graph Laplacian, generalizing the results obtained by Lin, Lu, and Yau. All estimates are uniform, depending only on geometric parameters like $κ_0$, $I_{κ_0}$, $d_M$, or $D$, and do not require the graphs to be positively curved.
On a problem of Erdos and Hajnal
Addressing a question of Erdos and Hajnal we show that one can force a graph with no large independent sets and no monochromatic triples as successors of strong limit singular cardinals, even without assuming GCH. The result can be pushed down to $\aleph_ω$.
On Geodesic Leech Labeling of Some Graph Classes
Let $f:E\rightarrow \{1,2,3,\dots\}$ be an edge labeling of $G$. The geodesic path number of $G$, $t_{gp}(G)$, is the number of geodesic paths in $G$. An edge labeling $f$ is called a geodesic Leech labeling, if the set of weights of the geodesic paths in $G$ is $\{1,2,3,\dots,t_{gp}(G)\}$, where the weight of a path $P$ is the sum of the labels assigned to the edges of $P$. A graph which admits a geodesic Leech labeling is called a geodesic Leech graph. Otherwise, we call it a non-geodesic Leech graph. In this paper, we prove that cycles $C_n$, $n \geq 5$ are non-geodesic Leech graphs. We also prove that there are at most three regular complete bipartite graphs that are geodesic Leech. We show that degree sequence cannot characterize geodesic Leech graphs. The geodesic path number of the wheel graph $W_n$ is obtained and the geodesic Leech labeling of $W_5$ and $W_6$ is given.
Packing edge disjoint cliques in graphs
Let $r \ge 3$ be fixed and $G$ be an $n$-vertex graph. A long-standing conjecture of Győri states that if $e(G) = t_{r-1}(n) + k$, where $t_{r-1}(n)$ denotes the number of edges of the Turán graph on $n$ vertices and $r - 1$ parts, then $G$ has at least $(2 - o(1))k/r$ edge disjoint $r$-cliques. We prove this conjecture.
Lower Bounds for Dyadic Square Functions of indicator functions of sets
We prove that for any Borel measurable subset $A\subset [0,1]$, the inequality $\|S_{2}(\mathbbm{1}_{A})\|_{1} \geq I(|A|)$ holds, where $I$ denotes the Gaussian isoperimetric profile. This improves upon the classical lower bound $
\|S_{2}(\mathbbm{1}_{A})\|_{1} \gtrsim |A|(1-|A|) $ by a factor of $\sqrt{\log\frac{1}{|A|(1-|A|)}}$. In addition, we study lower bounds for the $α$-norm of $S_1(\mathbbm{1}_{A})$, and we obtain a threshold behavior around $α=1$. We show that $$ \|S_{1}(\mathbbm{1}_{A})\|_{1} \geq \min\{|A|, 1-|A|\}\log_{2}\frac{1}{\min\{|A|, 1-|A|\}}, $$ and that this bound is sharp at points $|A|=2^{-k}$ or $|A|=1-2^{-k}$ for every nonnegative integer $k$. For each fixed $α\in (0,1)$, we further establish that $\|S_{1}(\mathbbm{1}_{A})\|_α \geq \min\{|A|, 1-| A|\},$ with the decay rate $|A|$, as $|A|\to 0$, being optimal.
Rainbow Turán numbers for short brooms
A graph $G$ is rainbow-$F$-free if it admits a proper edge-coloring without a rainbow copy of $F$. The rainbow Turán number of $F$, denoted $\mathrm{ex^*}(n,F)$, is the maximum number of edges in a rainbow-$F$-free graph on $n$ vertices. We determine bounds on the rainbow Turán numbers of stars with a single edge subdivided twice; we call such a tree with $t$ total edges a $t$-edge \textit{broom} with length-$3$ handle, denoted by $B_{t,3}$. We improve the best known upper bounds on $\mathrm{ex^*}(n,B_{t,3})$ in all cases where $t \neq 2^s - 2$. Moreover, in the case where $t$ is odd and in a few cases when $t \equiv 0 \mod 4$, we provide constructions asymptotically achieving these upper bounds. Our results also demonstrate a dependence of $\mathrm{ex^*}(n,B_{t,3})$ on divisibility properties of $t$.
Indicated list colouring game on graphs
Given a graph $G$ and a list assignment $L$ for $G$, the indicated $L$-colouring game on $G$ is played by two players: Ann and Ben. In each round, Ann chooses an uncoloured vertex $v$, and Ben colours $v$ with a colour from $L(v)$ that is not used by its coloured neighbours. If all vertices are coloured, then Ann wins the game. Otherwise after a finite number of rounds, there remains an uncoloured vertex $v$ such that all colours in $L(v)$ have been used by its coloured neighbours, Ben wins. We say $G$ is indicated $L$-colourable if Ann has a winning strategy for the indicated $L$-colouring game on $G$. For a mapping $g: V(G) \to \mathbb{N}$,
we say $G$ is indicated $g$-choosable if $G$ is indicated $L$-colourable for every list assignment $L$ with $|L(v)| \ge g(v)$ for each vertex $v$, and $G$ is indicated degree-choosable if $G$ is indicated $g$-choosable for $g(v) =d_G(v)$ (the degree of $v$).
This paper proves that
a graph $G$ is not indicated degree-choosable if and only if $G$ is an expanded Gallai-tree - a graph whose maximal connected induced subgraphs with no clique-cut are complete graphs or blow-ups of odd cycles, along with a technical condition (see Definition \ref{def-egt}).
This leads to a linear-time algorithm that determines if a graph is indicated degree-choosable.
A connected graph $G$ is called an IC-Brooks graph if its indicated chromatic number equals $Δ(G)+1$. Every IC-Brooks graph is a regular expanded Gallai-tree. We show that if $r \le 3$, then every $r$-regular expanded Gallai-tree is an IC-Brooks graph. For $r \ge 4$, there are $r$-regular expanded Gallai-trees that are not IC-Brooks graphs. We give a characterization of IC-Brooks graphs, and present a linear-time algorithm that determines if a given graph of bounded maximum degree is an IC-Brooks graph.
A survey on Hedetniemi's conjecture
In 1966, Hedetniemi conjectured that for any positive integer $n$ and graphs $G$ and $H$, if neither $G$ nor $H$ is $n$-colourable, then $G \times H$ is not $n$-colourable. This conjecture has received significant attention over the past half century, and was disproved by Shitov in 2019. Shitov's proof shows that Hedetniemi's conjecture fails for sufficiently large $n$. Shortly after Shitov's result, smaller counterexamples were found in a series of papers, and it is now known that Hedetniemi's conjecture fails for all $n \ge 4$, and holds for $n \le 3$. Hedetniemi's conjecture has inspired extensive research, and many related problems remain open. This paper surveys the results and problems associated with the conjecture, and explains the ideas used in finding counterexamples.
p-adic Delsarte-Goethals-Seidel-Kabatianskii-Levenshtein-Pfender Bound
We introduce the notion of p-adic spherical codes (in particular, p-adic kissing number problem). We show that the one-line proof for a variant of the Delsarte-Goethals-Seidel-Kabatianskii-Levenshtein upper bound for spherical codes, obtained by Pfender \textit{[J. Combin. Theory Ser. A, 2007]}, extends to p-adic Hilbert spaces.
The Lovász number of random circulant graphs
This paper addresses the behavior of the Lovász number for dense random circulant graphs. The Lovász number is a well-known semidefinite programming upper bound on the independence number. Circulant graphs, an example of a Cayley graph, are highly structured vertex-transitive graphs on integers modulo $n$, where the connectivity of pairs of vertices depends only on the difference between their labels. While for random circulant graphs the asymptotics of fundamental quantities such as the clique and the chromatic number are well-understood, characterizing the exact behavior of the Lovász number remains open. In this work, we provide upper and lower bounds on the expected value of the Lovász number and show that it scales as the square root of the number of vertices, up to a log log factor. Our proof relies on a reduction of the semidefinite program formulation of the Lovász number to a linear program with random objective and constraints via diagonalization of the adjacency matrix of a circulant graph by the discrete Fourier transform (DFT). This leads to a problem about controlling the norms of vectors with sparse Fourier coefficients, which we study using results on the restricted isometry property of subsampled DFT matrices.
A Purely Geometric Variant of the Gale-Berlekamp Switching Game
We introduce the following variant of the Gale-Berlekamp switching game. Let $P$ be a set of n noncollinear points in the plane, each of them having weight $+1$ or $-1$. At each step, we pick a line $\ell$ passing through at least two points of $P$, and switch the sign of every point $p \in P\cap\ell$. The objective is to maximize the total weight of the elements of $P$. We show that one can always achieve that this quantity is at least $n - o(n)$, as $n\rightarrow\infty$, and at least $n/3$, for every $n$. Moreover, these can be attained by a polynomial time algorithm.
Littlewood--Richardson rules from quivers for two-step flag varieties
Let $\bigwedge_1$ and $\bigwedge_2$ be two symmetric function algebras in independent sets of variables. We define vector space bases of $\bigwedge_1 \otimes_\mathbb{Z} \bigwedge_2$ coming from certain quivers, with vertex sets indexed by pairs of partitions. We use these vector space bases to give a positive tableau formula for Littlewood--Richardson coefficients for the product of Schubert polynomials with certain Schur polynomials in two-step flag varieties, in the spirit of the Remmel-Whitney rule for the product of two Schur polynomials in Grassmannians. This in particular covers the cases considered by the Pieri rule.