Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Characterization of coincidence site lattices of oblique planar lattices
Coincidence site lattices of oblique planar lattices are algebraically characterized using as basic tool the Cartan-Dieudonné theorem, that is, the decomposition of an orthogonal transformation as a product of reflections. The case of rectangular lattices is worked out in detail. We use the rectangular lattices for obtain the characterization of the corresponding obliques.
Five Lectures on Cluster Theory
In this paper, we will present the author's interpretation and embellishment of five lectures on cluster theory given by Kiyoshi Igusa during the Spring semester of 2022 at Brandeis University. They are meant to be used as an introduction to cluster theory from a representation-theoretic point of view. It is assumed that the reader has some background in representations of quivers.
Critical Points at Infinity for Hyperplanes of Directions
Analytic combinatorics in several variables (ACSV) analyzes the asymptotic growth of the coefficients of a meromorphic generating function $F = G/H$ in a direction $\mathbf{r}$. It uses Morse theory on the pole variety $V := \{ H = 0 \} \subseteq (\mathbb{C}^*)^d$ of $F$ to deform the torus $T$ in the multivariate Cauchy Integral Formula via the downward gradient flow for the \textit{height} function $h = h_{\mathbf{r}} = -\sum_{j=1}^d r_j \log |z_j|$, giving a homology decomposition of $T$ into cycles around \textit{critical points} of $h$ on $V$. The deformation can flow to infinity at finite height when the height function is not a proper map. This happens only in the presence of a critical point at infinity (CPAI): a sequence of points on $V$ approaching a point at infinity, and such that log-normals to $V$ converge projectively to $\mathbf{r}$. The CPAI is called \textit{heighted} if the height function also converges to a finite value. This paper studies whether all CPAI are heighted, and in which directions CPAI can occur. We study these questions by examining sequences converging to faces of a toric compactification defined by a multiple of the Newton polytope $\mathcal{P}$ of the polynomial $H$. Under generically satisfied conditions, any projective limit of log-normals of a sequence converging to a face $F$ must be parallel to $F$; this implies that CPAI must always be heighted and can only occur in directions parallel to some face of $\mathcal{P}$. When this generic condition fails, we show under a smoothness condition, that a point in a codimension-1 face $F$ can still only be a CPAI for directions parallel to $F$, and that the directions for a codimension-2 face can be a larger set, which can be computed explicitly and still has positive codimension.
On bounded degree graphs with large size-Ramsey numbers
Published
• View Publication
• BIB
The size-Ramsey number $\hat r(G')$ of a graph $G'$ is defined as the smallest integer $m$ so that there exists a graph $G$ with $m$ edges such that every $2$-coloring of the edges of $G$ contains a monochromatic copy of $G'$. Answering a question of Beck, Rodl and Szemeredi showed that for every $n\geq 1$ there exists a graph $G'$ on $n$ vertices each of degree at most three, with the size-Ramsey number at least $cn\log^{\frac{1}{60}}n$ for a universal constant $c>0$. In this note we show that a modification of Rodl and Szemeredi's construction leads to a bound $\hat r(G')\geq cn\,\exp(c\sqrt{\log n})$.
Complete characterization of s-bridge graphs with local antimagic chromatic number 2
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we characterize $s$-bridge graphs with local antimagic chromatic number 2.
Spanning bipartite quadrangulations of triangulations of the projective plane
Published
• View Publication
• BIB
We completely characterize triangulations of the projective plane that have a spanning bipartite quadrangulation subgraph. This is an affirmative answer to a question by Kündgen and Ramamurthi (J Combin Theory Ser B 85, 307--337, 2002) for the projective planar case.
Bijection between trees in Stanley character formula and factorizations of a cycle
Published in The Electronic Journal of Combinatorics 31 (1) (2024), #P1.23
• View Publication
• BIB
Stanley and Féray gave a formula for the irreducible character of the symmetric group related to a multi-rectangular Young diagram. This formula shows that the character is a polynomial in the multi-rectangular coordinates and gives an explicit combinatorial interpretation for its coefficients in terms of counting certain decorated maps (i.e., graphs drawn on surfaces). In the current paper we concentrate on the coefficients of the top-degree monomials in the Stanley character polynomial, which corresponds to counting certain decorated plane trees. We give an explicit bijection between such trees and minimal factorizations of a cycle.
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences
Published in J. Symbolic Comput. 120 (2024), Paper No. 102231, 18 pp
• View Publication
• BIB
We introduce an algorithmic approach based on generating tree method for enumerating the inversion sequences with various pattern-avoidance restrictions. For a given set of patterns, we propose an algorithm that outputs either an accurate description of the succession rules of the corresponding generating tree or an ansatz. By using this approach, we determine the generating trees for the pattern-classes $I_n(000, 021), I_n(100, 021)$, $I_n(110, 021), I_n(102, 021)$, $I_n(100,012)$, $I_n(011,201)$, $I_n(011,210)$ and $I_n(120,210)$. Then we use the kernel method, obtain generating functions of each class, and find enumerating formulas. Lin and Yan studied the classification of the Wilf-equivalences for inversion sequences avoiding pairs of length-three patterns and showed that there are 48 Wilf classes among 78 pairs. In this paper, we solve six open cases for such pattern classes.
On Success runs of a fixed length defined on a $q$-sequence of binary trials
We study the exact distributions of runs of a fixed length in variation which considers binary trials for which the probability of ones is geometrically varying. The random variable $E_{n,k}$ denote the number of success runs of a fixed length $k$, $1\leq k \leq n$.
Theorem 3.1 gives an closed expression for the probability mass function (PMF) of the Type4 $q$-binomial distribution of order $k$. Theorem 3.2 and Corollary 3.1 gives an recursive expression for the probability mass function (PMF) of the Type4 $q$-binomial distribution of order $k$. The probability generating function and moments of random variable $E_{n,k}$ are obtained as a recursive expression. We address the parameter estimation in the distribution of $E_{n,k}$ by numerical techniques. In the present work, we consider a sequence of independent binary zero and one trials with not necessarily identical distribution with the probability of ones varying according to a geometric rule. Exact and recursive formulae for the distribution obtained by means of enumerative combinatorics.
Embedding into Special Classes of Cyclic Graphs and its Applications in VLSI Layout
Graph embedding is the major technique which is used to map guest graph into host graph. In architecture simulation, graph embedding is said to be one of the strongest application for the execution of parallel algorithm and simulation of various interconnection networks \cite{Pa99}. In this paper, we have embedded circulant networks into star of cycle and folded hypercube into cycle-of-ladders and compute its exact wirelength. Further we have discussed the embedding parameters in VLSI Layout.
Almost perfect linear Lee codes of packing radius 2 only exist for small dimensions
Published
• View Publication
• BIB
It is conjectured by Golomb and Welch around half a century ago that there is no perfect Lee codes $C$ of packing radius $r$ in $\mathbb{Z}^{n}$ for $r\geq2$ and $n\geq 3$. Recently, Leung and the second author proved this conjecture for linear Lee codes with $r=2$. A natural question is whether it is possible to classify the second best, i.e., almost perfect linear Lee codes of packing radius $2$. We show that if such codes exist in $\mathbb{Z}^n$, then $n$ must be $1,2, 11, 29, 47, 56, 67, 79, 104, 121, 134$ or $191$.
Locally irregular edge-coloring of subcubic graphs
Published
• View Publication
• BIB
A graph is {\em locally irregular} if no two adjacent vertices have the same degree. A {\em locally irregular edge-coloring} of a graph $G$ is such an (improper) edge-coloring that the edges of any fixed color induce a locally irregular graph. Among the graphs admitting a locally irregular edge-coloring, i.e., {\em decomposable graphs}, only one is known to require $4$ colors, while for all the others it is believed that $3$ colors suffice. In this paper, we prove that decomposable claw-free graphs with maximum degree $3$, all cycle permutation graphs, and all generalized Petersen graphs admit a locally irregular edge-coloring with at most $3$ colors. We also discuss when $2$ colors suffice for a locally irregular edge-coloring of cubic graphs and present an infinite family of cubic graphs of girth $4$ which require $3$ colors.
Optimal Strategies for Static Black-Peg AB Game With Two and Three Pegs
The AB~Game is a game similar to the popular game Mastermind. We study a version of this game called Static Black-Peg AB~Game. It is played by two players, the codemaker and the codebreaker. The codemaker creates a so-called secret by placing a color from a set of $c$ colors on each of $p \le c$ pegs, subject to the condition that every color is used at most once. The codebreaker tries to determine the secret by asking questions, where all questions are given at once and each question is a possible secret. As an answer the codemaker reveals the number of correctly placed colors for each of the questions. After that, the codebreaker only has one more try to determine the secret and thus to win the game.
For given $p$ and $c$, our goal is to find the smallest number $k$ of questions the codebreaker needs to win, regardless of the secret, and the corresponding list of questions, called a $(k+1)$-strategy. We present a $\lceil 4c/3 \rceil-1)$-strategy for $p=2$ for all $c \ge 2$, and a $\lfloor (3c-1)/2 \rfloor$-strategy for $p=3$ for all $c \ge 4$ and show the optimality of both strategies, i.e., we prove that no $(k+1)$-strategy for a smaller $k$ exists.
Minimum Spanning Trees with Bounded Degrees of Vertices in a Specified Stable Set
Given a graph $G$ and sets $\{α_v~|~v \in V(G)\}$ and $\{β_v~|~v \in V(G)\}$ of non-negative integers, it is known that the decision problem whether $G$ contains a spanning tree $T$ such that $α_v \le d_T (v) \le β_v $ for all $v \in V(G)$ is $NP$-complete. In this article, we relax the problem by demanding that the degree restrictions apply to vertices $v\in U$ only, where $U$ is a stable set of $G$. In this case, the problem becomes tractable.
A. Frank presented a result characterizing the positive instances of that relaxed problem. Using matroid intersection developed by J. Edmonds, we give a new and short proof of Frank's result and show that if $U$ is stable and the edges of $G$ are weighted by arbitrary real numbers, then even a minimum-cost tree $T$ with $α_v \le d_T (v) \le β_v $ for all $v \in U$ can be found in polynomial time if such a tree exists.
The chromatic number of ($P_{5}, K_{5}-e$)-free graphs
Let $G$ be a graph. We use $χ(G)$ and $ω(G)$ to denote the chromatic number and clique number of $G$ respectively. A $P_5$ is a path on 5 vertices. A family of graphs $\mathcal{G}$ is said to be {\it$χ$-bounded} if there exists some function $f$ such that $χ(G)\leq f(ω(G))$ for every $G\in\mathcal{G}$. In this paper, we show that the family of $(P_5, K_5-e)$-free graphs is $χ$-bounded by a linear function: $χ(G)\leq \max\{13,ω(G)+1\}$.
On graphs that contain exactly k copies of a subgraph, and a related problem in search theory
Published
• View Publication
• BIB
We study $\mathrm{exa}_k(n,F)$, the largest number of edges in an $n$-vertex graph $G$ that contains exactly $k$ copies of a given subgraph $F$. The case $k=0$ is the Turán number $\mathrm{ex}(n,F)$ that is among the most studied parameters in extremal graph theory. We show that for any $F$ and $k$, $\mathrm{exa}_k(n,F)=(1+o(1))\mathrm{ex}(n,F))$ and determine the exact values of $\mathrm{exa}_k(n,K_3)$ and $\mathrm{exa}_1(n,K_r)$ for $n$ large enough. We also explore a connection to the following well-known problem in search theory. We are given a graph of order $n$ that consists of an unknown copy of $F$ and some isolated vertices. We can ask pairs of vertices as queries, and the answer tells us whether there is an edge between those vertices. Our goal is to describe the graph using as few queries as possible. Aigner and Triesch in 1990 showed that the number of queries needed is at least $\binom{n}{2}-\mathrm{exa}_1(n,F)$. Among other results we show that the number of queries that were answered NO is at least $\binom{n}{2}-\mathrm{exa}_1(n,F)$.
Revan-degree indices on random graphs
Given a simple connected non-directed graph $G=(V(G),E(G))$, we consider two families of graph invariants: $RX_Σ(G) = \sum_{uv \in E(G)} F(r_u,r_v)$ (which has gained interest recently) and $RX_Π(G) = \prod_{uv \in E(G)} F(r_u,r_v)$ (that we introduce in this work); where $uv$ denotes the edge of $G$ connecting the vertices $u$ and $v$, $r_u$ is the Revan degree of the vertex $u$, and $F$ is a function of the Revan vertex degrees. Here, $r_u = Δ+ δ- d_u$ with $Δ$ and $δ$ the maximum and minimum degrees among the vertices of $G$ and $d_u$ is the degree of the vertex $u$. Particularly, we apply both $RX_Σ(G)$ and R$X_Π(G)$ on two models of random graphs: Erdös-Rényi graphs and random geometric graphs. By a thorough computational study we show that $\left< RX_Σ(G) \right>$ and $\left< \ln RX_Π(G) \right>$, normalized to the order of the graph, scale with the average Revan degree $\left< r \right>$; here $\left< \cdot \right>$ denotes the average over an ensemble of random graphs. Moreover, we provide analytical expressions for several graph invariants of both families in the dense graph limit.
Braid variety cluster structures, I: 3D plabic graphs
We introduce $3$-dimensional generalizations of Postnikov's plabic graphs and use them to establish cluster structures for type $A$ braid varieties. Our results include known cluster structures on open positroid varieties and double Bruhat cells, and establish new cluster structures for type $A$ open Richardson varieties.
The constant of point-line incidence constructions
Published
• View Publication
• BIB
We study a lower bound for the constant of the Szemerédi-Trotter theorem. In particular, we show that a recent infinite family of point-line configurations satisfies $I({\mathcal P},{\mathcal L})\ge (c+o(1)) |{\mathcal P}|^{2/3}|{\mathcal L}|^{2/3}$, with $c\approx 1.27$. Our technique is based on studying a variety of properties of Euler's totient function. We also improve the current best constant for Elekes's construction from 1 to about 1.27. From an expository perspective, this is the first full analysis of the constant of Erd\H os's construction.
Partitioning of a graph into induced subgraphs not containing prescribed cliques
Published
• View Publication
• BIB
Let $K_p$ be a complete graph of order $p\geq 2$. A $K_p$-free $k$-coloring of a graph $H$ is a partition of $V(H)$ into $V_1, V_2\ldots,V_k$ such that $H[V_i]$ does not contain $K_p$ for each $i\leq k $. In 1977 Borodin and Kostochka conjectured that any graph $H$ with maximum degree $Δ(H)\geq 9$ and without $K_{Δ(H)}$ as a subgraph has chromatic number at most $Δ(H)-1$. As analogue of the Borodin-Kostochka conjecture, we prove that if $p_1\geq \cdots\geq p_k\geq 2$, $p_1+p_2\geq 7$, $\sum_{i=1}^kp_i=Δ(H)-1+k$, and $H$ does not contain $K_{Δ(H)}$ as a subgraph, then there is a partition of $V(H)$ into $V_1,\ldots,V_k$ such that for each $i$, $H[V_i]$ does not contain $K_{p_i}$. In particular, if $p\geq 4$ and $H$ does not contain $K_{Δ(H)}$ as a subgraph, then $H$ admits a $K_p$-free $\lceil{Δ(H)-1\over p-1}\rceil$-coloring. Catlin showed that every connected non-complete graph $H$ with $Δ(H)\geq 3$ has a $Δ(H)$-coloring such that one of the color classes is maximum $K_2$-free subset (maximum independent set). In this regard, we show that there is a partition of vertices of $H$ into $V_1$ and $V_2$ such that $H[V_1]$ does not contain $K_{p}$, $H[V_2]$ does not contain $K_{q}$, and $V_1$ is a maximum $K_p$-free subset of V(H) if $p\geq 4$, $q\geq 3$, $p+q=Δ(H)+1$, and its clique number $ω(H)=p$.