Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Explicit Constructions of Maximal 3-Zero-Sum-Free Subsets in $ (\mathbb{Z}/4\mathbb{Z})^n $
We address a problem posed by Nathan Kaplan in the 2014 Combinatorial and Additive Number Theory session: finding the largest subset $H \subseteq (\mathbb{Z}/4\mathbb{Z})^n$ with no distinct $x, y, z \in H$ such that $x + y + z \equiv 0 \pmod{4}$. For even-order abelian groups, a standard $|G|/2$ lower bound applies. We prove this is optimal for $G = (\mathbb{Z}/4\mathbb{Z})^n$ using a pair-counting argument, with an explicit construction of vectors with first coordinate odd (1 or 3 mod 4), yielding size $2 \times 4^{n-1} = 4^n / 2$ and density 0.5, verified for $n \leq 10$. An AI-assisted hybrid greedy-genetic algorithm rediscovers this optimal size, highlighting its potential in combinatorial search.
Abelian and Dihedral equiangular tight frames of redundancy $2$
This paper studies group frames ($G$-frames) where the unitary group representation can be projective. When the group is abelian, for most combinations $N, n$, we show that $ETF(N,n)$ can only exist for genuinely projective group representations. In particular, cyclic-group frames for such parameters do not exist. We also give a characterization of all dihedral tight frames and dihedral $ETF(2n,n)$, using which, we conclude that regular dihedral $ETF(2n,n)$ must be genuinely projective. Following that, we give a characterization of regular dihedral $ETF(2n,n)$ in terms of certain structured skew Hadamard matrices. We then show that Paley $ETF(2n,n)$ and its doubling are both of this type. Finally, we classify all regular dihedral $ETF(2n,n)$ for $n\le 22$ up to switching equivalence.
Monochromatic components with many edges in random graphs
In an $r$-coloring of edges of the complete graph on $n$ vertices, how many edges are there in the largest monochromatic connected component? A construction of Gyárfás shows that for infinitely many values of $r$, there exist colorings where all monochromatic components have at most $\left(\frac{1}{r^2-r}+o(1)\right)\binom{n}{2}$ edges. Conlon, Luo, and Tyomkyn conjectured that components with at least this many edges are attainable for all $r \ge 3$. Conlon, Luo, and Tyomkyn proved this conjecture for $r=3$ and Luo proved it for $r=4$, along with a lower bound of $\frac{1}{r^2-r+\frac54}{n\choose 2}$ for all $r\ge 2$ and $n$.
In this paper, we look at extensions of this problem where the graph being $r$-colored is a sparse random graph or a graph of high minimum degree. By extending several intermediate technical results from previous work in the complete graph setting, we prove analogues of the bound for general $r$ in both the sparse random setting and the high minimum degree setting, as well as the bound for $r=3$ in the latter setting.
Generalized Token Graphs
In this paper we give a new generalization of token graphs. Given two integers $1\leq m \leq k$ and a graph $G$ we define the generalized token graph of the graph $G$, to be the graph $F_k^m(G)$ whose vertices correspond to configurations of $k$ indistinguishable tokens placed at distinct vertices of $G$, where two configurations are adjacent whenever one configuration can be reached from the other by moving $m$ tokens along $m$ edges of $G$. When $m=1$, the usual token graph $F_k(G)$ is recovered.
We give sufficient and necessary conditions on the graph $G$ for $F_2^2(G)$ to be connected and
we give sufficient and necessary conditions on the graph $G$ for $F_2^2(G)$ to be bipartite.
We also analyze some properties of generalized token graphs, such as clique number, chromatic number, independence number and domination number. Finally, we conclude with an analysis of the automorphism group of the generalized token graph.
A Study of Fibonacci Cordial Labeling in Structured Graph Families
A \emph{Fibonacci cordial labeling} of a graph \( G \) is an injective function \( f: V(G) \rightarrow \{F_0, F_1, \dots, F_n\} \), where \( F_i \) denotes the \( i^{\text{th}} \) Fibonacci number, such that the induced edge labeling \( f^*: E(G) \rightarrow \{0,1\} \), given by \( f^*(uv) = (f(u) + f(v)) \) $(\bmod\ 2)$, satisfies the balance condition \( |e_f(0) - e_f(1)| \le 1 \). Here, \( e_f(0) \) and \( e_f(1) \) represent the number of edges labeled 0 and 1, respectively. A graph that admits such a labeling is termed a \emph{Fibonacci cordial graph}. In this paper, we investigate the existence and construction of Fibonacci cordial labelings for several families of graphs, including \emph{Generalized Petersen graphs}, \emph{open and closed helm graphs}, \emph{joint sum graphs}, and \emph{circulant graphs of small order}. New results and examples are presented, contributing to the growing body of knowledge on graph labelings inspired by numerical sequences.
Size of bipartite graphs with given diameter and connectivity constraints
In the first part of this paper we determine the maximum size of a (finite, simple, connected) bipartite graph of given order, diameter $d$, and connectivity $κ$.
It was shown by Ali, Mazorodze, Mukwembi and Vetrík [On size, order, diameter and edge-connectivity of graphs. Acta Math. Hungar. {\bf 152}, (2017)] that for a connected triangle-free graph of order $n$, diameter $d$ and edge-connectivity $λ$, the size is bounded from above by about $\frac{1}{4}\left(n-\frac{(λ+c) d}{2}\right)^2+O(n)$, where $c\in\{0, \frac{1}{3}, 1\}$ for different values of $λ$.
In the second part of this paper we show that this bound by Ali et al. on the size can be improved significantly for a much larger subclass of triangle-free graphs, namely, bipartite graphs of order $n$, diameter $d$ and edge-connectivity $λ$. We prove our result only for $λ= 2, 3, 4$ because it can be observed from this paper by Ali et al. that for $λ\geq 5$, there exists $\ell$-edge-connected bipartite graphs of given order and diameter whose size differs from the maximal size for given minimum degree $\ell$ only by at most a constant. Also, unlike the approach in the proof on the size of triangle-free graphs by Ali et al., our proof employs a completely different technique, which enables us to identify the extremal graphs; hence the bounds presented here are sharp.
On Alon-Tarsi orientations of sparse graphs
Assume $G$ is a graph, $(v_1,\ldots,v_k)$ is a sequence of distinct vertices of $G$, and $(a_1,\ldots,a_k)$ is an integer sequence with $a_i \in \{1,2\}$. We say $G$ is \emph{$(a_1,\ldots,a_k)$-list extendable} (respectively, \emph{$(a_1,\ldots,a_k)$-AT extendable}) with respect to $(v_1,\ldots,v_k)$ if $G$ is $f$-choosable (respectively, $f$-AT), where $f(v_i)=a_i $ for $i \in \{1,\ldots, k\}$, and $f(v)=3$ for $v \in V(G) \setminus \{v_1,\ldots, v_k\}$. Hutchinson proved that if $G$ is an outerplanar graph, then $G$ is $(2,2)$-list extendable with respect to $(x,y)$ for any vertices $x,y$. We strengthen this result and prove that if $G$ is a $K_4$-minor-free graph, then $G$ is $(2,2)$-AT extendable with respect to $(x,y)$ for any vertices $x,y$. Then we characterize all triples $(x,y,z)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,2,2)$-AT extendable (as well as $(2,2,2)$-list extendable) with respect to $(x,y,z)$. We also characterize the pairs $(x,y)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,1)$-AT extendable (as well as $(2,1)$-list extendable) with respect to $(x,y)$. Moreover, we characterize all triples $(x,y,z)$ of a 3-colorable graph $G$ with its maximum average degree less than $\frac{14}{5}$ for which $G$ is $(2,2,2)$-AT extendable with respect to $(x,y,z)$.
Sharp Inner Product Correlations for Hypercube Bijections
We resolve a conjecture of Rob Morris concerning bijections on the hypercube. Specifically, we show that for any bijection $f : \{-1,1\}^n \to \{-1,1\}^n$, \[ \Pr_{x,y \in \{-1,1\}^n}\big[ \langle x,y \rangle \ge 0 \;\text{and}\; \langle f(x),f(y) \rangle \ge 0 \big] \;\;\ge\; \tfrac{1}{4} - O(1/\sqrt{n}), \] implying the same lower bound for the joint event under any two bijections. Our proof proceeds by applying the spectral decomposition of the Hamming association scheme, which allows us to reformulate the problem as a linear program over the Birkhoff polytope. This makes it possible to isolate the contribution of the nontrivial spectrum, which we show is asymptotically negligible, leaving the dominant contribution arising from the principal eigenvalue.
Berele row-insertion and quantum symmetric pairs
The Berele row-insertion is a symplectic analogue of the Schensted row-insertion. In the present paper, we provide it with a representation theoretical interpretation via the quantum symmetric pairs of type $A\mathrm{II}$. As applications, we lift Berele's Robinson--Schensted correspondence and Kobayashi--Matsumura's Robinson--Schensted--Knuth (RSK for short) correspondence to isomorphisms of representations over a quantum symmetric pair coideal subalgebra, and establish the dual RSK correspondence of type $A\mathrm{II}$.
Bounds on two-distance sets in Euclidean space and Unit Sphere
We establish upper bounds for the size of two-distance sets in Euclidean space and spherical two-distance sets. The main recipe for obtaining upper bounds is the spectral method. We construct Seidel matrices to encode the distance relations and apply eigenvalue analysis to obtain explicit bounds.
For Euclidean space, we have the upper bounds for the cardinality $n$ of a two-distance set. \[
n \le \dfrac{(d+1)\left(\left(\frac{1+δ^2}{1-δ^2}\right)^2 - 1\right)}{\left(\frac{1+δ^2}{1-δ^2}\right)^2-(d+1)}+1. \] if the two distances are $1$ and $δ$ in $\mathbb{R}^d$.
For spherical two-distance sets with $n$ points and inner products $a, b$ on $\mathbb{S}^{d-1}$, we will have the following:
\[ \begin{cases}
n \le \dfrac{d\left(\left(\dfrac{a+b-2}{b-a}\right)^2-1\right)}{\left(\dfrac{a+b-2}{b-a}\right)^2-d}, &a+b \ge 0;
n \le \dfrac{(d+1)\left(\left(\dfrac{a+b-2}{b-a}\right)^2-1\right)}{\left(\dfrac{a+b-2}{b-a}\right)^2-(d+1)}, &a+b < 0. \end{cases} \] Notice that the second bound (for $a+b < 0$) is the same as the relative bound for the equiangular lines in one higher dimension.
Extended Weak Order for the Rank 3 Universal Coxeter Group
The weak order is a classical poset structure on a Coxeter group; it is a lattice when the group is finite but merely a meet-semilattice when the group is infinite. Motivated by problems in Kazhdan--Lusztig theory, Matthew Dyer introduced the extended weak order, a poset that contains a copy of the weak order as an order ideal, and he conjectured that the extended weak order for any Coxeter group is a lattice. We prove Dyer's conjecture for the rank 3 universal Coxeter group. This is the first non-spherical, non-affine Coxeter group for which Dyer's conjecture has been proven.
Constructions of Large m-Distance Sets on Triangular Lattice
An $m$-distance set is a collection of points such that the distances between any two points have $m$ possible values. We use two different methods to construct large $m$-distance sets on the triangular lattices. One is to use the first m smallest distances and find the largest cliques, and the other is using the notions of hexagons. Multiplicities of the distances were observed for comparison for the two methods.
Density Characterization with The Upper Bound of Density of Fibonacci Word
This paper investigates the natural density and structural relationships within Fibonacci words, the density of a Fibonacci word is $\operatorname{DF}(F_k)=n/(n+m),$ where $m$ denote the number of zeros in a Fibonacci word and $n$ denote the units digit. Through analysis of these ratios and their convergence to powers of $\varphi$, we illustrate the intrinsic exponential growth rates characteristic of Fibonacci words. By considering the natural density concept for sets of positive integers, it is demonstrated that the density of Fibonacci words approaches unity, correlating with classical results on Fibonacci number distributions as \[ \operatorname{DF}(F_k) <\frac{m(m+1)}{n(2m-n+1)}. \] Furthermore, generating functions and combinatorial formulas for general terms of Fibonacci words are derived, linking polynomial expressions and limit behaviors integral to their combinatorial structure. The study is supplemented by numerical data and graphical visualization, confirming theoretical findings and providing insights into the early transient and asymptotic behavior of Fibonacci word densities.
Odd clique minors and chromatic bounds of {3$K_1$, paraglider}-free graphs
A paraglider, house, 4-wheel, is the graph that consists of a cycle $C_4$ plus an additional vertex adjacent to three vertices, two adjacent vertices, all the vertices of the $C_4$, respectively. For a graph $G$, let $χ(G)$, $ω(G)$ denote the chromatic number, the clique number of $G$, respectively. Gerards and Seymour from 1995 conjectured that every graph $G$ has an odd $K_{χ(G)}$ minor. In this paper, based on the description of graph structure, it is shown that every graph $G$ with independence number two satisfies the conjecture if one of the following is true: $χ(G) \leq 2ω(G)$ when $n $ is even, $χ(G) \leq 9ω(G)/5$ when $n$ is odd, $G$ is a quasi-line graph, $G$ is $H$-free for some induced subgraph $H$ of paraglider, house or $W_4$. Moreover, we derive an optimal linear $χ$-binding function for {3$K_1$, paraglider}-free graph $G$ that $χ(G)\leq \max\{ω(G)+3, 2ω(G)-2\}$, which improves the previous result, $χ(G)\leq 2ω(G)$, due to Choudum, Karthick and Shalu in 2008.
Watson-Crick strong bi-catenation on words
In this paper we define and investigate the binary word operation of strong-$φ$-bi-catenation (denoted by $\leftrightarrows_φ$) where $φ$ is either a morphic or an antimorphic involution. In particular, we concentrate on the mapping $φ=θ_{DNA}$, which models the Watson-Crick complementarity of DNA single strands. We show that such an operation is commutative and not associative and when iteratively applied to a word $u$, this operation generates words over $\{u, θ(u)\}$. We then extend this operation to languages and show that the families of regular, context-free and context-sensitive languages are closed under the operation of strong-$φ$-bi-catenation. We also define the notion of $\leftrightarrows_θ$-conjugacy and study conditions on words $u$ and $v$ where $u$ is a $\leftrightarrows_θ$-conjugate of $v$. We then extend this relation to language equations and provide solutions under some special cases.
Distance-based (and path-based) covering problems for graphs of given cyclomatic number
Published in Discrete Mathematics 348(11):114595, 2025
• View Publication
• BIB
We study a large family of graph covering problems, whose definitions rely on distances, for graphs of bounded cyclomatic number (that is, the minimum number of edges that need to be removed from the graph to destroy all cycles). These problems include (but are not restricted to) three families of problems: (i) variants of metric dimension, where one wants to choose a small set $S$ of vertices of the graph such that every vertex is uniquely determined by its ordered vector of distances to the vertices of $S$; (ii) variants of geodetic sets, where one wants to select a small set $S$ of vertices such that any vertex lies on some shortest path between two vertices of $S$; (iii) variants of path covers, where one wants to select a small set of paths such that every vertex or edge belongs to one of the paths. We generalize and/or improve previous results in the area which show that the optimal values for these problems can be upper-bounded by a linear function of the cyclomatic number and the degree~1-vertices of the graph. To this end, we develop and enhance a technique recently introduced in [C. Lu, Q. Ye, C. Zhu. Algorithmic aspect on the minimum (weighted) doubly resolving set problem of graphs, Journal of Combinatorial Optimization 44:2029--2039, 2022] and give near-optimal bounds in several cases. This solves (in some cases fully, in some cases partially) some conjectures and open questions from the literature. The method, based on breadth-first search, is of algorithmic nature and thus, all the constructions can be computed in linear time. Our results also imply an algorithmic consequence for the computation of the optimal solutions: for some of the problems, they can be computed in polynomial time for graphs of bounded cyclomatic number.
Symmetry in Tree Parking Distributions
In this paper, we explore parking distributions on caterpillar trees, focusing on two primary statistics: the number of lucky cars and the frequency with which cars prefer specific parking spaces. We use first-return decomposition to reveal a symmetry in their joint distribution and develop a $q, t$-analog of the Fuss-Catalan generating function. We prove that this generating function exhibits specific symmetry and satisfies a functional equation. Additionally, we extend our findings to any m statistics that satisfy certain criteria, presenting a concrete example of such $m$ statistics to illustrate the broader applicability of our results.
The $K(π, 1)$ conjecture for affine Artin groups
In this summary paper, we present the key ideas behind the recent proof of the $K(π, 1)$ conjecture for affine Artin groups, which states that complements of locally finite affine hyperplane arrangements with real equations and stable under orthogonal reflections are aspherical. We survey three facets of the argument: the combinatorics of noncrossing partition posets associated with Coxeter groups; the appearance of dual Artin groups and the question of their isomorphism with standard Artin groups; the topological models and their interplay in the proof.
Weighted Ehrhart functions
Published in Bol. Soc. Mat. Mexicana 32 (2026), Paper No. 13, 17 pp
• View Publication
• BIB
We give an algorithm to compute weighted Ehrhart functions of lattice polytopes for polynomial weights using Lagrange interpolation. We show how to compute generating functions of polynomials using those of unit cubes and Eulerian numbers, and use integer programming to study the algebraic properties of the Ehrhart ring of the $d$-th unit cube. Then we show some applications to weighted Ehrhart functions and enumeration problems.
An easy proof of Ramanujan's famous congruences $p(5m+4)\equiv 0 \equiv τ(5m+5) \pmod 5$
Published in Séminaire Lotharingien de Combinatoire vol 93 (2025), Article~B93a
• Search Publication
We present a proof of Ramanujan's congruences $$p(5n+4) \equiv 0 \pmod 5 \text{ and } τ(5n+5) \equiv 0 \pmod 5.$$ The proof only requires a limiting case of Jacobi's triple product, a result that Ramanujan knew well, and a technique which Ramanujan used himself to compute values of $τ(n)$.