Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Critical classes, Kronecker products of spin characters, and the Saxl conjecture
Published
• View Publication
• BIB
Highlighting the use of critical classes, we consider constituents in Kronecker products, in particular of spin characters of the double covers of the symmetric and alternating groups. We apply results from the spin case to find constituents in Kronecker products of characters of the symmetric groups. Via this tool, we make progress on the Saxl conjecture; this claims that for a triangular number $n$, the square of the irreducible character of the symmetric group $S_n$ labelled by the staircase contains all irreducible characters of $S_n$ as constituents. We find a large number of constituents in this square which were not detected by other methods. Moreover, the investigation of Kronecker products of spin characters inspires a spin variant of Saxl's conjecture.
A DG-extension of symmetric functions arising from higher representation theory
Published in Journal of Combinatorial Algebra, Volume 2, Issue 2, 2018, pp. 169-214
• View Publication
• BIB
We investigate analogs of symmetric functions arising from an extension of the nilHecke algebra defined by Naisse and Vaz. These extended symmetric functions form a subalgebra of the polynomial ring tensored with an exterior algebra. We define families of bases for this algebra and show that it admits a family of differentials making it a sub-DG-algebra of the extended nilHecke algebra. The ring of extended symmetric functions equipped with this differential is quasi-isomorphic to the cohomology of a Grassmannian. We also introduce new deformed differentials on the extended nilHecke algebra that when restricted makes extended symmetric functions quasi-isomorphic to $GL(N)$-equivariant cohomology of Grassmannians.
Ore's theorem on subfactor planar algebras
Published in Quantum Topol. 11 (2020), no. 3, 525-543
• View Publication
• BIB
This article proves that an irreducible subfactor planar algebra with a distributive biprojection lattice admits a minimal 2-box projection generating the identity biprojection. It is a generalization (conjectured in 2013) of a theorem of Oystein Ore on distributive intervals of finite groups (1938), and a corollary of a natural subfactor extension of a conjecture of Kenneth S. Brown in algebraic combinatorics (2000). We deduce a link between combinatorics and representations in finite group theory.
What is the meaning of the graph energy after all?
Published
• View Publication
• BIB
For a simple graph $G=(V,E)$ with eigenvalues of the adjacency matrix $λ_{1}\geqλ_{2}\geq\cdots\geqλ_{n}$, the energy of the graph is defined by $E(G)=\sum_{j=1}^{n}|λ_{j}|$. Myriads of papers have been published in the mathematical and chemistry literature about properties of this graph invariant due to its connection with the energy of (bipartite) conjugated molecules. However, a structural interpretation of this concept in terms of the contributions of even and odd walks, and consequently on the contribution of subgraphs, is not yet known. Here, we find such interpretation and prove that the (adjacency) energy of any graph (bipartite or not) is a weighted sum of the traces of even powers of the adjacency matrix. We then use such result to find bounds for the energy in terms of subgraphs contributing to it. The new bounds are studied for some specific simple graphs, such as cycles and fullerenes. We observe that including contributions from subgraphs of sizes not bigger than 6 improves some of the best known bounds for the energy, and more importantly gives insights about the contributions of specific subgraphs to the energy of these graphs.
Toughness and spanning trees in $K_4$-minor-free graphs
Published
• View Publication
• BIB
For an integer $k$, a $k$-tree is a tree with maximum degree at most $k$. More generally, if $f$ is an integer-valued function on vertices, an $f$-tree is a tree in which each vertex $v$ has degree at most $f(v)$. Let $c(G)$ denote the number of components of a graph $G$. We show that if $G$ is a connected $K_4$-minor-free graph and
$$
c(G-S) \;\le\; \sum_{v \in S} (f(v)-1)
\quad\hbox{for all $S \subseteq V(G)$ with $S \ne \emptyset$}
$$ then $G$ has a spanning $f$-tree. Consequently, if $G$ is a $\frac{1}{k-1}$-tough $K_4$-minor-free graph, then $G$ has a spanning $k$-tree. These results are stronger than results for general graphs due to Win (for $k$-trees) and Ellingham, Nam and Voss (for $f$-trees). The $K_4$-minor-free graphs form a subclass of planar graphs, and are identical to graphs of treewidth at most $2$, and also to graphs whose blocks are series-parallel. We provide examples to show that the inequality above cannot be relaxed by adding $1$ to the right-hand side, and also to show that our result does not hold for general planar graphs. Our proof uses a technique where we incorporate toughness-related information into weights associated with vertices and cutsets.
Complexity of short Presburger arithmetic
Published
• View Publication
• BIB
We study complexity of short sentences in Presburger arithmetic (Short-PA). Here by "short" we mean sentences with a bounded number of variables, quantifiers, inequalities and Boolean operations; the input consists only of the integers involved in the inequalities. We prove that assuming Kannan's partition can be found in polynomial time, the satisfiability of Short-PA sentences can be decided in polynomial time. Furthermore, under the same assumption, we show that the numbers of satisfying assignments of short Presburger sentences can also be computed in polynomial time.
Fairly Dividing a Cake after Some Parts Were Burnt in the Oven
Published
• View Publication
• BIB
There is a heterogeneous resource that contains both good parts and bad parts, for example, a cake with some parts burnt, a land-estate with some parts heavily taxed, or a chore with some parts fun to do. The resource has to be divided fairly among $n$ agents with different preferences, each of whom has a personal value-density function on the resource. The value-density functions can accept any real value --- positive, negative or zero. Each agent should receive a connected piece and no agent should envy another agent. We prove that such a division exists for 3 agents and present preliminary positive results for larger numbers of agents.
Tomaszewski's Problem on Randomly Signed Sums: Breaking the 3/8 Barrier
Published in Electronic Journal of Combinatorics 24(3) (2017), #P3.40
• View Publication
• BIB
Let $v_1$, $v_2$, ..., $v_n$ be real numbers whose squares add up to 1. Consider the $2^n$ signed sums of the form $S = \sum \pm v_i$. Holzman and Kleitman (1992) proved that at least 3/8 of these sums satisfy $|S| \le 1$. This 3/8 bound seems to be the best their method can achieve. Using a different method, we improve the bound to 13/32, thus breaking the 3/8 barrier.
The spin-Brauer diagram algebra
Published
• View Publication
• BIB
We investigate the spin-Brauer diagram algebra, denoted ${\bf SB}_n(δ)$, that arises from studying an analogous form of Schur-Weyl duality for the action of the pin group on ${\bf V}^{\otimes n} \otimes Δ$. Here ${\bf V}$ is the standard $N$-dimensional complex representation of ${\bf Pin}(N)$ and $Δ$ is the spin representation. When $δ= N$ is a positive integer, we define a surjective map ${\bf SB}_n(N) \twoheadrightarrow {\rm End}_{{\bf Pin}(N)}({\bf V}^{\otimes n} \otimes Δ)$ and show it is an isomorphism for $N \geq 2n$. We show ${\bf SB}_n(δ)$ is a cellular algebra and use cellularity to characterize its irreducible representations.
Thin graph classes and polynomial-time approximation schemes
Baker devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a fixed apex graph as a minor. Further generalizations (e.g., to all proper minor closed graph classes) are known, but they use a combination of techniques and usually focus on somewhat restricted classes of problems. We present a new type of graph decompositions (thin systems of overlays) generalizing Baker's technique and leading to straightforward polynomial-time approximation schemes. We also show that many graph classes (all proper minor-closed classes, and all subgraph-closed classes with bounded maximum degree and strongly sublinear separators) admit such decompositions.
Binomial edge ideals of bipartite graphs
Published
• View Publication
• BIB
We classify the bipartite graphs $G$ whose binomial edge ideal $J_G$ is Cohen-Macaulay. The connected components of such graphs can be obtained by gluing a finite number of basic blocks with two operations. In this context we prove the converse of a well-known result due to Hartshorne, showing that the Cohen-Macaulayness of these ideals is equivalent to the connectedness of their dual graphs. We study interesting properties also for non-bipartite graphs and in the unmixed case, constructing classes of bipartite graphs with $J_G$ unmixed and not Cohen-Macaulay.
Computations of volumes and Ehrhart series in four candidates elections
Published
• View Publication
• BIB
We describe several experimental results obtained in four candidates social choice elections. These include the Condorcet and Borda paradoxes, as well as the Condorcet efficiency of plurality voting with runoff. The computations are done by Normaliz. It finds precise probabilities as volumes of polytopes and counting functions encoded as Ehrhart series of polytopes.
(t,q) Q-systems, DAHA and quantum toroidal algebras via generalized Macdonald operators
Published
• View Publication
• BIB
We introduce difference operators on the space of symmetric functions which are a natural generalization of the $(q,t)$-Macdonald operators. In the $t\to\infty$ limit, they satisfy the $A_{N-1}$ quantum $Q$-system. We identify the elements in the spherical $A_{N-1}$ DAHA which are represented by these operators, as well as within the quantum toroidal algebra of $gl_1$ and the elliptic Hall algebra. We present a plethystic, or bosonic, formulation of the generating functions for the generalized Macdonald operators, which we relate to recent work of Bergeron et al. Finally we derive constant term identities for the current that allow to interpret them in terms of shuffle products. In particular we obtain in the $t\to\infty$ limit a shuffle presentation of the quantum $Q$-system relations.
Three-dimensional Catalan numbers and product-coproduct prographs
We present the new combinatorial class of product-coproduct prographs which are planar assemblies of two types of operators: products having two inputs and a single output and coproducts having a single input and two outputs. We show that such graphs are enumerated by the $3$-dimensional Catalan numbers. We present some combinatorial bijections positioning product-coproduct prographs as key objects to probe families of objects enumerated by the $3$-dimensional Catalan numbers.
The Ramsey theory of the universal homogeneous triangle-free graph
Published in Journal of Mathematical Logic, 2020
• View Publication
• BIB
The universal homogeneous triangle-free graph, constructed by Henson and denoted $\mathcal{H}_3$, is the triangle-free analogue of the Rado graph. While the Ramsey theory of the Rado graph has been completely established, beginning with Erdős-Hajnal-Posá and culminating in work of Sauer and Laflamme-Sauer-Vuksanovic, the Ramsey theory of $\mathcal{H}_3$ had only progressed to bounds for vertex colorings (Komjáth-Rödl) and edge colorings (Sauer). This was due to a lack of broadscale techniques. We solve this problem in general: For each finite triangle-free graph $G$, there is a finite number $T(G)$ such that for any coloring of all copies of $G$ in $\mathcal{H}_3$ into finitely many colors, there is a subgraph of $\mathcal{H}_3$ which is again universal homogeneous triangle-free in which the coloring takes no more than $T(G)$ colors. This is the first such result for a homogeneous structure omitting copies of some non-trivial finite structure. The proof entails developments of new broadscale techniques, including a flexible method for constructing trees which code $\mathcal{H}_3$ and the development of their Ramsey theory.
Dense point sets with many halving lines
A planar point set of $n$ points is called {\em $γ$-dense} if the ratio of the largest and smallest distances among the points is at most $γ\sqrt{n}$. We construct a dense set of $n$ points in the plane with $ne^{Ω\left({\sqrt{\log n}}\right)}$ halving lines. This improves the bound $Ω(n\log n)$ of Edelsbrunner, Valtr and Welzl from 1997.
Our construction can be generalized to higher dimensions, for any $d$ we construct a dense point set of $n$ points in $\mathbb{R}^d$ with $n^{d-1}e^{Ω\left({\sqrt{\log n}}\right)}$ halving hyperplanes. Our lower bounds are asymptotically the same as the best known lower bounds for general point sets.
A Euclidean Ramsey result in the plane
Published
• View Publication
• BIB
An old question in Euclidean Ramsey theory asks, if the points in the plane are red-blue coloured, does there always exist a red pair of points at unit distance or five blue points in line separated by unit distances? An elementary proof answers this question in affirmative.
Minimum degree conditions for small percolating sets in bootstrap percolation
Published
• View Publication
• BIB
The $r$-neighbour bootstrap process is an update rule for the states of vertices in which `uninfected' vertices with at least $r$ `infected' neighbours become infected and a set of initially infected vertices is said to \emph{percolate} if eventually all vertices are infected. For every $r \geq 3$, a sharp condition is given for the minimum degree of a sufficiently large graph that guarantees the existence of a percolating set of size $r$. In the case $r=3$, for $n$ large enough, any graph on $n$ vertices with minimum degree $\lfloor n/2 \rfloor +1$ has a percolating set of size $3$ and for $r \geq 4$ and $n$ large enough (in terms of $r$), every graph on $n$ vertices with minimum degree $\lfloor n/2 \rfloor + (r-3)$ has a percolating set of size $r$. A class of examples are given to show the sharpness of these results.
A note on graphs with disjoint maximal cliques ans a link with evasiveness
In this note, we prove that a finite vertex-transitive graph which has a clique which intersects all maximal cliques is a complete graph. This gives a positive answer in the case of vertex-transitive graphs to a question raised by Berge and Payan. It also gives a positive answer to a special case of the evasiveness conjecture.
A Note on the Polytope of Bipartite TSP
The main result of this paper is that the polytope of the bipartite TSP is significantly different from that of the general TSP. Comb inequalities are known as facet defining ones in the general case. In the bipartite case, however, many of them are satisfied whenever all degree and subtour elimination constraints are satisfied, {\em i.e.}\ these comb inequalities are not facet defining. The inequalities in question belong to the cases where vertices of one of the two classes occur in less than the half of the intersections of the teeth and the hand. Such side conditions are necessary, as simple example shows that the comb inequality can be violated when each class has vertices in more than the half of the intersections.