Showing 20 papers (Total: 82064 papers, 47505 authors in database)
The sparse regularity method with Schatten norms and entropy
Published
• View Publication
• BIB
We introduce a regularity method for sparse graphs, with new regularity and counting lemmas which use the Schatten-von-Neumann norms to measure uniformity. This leads to $k$-cycle removal lemmas in subgraphs of mildly-pseudorandom graphs, and also in graphs lacking a quasi-smooth family of bipartite subgraphs, extending results of Conlon, Fox, Sudakov and Zhao. We give some applications in additive combinatorics: one about translation-invariant linear equations in subsets of mildly-pseudorandom sets, one about such equations in generalized Sidon sets, and one about polygonal patterns in subsets of $\mathbf{Z}^2$ with few parallelograms (giving a two-dimensional analogue for a result of Prendiville). Separately, our regularity lemma implies a dense graph removal lemma with mild constant dependencies, in graphs whose spectral $L^{2-\varepsilon}$ norms are small.
Schur rings over infinite dihedral group
Published
• View Publication
• BIB
Schur rings over the infinite dihedral group $\mathcal{Z}\rtimes\mathcal{Z}_2$ are studied according to properties of Schur rings over infinite groups and the classification of Schur rings over infinite cyclic groups. Schur rings over $\mathcal{Z}\rtimes{\mathcal{Z}}_2$ are classified under the assumption that $\mathcal{Z}$ is an $\mathcal{A}$-subgroup. Those Schur rings are proved to be traditional.
Sets of $r$-graphs that color all $r$-graphs
Published
• View Publication
• BIB
An $r$-regular graph is an $r$-graph, if every odd set of vertices is connected to its complement by at least $r$ edges. Let $G$ and $H$ be $r$-graphs. An $H$-coloring of $G$ is a mapping $f\colon E(G) \to E(H)$ such that each $r$ adjacent edges of $G$ are mapped to $r$ adjacent edges of $H$. For every $r\geq 3$, let $\mathcal{H}_r$ be an inclusion-wise minimal set of connected $r$-graphs, such that for every connected $r$-graph $G$ there is an $H \in \mathcal{H}_r$ which colors $G$.
We show that $\mathcal{H}_r$ is unique and characterize $\mathcal{H}_r$ by showing that $G \in \mathcal{H}_r$ if and only if the only connected $r$-graph coloring $G$ is $G$ itself.
The Petersen Coloring Conjecture states that the Petersen graph $P$ colors every bridgeless cubic graph. We show that if true, this is a very exclusive situation. Indeed, either $\mathcal{H}_3 = \{P\}$ or $\mathcal{H}_3$ is an infinite set and if $r \geq 4$, then $\mathcal{H}_r$ is an infinite set. Similar results hold for the restriction on simple $r$-graphs.
By definition, $r$-graphs of class $1$ (i.e. those having edge-chromatic number equal to $r$) can be colored with any $r$-graph. Hence, our study will focus on those $r$-graphs whose edge-chromatic number is bigger than $r$, also called $r$-graphs of class $2$. We determine the set of smallest $r$-graphs of class 2 and show that it is a subset of $\mathcal{H}_r$.
On orientations maximizing total arc-connectivity
For a given digraph $D$ and distinct $u,v \in V(D)$, we denote by $λ_D(u,v)$ the local arc-connectivity from $u$ to $v$. Further, we define the total arc-connectivity $tac(D)$ of $D$ to be $\sum_{\{u,v\}\subseteq V(D)}λ_D(u,v)+λ_D(v,u)$. We show that, given a graph $G$ and an integer $k$, it is NP-complete to decide whether $G$ has an orientation $\vec{G}$ satisfying $tac(\vec{G})\geq k$. This answers a question of Pekec. On the positive side, we show that the corresponding maximization problem admits a $\frac{2}{3}$-approximation algorithm.
Transversal numbers of stacked spheres
Published
• View Publication
• BIB
A stacked $d$-sphere $S$ is the boundary complex of a stacked $(d+1)$-ball, which is obtained by taking cone over a free $d$-face repeatedly from a $(d+1)$-simplex. A stacked sphere $S$ is called linear if every cone is taken over a face added in the previous step. In this paper, we study the transversal number of facets of stacked $d$-spheres, denoted by $τ(S)$, which is the minimum number of vertices intersecting with all facets. Briggs, Dobbins and Lee showed that the transversal ratio of a stacked $d$-sphere is bounded above by $\frac{2}{d+2}+o(1)$ and can be as large as $\frac{2}{d+3}$. We improve the lower bound by constructing linear stacked $d$-spheres with transversal ratio $\frac{6}{3d+8}$ and general stacked $d$-spheres with transversal ratio $\frac{2d+3}{(d+2)^2}$. Finally, we show that $\frac{6}{3d+8}$ is optimal for linear stacked $2$-spheres, that is, the transversal ratio is at most $\frac{3}{7} + o(1)$ for linear stacked $2$-spheres.
$q$-Coxeter matrix and $q$-Cartan matrix for a homogeneous bound quiver
The aim of this paper is to introduce the concept of $q$-Coxeter transformation and $q$-Coxeter matrix for a connected acyclic bound quiver $(Q, I)$ with a homogeneous relations $I$, then to establish the relationship between $q$-Coxeter matrix and $q$-Cartan matrix of $(Q, I)$.
Distance-regular graphs with classical parameters that support a uniform structure: case $q \le 1$
Let $Γ=(X,\mathcal{R})$ denote a finite, simple, connected, and undirected non-bipartite graph with vertex set $X$ and edge set $\mathcal{R}$. Fix a vertex $x \in X$, and define $\mathcal{R}_f = \mathcal{R} \setminus \{yz \mid \partial(x,y) = \partial(x,z)\}$, where $\partial$ denotes the path-length distance in $Γ$. Observe that the graph $Γ_f=(X,\mathcal{R}_f)$ is bipartite. We say that $Γ$ supports a uniform structure with respect to $x$ whenever $Γ_f$ has a uniform structure with respect to $x$.
Assume that $Γ$ is a distance-regular graph with classical parameters $(D,q,α,β)$ with $q \le 1$. Recall that $q$ is an integer, which is not equal to $0$ or $-1$. The purpose of this paper is to study when $Γ$ supports a uniform structure with respect to $x$. The main result of the paper is a complete classification of graphs with classical parameters with $q\leq 1$ and $D \ge 4$ that support a uniform structure with respect to $x$.
Using Symbolic Computation to Explore Generalized Dyck Paths and Their Areas
We show the power of Bruno Buchberger's seminal Groebner Basis algorithm, interfaced, seamlessly, with what we call symbolic dynamical programming, to automatically generate algebraic equations satisfied by the generating functions enumerating so-called Generalized Dyck Walks, i.e. 2D walks that start and end on the x-axis, and never dip below it, for an arbitrary set of steps. More impressively, we combine it with calculus (that Maple knows very well!), to automatically compute generating functions for the sum-of-the-areas of these generalized Dyck paths, and even for the sum of any given power of the areas, enabling us to get statistical information about the area under a random generalized Dyck path.
Block-transitive $3$-$(v,k,1)$ designs on exceptional groups of Lie type
Published
• View Publication
• BIB
Let $\mathcal{D}$ be a non-trivial $G$-block-transitive $3$-$(v,k,1)$ design, where $T\leq G \leq \mathrm{Aut}(T)$ for some finite non-abelian simple group $T$. It is proved that if $T$ is a simple exceptional group of Lie type, then $T$ is either the Suzuki group ${}^2B_2(q)$ or $G_2(q)$. Furthermore, if $T={}^2B_2(q)$ then the design $\mathcal{D}$ has parameters $v=q^2+1$ and $k=q+1$, and so $\mathcal{D}$ is an inverse plane of order $q$; and if $T=G_2(q)$ then the point stabilizer in $T$ is either $\mathrm{SL}_3(q).2$ or $\mathrm{SU}_3(q).2$, and the parameter $k$ satisfies very restricted conditions.
A note on an application of discrete Morse theoretic techniques on the complex of disconnected graphs
Published in Examples and Counterexamples, Volume 7, June 2025, 100174
• View Publication
• BIB
Robin Forman's highly influential 2002 paper A User's Guide to Discrete Morse Theory presents an overview of the subject in a very readable manner. As a proof of concept, the author determines the topology (homotopy type) of the abstract simplicial complex of disconnected graphs of order $n$ (which was previously done by Victor Vassiliev using classical topological methods) using discrete Morse theoretic techniques, which are purely combinatorial in nature. The techniques involve the construction (and verification) of a discrete gradient vector field on the complex. However, the verification part relies on a claim that doesn't seem to hold. In this note, we provide a couple of counterexamples against this specific claim. We also provide an alternative proof of the bigger claim that the constructed discrete vector field is indeed a gradient vector field. Our proof technique relies on a key observation which is not specific to the problem at hand, and thus is applicable while verifying a constructed discrete vector field is a gradient one in general.
Denominator vectors and dimension vectors from triangulated surfaces
Published in J. algebra, Vol. 641 (2024) 620--647
• View Publication
• BIB
In a categorification of skew-symmetric cluster algebras, each cluster variable corresponds with an indecomposable module over the associated Jacobian algebra. Buan, Marsh and Reiten studied when the denominator vector of each cluster variable in an acyclic cluster algebra coincides with the dimension vector of the corresponding module. In this paper, we give analogues of their results for cluster algebras from triangulated surfaces by comparing two kinds of intersection numbers of tagged arcs.
Noncommutative symmetric functions and skewing operators
Published
• View Publication
• BIB
Skewing operators play a central role in the symmetric function theory because of the importance of the product structure of the symmetric function space. The theory of noncommutative symmetric functions is a useful tool for studying expansions of a given symmetric function in terms of various bases. In this paper, we establish a further development of the theory for studying skewing operators. Using this machinery, we are able to easily reproduce the Littlewood--Richardson rule, and provide recurrence relations for chromatic quasisymmetric functions, which generalizes Harada--Precup's recurrence.
Ehrhart theory on periodic graphs
Published in Algebraic Combinatorics, Volume 7 (2024) no. 4, 969-1010
• View Publication
• BIB
The purpose of this paper is to extend the scope of the Ehrhart theory to periodic graphs. We give sufficient conditions for the growth sequences of periodic graphs to be a quasi-polynomial and to satisfy the reciprocity laws. Furthermore, we apply our theory to determine the growth series in several new examples.
A generalization of operads based on subgraph contractions
Published in Inter Math Res Notices Issue 14 (2024) 10732-10775
• View Publication
• BIB
We introduce a generalization of the notion of operad that we call a contractad, whose set of operations is indexed by connected graphs and whose composition rules are numbered by contractions of connected subgraphs. We show that many classical operads, such as the operad of commutative algebras, Lie algebras, associative algebras, pre-Lie algebras, the little disks operad, and the operad of moduli spaces of stable curves $\overline{\mathcal{M}}_{0,n+1}$ admit generalizations to contractads. We explain that standard tools like Koszul duality and the machinery of Gröbner bases can be easily generalized to contractads. We verify the Koszul property of the commutative, Lie, associative, and Gerstenhaber contractads.
A short bijective proof of dimension identities of Erickson and Hunziker
Published
• View Publication
• BIB
In a recent paper (arXiv:2301.09744), Erickson and Hunziker consider partitions in which the arm-leg difference is an arbitrary constant $m$. In previous works, these partitions are called $(-m)$-asymmetric partitions. Regarding these partitions and their conjugates as the highest weights, they prove an identity yielding an infinite family of dimension equalities between $\mathfrak{gl}_n$ and $\mathfrak{gl}_{n+m}$ modules. Their proof proceeds by the manipulations of the hook content formula. We give a simple bijective proof of their result.
On the edge reconstruction of six digraph polynomials
Let $G=(V,E)$ be a digraph having no loops and no multiple arcs, with vertex set $V=\{v_1,v_2,\ldots,v_n\}$ and arc set $E=\{e_1,e_2,\ldots,e_m\}$. Denote the adjacency matrix and the vertex in-degree diagonal matrix of $G$ by $A=(a_{ij})_{n\times n}$ and $D=diag(d^+(v_1),d^+(v_2),\cdots,d^+(v_n))$, where $a_{ij}=1$ if $(v_i,v_j)\in E(G)$ and $a_{ij}=0$ otherwise, and $d^+(v_i)$ is the number of arcs with head $v_i$. Set $f_1(G;x)=\det(xI-A), f_2(G;x)=\det(xI-D+A),f_3(G;x)=\det(xI-D-A),f_4(G;x)={\rm per}(xI-A), f_5(G;x)={\rm per}(xI-D+A),f_6(G;x)={\rm per}(xI-D-A)$, where $\det(X)$ and ${\rm per}(X)$ denote the determinant and the permanent of a square matrix $X$, respectively. In this paper, we consider a variant of the Ulam's vertex reconstruction conjecture and the Harary's edge reconstruction conjecture, and prove that, for any $1\leq i\leq 6$, \begin{equation*} (m-n)f_i(G;x)+xf_i'(G;x)=\sum\limits_{e\in E}f_i(G-e;x), \end{equation*}
which implies that if $m\neq n$, then $f_i(G;x)$ can be reconstructed from $\{f_i(G-e;x)|e\in E\}$.
Graph bundles and Ricci-flatness
Published
• View Publication
• BIB
We develop a systematical way of constructing S-Ricci flat graphs which are not Abelian Cayley via graph bundle with explicit examples. For this purpose, we prove that, with some natural constrains, a non-trivial graph bundle can not be isomorphic (as graphs) to the product of the base graph and fiber graph. It stands in clear contrast to the continuous case.
Positive formula for Jack polynomials, Jack characters and proof of Lassalle's conjecture
We give an explicit formula for the power-sum expansion of Jack polynomials. We deduce it from a more general formula, which we provide here, that interprets Jack characters in terms of bipartite maps. We prove Lassalle's conjecture from 2008 on integrality and positivity of Jack characters in Stanley's coordinates and give a new formula for Jack polynomials using creation operators.
Big Ramsey Degrees of Countable Ordinals
Published in Combinatorica, Vol 45, Paper 47, 2025
• View Publication
• BIB
Ramsey's theorem states that for all finite colorings of an infinite set, there exists an infinite homogeneous subset. What if we seek a homogeneous subset that is also order-equivalent to the original set? Let $S$ be a linearly ordered set and $a \in N$. The big Ramsey degree of $a$ in $S$, denoted $T(a,S)$, is the least integer $t$ such that, for any finite coloring of the $a$-subsets of $S$, there exists $S'\subseteq S$ such that (i) $S'$ is order-equivalent to $S$, and (ii) if the coloring is restricted to the $a$-subsets of $S'$ then at most $t$ colors are used.
Mašulović \& Šobot (2019) showed that $T(a,ω+ω)=2^a$. From this one can obtain $T(a,ζ)=2^a$. We give a direct proof that $T(a,ζ)=2^a$.
Mašulović and Šobot (2019) also showed that for all countable ordinals $α< ω^ω$, and for all $a \in N$, $T(a,α)$ is finite. We find exact value of $T(a,α)$ for all ordinals less than $ω^ω$ and all $a\in N$.
Spanning trees of $K_{1,4}$-free graphs whose reducible stems have few leaves
Published
• View Publication
• BIB
Let $T$ be a tree, a vertex of degree one is a \emph{leaf} of $T$ and a vertex of degree at least three is a \emph{branch vertex} of $T$. The {\it reducible stem } of $T$ is the smallest subtree that contains all branch vertices of $T$. In this paper, we give some sharp sufficient conditions for $K_{1,4}$-free graphs to have a spanning tree whose reducible stem having few leaves.