Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Polynomials Counting Group Colorings in Graphs
Published
• View Publication
• BIB
Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains.
Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.
Universal partial tori
Published
• View Publication
• BIB
A De Bruijn cycle is a cyclic sequence in which every word of length $n$ over an alphabet $\mathcal{A}$ appears exactly once. De Bruijn tori are a two-dimensional analogue. Motivated by recent progress on universal partial cycles and words, which shorten De Bruijn cycles using a wildcard character, we introduce universal partial tori and matrices. We find them computationally and construct infinitely many of them using one-dimensional variants of universal cycles, including a new variant called a universal partial family.
Sharp estimates for Gowers norms on discrete cubes
Published
• View Publication
• BIB
We study optimal dimensionless inequalities $$ \|f\|_{U^k} \leq \|f\|_{\ell^{p_{k,n}}} $$ that hold for all functions $f\colon\mathbb{Z}^d\to\mathbb{C}$ supported in $\{0,1,\ldots,n-1\}^d$ and estimates $$ \|1_A\|_{U^k}^{2^k}\leq |A|^{t_{k,n}} $$ that hold for all subsets $A$ of the same discrete cubes. A general theory, analogous to the work of de Dios Pont, Greenfeld, Ivanisvili, and Madrid, is developed to show that the critical exponents are related by $p_{k,n} t_{k,n} = 2^k$. This is used to prove the three main results of the paper: an explicit formula for $t_{k,2}$, which generalizes a theorem by Kane and Tao, two-sided asymptotic estimates for $t_{k,n}$ as $n\to\infty$ for a fixed $k\geq2$, which generalize a theorem by Shao, and a precise asymptotic formula for $t_{k,n}$ as $k\to\infty$ for a fixed $n\geq2$.
A topological proof of the Hell-Nešetřil dichotomy
Published in Proc. ACM-SIAM Symp. on Discr. Alg. (SODA 2025), pp. 4507--4519, SIAM
• View Publication
• BIB
We provide a new proof of a theorem of Hell and Nešetřil [J. Comb. Theory B, 48(1):92-110, 1990] using tools from topological combinatorics based on ideas of Lovász [J. Comb. Theory, Ser. A, 25(3):319-324, 1978]. The Hell-Nešetřil Theorem provides a dichotomy of the graph homomorphism problem. It states that deciding whether there is a graph homomorphism from a given graph to a fixed graph $H$ is in P if $H$ is bipartite (or contains a self-loop), and is NP-complete otherwise. In our proof we combine topological combinatorics with the algebraic approach to constraint satisfaction problem.
Keys and Evacuation via Virtualization
In this paper, we study the relation between the key map and virtualization of crystals. Namely, we prove that virtualization between crystals in any two finite Cartan types commutes with the left and right key maps, thus embedding Demazure crystals and atoms correspondingly. In particular, this implies that the key map in any finite Cartan type can be reduced to the key map in a simply-laced type, provided an appropriate virtualization exists, generalizing the work of Azenhas--Santos. As an application, we study these maps in the context of orthogonal Kashiwara--Nakashima tableaux and show that the virtualizations from type B into C considered independently by Fujita and Pappe--Pfannerer--Schilling--Simone coincide with the splitting map of De Concini and Lecouvey. As a consequence, this enables us to give a new and purely combinatorial definition of orthogonal evacuation.
Bounds and Hardness Results for Conflict-free Choosability
Published
• View Publication
• BIB
A '(partial) conflict-free coloring' of a hypergraph $\mathcal{H}$ is an assignment of colors to (a subset of) the vertex set of $\mathcal{H}$ such that every hyperedge in $\mathcal{H}$ has a vertex whose color is distinct from every other vertex in that hyperedge. The minimum number of colors required for such a coloring is known as the '(partial) conflict-free chromatic number' of $\mathcal{H}$. It is easy to see that the conflict-free chromatic number of a hypergraph is at most its partial conflict-free chromatic number plus one. Conflict-free coloring has also been studied on the open/closed neighborhood hypergraphs of a given graph under the name open/closed neighborhood conflict-free coloring. In this paper, we study partial and full list variants of conflict-free coloring where, for every vertex $v$, we are given a list of admissible colors $L_v$ such that $v$ is allowed to be colored only from $L_v$.
Bhyravarapu, Kalyanasundaram, and Mathew [Journal of Graph Theory, 2021] showed that the closed-neighborhood conflict-free chromatic number of any graph $G$ with maximum degree $Δ$ is at most $O(\ln^2 Δ)$. In this paper, we extend the $O(\ln^2 Δ)$ upper bound to the partial list variant of the closed-neighborhood conflict-free chromatic number. Further, we establish computational complexity results concerning the list open/closed-neighborhood conflict-free chromatic numbers.
Exact Values and Bounds for Ramsey Numbers of $C_4$ Versus a Star Graph
The 8 unknown values of the Ramsey numbers $R(C_4,K_{1,n})$ for $n \leq 37$ are determined, showing that $R(C_4,K_{1,27}) = 33$ and $R(C_4,K_{1,n}) = n + 7$ for $28 \leq n \leq 33$ or $n = 37$. Additionally, the following results are proven:
$\bullet$ If $n$ is even and $\lceil\sqrt{n}\rceil$ is odd, then $R(C_4,K_{1,n}) \leq n + \left\lceil\sqrt{n-\lceil\sqrt{n}\rceil+2}\right\rceil + 1$.
$\bullet$ If $m \equiv 2 \,(\text{mod } 6)$ with $m \geq 8$, then $R(C_4,K_{1,m^2+3}) \leq m^2 + m + 4$.
$\bullet$ If $R(C_4,K_{1,n}) > R(C_4,K_{1,n-1})$, then $R(C_4,K_{1,2n+1-R(C_4,K_{1,n})}) \geq n$.
Enumeration of weighted quadrant walks: criteria for algebraicity and D-finiteness
In the field of enumeration of weighted walks confined to the quarter plane, it is known that the generating functions behave very differently depending on the chosen step set; in practice, the techniques used in the literature depend on the complexity of the counting series. In this paper we introduce a unified approach based on the theory of elliptic functions, which allows us to have a common proof of the characterisation of the algebraicity and D-finiteness of the generating functions.
Dimension of Diophantine approximation and some applications in harmonic analysis
In this paper we construct a new family of sets based on Diophantine approximation in the Euclidean space, and consider their applications in several problems in harmonic analysis.
Our first application is on the Hausdorff dimension of our sets. We show a recent result of Ren and Wang on the ABC sum-product problem is sharp. Higher dimensional cases and the relation to orthogonal projections are also discussed. Some conjectures are proposed.
In addition to Hausdorff dimension, we also consider Fourier dimension. For every $0\leq t\leq s\leq 1$, we are able to construct a subset of $\mathbb{R}$ that has Hausdorff dimension $s$ and Fourier dimension $t$, together with a measure $μ$ that captures both dimensions, i.e.,
$$μ(B(x,r))\lesssim_εr^{s-ε}
\ \text{and} \ |\hatμ(ξ)|\lesssim_ε|ξ|^{-t/2 +ε}, \ \forall\,ε>0.$$
It is fundamental but the very first such result in the literature.
Our last result is to provide a viewpoint of the sharpness of Fourier restriction over general measures from dimensions of sets and measures.
Graphs with constant links and induced Turán numbers
A graph $G$ of constant link $L$ is a graph in which the neighborhood of any vertex induces a graph isomorphic to $L$. Given two different graphs, $H$ and $G$, the induced Turán number ${\rm ex}(n; H, G{\rm -ind})$ is defined as the maximum number of edges in an $n$-vertex graph having no subgraph isomorphic to $H$ and no copy from $G$ as an induced subgraph.
Our main motivation in this paper is to establish a bridge between graphs with constant link and induced Turán numbers via the class of $t$-regular, $k$-uniform (linear) hypergraphs of girth at least $4$, as well as to present several methods of constructing connected graphs with constant link.
We show that, for integers $t \geq 3$ and $k \geq 3$, ${\rm ex}(n; C_k, K_{1,t}{\rm -ind}) \leq (k - 2)(t - 1)n/2$ and that equality holds for infinitely many values of $n$. This result is built upon the existence of graphs with constant link $tL$ with restricted cycle length, which we prove in another theorem. More precisely, we show that, given a graph $F$ with constant link $L$ and circumference $c$, then, for all integers $t \geq 2$ and $g > c$, there exists a graph with constant link $tL$ which is free of cycles of length $l$, for all $c < l < g$. We provide two proofs of this result using distinct approaches. We further present constructions of graphs with constant links $tL$, $t \geq 2$, and restricted cycle length based on Steiner Systems. Finally, starting from a connected graph of constant link $tL$, for $t \geq 2$, having order $n$ and restricted cycle lengths, we provide a method to construct an infinite collection of connected graphs of constant link $tL$ that preserves the cycle length restriction, and whose orders form an arithmetic progression $qn$, $q \geq 1$.
Higher-dimensional book-spaces
In 2017, Walter Taylor showed that there exist $2$-dimensional simplicial complexes which admit the structure of topological modular lattice but not topological distributive lattice. We give a positive answer to his question as to whether $n$-dimensional simplicial complexes with the same property exist. We do this by giving, for each $n\ge2$, an infinite family of compact simplicial complexes which admit the structure of topological modular lattice but not topological distributive lattice.
Graphs missing a connected partition
Published in Adv. in Appl. Math. Vol. 175 103044 (2026)
• View Publication
• BIB
We prove that a graph with a cut vertex whose deletion produces at least five connected components must be missing a connected partition of some type. We prove that this also holds if there are four connected components that each have at least two vertices. In particular, the chromatic symmetric function of such a graph cannot be $e$-positive. This brings us very close to the conjecture by Dahlberg, She, and van Willigenburg of non-$e$-positivity for all trees with a vertex of degree at least four. We also prove that spiders with four legs cannot have an $e$-positive chromatic symmetric function.
Multiplicative recurrence of Möbius transformations
We establish a complete characterization of multiplicative recurrence for images of the positive integers under Möbius transformations, answering a question of Donoso--Le--Moreira--Sun in the negative. As a consequence, we strengthen and extend a Diophantine approximation result of Charamaras--Mountakis--Tsinas, confirming their conjectures.
Maximum shattering
Published
• View Publication
• BIB
A family $\mathcal{F}$ of subsets of $[n]=\{1,2,\ldots,n\}$ shatters a set $A \subseteq [n]$ if for every $A' \subseteq A$ there is an $F \in \mathcal{F}$ such that $F \cap A=A'$. We develop a framework to analyze $f(n,k,d)$, the maximum possible number of subsets of $[n]$ of size $d$ that can be shattered by a family of size $k$. Among other results, we determine $f(n,k,d)$ exactly for $d \leq 2$ and show that if $d$ and $n$ grow, with both $d$ and $n-d$ tending to infinity, then, for any $k$ satisfying $2^d \leq k \leq (1+o(1))2^d$, we have $f(n,k,d)=(1+o(1))c\binom{n}{d}$, where $c$, roughly $0.289$, is the probability that a large square matrix over $\mathbb{F}_2$ is invertible. This latter result extends work of Das and Mészáros. As an application, we improve bounds for the existence of covering arrays for certain alphabet sizes.
On Oriented Colourings of Graphs on Surfaces
Published
• View Publication
• BIB
For an oriented graph $G$, the least number of colours required to oriented colour $G$ is called the oriented chromatic number of $G$ and denoted $χ_o(G)$.For a non-negative integer $g$ let $χ_o(g)$ be the least integer such that $χ_o(G) \leq χ_o(g)$ for every oriented graph $G$ with Euler genus at most $g$. We will prove that $χ_o(g)$ is nearly linear in the sense that $Ω(\frac{g}{\log(g)}) \leq χ_o(g) \leq O(g \log(g))$. This resolves a question of the author, Bradshaw, and Xu, by improving their bounds of the form $Ω((\frac{g^2}{\log(g)})^{1/3}) \leq χ_o(g)$ and $χ_o(g) \leq O(g^{6400})$.
Note on a Coin Tossing Problem Posed by Daniel Litt
We present an analysis of a coin-tossing problem posed by Daniel Litt which has generated some popular interest. We demonstrate a recursive identity which leads to relatively simple formulas for the excess number of wins for one player over the other together with its increments as the number of coin tosses increases. Formulas and recursive algorithms are provided to calculate the number of sequences with any given point-score difference.
The Moran process on a random graph
Published
• View Publication
• BIB
We study the fixation probability for two versions of the Moran process on the random graph $G_{n,p}$ at the threshold for connectivity. The Moran process models the spread of a mutant population in a network. Throughtout the process there are vertices of two types, mutants and non-mutants. Mutants have fitness $s$ and non-mutants have fitness 1. The process starts with a unique individual mutant located at the vertex $v_0$. In the Birth-Death version of the process a random vertex is chosen proportional to its fitness and then changes the type of a random neighbor to its own. The process continues until the set of mutants $X$ is empty or $[n]$. In the Death-Birth version a uniform random vertex is chosen and then takes the type of a random neighbor, chosen according to fitness. The process again continues until the set of mutants $X$ is empty or $[n]$. The {\em fixation probability} is the probability that the process ends with $X=\emptyset$.
We give asymptotically correct estimates of the fixation probability that depend on degree of $v_0$ and its neighbors.,
Furstenberg set problem and exceptional set estimate in prime fields: dimension two implies higher dimensions
In this paper, we study in prime fields the exceptional set estimates, which can be viewed as a refinement of Marstrand's orthogonal projection theorem. Additionally, we address a Furstenberg-type problem, which is closely related. It is shown that the two-dimensional result implies all higher-dimensional results in the prime-field setting.
A sufficient condition for pancyclic graphs
Published in Bull. Aust. Math. Soc. 112 (2025) 220-226
• View Publication
• BIB
A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ We prove that every $2$-connected $[4,2]$-graph of order at least $7$ is pancyclic. This strengthens existing results. There are $2$-connected $[4,2]$-graphs which do not satisfy the Chvátal-Erdős condition. We also determine the triangle-free graphs among $[p+2,p]$-graphs for a general $p.$
Colouring the 1-skeleton of $d$-dimensional triangulations
Published
• View Publication
• BIB
While every plane triangulation is colourable with three or four colours, Heawood showed that a plane triangulation is 3-colourable if and only if every vertex has even degree. In $d \geq 3$ dimensions, however, every $k \geq d+1$ may occur as the chromatic number of some triangulation of ${\mathbb S}^d$. As a first step, Joswig structurally characterised which triangulations of ${\mathbb S}^d$ have a $(d+1)$-colourable 1-skeleton. In the 20 years since Joswig's result, no characterisations have been found for any $k>d+1$.
In this paper, we structurally characterise which triangulations of ${\mathbb S}^d$ have a $(d+2)$-colourable 1-skeleton: they are precisely the triangulations that have a subdivision such that for every $(d-2)$-cell, the number of incident $(d-1)$-cells is divisible by three.