Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Specht modules decompose as alternating sums of restrictions of Schur modules
Published
• View Publication
• BIB
Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternate in sign by degree. In particular, this allows us to define a new basis of symmetric functions whose structure constants are stable Kronecker coefficients and which expand with alternating signs into the Schur basis.
Ramsey and Gallai-Ramsey numbers for two classes of unicyclic graphs
Published
• View Publication
• BIB
Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we consider two classes of unicyclic graphs, the star with an extra edge and the path with a triangle at one end. We provide the $2$-color Ramsey numbers for these two classes of graphs and use these to obtain general upper and lower bounds on the Gallai-Ramsey numbers.
On some properties of LS algebras
Published
• View Publication
• BIB
The discrete LS algebra over a totally ordered set is the homogeneous coordinate ring of an irreducible projective (normal) toric variety. We prove that this algebra is the ring of invariants of a finite abelian group containing no pseudo-reflection acting on a polynomial ring. This is used to study the Gorenstein property for LS algebras. Further we show that any LS algebra is Koszul.
On some distance-regular graphs with many vertices
We construct distance-regular graphs, including strongly regular graphs, admitting a transitive action of the Chevalley groups $G_2(4)$ and $G_2(5)$, the orthogonal group $O(7,3)$ and the Tits group $T=$$^2F_4(2)'$. Most of the constructed graphs have more than 1000 vertices, and the number of vertices goes up to 28431. Some of the obtained graphs are new.
Counting Shellings of Complete Bipartite Graphs and Trees
Published
• View Publication
• BIB
A shelling of a graph, viewed as an abstract simplicial complex that is pure of dimension 1, is an ordering of its edges such that every edge is adjacent to some other edges appeared previously. In this paper, we focus on complete bipartite graphs and trees. For complete bipartite graphs, we obtain an exact formula for their shelling numbers. And for trees, we relate their shelling numbers to linear extensions of tree posets and bound shelling numbers using vertex degrees and diameter.
Statistics on integer partitions arising from seaweed algebras
Published
• View Publication
• BIB
Using the index theory of seaweed algebras, we explore various new integer partition statistics. We find relations to some well-known varieties of integer partitions as well as a surprising periodicity result.
Relating broadcast independence and independence
Published
• View Publication
• BIB
An independent broadcast on a connected graph $G$ is a function $f:V(G)\to \mathbb{N}_0$ such that, for every vertex $x$ of $G$, the value $f(x)$ is at most the eccentricity of $x$ in $G$, and $f(x)>0$ implies that $f(y)=0$ for every vertex $y$ of $G$ within distance at most $f(x)$ from $x$. The broadcast independence number $α_b(G)$ of $G$ is the largest weight $\sum\limits_{x\in V(G)}f(x)$ of an independent broadcast $f$ on $G$. Clearly, $α_b(G)$ is at least the independence number $α(G)$ for every connected graph $G$. Our main result implies $α_b(G)\leq 4α(G)$. We prove a tight inequality and characterize all extremal graphs.
Partitioning The Edge Set of a Hypergraph Into Almost Regular Cycles
Published in Journal of Combinatorial Designs, Volume 26, Issue 10, October 2018, Pages 465-479
• View Publication
• BIB
A cycle of length $t$ in a hypergraph is an alternating sequence $v_1,e_1,v_2\dots,v_t,e_t$ of distinct vertices $v_i$ and distinct edges $e_i$ so that $\{v_i,v_{i+1}\}\subseteq e_i$ (with $v_{t+1}:=v_1$). Let $λK_n^h$ be the $λ$-fold $n$-vertex complete $h$-graph. Let $\mathcal G=(V,E)$ be a hypergraph all of whose edges are of size at least $h$, and $2\leq c_1\leq \dots\leq c_k\leq |V|$. In order to partition the edge set of $\mathcal G$ into cycles of specified lengths $c_1, \dots, c_k$, an obvious necessary condition is that $\sum_{i=1}^k c_i=|E|$. We show that this condition is sufficient in the following cases:
(i) $h\geq \max\{c_k, \lceil n/2 \rceil+1\}$;
(ii) $\mathcal G=λK_n^h$, $h\geq \lceil n/2 \rceil+2$;
(iii) $\mathcal G=K_n^h$, $c_1= \dots=c_k:=c$, $c|n(n-1), n\geq 85$.
In (ii), we guarantee that each cycle is almost regular. In (iii), we also solve the case where a "small" subset $L$ of edges of $K_n^h$ is removed.
Resolvable Cycle Decompositions of Complete Multigraphs and Complete Equipartite Multigraphs via Layering and Detachment
Published
• View Publication
• BIB
We construct new resolvable decompositions of complete multigraphs and complete equipartite multigraphs into cycles of variable lengths (and a perfect matching if the vertex degrees are odd). We develop two techniques: {\em layering}, which allows us to obtain 2-factorizations of complete multigraphs from existing 2-factorizations of complete graphs, and {\em detachment}, which allows us to construct resolvable cycle decompositions of complete equipartite multigraphs from existing resolvable cycle decompositions of complete multigraphs. These techniques are applied to obtain new 2-factorizations of a specified type for both complete multigraphs and complete equipartite multigraphs, with the emphasis on new solutions to the Oberwolfach Problem and the Hamilton-Waterloo Problem. In addition, we show existence of some $α$-resolvable cycle decompositions.
Digital pattern and transcendence via generalized $k$-regular sequences
In this paper, we prove that there are uncountable many real transcendental numbers, which are generated by digital pattern sequences. This generalizes the main theorem in Morton and Mourant, which states the existence of countable many similar numbers. Our method relies on the combinatorial quantitative transcendence criterion established by Adamczewski and Bugeaud and properties of generalized k-regular sequences, which is introduced by this paper.
Note on 3-Choosability of Planar Graphs with Maximum Degree 4
Published
• View Publication
• BIB
Deciding whether a planar graph (even of maximum degree $4$) is $3$-colorable is NP-complete. Determining subclasses of planar graphs being $3$-colorable has a long history, but since Grötzsch's result that triangle-free planar graphs are such, most of the effort was focused to solving Havel's and Steinberg's conjectures. In this paper, we prove that every planar graph of maximum degree $4$ obtained as a subgraph of the medial graph of any bipartite plane graph is $3$-choosable. These graphs are allowed to have close triangles (even incident), and have no short cycles forbidden, hence representing an entirely different class than the graphs inferred by the above mentioned conjectures.
Algorithms for Euclidean Degree Bounded Spanning Tree Problems
Published
• View Publication
• BIB
Given a set of points in the Euclidean plane, the Euclidean \textit{$δ$-minimum spanning tree} ($δ$-MST) problem is the problem of finding a spanning tree with maximum degree no more than $δ$ for the set of points such the sum of the total length of its edges is minimum. Similarly, the Euclidean \textit{$δ$-minimum bottleneck spanning tree} ($δ$-MBST) problem, is the problem of finding a degree-bounded spanning tree for a set of points in the plane such that the length of the longest edge is minimum. When $δ\leq 4$, these two problems may yield disjoint sets of optimal solutions for the same set of points. In this paper, we perform computational experiments to compare the accuracies of a variety of heuristic and approximation algorithms for both these problems. We develop heuristics for these problems and compare them with existing algorithms. We also describe a new type of edge swap algorithm for these problems that outperforms all the algorithms we tested.
New and Updated Semidefinite Programming Bounds for Subspace Codes
Published in Advances in Mathematics of Communications, 2020, 14 (4) : 613-630
• View Publication
• BIB
We show that $A_2(7,4) \leq 388$ and, more generally, $A_q(7,4) \leq (q^2-q+1)[7]_q + q^4 - 2q^3 + 3q^2 - 4q + 4$ by semidefinite programming for $q \leq 101$. Furthermore, we extend results by Bachoc et al. on SDP bounds for $A_2(n,d)$, where $d$ is odd and $n$ is small, to $A_q(n,d)$ for small $q$ and small $n$.
On the genus of a quotient of a numerical semigroup
Published
• View Publication
• BIB
We find a relation between the genus of a quotient of a numerical semigroup $S$ and the genus of $S$ itself. We use this identity to compute the genus of a quotient of $S$ when $S$ has embedding dimension $2$. We also exhibit identities relating the Frobenius numbers and the genus of quotients of numerical semigroups that are generated by certain types of arithmetic progressions.
Combinatorics of free and simplicial line arrangements
We study the combinatorics of pseudoline arrangements in the real projective plane. Our focus lies on two classes of arrangements: simplicial arrangements and arrangements whose characteristic polynomials have only real roots. We derive inequalities involving the $t$-vectors of the arrangements in consideration. As application, we obtain some finiteness and classification results. Moreover, we are able to prove the Dirac Motzkin Conjecture for real pseudoline arrangements whose charateristic polynomials split over $\mathbb{R}$.
An improved upper bound for the grid Ramsey problem
For a positive integer $r$, let $G(r)$ be the smallest $N$ such that, whenever the edges of the Cartesian product $K_N \times K_N$ are $r$-coloured, then there is a rectangle in which both pairs of opposite edges receive the same colour. In this paper, we improve the upper bounds on $G(r)$ by proving $G(r) \leq \Big(1 - \frac{1}{128}r^{-2}\Big) r^{\binom{r+1}{2}}$, for $r$ large enough. Unlike the previous improvements, which were based on bounds for the size of set systems with restricted intersection sizes, our proof is a form of a quasirandomness argument.
A reverse Sidorenko inequality
Published
• View Publication
• BIB
Let $H$ be a graph allowing loops as well as vertex and edge weights. We prove that, for every triangle-free graph $G$ without isolated vertices, the weighted number of graph homomorphisms $\hom(G, H)$ satisfies the inequality \[ \hom(G, H ) \le \prod_{uv \in E(G)} \hom(K_{d_u,d_v}, H )^{1/(d_ud_v)}, \] where $d_u$ denotes the degree of vertex $u$ in $G$. In particular, one has \[ \hom(G, H )^{1/|E(G)|} \le \hom(K_{d,d}, H )^{1/d^2} \] for every $d$-regular triangle-free $G$. The triangle-free hypothesis on $G$ is best possible. More generally, we prove a graphical Brascamp-Lieb type inequality, where every edge of $G$ is assigned some two-variable function. These inequalities imply tight upper bounds on the partition function of various statistical models such as the Ising and Potts models, which includes independent sets and graph colorings.
For graph colorings, corresponding to $H = K_q$, we show that the triangle-free hypothesis on $G$ may be dropped; this is also valid if some of the vertices of $K_q$ are looped. A corollary is that among $d$-regular graphs, $G = K_{d,d}$ maximizes the quantity $c_q(G)^{1/|V(G)|}$ for every $q$ and $d$, where $c_q(G)$ counts proper $q$-colorings of $G$.
Finally, we show that if the edge-weight matrix of $H$ is positive semidefinite, then \[ \hom(G, H) \le \prod_{v \in V(G)} \hom(K_{d_v+1}, H )^{1/(d_v+1)}. \] This implies that among $d$-regular graphs, $G = K_{d+1}$ maximizes $\hom(G, H)^{1/|V(G)|}$. For 2-spin Ising models, our results give a complete characterization of extremal graphs: complete bipartite graphs maximize the partition function of 2-spin antiferromagnetic models and cliques maximize the partition function of ferromagnetic models.
These results settle a number of conjectures by Galvin-Tetali, Galvin, and Cohen-Csikvári-Perkins-Tetali, and provide an alternate proof to a conjecture by Kahn.
Flag-approximability of convex bodies and volume growth of Hilbert geometries
Published
• View Publication
• BIB
We introduce the flag-approximability of a convex body to measure how easy it is to approximate by polytopes. We show that the flag-approximability is exactly half the volume entropy of the Hilbert geometry on the body, and that both quantities are maximized when the convex body is a Euclidean ball.
We also compute explicitly the asymptotic volume of a convex polytope, which allows us to prove that simplices have the least asymptotic volume.
Cylindric multipartitions and level-rank duality
We show that a multipartition is cylindric if and only if its level rank-dual is a source in the corresponding affine type $A$ crystal. This provides an algebraic interpretation of cylindricity, and completes a similar result for FLOTW multipartitions.
Girth, minimum degree, independence, and broadcast independence
Published
• View Publication
• BIB
An independent broadcast on a connected graph $G$ is a function $f:V(G)\to \mathbb{N}_0$ such that, for every vertex $x$ of $G$, the value $f(x)$ is at most the eccentricity of $x$ in $G$, and $f(x)>0$ implies that $f(y)=0$ for every vertex $y$ of $G$ within distance at most $f(x)$ from $x$. The broadcast independence number $α_b(G)$ of $G$ is the largest weight $\sum\limits_{x\in V(G)}f(x)$ of an independent broadcast $f$ on $G$.
It is known that $α(G)\leq α_b(G)\leq 4α(G)$ for every connected graph $G$, where $α(G)$ is the independence number of $G$. If $G$ has girth $g$ and minimum degree $δ$, we show that $α_b(G)\leq 2α(G)$ provided that $g\geq 6$ and $δ\geq 3$ or that $g\geq 4$ and $δ\geq 5$. Furthermore, we show that, for every positive integer $k$, there is a connected graph $G$ of girth at least $k$ and minimum degree at least $k$ such that $α_b(G)\geq 2\left(1-\frac{1}{k}\right)α(G)$. Our results imply that lower bounds on the girth and the minimum degree of a connected graph $G$ can lower the fraction $\frac{α_b(G)}{α(G)}$ from $4$ below $2$, but not any further.