Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Spin invariant theory for the symmetric group
Published in Journal of Pure and Applied Algebra 215 (2011), 1569--1581
• View Publication
• BIB
We formulate a theory of invariants for the spin symmetric group in some suitable modules which involve the polynomial and exterior algebras. We solve the corresponding graded multiplicity problem in terms of specializations of the Schur Q-functions and a shifted q-hook formula. In addition, we provide a bijective proof for a formula of the principal specialization of the Schur Q-functions.
On lifting perfect codes
Published
• View Publication
• BIB
In this paper we consider completely regular codes, obtained from perfect (Hamming) codes by lifting the ground field. More exactly, for a given perfect code C of length n=(q^m-1)/(q-1) over F_q with a parity check matrix H_m, we define a new code C_{(m,r)} of length n over F_{q^r}, r > 1, with this parity check matrix H_m. The resulting code C_{(m,r)} is completely regular with covering radius R = min{r,m}. We compute the intersection numbers of such codes and, finally, we prove that Hamming codes are the only codes that, after lifting the ground field, result in completely regular codes.
A Combinatorial Proof of the Dense Hindman Theorem
Published in 2011. Discrete Math., 311(14):1380--1384
• View Publication
• BIB
The Dense Hindman's Theorem states that, in any finite coloring of the integers, one may find a single color and a "dense" set $B_1$, for each $b_1\in B_1$ a "dense" set $B_2^{b_1}$ (depending on $b_1$), for each $b_2\in B_2^{b_1}$ a "dense" set $B_3^{b_1,b_2}$ (depending on $b_1,b_2$), and so on, such that for any such sequence of $b_i$, all finite sums belong to the chosen color. (Here density is often taken to be "piecewise syndetic", but the proof is unchanged for any notion of density satisfying certain properties.) This theorem is an example of a combinatorial statement for which the only known proof requires the use of ultrafilters or a similar infinitary formalism. Here we give a direct combinatorial proof of the theorem.
Characters of Feigin-Stoyanovsky's type subspaces of level one modules for affine Lie algebras of types $A_\ell^{(1)}$ and $D_4^{(1)}$
Published
• View Publication
• BIB
We use combinatorial description of bases of Feigin-Stoyanovsky's type subspaces of standard modules of level 1 for affine Lie algebras of types $A_\ell^{(1)}$ and $D_4^{(1)}$ to obtain character formulas. These descriptions naturally lead to systems of recurrence relations for which we also find solutions.
Left and right convergence of graphs with bounded degree
Published
• View Publication
• BIB
The theory of convergent graph sequences has been worked out in two extreme cases, dense graphs and bounded degree graphs. One can define convergence in terms of counting homomorphisms from fixed graphs into members of the sequence (left-convergence), or counting homomorphisms into fixed graphs (right-convergence). Under appropriate conditions, these two ways of defining convergence was proved to be equivalent in the dense case by Borgs, Chayes, Lovász, Sós and Vesztergombi. In this paper a similar equivalence is established in the bounded degree case.
In terms of statistical physics, the implication that left convergence implies right convergence means that for a left-convergent sequence, partition functions of a large class of statistical physics models converge. The proof relies on techniques from statistical physics, like cluster expansion and Dobrushin Uniqueness.
An Iterated Map for the Lebesgue Identity
We present a simple iteration for the Lebesgue identity on partitions, which leads to a refinement involving the alternating sums of partitions.
'Congruent Partitions' of Polygons - a Short Introduction
We introduce the problem of partitioning 2D regions (usually convex regions) into mutually congruent pieces ('tiles').
The Quasi-Randomness of Hypergraph Cut Properties
Published
• View Publication
• BIB
Let a_1,...,a_k satisfy a_1+...+a_k=1 and suppose a k-uniform hypergraph on n vertices satisfies the following property; in any partition of its vertices into k sets A_1,...,A_k of sizes a_1*n,...,a_k*n, the number of edges intersecting A_1,...,A_k is the number one would expect to find in a random k-uniform hypergraph. Can we then infer that H is quasi-random? We show that the answer is negative if and only if a_1=...=a_k=1/k. This resolves an open problem raised in 1991 by Chung and Graham [J. AMS '91].
While hypergraphs satisfying the property corresponding to a_1=...=a_k=1/k are not necessarily quasi-random, we manage to find a characterization of the hypergraphs satisfying this property. Somewhat surprisingly, it turns out that (essentially) there is a unique non quasi-random hypergraph satisfying this property. The proofs combine probabilistic and algebraic arguments with results from the theory of association schemes.
On two problems in graph Ramsey theory
Published
• View Publication
• BIB
We study two classical problems in graph Ramsey theory, that of determining the Ramsey number of bounded-degree graphs and that of estimating the induced Ramsey number for a graph with a given number of vertices.
The Ramsey number r(H) of a graph H is the least positive integer N such that every two-coloring of the edges of the complete graph $K_N$ contains a monochromatic copy of H. A famous result of Chvátal, Rödl, Szemerédi and Trotter states that there exists a constant c(Δ) such that r(H) \leq c(Δ) n for every graph H with n vertices and maximum degree Δ. The important open question is to determine the constant c(Δ). The best results, both due to Graham, Rödl and Ruciński, state that there are constants c and c' such that 2^{c' Δ} \leq c(Δ) \leq 2^{c Δ\log^2 Δ}. We improve this upper bound, showing that there is a constant c for which c(Δ) \leq 2^{c Δ\log Δ}.
The induced Ramsey number r_{ind}(H) of a graph H is the least positive integer N for which there exists a graph G on N vertices such that every two-coloring of the edges of G contains an induced monochromatic copy of H. Erdős conjectured the existence of a constant c such that, for any graph H on n vertices, r_{ind}(H) \leq 2^{c n}. We move a step closer to proving this conjecture, showing that r_{ind} (H) \leq 2^{c n \log n}. This improves upon an earlier result of Kohayakawa, Prömel and Rödl by a factor of \log n in the exponent.
The asymptotic properties of Eulerian numbers and refined Eulerian numbers: A Spline perspective
In this paper, the asymptotic formulas for Eulerian numbers, refined Eulerian numbers and the coefficients of descent polynomials are obtained directly from the spline interpretations of these numbers. Having related these numbers directly to B-splines [15], we can take advantage of many powerful spline techniques to derive various results of these numbers. The asymptotic formulas for the Eulerian numbers Ad;k agree with the previously known results which were given by L. Carlitz et al.(1972)[2] and S.Tanny (1973) [18], but the convergence order is much better. We also give the asymptotic representations of refined Eulerian numbers which is in terms of the Hermite polynomials.
Mixed-Mean Inequality for Submatrix
Published
• View Publication
• BIB
For a $m\times n$ matrix $B=(b_{ij})_{m\times n}$ with nonnegative entries $b_{ij}$ and any $k\times l-$submatrix $B_{ij}$ of $B$, let $a_{B_{ij}}$ and $g_{B_{ij}}$ denote the arithmetic mean and geometric mean of elements of $B_{ij}$ respectively. It is proved that if $k$ is an integer in $(\frac{m}{2}, m]$ and $l$ is an integer in $(\frac{n}{2}, n]$ respectively, then $$\Big(\prod_{i=k,j=l\atop B_{ij}\subset B}a_{B_{ij}}\Big)^{\frac{1}{C_m^k\cdot C_n^l}} \geq\frac{1}{C_m^k\cdot C_n^l}\Big(\sum_{i=k,j=l\atop B_{ij}\subset B}g_{B_{ij}}\Big),$$ with equality if and only if $b_{ij}$ is a constant for every $i,j$.
A conjecture of Erdős on graph Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number $r(G)$ of a graph $G$ is the minimum $N$ such that every red-blue coloring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of $G$. Determining or estimating these numbers is one of the central problems in combinatorics.
One of the oldest results in Ramsey Theory, proved by Erdős and Szekeres in 1935, asserts that the Ramsey number of the complete graph with $m$ edges is at most $2^{O(\sqrt{m})}$. Motivated by this estimate Erdős conjectured, more than a quarter century ago, that there is an absolute constant $c$ such that $r(G) \leq 2^{c\sqrt{m}}$ for any graph $G$ with $m$ edges and no isolated vertices. In this short note we prove this conjecture.
Rings whose total graphs have genus at most one
Published
• View Publication
• BIB
Let $R$ be a commutative ring with $\Z(R)$ its set of zero-divisors. In this paper, we study the total graph of $R$, denoted by $\T(Γ(R))$. It is the (undirected) graph with all elements of $R$ as vertices, and for distinct $x, y\in R$, the vertices $x$ and $y$ are adjacent if and only if $x + y\in\Z(R)$. We investigate properties of the total graph of $R$ and determine all isomorphism classes of finite commutative rings whose total graph has genus at most one (i.e., a planar or toroidal graph). In addition, it is shown that, given a positive integer $g$, there are only finitely many finite rings whose total graph has genus $g$.
The homology of digraphs as a generalisation of Hochschild homology
Published in Journal of Algebra and Its Applications, Vol. 11, No. 2 (2012) 1250031 (13 pages)
• View Publication
• BIB
J. Przytycki has established a connection between the Hochschild homology of an algebra $A$ and the chromatic graph homology of a polygon graph with coefficients in $A$. In general the chromatic graph homology is not defined in the case where the coefficient ring is a non-commutative algebra. In this paper we define a new homology theory for directed graphs which takes coefficients in an arbitrary $A-A$ bimodule, for $A$ possibly non-commutative, which on polygons agrees with Hochschild homology through a range of dimensions.
Higher dimensional cluster combinatorics and representation theory
Published
• View Publication
• BIB
Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the rich combinatorial structure of triangulations of polygons. In this paper, we demonstrate a connection between these two seemingly unrelated subjects.
We study triangulations of even-dimensional cyclic polytopes and tilting modules for higher Auslander algebras of linearly oriented type A which are summands of the cluster tilting module. We show that such tilting modules correspond bijectively to triangulations. Moreover mutations of tilting modules correspond to bistellar flips of triangulations.
For any d-representation finite algebra we introduce a certain d-dimensional cluster category and study its cluster tilting objects. For higher Auslander algebras of linearly oriented type A we obtain a similar correspondence between cluster tilting objects and triangulations of a certain cyclic polytope.
Finally we study certain functions on generalized laminations in cyclic polytopes, and show that they satisfy analogues of tropical cluster exchange relations. Moreover we observe that the terms of these exchange relations are closely related to the terms occuring in the mutation of cluster tilting objects.
Explicit Sensor Network Localization using Semidefinite Representations and Facial Reductions
Published
• View Publication
• BIB
The sensor network localization, SNL, problem in embedding dimension r, consists of locating the positions of wireless sensors, given only the distances between sensors that are within radio range and the positions of a subset of the sensors (called anchors). Current solution techniques relax this problem to a weighted, nearest, (positive) semidefinite programming, SDP, completion problem, by using the linear mapping between Euclidean distance matrices, EDM, and semidefinite matrices. The resulting SDP is solved using primal-dual interior point solvers, yielding an expensive and inexact solution.
This relaxation is highly degenerate in the sense that the feasible set is restricted to a low dimensional face of the SDP cone, implying that the Slater constraint qualification fails. Cliques in the graph of the SNL problem give rise to this degeneracy in the SDP relaxation. In this paper, we take advantage of the absence of the Slater constraint qualification and derive a technique for the SNL problem, with exact data, that explicitly solves the corresponding rank restricted SDP problem. No SDP solvers are used. For randomly generated instances, we are able to efficiently solve many huge instances of this NP-hard problem to high accuracy, by finding a representation of the minimal face of the SDP cone that contains the SDP matrix representation of the EDM. The main work of our algorithm consists in repeatedly finding the intersection of subspaces that represent the faces of the SDP cone that correspond to cliques of the SNL problem.
Proofs of Two Conjectures On the Dimensions of Binary Codes
Published
• View Publication
• BIB
Let $\mathcal{L}$ and $\mathcal{L}_0$ be the binary codes generated by the column $\mathbb{F}_2$-null space of the incidence matrix of external points versus passant lines and internal points versus secant lines with respect to a conic in $PG(2, q)$, respectively. We confirm the conjectures on the dimensions of $\mathcal{L}$ and $\mathcal{L}_0$ using methods from both finite geometry and modular representation theory.
Projection volumes of hyperplane arrangements
Published
• View Publication
• BIB
We prove that for any finite real hyperplane arrangement the average projection volumes of the maximal cones is given by the coefficients of the characteristic polynomial of the arrangement. This settles the conjecture of Drton and Klivans that this held for all finite real reflection arrangements. The methods used are geometric and combinatorial. As a consequence we determine that the angle sums of a zonotope are given by the characteristic polynomial of the order dual of the intersection lattice of the arrangement.
The Rook Monoid is Lexicographically Shellable
Published in Volume 81, October 2019, Pages 265--275
• View Publication
• BIB
We prove that the Bruhat-Chevalley-Renner order on the rook monoid is EL-shellable. We determine the homeomorphism type of the associated order complex.
A Matroid Framework for Noncoherent Random Network Communications
Published
• View Publication
• BIB
Models for noncoherent error control in random linear network coding (RLNC) and store and forward (SAF) have been recently proposed. In this paper, we model different types of random network communications as the transmission of flats of matroids. This novel framework encompasses RLNC and SAF and allows us to introduce a novel protocol, referred to as random affine network coding (RANC), based on affine combinations of packets. Although the models previously proposed for RLNC and SAF only consider error control, using our framework, we first evaluate and compare the performance of different network protocols in the error-free case. We define and determine the rate, average delay, and throughput of such protocols, and we also investigate the possibilities of partial decoding before the entire message is received. We thus show that RANC outperforms RLNC in terms of data rate and throughput thanks to a more efficient encoding of messages into packets. Second, we model the possible alterations of a message by the network as an operator channel, which generalizes the channels proposed for RLNC and SAF. Error control is thus reduced to a coding-theoretic problem on flats of a matroid, where two distinct metrics can be used for error correction. We study the maximum cardinality of codes on flats in general, and codes for error correction in RANC in particular. We finally design a class of nearly optimal codes for RANC based on rank metric codes for which we propose a low-complexity decoding algorithm. The gain of RANC over RLNC is thus preserved with no additional cost in terms of complexity.