Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On Garland's vanishing theorem for $\mathrm{SL}_n$
Published in European Journal of Mathematics 2 (2016), 579-613
• View Publication
• BIB
This is an expository paper on Garland's vanishing theorem specialized to the case when the linear algebraic group is $\mathrm{SL}_n$. Garland's theorem can be stated as a vanishing of the cohomology groups of certain finite simplicial complexes. The method of the proof is quite interesting on its own. It relates the vanishing of cohomology to the assertion that the minimal positive eigenvalue of a certain combinatorial laplacian is sufficiently large. Since the 1970's, this idea has found applications in a variety of problems in representation theory, group theory, and combinatorics, so the paper might be of interest to a wide audience. The paper is intended for non-specialists and graduate students.
Enumerating projections of integer points in unbounded polyhedra
Published
• View Publication
• BIB
We extend the Barvinok-Woods algorithm for enumerating projections of integer points in polytopes to unbounded polyhedra. For this, we obtain a new structural result on projections of semilinear subsets of the integer lattice. We extend the results to general formulas in Presburger Arithmetic. We also give an application to the k-Frobenius problem.
On the complete width and edge clique cover problems
Published
• View Publication
• BIB
A complete graph is the graph in which every two vertices are adjacent. For a graph $G=(V,E)$, the complete width of $G$ is the minimum $k$ such that there exist $k$ independent sets $\mathtt{N}_i\subseteq V$, $1\le i\le k$, such that the graph $G'$ obtained from $G$ by adding some new edges between certain vertices inside the sets $\mathtt{N}_i$, $1\le i\le k$, is a complete graph. The complete width problem is to decide whether the complete width of a given graph is at most $k$ or not. In this paper we study the complete width problem. We show that the complete width problem is NP-complete on $3K_2$-free bipartite graphs and polynomially solvable on $2K_2$-free bipartite graphs and on $(2K_2,C_4)$-free graphs. As a by-product, we obtain the following new results: the edge clique cover problem is NP-complete on $\overline{3K_2}$-free co-bipartite graphs and polynomially solvable on $C_4$-free co-bipartite graphs and on $(2K_2, C_4)$-free graphs. We also give a characterization for $k$-probe complete graphs which implies that the complete width problem admits a kernel of at most $2^k$ vertices. This provides another proof for the known fact that the edge clique cover problem admits a kernel of at most $2^k$ vertices. Finally we determine all graphs of small complete width $k\le 3$.
Counting Cliques in Finite Distant Graphs
We state and prove some counting formulas relating to cliques in the distant graphs of projective lines over finite rings. As a preliminary to this, we prove a decomposition theorem for the graphs in terms of the direct-product decomposition of their rings.
Circular chromatic number of induced subgraphs of Kneser graphs
Published
• View Publication
• BIB
Investigating the equality of the chromatic number and the circular chromatic number of graphs has been an active stream of research for last decades. In this regard, Habolhassan and Zhu [Circular chromatic number of Kneser graphs, Journal of Combinatorial Theory Series B, 2003] proved that if $n$ is sufficiently large with respect to $k$, then the Schrijver graph ${\rm SG}(n,k)$ has the same chromatic and circular chromatic number. Later, Meunier [A topological lower bound for the circular chromatic number of Schrijver graphs, Journal of Graph Theory, 2005] and independently, Simonyi and Tardos [ Local chromatic number, Ky Fan's theorem and circular colorings, Combinatorica, 2006] proved that $χ({\rm SG}(n,k))=χ_c({\rm SG}(n,k))$ if $n$ is even. In this paper, we study the circular chromatic number of induced subgraphs of Kneser graphs. In this regard, we shall first generalize the preceding result to $s$-stable Kneser graphs. Furthermore, as a generalization of Hajiabolhassan and Zhu's result, we prove that if $n$ is large enough with respect to $k$, then any sufficiently large induced subgraph of the Kneser graph ${\rm KG}(n,k)$ has the same chromatic number and circular chromatic number.
Contrast in Greyscales of Graphs
Published
• View Publication
• BIB
A greyscale $f$ of a graph $G(V,E)$ is a mapping from $V$ to the interval $[0,1]$ such that $\{0, 1\} \subseteq Im(f)$. This function $f$ induces another mapping $\widehat{f}$ on $E$ by assigning to each edge the non-negative difference of the values of $f$ on its vertices. The contrast vector $cont(G,f)$ is defined as the vector $(\widehat{f}(e_1), \widehat{f}(e_2), \ldots, \widehat{f}(e_m))$ for all edges $e_i$ of $G$ in such a way that $\widehat{f}(e_i) \leq \widehat{f}(e_{i+1})$ for $i= 1, 2, \dots, m-1$. The concept of maximum contrast vector is presented by using the lexicographical ordering in the set of contrast vectors of all possible greyscales defined on $G$ and a greyscale that gives rise to a maximum contrast vector is named maximum contrast greyscale. The relation between finding the maximum contrast vector for the graph $G$ and the chromatic number of $G$ is established. Thus the maximum contrast problem is an NP-complete problem. However, the set of values of any maximum contrast greyscale for any graph is bounded by a finite set which is given. Several methods to compute the maximum contrast vector with some restrictions in are collected in this paper.
Non-normal affine monoids, modules and Poincaré series of plumbed 3-manifolds
Published in Acta Mathematica Hungarica 152 (2017), no. 2, 421-452
• View Publication
• BIB
We construct a non-normal affine monoid together with its modules associated with a negative definite plumbed $3$-manifold $M$. In terms of their structure, we describe the $H_1(M,\mathbb{Z})$-equivariant parts of the topological Poincaré series. In particular, we give combinatorial formulas for the Seiberg--Witten invariants of $M$ and for polynomial generalizations defined in a previous paper of the authors.
Interlacing Ehrhart Polynomials of Reflexive Polytopes
Published in Selecta Math. , 23(4), 2977-2998, 2017
• View Publication
• BIB
It was observed by Bump et al. that Ehrhart polynomials in a special family exhibit properties similar to the Riemann ζ function. The construction was generalized by Matsui et al. to a larger family of reflexive polytopes coming from graphs. We prove several conjectures confirming when such polynomials have zeros on a certain line in the complex plane. Our main new method is to prove a stronger property called interlacing.
Planar posets have dimension at most linear in their height
Published in SIAM Journal on Discrete Mathematics, 31/4:2754--2790, 2018
• View Publication
• BIB
We prove that every planar poset $P$ of height $h$ has dimension at most $192h + 96$. This improves on previous exponential bounds and is best possible up to a constant factor. We complement this result with a construction of planar posets of height $h$ and dimension at least $(4/3)h-2$.
Gradation in Greyscales of Graphs
Published
• View Publication
• BIB
In this work we present the notion of greyscale of a graph as a colouring of its vertices that uses colours from the real interval [0,1]. Any greyscale induces another colouring by assigning to each edge the non-negative difference between the colours of its vertices. These edge colours are ordered in lexicographical decreasing ordering and gives rise to a new element of the graph: the gradation vector. We introduce the notion of minimum gradation vector as a new invariant for the graph and give polynomial algorithms to obtain it. These algorithms also output all greyscales that produce the minimum gradation vector. This way we tackle and solve a novel vectorial optimization problem in graphs that may produce more satisfactory solutions than those ones generated by known scalar optimization approaches.
The interest of these new concepts lies in their possible applications for solving problems of engineering, physics and applied mathematics which are modeled according to a network whose nodes have assigned numerical values of a certain parameter delimited by a range of real numbers. The objective is to minimize the differences between each node and its neighbors, ensuring that the extreme values of the interval are assigned.
Length enumeration of fully commutative elements in finite and affine Coxeter groups
Published in J. Algebra, 513 (2018) 466-515
• View Publication
• BIB
An element w of a Coxeter group W is said to be fully commutative, if any reduced expression of w can be obtained from any other by transposing adjacent pairs of generators. These elements were described in 1996 by Stembridge in the case of finite irreducible groups, and more recently by Biagioli, Jouhet and Nadeau (BJN) in the affine cases. We focus here on the length enumeration of these elements. Using a recursive description, BJN established for the associated generating functions systems of non-linear q-equations. Here, we show that an alternative recursive description leads to explicit expressions for these generating functions.
Fair representation in the intersection of two matroids
Published
• View Publication
• BIB
For a simplicial complex ${\mathcal C}$ denote by $β({\mathcal C})$ the minimal number of edges from ${\mathcal C}$ needed to cover the ground set. If ${\mathcal C}$ is a matroid then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal C}$ meeting each $A_i$ in at least $\frac{|A_i|}{β({\mathcal C})}$ elements. We conjecture that a slightly weaker result is true for the intersections of two matroids: if ${\mathcal D}={\mathcal P} \cap {\mathcal Q}$, where ${\mathcal P},{\mathcal Q}$ are matroids on the same ground set $V$ and $β({\mathcal P}), β({\mathcal P}) \le k$, then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal D}$ meeting each $A_i$ in at least $(\frac{1}{k}-\frac{1}{|V|})|A_i|-1$ elements. We prove this for a partition into two sets.
Sub-problems of the (3, 14) cage problem and their computer analysis
A (k, g) graph is a graph with regular degree k and girth g. The cage problem refers to finding the smallest (k, g) graph. The (3, 14) cage problem is known to be unresolved. In 2002, Exoo found a (3, 14) record graph with order 384. The trivalent cage problem is restricted in this paper to the Hamiltonian bipartite class of trivalent graphs. A parameter called symmetry factor for representing rotational symmetry is introduced in this paper. The general problem of finding a (3, g) Hamiltonian bipartite graph of minimum order is further decomposed into a set of sub-problems for finding (3, g) Hamiltonian bipartite graphs of minimum order for various symmetry factors. The minimum order for (3, g) Hamiltonian bipartite graphs for various symmetry factors has been found using computer search. This information about sub-problems also yields useful information about non-existence of (3, 14) Hamiltonian bipartite graphs between the (3, 14) lower bound, 258 and the (3, 14) upper bound, 384. This non-existence information partially supports the likelihood of the current (3, 14) record graph indeed being the (3, 14) cage.
Bounding the homology of FI-modules
The main theorem of Church-Ellenberg [arXiv:1506.01022] is a sharp bound on the homology of FI-modules, showing that the Castelnuovo-Mumford regularity of FI-modules over Z can be bounded in terms of generators and relations. We give a new proof of this theorem, inspired by earlier proofs by Li-Yu and Li. This should be read after Section 2 of Church-Ellenberg, which contains all needed terminology and background.
The Leray Dimension of a Convex Code
Convex codes were recently introduced as models for neural codes in the brain. Any convex code $\C$ has an associated minimal embedding dimension $d(\C)$, which is the minimal Euclidean space dimension such that the code can be realized by a collection of convex open sets. In this work we import tools from combinatorial commutative algebra in order to obtain better bounds on $d(\C)$ from an associated simplicial complex $Δ(\C)$. In particular, we make a connection to minimal free resolutions of Stanley-Reisner ideals, and observe that they contain topological information that provides stronger bounds on $d(\C)$. This motivates us to define the Leray dimension $d_L(\C),$ and show that it can be obtained from the Betti numbers of such a minimal free resolution. We compare $d_L(\C)$ to two previously studied dimension bounds, obtained from Helly's theorem and the simplicial homology of $Δ(\C)$. Finally, we show explicitly how $d_L(\C)$ can be computed algebraically, and illustrate this with examples.
On the edge metric dimension for the random graph
Let $G(V, E)$ be a connected simple undirected graph. In this paper we prove that the edge metric dimension (introduced by Kelenc, Tratnik and Yero) of the Erdős-Rényi random graph $G(n, p)$ is given by: $$\textrm{edim}(G(n, p)) = (1 + o(1))\frac{4\log(n)}{\log(1/q)},$$ where $q = 1 - 2p(1-p)^2(2-p)$.
The integrally representable trees of norm 3
Published
• View Publication
• BIB
In this paper, we determine the integrally representable trees of norm 3.
Asymptotic distributions of Wishart type products of random matrices
Published in Colloquium Mathematicum, Vol. 155, No. 1 (2019), 67-106
• View Publication
• BIB
We study asymptotic distributions of large dimensional random matrices of the form $BB^{*}$, where $B$ is a product of $p$ rectangular random matrices, using free probability and combinatorics of colored labeled noncrossing partitions. These matrices are taken from the set of off-diagonal blocks of the family $\mathcal{Y}$ of independent Hermitian random matrices which are asymptotically free, asymptotically free against the family of deterministic diagonal matrices, and whose norms are uniformly bounded almost surely. This class includes unitarily invariant Hermitian random matrices with limit distributions given by compactly supported probability measures $ν$ on the real line. We express the limit moments in terms of colored labeled noncrossing pair partitions, to which we assign weights depending on even free cumulants of $ν$ and on asymptotic dimensions of blocks (Gaussianization). For products of $p$ independent blocks, we show that the limit moments are linear combinations of a new family of polynomials called generalized multivariate Fuss-Narayana polynomials. In turn, the product of two blocks of the same matrix leads to an example with rescaled Raney numbers.
A generalization of a theorem of Hoffman
Published
• View Publication
• BIB
In 1977, Hoffman gave a characterization of graphs with smallest eigenvalue at least $-2$. In this paper we generalize this result to graphs with smaller smallest eigenvalue. For the proof, we use a combinatorial object named Hoffman graph, introduced by Woo and Neumaier in 1995. Our result says that for every $λ\leq -2$, if a graph with smallest eigenvalue at least $λ$ satisfies some local conditions, then it is highly structured. We apply our result to graphs which are cospectral with the Hamming graph $H(3,q)$, the Johnson graph $J(v, 3)$ and the $2$-clique extension of grids, respectively.
On bipartite cages of excess 4
Published
• View Publication
• BIB
The Moore bound $M(k,g)$ is a lower bound on the order of $k$-regular graphs of girth $g$ (denoted $(k,g)$-graphs). The excess $e$ of a $(k,g)$-graph of order $n$ is the difference $ n-M(k,g) $. In this paper we consider the existence of $(k,g)$-bipartite graphs of excess $4$ via studying spectral properties of their adjacency matrices. We prove that the $(k,g)$-bipartite graphs of excess $4$ satisfy the equation $kJ=(A+kI)(H_{d-1}(A)+E)$, where $A$ denotes the adjacency matrix of the graph in question, $J$ the $n \times n$ all-ones matrix, $E$ the adjacency matrix of a union of vertex-disjoint cycles, and $H_{d-1}(x)$ is the Dickson polynomial of the second kind with parameter $k-1$ and of degree $d-1$. We observe that the eigenvalues other than $\pm k$ of these graphs are roots of the polynomials $H_{d-1}(x)+λ$, where $λ$ is an eigenvalue of $E$. Based on the irreducibility of $H_{d-1}(x)\pm2$ we give necessary conditions for the existence of these graphs.
If $E$ is the adjacency matrix of a cycle of order $n$ we call the corresponding graphs \emph{graphs with cyclic excess}; if $E$ is the adjacency matrix of a disjoint union of two cycles we call the corresponding graphs \emph{graphs with bicyclic excess}. In this paper we prove the non-existence of $(k,g)$-graphs with cyclic excess $4$ if $k\geq6$ and $k \equiv1 \!\! \pmod {3}$, $g=8, 12, 16$ or $k \equiv2 \!\! \pmod {3}$, $g=8,$ and the non-existence of $(k,g)$-graphs with bicyclic excess $4$ if $k\geq7$ is odd number and $g=2d$ such that $d\geq4$ is even.