Showing 20 papers (Total: 84125 papers, 48472 authors in database)
On the extention of propelinear structures of Nordstrom-Robinson code to Hamming code
A code is called propelinear if its automorphism group contains a subgroup that acts regularly on its codewords, which is called a propelinear structure on the code. In the paper a classification of the propelinear structures on the Nordstrom-Robinson code is obtained and the question of extension of these structures to propelinear structures of the Hamming code, that contains the Nordstrom-Robinson code. The result partially relies on a representation of all partitions of the Hamming code into codes with parameters of Nordstrom-Robinson code via Fano planes which is given in the paper.
Generalized Weyl modules, alcove paths and Macdonald polynomials
Classical local Weyl modules for a simple Lie algebra are labeled by dominant weights. We generalize the definition to the case of arbitrary weights and study the properties of the generalized modules. We prove that the representation theory of the generalized Weyl modules can be described in terms of the alcove paths and the quantum Bruhat graph. We make use of the Orr-Shimozono formula in order to prove that the $t=\infty$ specializations of the nonsymmetric Macdonald polynomials are equal to the characters of certain generalized Weyl modules.
A simple explicit bijection between (n,2) Gog and Magog trapezoids
Published in Séminaire Lotharingien de Combinatoire, 75, Article B75e (2016)
• Search Publication
A sub-problem of the open problem of finding an explicit bijection between alternating sign matrices and totally symmetric self-complementary plane partitions consists in finding an explicit bijection between so-called $(n,k)$ Gog trapezoids and $(n,k)$ Magog trapezoids. A quite involved bijection was found by Biane and Cheballah in the case $k=2$. We give here a simpler bijection for this case.
MDS codes in the Doob graphs
Published in Probl. Inf. Transm. 53(1) 2017, 136-154 (English); Probl. Peredachi Inf. 53(1) 2017, 40-59 (Russian)
• View Publication
• BIB
The Doob graph $D(m,n)$, where $m>0$, is the direct product of $m$ copies of The Shrikhande graph and $n$ copies of the complete graph $K_4$ on $4$ vertices. The Doob graph $D(m,n)$ is a distance-regular graph with the same parameters as the Hamming graph $H(2m+n,4)$. In this paper we consider MDS codes in Doob graphs with code distance $d \ge 3$. We prove that if $2m+n>6$ and $2<d<2m+n$, then there are no MDS codes with code distance $d$. We characterize all MDS codes with code distance $d \ge 3$ in Doob graphs $D(m,n)$ when $2m+n \le 6$. We characterize all MDS codes in $D(m,n)$ with code distance $d=2m+n$ for all values of $m$ and $n$.
The extended 1-perfect trades in small hypercubes
Published in Discrete Math. 340(10) 2017, 2559-2572
• View Publication
• BIB
An extended $1$-perfect trade is a pair $(T_0,T_1)$ of two disjoint binary distance-$4$ even-weight codes such that the set of words at distance $1$ from $T_0$ coincides with the set of words at distance $1$ from $T_1$. Such trade is called primary if any pair of proper subsets of $T_0$ and $T_1$ is not a trade. Using a computer-aided approach, we classify nonequivalent primary extended $1$-perfect trades of length $10$, constant-weight extended $1$-perfect trades of length $12$, and Steiner trades derived from them. In particular, all Steiner trades with parameters $(5,6,12)$ are classified.
Supercharacter theories of type $A$ unipotent radicals and unipotent polytopes
Published
• View Publication
• BIB
Even with the introduction of supercharacter theories, the representation theory of many unipotent groups remains mysterious. This paper constructs a family of supercharacter theories for normal pattern groups in a way that exhibit many of the combinatorial properties of the set partition combinatorics of the full uni-triangular groups, including combinatorial indexing sets, dimensions, and computable character formulas. Associated with these supercharacter theories is also a family of polytopes whose integer lattice points give the theories geometric underpinnings.
On the chromatic numbers of small-dimensional Euclidean spaces
Published
• View Publication
• BIB
The paper is devoted to the study of graph sequence G_n = (V_n, E_n) where V_n is the set of all vectors v in R^n with coordinates from {-1, 0, 1} such that |v| = sqrt(3), and E_n consists of all pairs of vertices with the scalar product 1. We find exactly the independence number of G_n. As a corollary we get some new lower bounds of chi(\R^n) and chi(\Q^n) for small values of n.
Coloring graphs without fan vertex-minors and graphs without cycle pivot-minors
Published in J. Combin. Theory, Ser. B, 123, pp. 126-147, 2017
• View Publication
• BIB
A fan $F_k$ is a graph that consists of an induced path on $k$ vertices and an additional vertex that is adjacent to all vertices of the path. We prove that for all positive integers $q$ and $k$, every graph with sufficiently large chromatic number contains either a clique of size $q$ or a vertex-minor isomorphic to $F_k$. We also prove that for all positive integers $q$ and $k\ge 3$, every graph with sufficiently large chromatic number contains either a clique of size $q$ or a pivot-minor isomorphic to a cycle of length $k$.
On the combinatorial structure of 0/1-matrices representing nonobtuse simplices
Published
• View Publication
• BIB
A 0/1-simplex is the convex hull of n+1 affinely independent vertices of the unit n-cube I^n. It is nonobtuse if none its dihedral angles is obtuse, and acute if additionally none of them is right. Acute 0/1-simplices in I^n can be represented by 0/1-matrices P of size n x n whose Gramians have an inverse that is strictly diagonally dominant, with negative off-diagonal entries.
In this paper, we will prove that the positive part D of the transposed inverse of P is doubly stochastic and has the same support as P. The negated negative part C of P^-T is strictly row-substochastic and its support is complementary to that of D, showing that P^-T=D-C has no zero entries and has positive row sums. As a consequence, for each facet F of an acute 0/1-facet S there exists at most one other acute 0/1-simplex T in I^n having F as a facet. We call T the acute neighbor of S at F.
If P represents a 0/1-simplex that is merely nonobtuse, P^-T can have entries equal to zero. Its positive part D is still doubly stochastic, but its support may be strictly contained in the support of P. This allows P to be partly decomposable. In theory, this might cause a nonobtuse 0/1-simplex S to have several nonobtuse neighbors at each of its facets.
Next, we study nonobtuse 0/1-simplices S having a partly decomposable matrix representation P. We prove that such a simplex also has a block diagonal matrix representation with at least two diagonal blocks, and show that a nonobtuse simplex with partly decomposable matrix representation can be split in mutually orthogonal fully indecomposable simplicial facets whose dimensions add up to n. Using this insight, we are able to extend the one neighbor theorem for acute simplices to a larger class of nonobtuse simplices.
On the first and second eigenvalue of finite and infinite uniform hypergraphs
Published
• View Publication
• BIB
Lower bounds for the first and the second eigenvalue of uniform hypergraphs which are regular and linear are obtained. One of these bounds is a generalization of the Alon-Boppana Theorem to hypergraphs.
Deciding Orthogonality in Construction-A Lattices
Published
• View Publication
• BIB
Lattices are discrete mathematical objects with widespread applications to integer programs as well as modern cryptography. A fundamental problem in both domains is the Closest Vector Problem (popularly known as CVP). It is well-known that CVP can be easily solved in lattices that have an orthogonal basis \emph{if} the orthogonal basis is specified. This motivates the orthogonality decision problem: verify whether a given lattice has an orthogonal basis. Surprisingly, the orthogonality decision problem is not known to be either NP-complete or in P.
In this paper, we focus on the orthogonality decision problem for a well-known family of lattices, namely Construction-A lattices. These are lattices of the form $C+q\mathbb{Z}^n$, where $C$ is an error-correcting $q$-ary code, and are studied in communication settings. We provide a complete characterization of lattices obtained from binary and ternary codes using Construction-A that have an orthogonal basis. We use this characterization to give an efficient algorithm to solve the orthogonality decision problem. Our algorithm also finds an orthogonal basis if one exists for this family of lattices. We believe that these results could provide a better understanding of the complexity of the orthogonality decision problem for general lattices.
Word Length Perturbations in Certain Symmetric Presentations of Dihedral Groups
Published
• View Publication
• BIB
Given a finite group with a generating subset there is a well-established notion of length for a group element given in terms of its minimal length expression as a product of elements from the generating set. Recently, certain quantities called $λ_{1}$ and $λ_{2}$ have been defined that allow for a precise measure of how stable a group is under certain types of small perturbations in the generating expressions for the elements of the group. These quantities provide a means to measure differences among all possible paths in a Cayley graph for a group, establish a group theoretic analog for the notion of stability in nonlinear dynamical systems, and play an important role in the application of groups to computational genomics. In this paper, we further expose the fundamental properties of $λ_{1}$ and $λ_{2}$ by establishing their bounds when the underlying group is a dihedral group. An essential step in our approach is to completely characterize so-called symmetric presentations of the dihedral groups, providing insight into the manner in which $λ_{1}$ and $λ_{2}$ interact with finite group presentations. This is of interest independent of the study of the quantities $λ_{1},\; λ_{2}$. Finally, we discuss several conjectures and open questions for future consideration.
Matching criticality in intersecting hypergraphs
Published
• View Publication
• BIB
A matching in a hypergraph $H$ is a set of pairwise vertex disjoint edges in $H$ and the matching number of $H$ is the maximum cardinality of a matching in $H$. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. The transversal number $τ(H)$ of $H$ is the minimum cardinality of a transversal in $H$. A hypergraph $H$ is an intersecting hypergraph if every two distinct edges of $H$ have a non-empty intersection. Equivalently, $H$ is an intersecting hypergraph if and only if it has matching number one. In this paper we study the extremal behavior of matching critical intersecting hypergraphs. We partly solve an open problem on matching critical intersecting hypergraphs posed by Henning and Yeo. We also prove a strengthening of the result for intersecting $r$-uniform hypergraphs.
The colouring number of infinite graphs
Published
• View Publication
• BIB
We show that, given an infinite cardinal $μ$, a graph has colouring number at most $μ$ if and only if it contains neither of two types of subgraph. We also show that every graph with infinite colouring number has a well-ordering of its vertices that simultaneously witnesses its colouring number and its cardinality.
Progress Towards the Total Domination Game $\frac{3}{4}$-Conjecture
Published
• View Publication
• BIB
In this paper, we continue the study of the total domination game in graphs introduced in [Graphs Combin. 31(5) (2015), 1453--1462], where the players Dominator and Staller alternately select vertices of $G$. Each vertex chosen must strictly increase the number of vertices totally dominated, where a vertex totally dominates another vertex if they are neighbors. This process eventually produces a total dominating set $S$ of $G$ in which every vertex is totally dominated by a vertex in $S$. Dominator wishes to minimize the number of vertices chosen, while Staller wishes to maximize it. The game total domination number, $γ_{\rm tg}(G)$, of $G$ is the number of vertices chosen when Dominator starts the game and both players play optimally. Henning, Klavžar and Rall [Combinatorica, to appear] posted the $\frac{3}{4}$-Game Total Domination Conjecture that states that if $G$ is a graph on $n$ vertices in which every component contains at least three vertices, then $γ_{\rm tg}(G) \le \frac{3}{4}n$. In this paper, we prove this conjecture over the class of graphs $G$ that satisfy both the condition that the degree sum of adjacent vertices in $G$ is at least $4$ and the condition that no two vertices of degree $1$ are at distance $4$ apart in $G$. In particular, we prove that by adopting a greedy strategy, Dominator can complete the total domination game played in a graph with minimum degree at least $2$ in at most $3n/4$ moves.
On Uniform f-vectors of Cutsets in the Truncated Boolean Lattice
Let $[n] = \{1, 2, \ldots, n\}$ and let $2^{[n]}$ be the collection of all subsets of $[n]$ ordered by inclusion. ${\cal C} \subseteq 2^{[n]}$ is a {\em cutset} if it meets every maximal chain in $2^{[n]}$, and the {\em width} of ${\cal C} \subseteq 2^{[n]}$ is the minimum number of chains in a chain decomposition of ${\cal C}$. Fix $0 \leq m \leq l \leq n$. What is the smallest value of $k$ such that there exists a cutset that consists only of subsets of sizes between $m$ and $l$, and such that it contains exactly $k$ subsets of size $i$ for each $m \leq i \leq l$? The answer, which we denote by $g_n(m,l)$, gives a lower estimate for the width of a cutset between levels $m$ and $l$ in $2^{[n]}$. After using the Kruskal-Katona Theorem to give a general characterization of cutsets in terms of the number and sizes of their elements, we find lower and upper bounds (as well as some exact values) for $g_n(m,l)$.
Criteria for regularity of Mahler power series and Becker's conjecture
Published
• View Publication
• BIB
Allouche and Shallit introduced the notion of a regular power series as a generalization of automatic sequences. Becker showed that all regular power series satisfy Mahler equations and conjectured equivalent conditions for the converse to be true. We prove a stronger form of Becker's conjecture for a subclass of Mahler power series.
On the Minimum Width of a Cutset in the Truncated Boolean Lattice
For integers $0 \leq m \leq l \leq n-m$, the truncated Boolean lattice ${\cal B}_n(m,l)$ is the poset of all subsets of $[n] = \{1, 2, \ldots, n\}$ which have size at least $m$ and at most $l$. ${\cal C} \subseteq {\cal B}_n(m,l)$ is a {\em cutset} if it meets every chain of length $l-m$ in ${\cal B}_n(m,l)$, and the {\em width} of ${\cal C}$ is the size of the largest antichain in ${\cal C}$. We conjecture that for $n >> m$ the minimum width $h_n(m,l)$ of a cutset in ${\cal B}_n(m,l)$ is $Σ_{j \geq 0} Δ_n(m-jc) = Δ_n(m)+Δ_n(m-c)+Δ_n(m-2c)+ \dots$, where $c=l-m+1$ is the number of level sets in ${\cal B}_n(m,l)$ and $Δ_n(k)={n \choose k}- {n \choose k-1}$. We establish our conjecture for the cases of "short lattices" ($l=m$, $l=m+1$, and $l=m+2$). For "taller lattices" ($l \geq 2m$) our conjecture gives ${n \choose m} - {n \choose m-1}$, independently of $l$. Our main result is that $h_n(m,l) \leq {n \choose m} - {n \choose m-1}$ if $l \geq 2m$.
On Euclidean $t$-designs
A Euclidean $t$-design, as introduced by Neumaier and Seidel (1988), is a finite set ${\cal X} \subset \mathbb{R}^n$ with a weight function $w: {\cal X} \rightarrow \mathbb{R}^+$ for which $$\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x})$$ holds for every polynomial $f$ of total degree at most $t$; here $R$ is the set of norms of the points in ${\cal X}$, $W_r$ is the total weight of all elements of ${\cal X}$ with norm $r$, $S_r$ is the $n$-dimensional sphere of radius $r$ centered at the origin, and $\overline{f}_{S_{r}}$ is the average of $f$ over $S_{r}$. Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), also proved a Fisher-type inequality $|{\cal X}| \geq N(n,|R|,t)$ (assuming that the design is antipodal if $t$ is odd). For fixed $n$ and $|R|$ we have $N(n,|R|,t)=O(t^{n-1})$. In Part I of this paper we provide a recursive construction for Euclidean $t$-designs in $\mathbb{R}^n$. Namely, we show how to use certain Gauss--Jacobi quadrature formulae to "lift" a Euclidean $t$-design in $\mathbb{R}^{n-1}$ to a Euclidean $t$-design in $\mathbb{R}^{n}$, preserving both the norm spectrum $R$ and the weight sum $W_r$ for each $r \in R$. A Euclidean design with exactly $N(n,|R|,t)$ points is called tight. In Part II of this paper we construct tight Euclidean designs for $n=2$ and every $t$ and $|R|$ with $|R| \leq \frac{t+5}{4}$. We also provide examples for tight Euclidean designs with $(n,|R|,t) \in \{(3,2,5),(3,3,7),(4,2,7)\}$.
Spherical Designs and Generalized Sum-Free Sets in Abelian Groups
We extend the concepts of sum-free sets and Sidon-sets of combinatorial number theory with the aim to provide explicit constructions for spherical designs. We call a subset $S$ of the (additive) abelian group $G$ {\it $t$-free} if for all non-negative integers $k$ and $l$ with $k+l \leq t$, the sum of $k$ (not necessarily distinct) elements of $S$ does not equal the sum of $l$ (not necessarily distinct) elements of $S$ unless $k=l$ and the two sums contain the same terms.
Here we shall give asymptotic bounds for the size of a largest $t$-free set in ${\bf Z}_n$, and for $t \leq 3$ discuss how $t$-free sets in ${\bf Z}_n$ can be used to construct spherical $t$-designs.