Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Functional Delsarte-Goethals-Seidel-Kabatianskii-Levenshtein-Pfender Bound
Published
• View Publication
• BIB
Pfender \textit{[J. Combin. Theory Ser. A, 2007]} provided a one-line proof for a variant of the Delsarte-Goethals-Seidel-Kabatianskii-Levenshtein upper bound for spherical codes, which offers an upper bound for the celebrated (Newton-Gregory) kissing number problem. Motivated by this proof, we introduce the notion of codes in pointed metric spaces (in particular on Banach spaces) and derive a nonlinear (functional) Delsarte-Goethals-Seidel-Kabatianskii-Levenshtein-Pfender upper bound for spherical codes. We also introduce nonlinear (functional) Kissing Number Problem.
Relations between generalised Gelfand-Tsetlin and Kazhdan-Lusztig bases of $S_n$
We prove that the Kazhdan-Lusztig basis of Specht modules is upper triangular with respect to all generalized Gelfand-Tsetlin bases constructed from any multiplicity-free tower of standard parabolic subgroups.
Maximizing the number of rational-value sums or zero-sums
What is the maximum number of $r$-term sums admitting rational values in $n$-element sets of irrational numbers? We determine the maximum when $r<4$ or $r\geq n/2$ and also in case when we drop the condition on the number of summands. It turns out that the $r$-term sum problem is equivalent to determine the maximum number of $r$-term zero-sum subsequences in $n$-element sequences of integers, which can be seen as a variant of the famous Erdős-Ginzburg-Ziv theorem.
Measures of closeness to cordiality for graphs
Published
• View Publication
• BIB
A graph $G$ is cordial if there exists a function $f$ from the vertices of $G$ to $\{0,1\}$ such that the number of vertices labelled $0$ and the number of vertices labelled $1$ differ by at most $1$, and if we assign to each edge $xy$ the label $|f(x)-f(y)|$, the number of edges labelled $0$ and the number of edges labelled $1$ also differ at most by $1$. We introduce two measures of how close a graph is to being cordial, and compute these measures for a variety of classes of graphs.
On the number of partitions of the hypercube ${\bf Z}_q^n$ into large subcubes
Published in Siberian Electronic Mathematical Reports, Volume 21 (2024), N 2, pp. 1503-1521
• View Publication
• BIB
We prove that the number of partitions of the hypercube ${\bf Z}_q^n$ into $q^m$ subcubes of dimension $n-m$ each for fixed $q$, $m$ and growing $n$ is asymptotically equal to $n^{(q^m-1)/(q-1)}$. For the proof, we introduce the operation of the bang of a star matrix and demonstrate that any star matrix, except for a fractal, is expandable under some bang, whereas a fractal remains to be a fractal under any bang.
Finite groups whose commuting graphs are line graphs
Published in Communications in Combinatorics and Optimization, 2025
• View Publication
• BIB
The commuting graph ${Γ(G)}$ of a group $G$ is the simple undirected graph with group elements as a vertex set and two elements $x$ and $y$ are adjacent if and only if $xy=yx$ in $G$. By eliminating the identity element of $G$ and all the dominant vertices of $Γ(G)$, the resulting subgraphs of $Γ(G)$ are $Γ^*(G)$ and $Γ^{**}(G)$, respectively. In this paper, we classify all the finite groups $G$ such that the graph $Δ(G) \in \{Γ(G), Γ^*(G), Γ^{**}(G)\}$ is the line graph of some graph. We also classify all the finite groups $G$ whose graph $Δ(G) \in \{Γ(G), Γ^*(G), Γ^{**}(G)\}$ is the complement of line graph.
Characterization of graphs with orientable total domination number equal to $|V|-1$
In a directed graph $D$, a vertex subset $S\subseteq V$ is a total dominating set if every vertex of $D$ has an in-neighbor from $S$. A total dominating set exists if and only if every vertex has at least one in-neighbor. We call the orientation of such directed graphs valid. The total domination number of $D$, denoted by $γ_t(D)$, is the size of the smallest total dominating set of $D$. For an undirected graph $G$, we investigate the upper (or lower) orientable total domination number of $G$, denoted by $\mathrm{DOM}_t(G)$ (or $\mathrm{dom}_t(G)$), that is the maximum (or minimum) of the total domination numbers over all valid orientations of $G$. We characterize those graphs for which $\mathrm{DOM}_t(G)=|V(G)|-1$, and consequently we show that there exists a family of graphs for which $\mathrm{DOM}_t(G)$ and $\mathrm{dom}_t(G)$ can be as far as possible, namely $\mathrm{DOM}_t(G)=|V(G)|-1$ and $\mathrm{dom}_t(G)=3$.
Matching Complexes of Outerplanar Graphs
An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we prove that the matching complexes of outerplanar graphs are contractible or homotopy equivalent to a wedge of spheres. This extends known results about trees and polygonal line tilings.
Upper bounds for the size of ordered $L$-intersecting set systems
A family $\mbox{$\cal F$}=\{F_1,\ldots,F_m\}$ of subsets of $[n]$ is said to be ordered, if there exists an $1\leq r\leq m$ index such that $n\in F_i$ for each $1\leq i\leq r$, $n\notin F_i$ for each $i>r$ and $|F_i|\leq |F_j|$ for each $1\leq i<j\leq m$.
Our main result is a new upper bound for the size of ordered $L$-intersecting set systems.
Neighbors, neighbor graphs and invariant rings in coding theory
In the present paper, we discuss the class of Type III and Type IV codes from the perspectives of neighbors. Our investigation analogously extends the results originally presented by Dougherty [8] concerning the neighbor graph of binary self-dual codes. Moreover, as an application of neighbors in invariant theory, we show that the ring of the weight enumerators of Type II code $d_{n}^{+}$ and its neighbors in arbitrary genus is finitely generated. Finally, we obtain a minimal set of generators of this ring up to the space of degree 24 and genus 3.
On the positive coefficients of two families of $q$-series
Published
• View Publication
• BIB
Let $S$ be a finite set of pairwise coprime positive integers and $Ax^2+Bx$ be an integer valued polynomial with $A> B\ge 0$. For integers $k\ge 1$ and $n\ge 0$, the coefficients $γ_{S,A,B}^k (n)$ are defined as \begin{align*} \prod_{s\in S}\frac{1}{1-q^s}\sum_{j\not\in [-k,k-1]} (-1)^{j+k}q^{Aj^2+Bj}=\sum_{n= 0}^{\infty}γ_{S,A,B}^k (n)q^n. \end{align*} In this paper, we investigate the positivity of $γ_{S,A,B}^k (n)$ for $|S|=4,5$.
A characterization of graphs $G$ with $m_G(λ)= 2c(G) + q_s(G) - 1$
Let $G$ be a simple connected graph. If every pendant path in $G$ is at least $P_s$, we denote that $G\in \mathbb{G}_s$. For $G \in \mathbb{G}_s$, let $Q_s(G)$ be the set of vertices in $G$ that are distance $s$ from the pendant vertex, and let $|Q_s(G)| = q_s(G)$. For $G \in \mathbb{G}_s$, Li et al. (2024) proved that when $λ$ is not an eigenvalue of $P_s$ and $G$ is neither a cycle nor a starlike tree $T_k$, it holds that $m_G(λ) \leq 2c(G) + q_s(G) - 1$ and characterized the extremal graphs when $G$ is a tree. In this article, we characterize the extremal graphs for which $m_G(λ) = 2c(G) + q_s(G) - 1$ when $G \in \mathbb{G}_{s}$ and $λ\notin σ(P_s)$.
Unbounded Error Correcting Codes
Published
• View Publication
• BIB
Traditional error-correcting codes (ECCs) assume a fixed message length, but many scenarios involve ongoing or indefinite transmissions where the message length is not known in advance. For example, when streaming a video, the user should be able to fix a fraction of errors that occurred before any point in time. We introduce unbounded error-correcting codes (unbounded codes), a natural generalization of ECCs that supports arbitrarily long messages without a predetermined length. An unbounded code with rate $R$ and distance $\varepsilon$ ensures that for every sufficiently large $k$, the message prefix of length $Rk$ can be recovered from the code prefix of length $k$ even if an adversary corrupts up to an $\varepsilon$ fraction of the symbols in this code prefix.
We study unbounded codes over binary alphabets in the regime of small error fraction $\varepsilon$, establishing nearly tight upper and lower bounds on their optimal rate. Our main results show that: (1) The optimal rate of unbounded codes satisfies $R<1-Ω(\sqrt{\varepsilon})$ and $R>1-O(\sqrt{\varepsilon \log \log(1/\varepsilon)})$. (2) Surprisingly, our construction is inherently non-linear, as we prove that linear unbounded codes achieve a strictly worse rate of $R=1-Θ(\sqrt{\varepsilon \log(1/\varepsilon)})$. (3) In the setting of random noise, unbounded codes achieve the same optimal rate as standard ECCs, $R=1-Θ(\varepsilon \log(1/\varepsilon))$.
These results demonstrate fundamental differences between standard and unbounded codes.
The Group Cohomology of Peroidized Hypertoric Variety
To a graph $Γ$, one can associate a hypertoric variety $\mathcal{M}(Γ)$ and its multiplicative version $\mathcal{M}^{\mathrm{mul}}(Γ)$. It was shown in [DMS24] that the cohomology of $\mathcal{M}^{\mathrm{mul}}(Γ)$ is computed by the CKS complex, which is a finite dimensional complex attached to $Γ$. The multiplicative hypertoric variety can be realized as the quotient of a periodized hypertoric variety by a lattice action. In this paper, we show that the group cohomology of the lattice with coefficients in the cohomology of the prequotient is isomorphic to the cohomology of the CKS complex using a spectral sequence argument. Therefore, the group cohomology can serve as an alternative way to compute the cohomology of multiplicative hypertoric varieties.
We also found graph-theoretic descriptions for the Euler characteristics of the graded pieces in a certain decomposition of $\mathrm{H}^\bullet(\mathcal{M}^{\mathrm{mul}}(Γ))$.
Some results on $σ_{t}$-irregularity
Published
• View Publication
• BIB
The $σ_{t}$-irregularity (or sigma total index) is a graph invariant which is defined as $σ_{t}(G)=\sum_{\{u,v\}\subseteq V(G)}(d(u)-d(v))^{2},$ where $d(z)$ denotes the degree of $z$. This irregularity measure was proposed by R\' {e}ti [Appl. Math. Comput. 344-345 (2019) 107-115], and recently rediscovered by Dimitrov and Stevanović [Appl. Math. Comput. 441 (2023) 127709]. In this paper we remark that $σ_{t}(G)=n^{2}\cdot Var(G)$, where $Var(G)$ is the degree variance of the graph. Based on this observation, we characterize irregular graphs with maximum $σ_{t}$-irregularity. We show that among all connected graphs on $n$ vertices, the split graphs $S_{\lceil\frac{n}{4}\rceil, \lfloor\frac{3n}{4}\rfloor }$ and $S_{\lfloor\frac{n}{4}\rfloor, \lceil\frac{3n}{4}\rceil }$ have the maximum $σ_{t}$-irregularity, and among all complete bipartite graphs on $n$ vertices, either the complete bipartite graph $K_{\lfloor\frac{n}{4}(2-\sqrt{2})\rfloor, \lceil\frac{n}{4}(2+\sqrt{2})\rceil }$ or $K_{\lceil\frac{n}{4}(2-\sqrt{2})\rceil, \lfloor\frac{n}{4}(2+\sqrt{2})\rfloor }$ has the maximum sigma total index. Moreover, various upper and lower bounds for $σ_{t}$-irregularity are provided; in this direction we give a relation between the graph energy $\mathcal{E}(G)$ and sigma total index $σ_{t}(G)$ and give another proof of two results by Dimitrov and Stevanović. Applying Fiedler's characterization of the largest and the second smallest Laplacian eigenvalue of the graph, we also establish new relationships between $σ_{t}$ and $σ$. We conclude the paper with two conjectures.
Improved kissing numbers in seventeen through twenty-one dimensions
We prove that the kissing numbers in 17, 18, 19, 20, and 21 dimensions are at least 5730, 7654, 11692, 19448, and 29768, respectively. The previous records were set by Leech in 1967, and we improve on them by 384, 256, 1024, 2048, and 2048. Unlike the previous constructions, the new configurations are not cross sections of the Leech lattice minimal vectors. Instead, they are constructed by modifying the signs in the lattice vectors to open up more space for additional spheres.
Counting points on Hessenberg Varieties over finite fields
We give a counting formula in terms of modified Hall-Littlewood polynomials and the chromatic quasisymmetric function for the number of points on an arbitrary Hessenberg variety over a finite field. As a consequence, we express the Poincaré polynomials of complex Hessenberg varieties in terms of a Hall scalar product involving the symmetric functions above. We use these results to give a new proof of a combinatorial formula for the modified Hall-Littlewood polynomials.
On ends of degree $ω_1$
We prove that if $ T $ is a semi-special tree that is not special, then there exists a graph $ G $, formed as an inflation of a sparse $ T $-graph, such that for any special tree $ S $, $ G $ is not a subdivision of an inflation of an sparse $ S $-graph. Furthermore $G$ has an end of uncountable degree that has no ray graph. This result provides a consistent negative answer to a problem posed by Stefan Geschke et al. in 2023. Additionally, we introduce and explore a property that generalizes Halin's grid theorem, extending it to ends of degree $ \aleph_1 $, which was originally established for ends of countable degree.
Characteristic Polynomials and Hypergraph Generating Functions via Heaps of Pieces
It is a classical result due to Jacobi in algebraic combinatorics that the generating function of closed walks at a vertex $u$ in a graph $G$ is determined by the rational function \[ \frac{φ_{G-u}(t)}{φ_G(t)} \] where $φ_G(t)$ is the characteristic polynomial of $G$. In this paper, we show that the corresponding rational function for a hypergraph is also a generating function for some combinatorial objects in the hypergraph.
We make use of the Heaps of Pieces framework, developed by Viennot, demonstrating its use on graphs, digraphs, and multigraphs before using it on hypergraphs. In the case of a graph $G$, the pieces are cycles and the concurrence relation is sharing a vertex. The pyramids with maximal piece containing a vertex $u \in V(G)$ are in one-to-one correspondence with closed walks at $u$. In the case of a hypergraph $\mathcal{H}$, connected "infragraphs" can be defined as the set of pieces, with the same concurrence relation: sharing a vertex. Our main results are established by analyzing multivariate resultants of polynomial systems associated to adjacency hypermatrices.
Isolation partitions in graphs
Let $G$ be a graph and $k \geq 3$ an integer. A subset $D \subseteq V(G)$ is a $k$-clique (resp., cycle) isolating set of $G$ if $G-N[D]$ contains no $k$-clique (resp., cycle). In this paper, we prove that every connected graph with maximum degree at most $k$, except $k$-clique, can be partitioned into $k+1$ disjoint $k$-clique isolating sets, and that every connected claw-free subcubic graph, except 3-cycle, can be partitioned into four disjoint cycle isolating sets. As a consequence of the first result, every $k$-regular graph can be partitioned into $k+1$ disjoint $k$-clique isolating sets.