Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Complementary edge ideals
Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$ and $I\subset S$ be a squarefree monomial ideal generated in degree $n-2$. Motivated by the remarkable behavior of the powers of $I$ when $I$ admits a linear resolution, as established in [11], in this work we investigate the algebraic and homological properties of $I$ and its powers. To this end, we introduce the complementary edge ideal of a finite simple graph $G$ as the ideal $$I_c(G)=((x_1\cdots x_n)/(x_ix_j):\{i,j\}\in E(G)) $$ of $S$, where $V(G)=\{1,\ldots,n\}$ and $E(G)$ is the edge set of $G$. By interpreting any squarefree monomial ideal $I$ generated in degree $n-2$ as the complementary edge ideal of a graph $G$, we establish a correspondence between algebraic invariants of $I$ and combinatorial properties of $G$. More precisely, we characterize sequentially Cohen-Macaulay, Cohen-Macaulay, Gorenstein, nearly Gorenstein and matroidal complementary edge ideals. Moreover, we determine the regularity of powers of $I$ in terms of combinatorial invariants of the graph $G$ and obtain that $I^k$ has linear resolution or linear quotients for some $k$ (equivalently for all $k\geq 1$) if and only if $G$ has only one connected component with at least two vertices.
On a nonnegativity conjecture of Andrews
I settle a conjecture of Andrews related to the Alladi-Schur polynomials. In addition, I give further relations and implications to two families of polynomials related to the Alladi-Schur polynomials.
Total b-chromatic Colouring of Graphs
A b-chromatic colouring of a graph $G$ is a proper $k$-colouring of the vertices of $G$, for some integer $k$, such that, for each colour $i$ ($1\leq i\leq k$), there exists a vertex $v$ of colour $i$ such that $v$ is adjacent to a vertex of colour $j$, for each $j$ ($1\leq j\leq k$, $j\neq i$). The b-chromatic number of $G$ is the maximum integer $k$ such that $G$ admits a b-chromatic colouring using $k$ colours. In this paper we introduce the concept of a total b-chromatic colouring, which extends the notion of b-chromatic colourings to both vertices and edges in a graph. We show that the problem of computing the total b-chromatic number is NP-hard in general graphs. On the other hand for a subclass of caterpillars we give a polynomial-time algorithm to compute the total b-chromatic number, and indeed a total b-chromatic colouring with the maximum number of colours.
Planar graphs embedded in generic ways and realizing them as Reeb graphs of real algebraic functions
This paper is concerned with long-time interest of us, especially, the author, in realizing graphs as Reeb graphs of real algebraic functions of certain nice classes.
The Reeb graph of a differentiable function is the set consisting of all components of preimages of all single points and endowed with the quotient topology canonically. In tame cases, such objects are graphs. The Reeb graph of the natural height of the unit sphere of dimension at least $2$ is a graph with exactly one edge and homeomorphic to a closed interval. These graphs have been fundamental and strong tools in geometry since theory of Morse functions has been established in the former half of the last century.
We present a new answer to the problem, saying that generically embedded planar graphs are homeomorphic to the Reeb graphs of real algebraic functions obtained by elementary polynomials and elementary procedures.
The partition function and elliptic curves
For each $n\geq 1$, we express the partition function $p(n)$ as a CM trace on $X_0(6)$ of the discriminant $Δ_n:=1-24n$ invariants of a weight 0 weak Maass function $P$ that records
where CM elliptic curves sit on $X(1)$, together with their canonical first-order "CM tangent'', the diagonal local slope of the CM isogeny relation on $X(1)\times X(1)$. In this viewpoint, we obtain a formula for $p(n)\!\!\pmod{\ell},$ when $\ell$ is inert in $\mathbb{Q}(\sqrt{Δ_n}),$ as a Brandt-module pairing $\langle u_{Δ_n},v_P\rangle$ that is assembled from oriented optimal embeddings of Eichler orders. For $\ell \in \{5, 7, 11\}$ and $j\geq 1$, we obtain a new proof of the Ramanujan congruences $$
p(5^j n +β_5(j))\equiv 0\pmod{5^j}, $$ $$
p(7^j n +β_7(j))\equiv 0\pmod{7^{ [ j/2]+1}}, $$ $$ p(11^jn+β_{11}(j))\equiv 0\pmod{11^j}, $$
where $β_m(j)$ is the unique residue $0\le β<m^j$ with $24\,β_m(j)\equiv 1\pmod{m^j}$. The key point is a "bonus valuation" that stems from the fact that the supersingular locus of $X_0(6)_{\mathbb{F}_{\ell}}$ lies over $\{0, 1728\}$ for $\ell \in \{5, 7, 11\}.$ This special property, combined with the uniform growth of the $λ$-adic valuations of the number of oriented optimal embeddings, explains these congruences. More generally, we give a portable genus 0 template showing that the Watson--Atkin $U_\ell$-contraction works uniformly for suitable traces of singular moduli for genus 0 modular curves with $\ell\nmid N.$
Equality in the linear algebra bound
We study some examples when there is actually an equality in the linear algebra bound. When the vectors considered span in fact the entire space. We would like to point out that in some cases this provides some interesting extra information about the extremal configuration. We obtain results on set families satisfying conditions on pairwise intersections, or Hamming distances. Also, we have an application to 2-distance sets in Euclidean spaces.
Pretty good state transfer in Grover walks on abelian Cayley graphs
In this paper, we study pretty good state transfer (PGST) in Grover walks on graphs. We consider transfer of quantum states that are localized at the vertices of a graph and we use Chebyshev polynomials to analyze PGST between such states. In general, we find a necessary and sufficient condition for the occurrence of PGST on graphs. We then focus our analysis on abelian Cayley graphs and derive a necessary and sufficient condition for the occurrence of PGST on such graphs. Consequently, we obtain a complete characterization of PGST on unitary Cayley graphs. Our results yield infinite families of graphs that exhibit PGST but fail to exhibit perfect state transfer.
Parking functions and chip-firing on hypergraphs
For a connected graph $G$ with sink vertex $q$, a $G$-parking function is a vector of nonnegative integers whose entries are determined by cut-sets in $G$. Such objects also arise as the superstable configurations in the context of chip-firing. The set of all $G$-parking functions have various algebraic and combinatorial properties; for instance they relate to evaluations of the Tutte polynomial and in particular are counted by spanning trees of $G$. We extend these constructions to the setting of hypergraphs, where edges can have multiple vertices. For a hypergraph $H$ with sink $q$, we define $H$-parking functions in terms of cuts in $H$ and prove that the maximal such sequences are characterized by certain acyclic orientations of $H$. We introduce a notion of a $q$-rooted spanning tree for $H$, and prove that the set of all such objects are counted by $H$-parking functions. We also show how $H$-parking functions can be recovered as the superstable configurations in a version of chip-firing on $H$, where chips have a choice of where to go when fired. We prove that one can recover such configurations via chip-firing on a family of digraphs associated to $H$.
Undecidability of Tiling the Plane with a Set of 5 Polyominoes
In this paper, we give a proof that it is undecidable whether a set of five polyominoes can tile the plane by translation. The proof involves a new method of labeling the edges of polyominoes, making it possible to assign whether two edges can match for any set of two edges chosen. This is achieved by dedicating 1 polyomino to the labeling process.
Congruences modulo powers of $7$ for $k$-elongated plane partitions
The enumeration $d_k(n)$ of $k$-elongated plane partition diamonds has emerged as a generalization of the classical integer partition function $p(n)$. Congruences for $d_k(n)$ modulo certain powers of primes have been proven via elementary means and modular forms by many authors. Recently, Banerjee and Smoot established an infinite family of congruences for $d_5(n)$ modulo powers of 5. In this paper we have discovered an infinite congruence family for $d_3(n)$ and $d_5(n)$ modulo powers of 7.
Quivers and BPS states in 3d and 4d
We propose a symmetrization relation between BPS quivers encoding 4d $\mathcal{N}=2$ theories and symmetric quivers associated to 3d $\mathcal{N}=2$ theories. We analyse in detail the symmetrization of BPS quivers for a series of $A_m$ Argyres-Douglas theories by engineering 3d-4d systems in geometric backgrounds involving appropriate 3-manifolds and Riemann surfaces. We discuss properties of these geometric backgrounds and derive the corresponding quiver partition functions from the perspective of skein modules, which forms the foundation of the symmetrization map for the minimal chamber. We also prove that the structure of wall-crossing in 4d $A_m$ Argyres-Douglas theories is isomorphic to the structure of unlinking of symmetric quivers encoding their partner 3d theories, which allows for a proper definition of the symmetrization map outside the minimal chamber. Finally, we show that the Schur indices of 4d theories are captured by symmetric quivers that include symmetrization of 4d BPS quivers.
Characterizing $A_σ$-minimizer graphs: given order and independence number
For a given graph $G$, let $A(G)$, $Q(G)$, and $D(G)$ denote the adjacency matrix, signless Laplacian matrix, and diagonal degree matrix of $G$, respectively. The $A_σ(G)$ matrix, proposed by Nikiforov, is defined as $A_σ(G)=σD(G)+(1 - σ)A(G)$, where $σ\in[0,1]$. This matrix captures the gradual transition from $A(G)$ to $Q(G)$. Let $\mathcal{G}_{n,α}$ denote the family of all connected graphs with $n$ vertices and independence number $α$. A graph in $\mathcal{G}_{n,α}$ is referred to as an $A_σ$-minimizer graph if it achieves the minimum $A_σ$ spectral radius. In this paper, we first demonstrate that the $A_σ$-minimizer graph in $\mathcal{G}_{n,α}$ must be a tree when $α\geq\left\lceil\frac{n}{2}\right\rceil$, and we provide several characterizations of such $A_σ$-minimizer graphs. We then specifically characterize the $A_σ$-minimizer graphs for the case $α= \left\lceil\frac{n}{2}\right\rceil + 1$. Furthermore, we obtain a structural characterization for the $A_σ$-minimizer graph when $α=n - c$, where $c\geq4$ is an integer. Finally, we identify 17 potential $A_σ$-minimizer graphs within $\mathcal{G}_{n,n - 4}$, thereby extending the results of Liu and Wang [9].
Wildest $\mathrm{SL}_2$-tilings
Published in Examples and Counterexamples 8 (2025), 100206
• View Publication
• BIB
Tame SL$_2$-tilings are related to Farey graph and friezes; much less is known about wild (not tame) SL$_2$-tilings. In this note, we demonstrate SL$_2$-tilings that are maximally wild: we prove that the maximum wild density of an integer SL$_2$-tiling is $\tfrac25$ and present SL$_2$-tilings over $\mathbb{Z}/N\mathbb{Z}$ with wild density 1.
Recurrence for pretentious systems along generalized Pythagorean triples
We establish multiple recurrence results for pretentious measure-preserving multiplicative actions along generalized Pythagorean triples, that is, solutions to the equation $ax^2 + b y^2 = c z^2$. This confirms the ergodic-theoretic form of the generalized Pythagorean partition regularity conjecture in this critical case of structured measure-preserving actions. As a consequence of our main theorem, any finite coloring of $\mathbb{N}$ generated by the level sets of finitely many pretentious completely multiplicative functions, must contain a monochromatic generalized Pythagorean triple.
Complementary edge ideals
In this paper, we introduce the concept of complementary edge ideals of graphs and study their algebraic properties and invariants.
The Brown-Erdős-Sós conjecture in dense triple systems
The famous Brown-Erdős-Sós conjecture from 1973 states, in an equivalent form, that for any fixed $δ>0$ and integer $k\geq 3$ every sufficiently large linear $3$-uniform hypergraph of size $δn^2$ contains some $k$ edges spanning at most $k+3$ vertices. We prove it to hold for $δ>4/5$, establishing the first bound of this kind.
New examples of $M\setminus L$: intruder sets
We exhibit new examples of regions of $M\setminus L$ where $M$ and $L$ denote the Markov and Lagrange spectra, respectively. These regions have a different nature from all known regions studied so far: they contain \emph{intruder sets} associated with distinct combinatorics that trespass the region where self-replication holds. Our construction follows the usual self-replication method but replaces the standard local uniqueness condition with a more flexible and weaker property. These examples emerged from a large-scale computational search for regions of $M\setminus L$, which indicates that many such regions with intruder sets exist. We conclude with some open problems about these new regions.
The zero blocking numbers of grid graphs
In a zero forcing process, vertices of a graph are colored black and white initially, and if there exists a black vertex adjacent to exactly one white vertex, then the white vertex is forced to be black. A zero blocking set is an initial set of white vertices in a zero forcing process such that ultimately there exists a white vertex. The zero blocking number is the minimum size of a zero blocking set. This paper gives the exact value of the zero blocking number of grid graphs.
Configuration spaces and peak representations
Within the group algebras of the symmetric and hyperoctahedral groups, one has their descent algebras and families of Eulerian idempotents. These idempotents are known to generate group representations with topological interpretations, as the cohomology of configuration spaces of types A and B. We provide an analogous cohomological interpretation for the representations generated by idempotents in the peak algebra, called the peak representations. We describe the peak representations as sums of Thrall's higher Lie characters, give Hilbert series and branching rule recursions for them, and discuss a connection to Jordan brackets.
Proximity and Radius in Outerplanar Graphs with Bounded Faces
Let $G$ be a finite, connected graph and $v$ a vertex of $G$. The average distance and the eccentricity of $v$ in $G$ are defined as the arithmetic mean and the maximum, respectively, of the distances from $v$ to all other vertices of $G$. The proximity of $G$ and the radius of $G$ are defined as the minimum of the average distances and the eccentricities over all vertices of $G$.
In this paper, we establish an upper bound on the proximity of a $2$-connected outerplanar graphs in terms of order and maximum face length. This bound is sharp apart from a small additive constant.
It is known that the radius of a maximal outerplanar graph is at most $\lfloor \frac{n}{4} \rfloor +1$. In the second part of this paper we show that this bound on the radius holds for a much larger subclass of outerplanar graphs, for all $2$-connected outerplanar graphs of order $n$ whose maximum face length does not exceed $\frac{n+2}{4}$.