Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Properties of Codes with Two Homogeneous Weights
Published in Finite Fields and Their Applications 18 (2012), 711-727
• View Publication
• BIB
Delsarte showed that for any projective linear code over a finite field of characteristic p with two nonzero Hamming weights w1 < w2 there exist positive integers u and s such that w1 = (p^s)u and w2 = (p^s)(u+1). Moreover, he showed that the additive group of such a code has a strongly regular Cayley graph. Here we show that for any proper regular projective linear code C over a finite Frobenius ring with two integral nonzero homogeneous weights w1 < w2, there is a positive integer d, a divisor of the order of C, and positive integer u such that w1 = du and w2 = d(u+1). In doing so, we give a new proof of the known result that any proper regular projective two-weight code code yields a strongly regular graph. We apply these results to existence questions on two-weight codes.
Subexponential estimations in Shirshov's height theorem
Published in A. Ya. Belov, M. I. Kharitonov, "Subexponential estimates in Shirshov theorem on height", Matem. sb., 203:4(2012), 81 -- 102 (In Russian)
• View Publication
• BIB
In 1993 E. I. Zelmanov asked the following question in Dniester Notebook:
"Suppose that F_{2, m} is a 2-generated associative ring with the identity x^m=0. Is it true, that the nilpotency degree of F_{2, m} has exponential growth?"
We show that the nilpotency degree of l-generated associative algebra with the identity x^d=0 is smaller than Psi(d,d,l), where Psi(n,d,l)=2^{18} l (nd)^{3 log_3 (nd)+13}d^2. We give the definitive answer to E. I. Zelmanov by this result. It is the consequence of one fact, which is based on combinatorics of words. Let l, n and d>n be positive integers. Then all the words over alphabet of cardinality l which length is greater than Psi(n,d,l) are either n-divided or contain d-th power of subword, where a word W is n-divided, if it can be represented in the following form W=W_0 W_1...W_n such that W_1 >' W_2>'...>'W_n. The symbol >' means lexicographical order here. A. I. Shirshov proved that the set of non n-divided words over alphabet of cardinality l has bounded height h over the set Y consisting of all the words of degree <n. Original Shirshov's estimation was just recursive, in 1982 double exponent was obtained by A.G.Kolotov and in 1993 A.Ya.Belov obtained exponential estimation. We show, that h<Phi(n,l), where Phi(n,l) = 2^{87} n^{12 log_3 n + 48} l. Our proof uses Latyshev idea of Dilworth theorem application.
Wiring Switches to Light Bulbs
Published in Irish Math Soc Bulletin 94 Winter 2024, 69-88
• View Publication
• BIB
Given n buttons and n bulbs so that the ith button toggles the ith bulb and at most two other bulbs, we compute the sharp lower bound on the number of bulbs that can be lit regardless of the action of the buttons.
Blocks and Cut Vertices of the Buneman Graph
Published
• View Publication
• BIB
Given a set $\Sg$ of bipartitions of some finite set $X$ of cardinality at least 2, one can associate to $\Sg$ a canonical $X$-labeled graph $\B(\Sg)$, called the Buneman graph. This graph has several interesting mathematical properties - for example, it is a median network and therefore an isometric subgraph of a hypercube. It is commonly used as a tool in studies of DNA sequences gathered from populations. In this paper, we present some results concerning the {\em cut vertices} of $\B(\Sg)$, i.e., vertices whose removal disconnect the graph, as well as its {\em blocks} or 2-{\em connected components} - results that yield, in particular, an intriguing generalization of the well-known fact that $\B(\Sg)$ is a tree if and only if any two splits in $\Sg$ are compatible.
Arc Spaces and Rogers-Ramanujan Identities
Published
• View Publication
• BIB
Arc spaces have been introduced in algebraic geometry as a tool to study singularities but they show strong connections with combinatorics as well. Exploiting these relations we obtain a new approach to the classical Rogers-Ramanujan Identities. The linking object is the Hilbert-Poincaré series of the arc space over a point of the base variety. In the case of the double point this is precisely the generating series for the integer partitions without equal or consecutive parts.
A degree condition for cycles of maximum length in bipartite digraphs
Published in Discrete Math. 312 (2012), 1117--1122
• View Publication
• BIB
We prove a sharp Ore-type criterion for hamiltonicity of balanced bipartite digraphs: A bipartite digraph D, with colour classes of cardinality N, is hamiltonian if, for every pair of vertices u and v from opposite colour classes of D such that the arc uv is not in D, the sum of the outdegree of u and the indegree of v is greater than or equal to N+2.
Critical graphs without triangles: an optimum density construction
Published in Combinatorica 33 (4) (2013) 495-513
• View Publication
• BIB
We construct dense, triangle-free, chromatic-critical graphs of chromatic number $k$ for all $k\geq 4$. For $k\geq 6$ our constructions have $> (\frac{1}{4} -\varepsilon)n^2$ edges, which is asymptotically best possible by Turán's theorem. We also demonstrate (nonconstructively) the existence of dense $k$-critical graphs avoiding all odd cycles of length $\leq \ell$ for any $\ell$ and any $k\geq 4$, again with a best possible density of $>(\frac{1}{4} -\varepsilon)n^2$ edges for $k\geq 6$. The families of graphs without triangles or of given odd-girth are thus rare examples where we know the correct maximal density of $k$-critical members ($k\geq 6$).
A finite goal set in the plane which is not a Winner
J. Beck has shown that if two players alternately select previously unchosen points from the plane, Player 1 can always build a congruent copy of any given finite goal set G, in spite of Player 2's efforts to stop him. We give a finite goal set G (it has 5 points) which Player 1 cannot construct before Player 2 in this achievement game played in the plane.
Unimodality of Eulerian quasisymmetric functions
Published in J. Combin. Theory Ser. A 119 (2012), no. 1, 135-145
• View Publication
• BIB
We prove two conjectures of Shareshian and Wachs about Eulerian quasisymmetric functions and polynomials. The first states that the cycle type Eulerian quasisymmetric function $Q_{λ,j}$ is Schur-positive, and moreover that the sequence $Q_{λ,j}$ as $j$ varies is Schur-unimodal. The second conjecture, which we prove using the first, states that the cycle type $(q,p)$-Eulerian polynomial \newline $A_λ^{\maj,\des,\exc}(q,p,q^{-1}t)$ is $t$-unimodal.
Cubes and Generalized Real Bott Manifolds
Published
• View Publication
• BIB
We define a notion of facets-pairing structure and its seal space on a nice manifold with corners. We will study facets-pairing structures on any cube in detail and investigate when the seal space of a facets-pairing structure on a cube is a closed manifold. In particular, for any binary square matrix $A$ with zero diagonal in dimension n, there is a canonical facets-pairing structure $F_A$ on the n-dimensional cube. We will show that all the closed manifolds that we can obtain from the seal spaces of such $F_A$'s are neither more nor less than all the generalized real Bott manifolds --- a special class of real toric manifolds introduced by Choi, Masuda and Suh.
On homology spheres with few minimal non faces
Published in Proc. Amer. Math. Soc. 140 (2012), 2489-2500
• Search Publication
Let Δbe a (d-1)-dimensional homology sphere on n vertices with m minimal non-faces. We consider the invariant α:= m - (n-d) and prove that for a given value of α, there are only finitely many homology spheres that cannot be obtained through one-point suspension and suspension from another. Moreover, we describe all homology spheres with αup to four and, as a corollary, all homology spheres with up to eight minimal non-faces. To prove these results we consider the nerve of the minimal non-faces of Δ.
On the number of subsequences with a given sum in a finite abelian group
Published
• View Publication
• BIB
Suppose $G$ is a finite abelian group and $S$ is a sequence of elements in $G$. For any element $g$ of $G$, let $N_g(S)$ denote the number of subsequences of $S$ with sum $g$. The purpose of this paper is to investigate the lower bound for $N_g(S)$. In particular, we prove that either $N_g(S)=0$ or $N_g(S) \ge 2^{|S|-D(G)+1}$, where $D(G)$ is the smallest positive integer $\ell$ such that every sequence over $G$ of length at least $\ell$ has a nonempty zero-sum subsequence. We also characterize the structures of the extremal sequences for which the equality holds for some groups.
Independence of hyperlogarithms over function fields via algebraic combinatorics
We obtain a necessary and sufficient condition for the linear independence of solutions of differential equations for hyperlogarithms. The key fact is that the multiplier (i.e. the factor $M$ in the differential equation $dS=MS$) has only singularities of first order (Fuchsian-type equations) and this implies that they freely span a space which contains no primitive. We give direct applications where we extend the property of linear independence to the largest known ring of coefficients.
Cocharacters of polynomial identities of upper triangular matrices
Published
• View Publication
• BIB
We give an easy algorithm which calculates the generating function of the cocharacter sequence of the T-ideal of the polynomial identities of the algebra of upper triangular matrices over a field of characteristic zero. Applying this algorithm we have found the explicit form of the multiplicities in two cases: (i) for the "largest" partitions; (ii) for matrices of small size and for all partitions.
A Set and Collection Lemma
Published
• View Publication
• BIB
A set S is independent if no two vertices from S are adjacent. In this paper we prove that if F is a collection of maximum independent sets of a graph, then there is a matching from S-{intersection of all members of F} into {union of all members of F}-S, for every independent set S. Based on this finding we give alternative proofs for a number of well-known lemmata, as the "Maximum Stable Set Lemma" due to Claude Berge and the "Clique Collection Lemma" due to András Hajnal.
Duality on hypermaps with symmetric or alternating monodromy group
Published
• View Publication
• BIB
Duality is the operation that interchanges hypervertices and hyperfaces on oriented hypermaps. The duality index measures how far a hypermap is from being self-dual. We say that an oriented regular hypermap has \emph{duality-type} $\{l,n\}$ if $l$ is the valency of its vertices and $n$ is the valency of its faces. Here, we study some properties of this duality index in oriented regular hypermaps and we prove that for each pair $n$, $l \in \mathbb{N}$, with $n,l \geq 2$, it is possible to find an oriented regular hypermap with extreme duality index and of duality-type $\{l,n \}$, even if we are restricted to hypermaps with alternating or symmetric monodromy group.
Word posets, complexity, and Coxeter groups
A monoid $M$ generated by a set $S$ of symbols can be described as the set of equivalence classes of finite words in $S$ under some relations that specify when some contiguous sequence of symbols can be replaced by another. If $a,b\in S$, a relation of the form $ab=ba$ is said to be a \emph{commutation relation}. Words that are equivalent using only a sequence of commutation relations are said to be in the same \emph{commutation class}. We introduce certain partially ordered sets that we call \emph{word posets} that capture the structure of commutation classes in monoids. The isomorphism classes of word posets are seen to be in bijective correspondence with the commutation classes, and we show that the linear extensions of the word poset correspond bijectively to the words in the commutation class, using which we demonstrate that enumerating the words in commutation classes of monoids is #P-complete. We then apply the word posets to Coxeter groups. We show that the problem of enumerating the reduced words of elements of Coxeter groups is #P-complete. We also demonstrate a method for finding the word posets for commutation classes of reduced words of an element, then use this to find a recursive formula for the number of commutation classes of reduced words.
Inequivalent Representations of Matroids over Prime Fields
Published
• View Publication
• BIB
It is proved that for each prime field $GF(p)$, there is an integer $f(p)$ such that a 4-connected matroid has at most $f(p)$ inequivalent representations over $GF(p)$. We also prove a stronger theorem that obtains the same conclusion for matroids satisfying a connectivity condition, intermediate between 3-connectivity and 4-connectivity that we term "$k$-coherence".
We obtain a variety of other results on inequivalent representations including the following curious one. For a prime power $q$, let ${\mathcal R}(q)$ denote the set of matroids representable over all fields with at least $q$ elements. Then there are infinitely many Mersenne primes if and only if, for each prime power $q$, there is an integer $m_q$ such that a 3-connected member of ${\mathcal R}(q)$ has at most $m_q$ inequivalent GF(7)-representations.
The theorems on inequivalent representations of matroids are consequences of structural results that do not rely on representability. The bulk of this paper is devoted to proving such results.
Minimum k-way cut of bounded size is fixed-parameter tractable
Published
• View Publication
• BIB
We consider a the minimum k-way cut problem for unweighted graphs with a size bound s on the number of cut edges allowed. Thus we seek to remove as few edges as possible so as to split a graph into k components, or report that this requires cutting more than s edges. We show that this problem is fixed-parameter tractable (FPT) in s. More precisely, for s=O(1), our algorithm runs in quadratic time while we have a different linear time algorithm for planar graphs and bounded genus graphs. Our tractability result stands in contrast to known W[1] hardness of related problems. Without the size bound, Downey et al.[2003] proved that the minimum k-way cut problem is W[1] hard in k even for simple unweighted graphs. Downey et al. asked about the status for planar graphs. Our result implies tractability in k for the planar graphs since the minimum k-way cut of a planar graph is of size at most 6k (more generally, we get tractability in k for any graph class with k-way cuts of size limited by is a function of k, e.g., bounded degree graphs, or simple graphs with an excluded minor). A simple reduction shows that vertex cuts are at least as hard as edge cuts, so the minimum k-way vertex cut is also W[1] hard in terms of k. Marx [2004] proved that finding a minimum k-way vertex cut of size s is also W[1] hard in s. Marx asked about the FPT status with edge cuts, which we prove tractable here. We are not aware of any other cut problem where the vertex version is W[1] hard but the edge version is FPT.
On Distance Spectral Radius and Distance Energy of Graphs
Published in MATCH Commun. Math. Comput. Chem. 64 (2010) 261-280
• Search Publication
For a connected graph, the distance spectral radius is the largest eigenvalue of its distance matrix, and the distance energy is defined as the sum of the absolute values of the eigenvalues of its distance matrix. We establish lower and upper bounds for the distance spectral radius of graphs and bipartite graphs, lower bounds for the distance energy of graphs, and characterize the extremal graphs. We also discuss upper bounds for the distance energy.