Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Exceptional set estimate through Brascamp-Lieb inequality
Published
• View Publication
• BIB
Fix integers $1\le k<n$, and numbers $a,s$ satisfying $0<s<\min\{k,a\}$. The problem of exceptional set estimate is to determine \[T(a,s):=\sup_{A\subset \mathbb{R}^n\ \text{dim}A=a}\text{dim}(\{ V\in G(k,n): \text{dim}(π_V(A))<s \}). \] In this paper, we prove a new upper bound for $T(a,s)$ by using Brascamp-Lieb inequality. As one of the corollary, we obtain the estimate \[T(a,\frac{k}{n}a)\le k(n-k)-\min\{k,n-k\}, \] which improves a previous result $T(a,\frac{k}{n}a)\le k(n-k)-1$ of He.
By constructing examples, we can determine the explicit value of $T(a,s)$ for certain $(a,s)$:
When $k\le \frac{n}{2}$, $β\in(0,1]$ and $γ\in(β,\frac{k}{n}(1+β)]$, we have \[T(1+β,γ)=k(n-k)-k.\]
When $k\ge \frac{n}{2}$, $β\in(0,1]$ and $γ\in (β, (1-\frac{k}{n})+\frac{k}{n}β]$, we have \[T(n-1+β,k-1+γ)=k(n-k)-(n-k).\]
Uniquely Distinguishing Colorable Graphs
Published
• View Publication
• BIB
A graph is called uniquely distinguishing colorable if there is only one partition of vertices of the graph that forms distinguishing coloring with the smallest possible colors. In this paper, we study the unique colorability of the distinguishing coloring of a graph and its applications in computing the distinguishing chromatic number of disconnected graphs. We introduce two families of uniquely distinguishing colorable graphs, namely type 1 and type 2, and show that every disconnected uniquely distinguishing colorable graph is the union of two isomorphic graphs of type 2. We obtain some results on bipartite uniquely distinguishing colorable graphs and show that any uniquely distinguishing $n$-colorable tree with $ n \geq 3$ is a star graph. For a connected graph $G$, we prove that $χ_D(G\cup G)=χ_D(G)+1$ if and only if $G$ is uniquely distinguishing colorable of type 1. Also, a characterization of all graphs $G$ of order $n$ with the property that $χ_{D}(G\cup G) = χ_{D}(G) = k$, where $k=n-2, n-1, n$, is given in this paper. Moreover, we determine all graphs $G$ of order $n$ with the property that $χ_{D}(G\cup G) = χ_{D}(G)+1 = \ell$, where $\ell=n-1, n, n+1$. Finally, we investigate the family of connected graphs $G$ with $χ_{D}(G\cup G) = χ_{D}(G)+1 = 3$.
Transitive path decompositions of Cartesian products of complete graphs
Published
• View Publication
• BIB
An $H$-decomposition of a graph $Γ$ is a partition of its edge set into subgraphs isomorphic to $H$. A transitive decomposition is a special kind of $H$-decomposition that is highly symmetrical in the sense that the subgraphs (copies of $H$) are preserved and transitively permuted by a group of automorphisms of $Γ$. This paper concerns transitive $H$-decompositions of the graph $K_n \Box K_n$ where $H$ is a path. When $n$ is an odd prime, we present a construction for a transitive path decomposition where the paths in the decomposition are considerably large compared to the number of vertices. Our main result supports well-known Gallai's conjecture and an extended version of Ringel's conjecture.
Polynomization of the Bessenrodt-Ono type inequalities for A-partition functions
Published
• View Publication
• BIB
For an arbitrary set or multiset $A$ of positive integers, we associate the $A$-partition function $p_A(n)$ (that is the number of partitions of $n$ whose parts belong to $A$). We also consider the analogue of the $k$-colored partition function, namely, $p_{A,-k}(n)$. Further, we define a family of polynomials $f_{A,n}(x)$ which satisfy the equality $f_{A,n}(k)=p_{A,-k}(n)$ for all $n\in\mathbb{Z}_{\geq0}$ and $k\in\mathbb{N}$. This paper concerns the polynomization of the Bessenrodt--Ono type inequality for $f_{A,n}(x)$: \begin{align*}
f_{A,a}(x)f_{A,b}(x)>f_{A,a+b}(x), \end{align*} where $a$ and $b$ are arbitrary positive integers; and delivers some efficient criteria for its solutions. Moreover, we also investigate a few basic properties related to both functions $f_{A,n}(x)$ and $f_{A,n}'(x)$.
New constructions of non-regular cospectral graphs
Published
• View Publication
• BIB
We consider two types of joins of graphs $G_{1}$ and $G_{2}$, $G_{1}\veebar G_{2}$ - the Neighbors Splitting Join and $G_{1}\underset{=}{\lor}G_{2}$ - the Non Neighbors Splitting Join, and compute the adjacency characteristic polynomial, the Laplacian characteristic polynomial and the signless Laplacian characteristic polynomial of these joins. When $G_{1}$ and $G_{2}$ are regular, we compute the adjacency spectrum, the Laplacian spectrum, the signless Laplacian spectrum of $G_{1}\underset{=}{\lor}G_{2}$ and the normalized Laplacian spectrum of $G_{1}\veebar G_{2}$ and $G_{1}\underset{=}{\lor}G_{2}$. We use these results to construct non regular, non isomorphic graphs that are cospectral with respect to the four matrices: adjacency, Laplacian , signless Laplacian and normalized Laplacian.
Combinatorial QFT on graphs: first quantization formalism
Published
• View Publication
• BIB
We study a combinatorial model of the quantum scalar field with polynomial potential on a graph. In the first quantization formalism, the value of a Feynman graph is given by a sum over maps from the Feynman graph to the spacetime graph (mapping edges to paths). This picture interacts naturally with Atiyah-Segal-like cutting-gluing of spacetime graphs. In particular, one has combinatorial counterparts of the known gluing formulae for Green's functions and (zeta-regularized) determinants of Laplacians.
An imperceptible connection between the Clebsch--Gordan coefficients of $U_q(\mathfrak{sl}_2)$ and the Terwilliger algebras of Grassmann graphs
Published in Journal of Combinatorial Theory, Series A 214 (2025) 106028
• View Publication
• BIB
The Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$ are expressible in terms of Hahn polynomials. The phenomenon can be explained by an algebra homomorphism $\natural$ from the universal Hahn algebra $\mathcal H$ into $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$. Let $Ω$ denote a finite set of size $D$ and $2^Ω$ denote the power set of $Ω$. It is generally known that $\mathbb C^{2^Ω}$ supports a $U(\mathfrak{sl}_2)$-module. Let $k$ denote an integer with $0\leq k\leq D$ and fix a $k$-element subset $x_0$ of $Ω$. By identifying $\mathbb C^{2^Ω}$ with $\mathbb C^{2^{Ω\setminus x_0}}\otimes \mathbb C^{2^{x_0}}$ this induces a $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module structure on $\mathbb C^{2^Ω}$ denoted by $\mathbb C^{2^Ω}(x_0)$. Pulling back via $\natural$ the $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module $\mathbb C^{2^Ω}(x_0)$ forms an $\mathcal H$-module. When $1\leq k\leq D-1$ the $\mathcal H$-module $\mathbb C^{2^Ω}(x_0)$ enfolds the Terwilliger algebra of the Johnson graph $J(D,k)$ with respect to $x_0$. This result connects these two seemingly irrelevant topics: The Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$ and the Terwilliger algebras of Johnson graphs. Unfortunately some steps break down in the $q$-analog case. By making detours, the imperceptible connection between the Clebsch--Gordan coefficients of $U_q(\mathfrak{sl}_2)$ and the Terwilliger algebras of Grassmann graphs is successfully disclosed in this paper.
Grand Motzkin paths and $\{0,1,2\}$-trees -- a simple bijection
Published
• View Publication
• BIB
A well-known bijection between Motzkin paths and ordered trees with outdegree always $\le2$, is lifted to Grand Motzkin paths (the nonnegativity is dropped) and an ordered list of an odd number of such $\{0,1,2\}$ trees. This offers an alternative to a recent paper by Rocha and Pereira Spreafico.
On a specific problem of partition of graph
In this short article, we consider a problem about $2$-partition of the vertices of a graph. If a graph admits such a partition into some 'small' graphs, then the number of edges cross an arbitrary cut of the graph $e(S,S^{c})$ has a nice lower bound.
A new definition of upward planar order
We give a more coherent definition of upward planar order.
Powers of planar graphs, product structure, and blocking partitions
Published
• View Publication
• BIB
We prove that the $k$-power of any planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{f(Δ(G),k)}$ for some graph $H$ with bounded treewidth, some path $P$, and some function $f$. This resolves an open problem of Ossona de Mendez. In fact, we prove a more general result in terms of shallow minors that implies similar results for many `beyond planar' graph classes, without dependence on $Δ(G)$. For example, we prove that every $k$-planar graph is contained in $H\boxtimes P\boxtimes K_{f(k)}$ for some graph $H$ with bounded treewidth and some path $P$, and some function $f$. This resolves an open problem of Dujmović, Morin and Wood. We generalise all these results for graphs of bounded Euler genus, still with an absolute bound on the treewidth.
At the heart of our proof is the following new concept of independent interest. An $\ell$-blocking partition of a graph $G$ is a partition of $V(G)$ into connected sets such that every path of length greater than $\ell$ in $G$ contains at least two vertices in one part. We prove that for some constant $\ell \ge 1$ every graph of Euler genus $g$ has an $\ell$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $g$. Motivated by this result, we study blocking partitions in their own right. We show that every graph $G$ has a $2$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $\textrm{tw}(G)$. On the other hand, we show that 4-regular graphs do not have $\ell$-blocking partitions with bounded size parts.
Classical values of Zeta, as simple as possible but not simpler
Published in Notices Amer. Math. Soc. 71 (2024), no. 6, 725-731
• View Publication
• BIB
This short note for non-experts means to demystify the tasks of evaluating the Riemann Zeta Function at non-positive integers and at even natural numbers, both initially performed by Leonhard Euler. Treading in the footsteps of G. H. Hardy and others, I re-examine Euler's work on the functional equation for the Zeta function, and explain how both the functional equation and all `classical' integer values can be obtained in one sweep using only Euler's favorite method of generating functions. As a counter-point, I also present an even simpler argument essentially due to Bernhard Riemann, which however requires Cauchy's residue theorem, a result not yet available to Euler. As a final point, I endeavor to clarify how these two methods are organically linked and can be taught as an intuitive gateway into the world of Zeta functionology.
Budget-constrained cut problems
The minimum and maximum cuts of an undirected edge-weighted graph are classic problems in graph theory. While the Min-Cut Problem can be solved in P, the Max-Cut Problem is NP-Complete. Exact and heuristic methods have been developed for solving them. For both problems, we introduce a natural extension in which cutting an edge induces a cost. Our goal is to find a cut that minimizes the sum of the cut weights but, at the same time, restricts its total cut cost to a given budget. We prove that both restricted problems are NPComplete and we also study some of its properties. Finally, we develop exact algorithms to solve both as well as a non-exact algorithm for the min-cut case based on a Lagreangean relaxation that generally provides optimal solutions. Their performance is reported by an extensive computational experience.
Diameter of classical groups generated by transvections
Published
• View Publication
• BIB
Let $G$ be a finite classical group generated by transvections, i.e., one of $\operatorname{SL}_n(q)$, $\operatorname{SU}_n(q)$, $\operatorname{Sp}_{2n}(q)$, or $\operatorname{O}^\pm_{2n}(q)$ ($q$ even), and let $X$ be a generating set for $G$ containing at least one transvection. Building on work of Garonzi, Halasi, and Somlai, we prove that the diameter of the Cayley graph $\operatorname{Cay}(G, X)$ is bounded by $(n \log q)^C$ for some constant $C$. This confirms Babai's conjecture on the diameter of finite simple groups in the case of generating sets containing a transvection.
By combining this with a result of the author and Jezernik it follows that if $G$ is one of $\operatorname{SL}_n(q)$, $\operatorname{SU}_n(q)$, $\operatorname{Sp}_{2n}(q)$ and $X$ contains three random generators then with high probability the diameter $\operatorname{Cay}(G, X)$ is bounded by $n^{O(\log q)}$. This confirms Babai's conjecture for non-orthogonal classical simple groups over small fields and three random generators.
Small sunflowers and the structure of slice rank decompositions
Published
• View Publication
• BIB
Let $d \ge 3$ be an integer. We show that whenever an order-$d$ tensor admits $d+1$ decompositions according to Tao's slice rank, if the linear subspaces spanned by their one-variable functions constitute a sunflower for each choice of special coordinate, then the tensor admits a decomposition where these linear subspaces are contained in the centers of these respective sunflowers. As an application, we deduce that for every nonnegative integer $k$ and every finite field $\mathbb{F}$ there exists an integer $C(d,k,|\mathbb{F}|)$ such that every order-$d$ tensor with slice rank $k$ over $\mathbb{F}$ admits at most $C(d,k,|\mathbb{F}|)$ decompositions with length $k$, up to a class of transformations that can be easily described.
Fan's lemma via bistellar moves
Pachner proved that all closed combinatorially equivalent combinatorial manifolds can be transformed into each other by a finite sequence of bistellar moves. We prove an analogue of Pachner's theorem for combinatorial manifolds with a free Z2-action, and use it to give a combinatorial proof of Fan's lemma about labellings of centrally symmetric triangulations of spheres. Similarly to other combinatorial proofs, we must assume an additional property of the triangulation for the proof to work. However, unlike the other combinatorial proofs, no such assumption is needed for dimensions at most 3.
Star-critical Ramsey numbers and regular Ramsey numbers for stars
Published
• View Publication
• BIB
Let $G$ be a graph, $H$ be a subgraph of $G$, and let $G- H$ be the graph obtained from $G$ by removing a copy of $H$. Let $K_{1, n}$ be the star on $n+ 1$ vertices. Let $t\geq 2$ be an integer and $H_{1}, \dots, H_{t}$ and $H$ be graphs, and let $H\rightarrow (H_{1}, \dots, H_{t})$ denote that every $t$ coloring of $E(H)$ yields a monochromatic copy of $H_{i}$ in color $i$ for some $i\in [t]$. Ramsey number $r(H_{1}, \dots, H_{t})$ is the minimum integer $N$ such that $K_{N}\rightarrow (H_{1}, \dots, H_{t})$. Star-critical Ramsey number $r_{*}(H_{1}, \dots, H_{t})$ is the minimum integer $k$ such that $K_{N}- K_{1, N- 1- k}\rightarrow (H_{1}, \dots, H_{t})$ where $N= r(H_{1}, \dots, H_{t})$. Let $rr(H_{1}, \dots, H_{t})$ be the regular Ramsey number for $H_{1}, \dots, H_{t}$, which is the minimum integer $r$ such that if $G$ is an $r$-regular graph on $r(H_{1}, \dots, H_{t})$ vertices, then $G\rightarrow (H_{1}, \dots, H_{t})$. Let $m_{1}, \dots, m_{t}$ be integers larger than one, exactly $k$ of which are even. In this paper, we prove that if $k\geq 2$ is even, then $r_{*}(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t+ 1- \frac{k}{2}$ which disproves a conjecture of Budden and DeJonge in 2022. Furthermore, we prove that if $k\geq 2$ is even, then $rr(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t$. Otherwise, $rr(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t+ 1$.
Counting spanning subgraphs in dense hypergraphs
Published in Combinator. Probab. Comp. 33 (2024) 729-741
• View Publication
• BIB
We give a simple method to estimate the number of distinct copies of some classes of spanning subgraphs in hypergraphs with high minimum degree. In particular, for each $k\geq 2$ and $1\leq \ell\leq k-1$, we show that every $k$-graph on $n$ vertices with minimum codegree at least
$$\cases{\left(\dfrac{1}{2}+o(1)\right)n & if $(k-\ell)\mid k$,\\ & \\ \left(\dfrac{1}{\lceil \frac{k}{k-\ell}\rceil(k-\ell)}+o(1)\right)n & if $(k-\ell)\nmid k$,}$$
contains $\exp(n\log n-Θ(n))$ Hamilton $\ell$-cycles as long as $(k-\ell)\mid n$. When $(k-\ell)\mid k$ this gives a simple proof of a result of Glock, Gould, Joos, Kühn and Osthus, while, when $(k-\ell)\nmid k$ this gives a weaker count than that given by Ferber, Hardiman and Mond or, when $\ell<k/2$, by Ferber, Krivelevich and Sudakov, but one that holds for an asymptotically optimal minimum codegree bound.
Packing $T$-connectors in graphs needs more connectivity
Strengthening the classical concept of Steiner trees, West and Wu [J. Combin. Theory Ser. B 102 (2012), 186--205] introduced the notion of a $T$-connector in a graph $G$ with a set $T$ of terminals. They conjectured that if the set $T$ is $3k$-edge-connected in $G$, then $G$ contains $k$ edge-disjoint $T$-connectors. We disprove this conjecture by constructing infinitely many counterexamples for $k=1$ and for each even $k$.
Super Multiset RSK and a Mixed Multiset Partition Algebra
Published
• View Publication
• BIB
Through dualities on representations on tensor powers and symmetric powers respectively, the partition algebra and multiset partition algebra have been used to study long-standing questions in the representation theory of the symmetric group. In this paper we extend this story to exterior powers, introducing the mixed multiset partition algebra as well as a generalization of the Robinson-Schensted-Knuth algorithm to two-row arrays of multisets with elements from two alphabets. From this algorithm, we obtain enumerative results which reflect representation-theoretic decompositions of this algebra. Furthermore, we use the generalized RSK algorithm to describe the decomposition of a polynomial ring in sets of commuting and anti-commuting variables as a module over both the general linear group and the symmetric group.