Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Sidon sets, sum-free sets and linear codes
Published in Advances in Mathematics of Communications, 2024, 18(2): 549-566
• View Publication
• BIB
Finding the maximum size of a Sidon set in $\mathbb{F}_2^t$ is of research interest for more than 40 years. In order to tackle this problem we recall a one-to-one correspondence between sum-free Sidon sets and linear codes with minimum distance greater or equal 5. Our main contribution about codes is a new non-existence result for linear codes with minimum distance 5 based on a sharpening of the Johnson bound. This gives, on the Sidon set side, an improvement of the general upper bound for the maximum size of a Sidon set. Additionally, we characterise maximal Sidon sets, that are those Sidon sets which can not be extended by adding elements without loosing the Sidon property, up to dimension 6 and give all possible sizes for dimension 7 and 8 determined by computer calculations.
Q-Kostka polynomials and spin Green polynomials
Published in Monatsh. Math. 201 (2023), no. 1, 109-125
• View Publication
• BIB
We study the $Q$-Kostka polynomials $L_{λμ}(t)$ by the vertex operator realization of the $Q$-Hall-Littlewood functions $G_λ(x;t)$ and derive new formulae for $L_{λμ}(t)$. In particular, we have established stability property for the Q-Kostka polynomials. We also introduce spin Green polynomials $Y^λ_μ(t)$ as both an analogue of the Green polynomials and deformation of the spin irreducible characters of $\mathfrak S_n$. Iterative formulas of the spin Green polynomials are given and some favorable properties parallel to the Green polynomials are obtained. Tables of $Y^λ_μ(t)$ are included for $n\leq7.$
Computing shortest 12-representants of labeled graphs
The notion of $12$-representable graphs was introduced as a variant of a well-known class of word-representable graphs. Recently, these graphs were shown to be equivalent to the complements of simple-triangle graphs. This indicates that a $12$-representant of a graph (i.e., a word representing the graph) can be obtained in polynomial time if it exists. However, the $12$-representant is not necessarily optimal (i.e., shortest possible). This paper proposes an $O(n^2)$-time algorithm to generate a shortest $12$-representant of a labeled graph, where $n$ is the number of vertices of the graph.
Special Folding of Quivers and Cluster Algebras
Published in MATH. SCAND. 130 (2024) 237-256
• View Publication
• BIB
We give a precise definition of folded quivers and folded cluster algebras. We give many examples of including some with finite mutation structure that do not have analogues in the unfolded cases. We relate these examples to the finite mutation type quivers $X_6$ and $X_7$. We also construct a folded cluster algebra associated to triangulations of punctured surface which allow for triangulations self-folded triangles. We give a simple construction of a folded cluster algebra for which the cluster complex is a generalized permutohedron.
Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique
Published
• View Publication
• BIB
In the parameterized $k$-clique problem, or $k$-Clique for short, we are given a graph $G$ and a parameter $k\ge 1$. The goal is to decide whether there exist $k$ vertices in $G$ that induce a complete subgraph (i.e., a $k$-clique). This problem plays a central role in the theory of parameterized intractability as one of the first W[1]-complete problems. Existing research has shown that even an FPT-approximation algorithm for $k$-Clique with arbitrary ratio does not exist, assuming the Gap-Exponential-Time Hypothesis (Gap-ETH) [Chalermsook et al., FOCS'17 and SICOMP]. However, whether this inapproximability result can be based on the standard assumption of $\mathrm{W} 1\ne \mathrm{FPT}$ remains unclear. The recent breakthrough of Bingkai Lin [STOC'21] and subsequent works by Karthik C.S. and Khot [CCC'22], and by Lin, Ren, Sun Wang [ICALP'22] give a technique that bypasses Gap-ETH, thus leading to the inapproximability ratio of $O(1)$ and $k^{o(1)}$ under $\mathrm{W}[1]$-hardness (the first two) and ETH (for the latter one). All the work along this line follows the framework developed by Lin, which starts from the $k$-vector-sum problem and requires some involved algebraic techniques.
This paper presents an alternative framework for proving the W[1]-hardness of the $k^{o(1)}$-FPT-inapproximability of $k$-Clique. Using this framework, we obtain a gap-producing self-reduction of $k$-Clique without any intermediate algebraic problem. More precisely, we reduce from $(k,k-1)$-Gap Clique to $(q^k, q^{k-1})$-Gap Clique, for any function $q$ depending only on the parameter $k$, thus implying the $k^{o(1)}$-inapproximability result when $q$ is sufficiently large. Our proof is relatively simple and mostly combinatorial. At the core of our construction is a novel encoding of $k$-element subset stemming from the theory of "network coding" and a "Sidon set" representation of a graph.
On real algebraic maps whose images are domains surrounded by the products of hyperbolas and real affine spaces
Previously, we have systematically constructed explicit real algebraic functions which are represented as the compositions of smooth real algebraic maps whose images are domains surrounded by hypersurfaces of degree 1 or 2 with canonical projections. Here we give new examples with the hypersurfaces each of which is the product of a connected component of a hyperbola and a copy of the $1$-dimensional affine space explicitly. As a related future work we also discuss problems to obtain the zero sets of some real polynomials explicitly from increasing sequences of real numbers.
This is motivated by a problem in theory of smooth functions proposed first by Sharko: can we construct nice smooth functions whose Reeb graphs are as prescribed? The Reeb space of a smooth function is the naturally obtained graph whose underlying space is the quotient space of the manifold consisting of connected components of preimages. The author first considered variants respecting the topologies of the preimages and obtained several results before. Our work is also motivated by real algebraic geometry, pioneered by Nash. We can know existence of real algebraic structures of smooth manifolds and some general sets and we already know several approximations of smooth maps by real algebraic maps. Our interest lies in explicit construction, which is difficult.
Divisibility of the Sums of the Power of Consecutive Integers
Published
• View Publication
• BIB
We study the divisibility of the sums of the odd power of consecutive integers, $S(m,k)=1^{mk}+2^{mk}+\cdots+k^{mk}$ and $1^k+2^k+\cdots+n^k$ for odd integers $m$ and $k$, by using the Girard-Waring identity. Faulhaber's approach for the divisibilities is discussed. Some expressions of power sums in terms of Stirling numbers of the second kind are represented.
Singleton Coalition Graph Chains
Published
• View Publication
• BIB
Let $G$ be graph with vertex set $V$ and order $n=|V|$. A coalition in $G$ is a combination of two distinct sets, $A\subseteq V$ and $B\subseteq V$, which are disjoint and are not dominating sets of $G$, but $A\cup B$ is a dominating set of $G$. A coalition partition of $G$ is a partition $\mathcal{P}=\{S_1,\ldots,S_k\}$ of its vertex set $V$, where each set $S_i\in \mathcal{P}$ is either a dominating set of $G$ with only one vertex, or it is not a dominating set but forms a coalition with some other set $S_j \in \mathcal{P}$. The coalition number $C(G)$ is the maximum cardinality of a coalition partition of $G$. To represent a coalition partition $\mathcal{P}$ of $G$, a coalition graph $\CG(G, \mathcal{P})$ is created, where each vertex of the graph corresponds to a member of $\mathcal{P}$ and two vertices are adjacent if and only if their corresponding sets form a coalition in $G$. A coalition partition $\mathcal{P}$ of $G$ is a singleton coalition partition if every set in $\mathcal{P}$ consists of a single vertex. If a graph $G$ has a singleton coalition partition, then $G$ is referred to as a singleton-partition graph. A graph $H$ is called a singleton coalition graph of a graph $G$ if there exists a singleton coalition partition $\mathcal{P}$ of $G$ such that the coalition graph $\CG(G,\mathcal{P})$ is isomorphic to $H$. A singleton coalition graph chain with an initial graph $G_1$ is defined as the sequence $G_1\rightarrow G_2\rightarrow G_3\rightarrow\cdots$ where all graphs $G_i$ are singleton-partition graphs, and $\CG(G_i,Γ_1)=G_{i+1}$, where $Γ_1$ represents a singleton coalition partition of $G_i$. In this paper, we address two open problems posed by Haynes et al. We characterize all graphs $G$ of order $n$ and minimum degree $δ(G)=2$ such that $C(G)=n$ and investigate the singleton coalition graph chain starting with graphs $G$ where $δ(G)\le 2$.
A Cheeger Inequality for Small Set Expansion
The discrete Cheeger inequality, due to Alon and Milman (J. Comb. Theory Series B 1985), is an indispensable tool for converting the combinatorial condition of graph expansion to an algebraic condition on the eigenvalues of the graph adjacency matrix. We prove a generalization of Cheeger's inequality, giving an algebraic condition equivalent to small set expansion. This algebraic condition is the p-to-q hypercontractivity of the top eigenspace for the graph adjacency matrix. Our result generalizes a theorem of Barak et al (STOC 2012) to the low small set expansion regime, and has a dramatically simpler proof; this answers a question of Barak (2014).
Identities for vacillating tableaux via growth diagrams
Published in J. Algebra Appl. 24 (2025), Art. 2541022
• View Publication
• BIB
We give bijective proofs using Fomin's growth diagrams for identities involving numbers of vacillating tableaux that arose in the representation theory of partition algebras or are inspired by such identities.
Knuth moves for Schubert polynomials
Published
• View Publication
• BIB
In our previous work we have introduced an analogue of Robinson-Schensted-Knuth correspondence for Schubert calculus of the complete flag varieties. The objects inserted are certain biwords, the outcomes of insertion are bumpless pipe dreams, and the recording objects are decorated chains in Bruhat order. In this paper we study a class of biwords that have a certain associativity property; we call them plactic biwords. We introduce analogues of Knuth moves on plactic biwords, and prove that any two plactic biwords with the same insertion bumpless pipe dream are connected by those moves.
Persistent Pairs And Connectedness In Discrete Morse Functions On Simplicial Complex I
Published in Topology and its Applications (2024)
• View Publication
• BIB
In this paper, we study some useful properties of persistent pairs in a discrete Morse function on a simplicial complex $K$. In case of $\dim K=1$ (i.e., a graph), by using the properties, we characterize strongly connectedness of critical simplices between two distinct discrete Morse functions, and relate the number of such pairs to the Euler characteristic of $K$.
Extremal spectral results of planar graphs without vertex-disjoint cycles
Published
• View Publication
• BIB
Given a planar graph family $\mathcal{F}$, let ${\rm ex}_{\mathcal{P}}(n,\mathcal{F})$ and ${\rm spex}_{\mathcal{P}}(n,\mathcal{F})$ be the maximum size and maximum spectral radius over all $n$-vertex $\mathcal{F}$-free planar graphs, respectively. Let $tC_{\ell}$ be the disjoint union of $t$ copies of $\ell$-cycles, and $t\mathcal{C}$ be the family of $t$ vertex-disjoint cycles without length restriction. Tait and Tobin [Three conjectures in extremal spectral graph theory, J. Combin. Theory Ser. B 126 (2017) 137--161] determined that $K_2+P_{n-2}$ is the extremal spectral graph among all planar graphs with sufficiently large order $n$, which implies the extremal graphs of both ${\rm spex}_{\mathcal{P}}(n,tC_{\ell})$ and ${\rm spex}_{\mathcal{P}}(n,t\mathcal{C})$ for $t\geq 3$ are $K_2+P_{n-2}$. In this paper, we first determine ${\rm spex}_{\mathcal{P}}(n,tC_{\ell})$ and ${\rm spex}_{\mathcal{P}}(n,t\mathcal{C})$ and characterize the unique extremal graph for $1\leq t\leq 2$, $\ell\geq 3$ and sufficiently large $n$. Secondly, we obtain the exact values of ${\rm ex}_{\mathcal{P}}(n,2C_4)$ and ${\rm ex}_{\mathcal{P}}(n,2\mathcal{C})$, which solve a conjecture of Li [Planar Turán number of the disjoint union of cycles, Discrete Appl. Math. 342 (2024) 260--274] for $n\geq 2661$.
Finding A Path Of Length k: An Expository
Given a graph $G(V, E)$ and a positive integer $k$ ($k \geq 1$), a simple path on $k$ vertices is a sequence of $k$ vertices in which no vertex appears more than once and each consecutive pair of vertices in the sequence are connected by an edge. This paper provides an overview of current research on the existence and counting of k-paths in graphs.
Homomorphism-Distinguishing Closedness for Graphs of Bounded Tree-Width
Two graphs are homomorphism indistinguishable over a graph class $\mathcal{F}$, denoted by $G \equiv_{\mathcal{F}} H$, if $\operatorname{hom}(F,G) = \operatorname{hom}(F,H)$ for all $F \in \mathcal{F}$ where $\operatorname{hom}(F,G)$ denotes the number of homomorphisms from $F$ to $G$. A classical result of Lovász shows that isomorphism between graphs is equivalent to homomorphism indistinguishability over the class of all graphs. More recently, there has been a series of works giving natural algebraic and/or logical characterizations for homomorphism indistinguishability over certain restricted graph classes.
A class of graphs $\mathcal{F}$ is homomorphism-distinguishing closed if, for every $F \notin \mathcal{F}$, there are graphs $G$ and $H$ such that $G \equiv_{\mathcal{F}} H$ and $\operatorname{hom}(F,G) \neq \operatorname{hom}(F,H)$. Roberson conjectured that every class closed under taking minors and disjoint unions is homomorphism-distinguishing closed which implies that every such class defines a distinct equivalence relation between graphs. In this note, we confirm this conjecture for the classes $\mathcal{T}_k$, $k \geq 1$, containing all graphs of tree-width at most $k$.
As an application of this result, we also characterize which subgraph counts are detected by the $k$-dimensional Weisfeiler-Leman algorithm. This answers an open question from [Arvind et al., J. Comput. Syst. Sci., 2020].
Improved Formula for the Multi-Section of the Linear Three-Term Recurrence Sequence
The standard formula for the multi-section of the general linear three-term recurrence relation is simplified in terms of Chebyshev S-polynomials.
Decoding twisted permutation codes
We consider twisted permutation codes, a class of frequency permutation arrays obtained from finite groups with multiple permutation representations of the same degree, introduced by Gillespie, Praeger and Spiga (and later studied by Akbari, Gillespie and Praeger), and develop a decoding algorithm for such codes based on earlier work of the first author for permutation group codes. In particular, we show how to implement this algorithm for an infinite family of groups considered by Akbari, Gillespie and Praeger.
Do K33-Free Latin Squares Exist?
Published
• View Publication
• BIB
We discuss the problem of existence of latin squares without a substructure consisting of six elements $(r_1,c_2,l_3)$, $(r_2,c_3,l_1)$, $(r_3,c_1,l_2)$, $(r_2,c_1,l_3)$, $(r_3,c_2,l_1)$, $(r_1,c_3,l_2)$. Equivalently, the corresponding latin square graph does not have an induced subgraph isomorphic to $K_{3,3}$. The exhaustive search [Brouwer, Wanless. Universally noncommutative loops. 2011] says that there are no such latin squares of order $3$--$7$, $9$--$11$ and there are only two $K_{3,3}$-free latin squares of order $8$, up to equivalence. We repeat the search, establishing also the number of latin $m$-by-$n$ rectangles for each $m$ and $n$ less than or equal to $11$. As a switched combination of two orthogonal latin squares of order $8$, we construct a $K_{3,3}$-free (universally noncommutative) latin square of order $16$.
We also consider a similar problem for orthogonal latin squares, proving that there are both $K_{4,4}$-free and non-$K_{4,4}$-free linear pairs of orthogonal latin squares for each odd prime-power order larger than~$5$.
Keywords: latin square; transversal; trade; pattern avoiding; eigenfunction; universally noncommutative loop.
Distinguishing graphs by their spectra, Smith normal forms and complements
Published
• View Publication
• BIB
The search for a highly discriminating and easily computable invariant to distinguish graphs remains a challenging research topic. Here we focus on cospectral graphs whose complements are also cospectral (generalized cospectral), and on coinvariant graphs (same Smith normal form) whose complements are also coinvariant (generalized coinvariant). We show a new characterization of generalized cospectral graphs in terms of codeterminantal graphs. We also establish the Smith normal form of some graph classes for certain associated matrices, and as an application, we prove that the Smith normal form can be used to uniquely determine star graphs. Finally, for graphs up to 10 vertices, we present enumeration results on the number of generalized cospectral graphs and generalized coinvariant graphs with respect to several associated matrices.
Generalized Color Orderings: CEGM Integrands and Decoupling Identities
Published
• View Publication
• BIB
In a recent paper, we defined generalized color orderings (GCO) and Feynman diagrams (GFD) to compute color-dressed generalized biadjoint amplitudes. In this work, we study the Cachazo-Early-Guevara-Mizera (CEGM) representation of generalized partial amplitudes and ``decoupling" identities. This representation is a generalization of the Cachazo-He-Yuan (CHY) formulation as an integral over the configuration space $X(k,n)$ of $n$ points on $\mathbb{CP}^{k-1}$ in generic position.
Unlike the $k=2$ case, Parke-Taylor-like integrands are not enough to compute all partial amplitudes for $k>2$. Here we give a set of constraints that integrands associated with GCOs must satisfy and use them to construct all $(3,n<9)$ integrands, all $(3,9)$ integrands up to four undetermined constants, and $95 \%$ of $(4,8)$ integrands up to 24 undetermined constants.
$k=2$ partial amplitudes are known to satisfy identities. Among them, the so-called $U(1)$ decoupling identities are the simplest ones. These are characterized by a label $i$ and a color ordering in $X(2,|[n]\setminus \{i\}|)$. Here we introduce decoupling identities for $k>2$ determined combinatorially using GCOs. Moreover, we identify the natural analog of $U(1)$ identities as those characterized by a pair of labels $i\neq j$, and a pair of GCOs, one in $X(k,|[n]\setminus \{i\}|)$ and the other in $X(k-1,|[n]\setminus \{j\}|)$. We call them {\it double extension} identities.
We also provide explicit connections among different ways of representing GCOs, such as configurations of lines, configurations of points, and reorientation classes of uniform oriented matroids (chirotopes).