Showing 20 papers (Total: 83842 papers, 48355 authors in database)
A note on Cayley nut graphs whose degree is divisible by four
A nut graph is a non-trivial simple graph such that its adjacency matrix has a one-dimensional null space spanned by a full vector. It was recently shown by the authors that there exists a $d$-regular circulant nut graph of order $n$ if and only if $4 \mid d, \, 2 \mid n, \, d > 0$, together with $n \ge d + 4$ if $d \equiv_8 4$ and $n \ge d + 6$ if $8 \mid d$, as well as $(n, d) \neq (16, 8)$ [arXiv:2212.03026, 2022]. In this paper, we demonstrate the existence of a $d$-regular Cayley nut graph of order $n$ for each $4 \mid d, \, d > 0$ and $2 \mid n, \, n \ge d + 4$, thereby resolving the existence problem for Cayley nut graphs and vertex-transitive nut graphs whose degree is divisible by four.
A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part II: quantum double Grothendieck polynomials
Published
• View Publication
• BIB
In our previous paper, we gave a presentation of the torus-equivariant quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ under this presentation. The main ingredient in our proof is an explicit formula expressing the semi-infinite Schubert class associated to the longest element of the finite Weyl group, which is proved by making use of the general Chevalley formula for the torus-equivariant $K$-group of the semi-infinite flag manifold associated to $SL_{n+1}(\mathbb{C})$.
Shield tilings
We provide a complete description of the edge-to-edge tilings with a regular triangle and a shield-shaped hexagon with no right angle. The case of a hexagon with a right angle is also briefly discussed.
A chiral aperiodic monotile
Published in Combinatorial Theory, 4(2) (2024)
• View Publication
• BIB
The recently discovered "hat" aperiodic monotile mixes unreflected and reflected tiles in every tiling it admits, leaving open the question of whether a single shape can tile aperiodically using translations and rotations alone. We show that a close relative of the hat -- the equilateral member of the continuum to which it belongs -- is a weakly chiral aperiodic monotile: it admits only non-periodic tilings if we forbid reflections by fiat. Furthermore, by modifying this polygon's edges we obtain a family of shapes called Spectres that are strictly chiral aperiodic monotiles: they admit only chiral non-periodic tilings based on a hierarchical substitution system.
Structure and coloring of a family of ($P_7, C_5$)-free graphs
Published
• View Publication
• BIB
Let $P_t$ and $C_t$ be a path and a cycle on $t$ vertices, respectively. In 2021, Choudum {\em et al.} [Disc. Math. 344 (2021) 112244] determined the structures of $(P_7,C_7,C_4$, diamond)-free and $(P_7,C_7,C_4$, gem)-frees, and gave correspondingly tight upper bounds to the chromatic numbers of these graphs. In this paper, we study the structure of $(P_7, C_5$, kite, paraglider)-free graphs, which is a superfamily of $(P_7, C_5$, diamond)-free graphs. We show that there is a unique connected imperfect $(P_7, C_5$, kite, paraglider)-free graph with $δ(G)\geqω(G)+1$, which has no clique cutsets, no universal cliques, and no pair of vertices of which one's neighborhoods contains the other's. As a consequence, we show that $(P_7, C_5$, kite, paraglider)-free graphs are $χ$-polydet with a binding function $ω(G)+1$. Where a {\em diamond} (resp. {\em gem}) consists of a $P_3$ (resp. $P_4$) and a new vertex adjacent to all vertices of the $P_3$ (resp. $P_4$), a {\em kite} consists of a $P_4$ and a new vertex adjacent to consecutive three vertices of the $P_4$, and a {\em paraglider} consists of a $C_4$ and a new vertex adjacent to three vertices of the $C_4$.
Tilted biorthogonal ensembles, Grothendieck random partitions, and determinantal tests
Published
• View Publication
• BIB
We study probability measures on partitions based on symmetric Grothendieck polynomials. These deformations of Schur polynomials introduced in the K-theory of Grassmannians share many common properties. Our Grothendieck measures are analogs of the Schur measures on partitions introduced by Okounkov (arXiv:math/9907127 [math.RT]). Despite the similarity of determinantal formulas for the probability weights of Schur and Grothendieck measures, we demonstrate that Grothendieck measures are \emph{not} determinantal point processes. This question is related to the principal minor assignment problem in algebraic geometry, and we employ a determinantal test first obtained by Nanson in 1897 for the $4\times4$ problem. We also propose a procedure for getting Nanson-like determinantal tests for matrices of any size $n\ge4$ which appear new for $n\ge 5$.
By placing the Grothendieck measures into a new framework of tilted biorthogonal ensembles generalizing a rich class of determinantal processes introduced by Borodin (arXiv:math/9804027 [math.CA]), we identify Grothendieck random partitions as a cross-section of a Schur process, a determinantal process in two dimensions. This identification expresses the correlation functions of Grothendieck measures through sums of Fredholm determinants, which are not immediately suitable for asymptotic analysis. A more direct approach allows us to obtain a limit shape result for the Grothendieck random partitions. The limit shape curve is not particularly explicit as it arises as a cross-section of the limit shape surface for the Schur process. The gradient of this surface is expressed through the argument of a complex root of a cubic equation.
The Realizability of Theta Graphs as Reconfiguration Graphs of Minimum Independent Dominating Sets
Published
• View Publication
• BIB
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$ is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. Not all graphs are $i$-graph realizable, that is, given a target graph $H$, there does not necessarily exist a source graph $G$ such that $H$ is the $i$-graph of $G$. We consider a class of graphs called "theta graphs": a theta graph is the union of three internally disjoint nontrivial paths with the same two distinct end vertices. We characterize theta graphs that are $i$-graph realizable, showing that there are only finitely many that are not. We also characterize those line graphs and claw-free graphs that are $i$-graphs, and show that all $3$-connected cubic bipartite planar graphs are $i$-graphs.
Hypergraph independence polynomials with a zero close to the origin
Published in Combinator. Probab. Comp. 34 (2025) 486-490
• View Publication
• BIB
For each uniformity $k \geq 3$, we construct $k$-uniform linear hypergraphs $G$ with arbitrarily large maximum degree $Δ$ whose independence polynomial $Z_G$ has a root $λ$ with $\lvertλ\rvert = O\left(\frac{\log Δ}Δ\right)$. This disproves a recent conjecture of Galvin, McKinley, Perkins, Sarantis, and Tetali.
On powers of Hamilton cycles in Ramsey-Turán Theory
Published
• View Publication
• BIB
We prove that for $r\in \mathbb{N}$ with $r\geq 2$ and $μ>0$, there exist $α>0$ and $n_{0}$ such that for every $n\geq n_{0}$, every $n$-vertex graph $G$ with $δ(G)\geq \left(1-\frac{1}{r}+μ\right)n$ and $α(G)\leq αn$ contains an $r$-th power of a Hamilton cycle. We also show that the minimum degree condition is asymptotically sharp for $r=2, 3$ and the $r=2$ case was recently conjectured by Staden and Treglown.
On the combinatorics of descents and inverse descents in the hyperoctahedral group
The elements in the hyperoctahedral group $\mathfrak{B}_n$ can be treated as signed permutations with the natural order $\cdots<-2<-1<0<1<2<\cdots$, or as colored permutations with the $r$-order $-1<_r-2<_r\cdots<_r0<_r1<_r2<_r\cdots$. For any $π\in\mathfrak{B}_n$, let $\operatorname{des}^B(π)$ and $\operatorname{ides}^B(π)$ be the number of descents and inverse descents in $π$ under the natural order, and let $\operatorname{des}_B(π)$ and $\operatorname{ides}_B(π)$ be the number of descents and inverse descents in $π$ under the $r$-order. In this paper, by investigating signed permutation grids under both the natural order and the $r$-order, we give combinatorial proofs for six recurrence formulas of the joint distribution of descents and inverse descents over the hyperoctahedral group $\mathfrak{B}_n$, the set in involutions of $\mathfrak{B}_n$ denoted by $\mathcal{I}_n^B$, and the set of fixed-point free involutions in $\mathfrak{B}_n$ denoted by $\mathcal{J}_n^B$, respectively. Some of these six formulas are new, and some reveal the combinatorial essences of the results obtained by Visontai, Moustakas and Cao-Liu through algebraic approaches such as quasisymmetric functions. Furthermore, from these formulas, we conclude that $(\operatorname{des}^B,\operatorname{ides}^B)$ and $(\operatorname{des}_B,\operatorname{ides}_B)$ are equidistributed over both $\mathfrak{B}_n$ and $\mathcal{I}_n^B$, but not on $\mathcal{J}_n^B$.
Symmetry Parameters of Two-Generator Circulant Graphs
Published
• View Publication
• BIB
The derived graph of a voltage graph consisting of a single vertex and two loops of different voltages is a circulant graph with two generators. We characterize the automorphism groups of connected, two-generator circulant graphs, and give their determining and distinguishing number, and when relevant, their cost of 2-distinguishing. We do the same for the subdivisions of connected, two-generator circulant graphs obtained by replacing one loop in the voltage graph with a directed cycle.
Some new generalizations of Domination using restrictions on degrees of vertices
A set $D$ of vertices in a graph $G=(V,E)$ is a degree restricted dominating set for $G$ if each vertex $v_i$ in $D$ is dominating atmost $g(d_i)$ vertices of $V-D$, where $g$ is a function restricting the degree value $d_i$ with respect to the given function value $k_i$ for a natural valued function $f$ from the vertex set of the graph. We define three different types of Degree Restricted Domination by varying the way how the restricted function $g(v_i)$ is defined. If $g(d_i)=\big\lceil \frac{d_i}{k_i}\big\rceil$, the corresponding domination is called the ceil degree restricted domination, in short, $CDRD$, and the dominating set obtained in this manner is the $CDRD$-set. If $g(d_i)=\big\lfloor\frac{d_i}{k_i}\big\rfloor$ or $g(d_i)=d_i-k_i+1$, then the corresponding dominations are respectively called the floor degree restricted domination, in short $FDRD$, or the translate degree restricted domination, $TDRD$. The dominating sets obtained in this manner are the $FDRD$-set and the $TDRD$-set respectively. In this paper, we introduce these new generalizations of the domination number in line with the different $DRD$-sets and study these types of domination for some classes of graphs like complete graphs, caterpillar graphs etc. Degree restricted domination has a vital role in retaining the efficiency of nodes in a network and has many interesting applications.
On Locally Identifying Coloring of Cartesian Product and Tensor Product of Graphs
Published
• View Publication
• BIB
For a positive integer $k$, a proper $k$-coloring of a graph $G$ is a mapping $f: V(G) \rightarrow \{1,2, \ldots, k\}$ such that $f(u) \neq f(v)$ for each edge $uv$ of $G$. The smallest integer $k$ for which there is a proper $k$-coloring of $G$ is called the chromatic number of $G$, denoted by $χ(G)$. A locally identifying coloring (for short, lid-coloring) of a graph $G$ is a proper $k$-coloring of $G$ such that every pair of adjacent vertices with distinct closed neighborhoods has distinct set of colors in their closed neighborhoods. The smallest integer $k$ such that $G$ has a lid-coloring with $k$ colors is called locally identifying chromatic number (for short, lid-chromatic number) of $G$, denoted by $χ_{lid}(G)$. This paper studies the lid-coloring of the Cartesian product and tensor product of two graphs. We prove that if $G$ and $H$ are two connected graphs having at least two vertices then (a) $χ_{lid}(G \square H) \leq χ(G) χ(H)-1$ and (b) $χ_{lid}(G \times H) \leq χ(G) χ(H)$. Here $G \square H$ and $G \times H$ denote the Cartesian and tensor products of $G$ and $H$ respectively. We determine the lid-chromatic number of $C_m \square P_n$, $C_m \square C_n$, $P_m \times P_n$, $C_m \times P_n$ and $C_m \times C_n$, where $C_m$ and $P_n$ denote a cycle and a path on $m$ and $n$ vertices respectively.
Minimal Posets with Prescribed Maximal Chain Cardinalities
Given a nonempty finite multiset $S$ of positive integers, we wish to find a partially ordered set $P$ of minimal cardinality such that the multiset of cardinalities of all maximal chains in $P$ equals $S$. This paper establishes upper and lower bounds on the size of $P$: $\max(S) + \lceil \log_2 |S| \rceil <= |P| <= \max(S) + |S| - 1$, and both bounds are tight.
Lagrange Inversion Formula by Induction
Published in The American Mathematical Monthly 130 (2023), 944-948
• View Publication
• BIB
We present a simple inductive proof of the Lagrange Inversion Formula.
The Random Turán Problem for Theta Graphs
Given a graph $F$, we define $\operatorname{ex}(G_{n,p},F)$ to be the maximum number of edges in an $F$-free subgraph of the random graph $G_{n,p}$. Very little is known about $\operatorname{ex}(G_{n,p},F)$ when $F$ is bipartite, with essentially tight bounds known only when $F$ is either $C_4, C_6, C_{10}$, or $K_{s,t}$ with $t$ sufficiently large in terms of $s$, due to work of Füredi and of Morris and Saxton. We extend this work by establishing essentially tight bounds when $F$ is a theta graph with sufficiently many paths. Our main innovation is in proving a balanced supersaturation result for vertices, which differs from the standard approach of proving balanced supersaturation for edges.
On the maximum of the weighted binomial sum $(1+a)^{-r}\sum_{i=0}^{r}\binom{m}{i}a^{i}$
Published
• View Publication
• BIB
Recently, Glasby and Paseman considered the following sequence of binomial sums $\{2^{-r}\sum_{i=0}^{r}\binom{m}{i}\}_{r=0}^{m}$ and showed that this sequence is unimodal and attains its maximum value at $r=\lfloor\frac{m}{3}\rfloor+1$ for $m\in\mathbb{Z}_{\geq0}\setminus\{0,3,6,9,12\}$. They also analyzed the asymptotic behavior of the maximum value of the sequence as $m$ approaches infinity. In the present work, we generalize their results by considering the sequence $\{(1+a)^{-r}\sum_{i=0}^{r}\binom{m}{i}a^{i}\}_{r=0}^{m}$ for integers $a \geq 1$. We also consider a family of discrete probability distributions that naturally arises from this sequence.
Transversals to colorful intersecting convex sets
Published
• View Publication
• BIB
Let $K$ be a compact convex set in $\mathbb{R}^2$ and let $\mathcal{F}_1, \mathcal{F}_2, \mathcal{F}_3$ be finite families of translates of $K$ such that $A \cap B \neq \emptyset$ for every $A \in \mathcal{F}_i$ and $B \in \mathcal{F}_j$ with $i \neq j$. A conjecture by Dolnikov is that, under these conditions, there is always some $j \in \lbrace 1,2,3 \rbrace$ such that $\mathcal{F}_j$ can be pierced by $3$ points. In this paper we prove a stronger version of this conjecture when $K$ is a body of constant width or when it is close in Banach-Mazur distance to a disk. We also show that the conjecture is true with $8$ piercing points instead of $3$. Along the way we prove more general statements both in the plane and in higher dimensions. A related result was given by Martínez-Sandoval, Roldán-Pensado and Rubin. They showed that if $\mathcal{F}_1, \dots, \mathcal{F}_d$ are finite families of convex sets in $\mathbb{R}^d$ such that for every choice of sets $C_1 \in \mathcal{F}_1, \dots, C_d \in \mathcal{F}_d$ the intersection $\bigcap_{i=1}^{d} C_i$ is non-empty, then either there exists $j \in \lbrace 1,2, \dots, n \rbrace$ such that $\mathcal{F}_j$ can be pierced by few points or $\bigcup_{i=1}^{n} \mathcal{F}_i$ can be crossed by few lines. We give optimal values for the number of piercing points and crossing lines needed when $d=2$ and also consider the problem restricted to special families of convex sets.
Second Class Particle Behaviour in Blocking ASEP
Published
• View Publication
• BIB
We consider any fixed $d\in\mathbb{Z}_{>0}$ number of second class particles in the asymmetric simple exclusion process (ASEP), constructed via a basic coupling of two ASEPs. We give the joint distribution of the positions of the second class particles and also the probability of there being a second class particle at a given site, under the natural blocking measure for ASEP. In order to find these distributions we use results about the number of particles in half-infinite and finite site ranges of ASEP. Our investigations also lead to probabilistic proofs of well-known combinatorial identities; the Durfee rectangles identity, Euler's identity, and the $q$-Binomial Theorem.
Geometric and spectral analysis on weighted digraphs
Published in Linear Algebra and its Applications 687 (2024) 252-280
• View Publication
• BIB
In this article we give a geometrical description of the (in general non-selfadjoint) in/out Laplacian $\mathcal{L}^{+/-} = (d^{+/-})^* d$ and adjacency matrix on digraphs with arbitrary weights, where $(d^{+/-})^*$ is the adjoint of the evaluation map $d^{+/-}$ on the terminal/initial vertex of each arc and $d = d^+ + d^-$ denotes the discrete gradient. We prove that the multiplicity of the zero eigenvalue of $\mathcal{L}^{+/-} = (d^{+/-})^* d$ coincides with the number of sources/sinks of the digraph. We also show that for an acyclic digraph with combinatorial weights the spectrum is contained in the set of non-zero integers. The geometrical perspective allows to interpret the set of circulations $\mathcal{C}$ of a weighted digraph as coclosed forms on the arcs, i.e. as the kernel of the discrete divergence $d^*$. Moreover, $\mathcal{C}$ is perpendicular to the set of discrete gradients of functions on the vertices. We also give formulas to compute the capacity of a cut and the value of a flow in terms of $\mathcal{L}^-$ and $d$. We illustrate the results with many concrete examples.