Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Duality in percolation via outermost boundaries II: Star connected components and left right crossings
Tile \(\mathbb{R}^2\) into disjoint unit squares \(\{S_k\}_{k \geq 0}\) with the origin being the centre of \(S_0\) and say that \(S_i\) and \(S_j\) are star adjacent if they share a corner and plus adjacent if they share an edge. Every square is either vacant or occupied. In this paper, we use the structure of the outermost boundaries derived in Ganesan (2015) to alternately obtain duality between star and plus connected components in the following sense: There is a plus connected cycle of vacant squares attached to surrounding the finite star connected component containing the origin. We also obtain the mutual exclusivity of left right crossings and top down crossings of star and plus connected components in rectangles.
Finding and using expanders in locally sparse graphs
Published
• View Publication
• BIB
We show that every locally sparse graph contains a linearly sized expanding subgraph. For constants $c_1>c_2>1$, $0<α<1$, a graph $G$ on $n$ vertices is called a $(c_1,c_2,α)$-graph if it has at least $c_1n$ edges, but every vertex subset $W\subset V(G)$ of size $|W|\le αn$ spans less than $c_2|W|$ edges. We prove that every $(c_1,c_2,α)$-graph with bounded degrees contains an induced expander on linearly many vertices. The proof can be made algorithmic.
We then discuss several applications of our main result to random graphs, to problems about embedding graph minors, and to positional games.
On the independence number of graphs related to a polarity
Published
• View Publication
• BIB
We investigate the independence number of two graphs constructed from a polarity of $\mathrm{PG}(2,q)$. For the first graph under consideration, the Erdős-Rényi graph $ER_q$, we provide an improvement on the known lower bounds on its independence number. In the second part of the paper we consider the Erdős-Rényi hypergraph of triangles $\mathcal{H}_q$. We determine the exact magnitude of the independence number of $\mathcal{H}_q$, $q$ even. This solves a problem posed by Mubayi and Williford.
Matching Connectivity: On the Structure of Graphs with Perfect Matchings
Published
• View Publication
• BIB
We introduce the concept of matching connectivity as a notion of connectivity in graph admitting perfect matchings which heavily relies on the structural properties of those matchings. We generalise a result of Robertson, Seymour and Thomas for bipartite graphs with perfect matchings (see [Neil Roberts, Paul D Seymour, and Robin Thomas. Permanents, pfaffian orientations, and even directed curcuits. Annals of Mathematics, 150(2):929-975, 1999]) in order to obtain a concept of alternating paths that turns out to be sufficient for the description of our connectivity parameter. We introduce some basic properties of matching connectivity and prove a Menger-type result for matching n-connected graphs. Furthermore, we show that matching connectivity fills a gap in the investigation of n-extendable graphs and their connectivity properties. To be more precise we show that every n-extendable graph is matching n-connected and for the converse every matching (n+1)-connected graph either is n-extendable, or belongs to a well described class of graphs: the brace h-critical graphs.
On Chordal Graph and Line Graph Squares
Published
• View Publication
• BIB
In this work we investigate the chordality of squares and line graph squares of graphs. We prove a sufficient condition for the chordality of squares of graphs not containing induced cycles of length at least five. Moreover, we characterize the chordality of graph squares by forbidden subgraphs. Transferring that result to line graphs allows us to characterize the chordality of line graph squares.
A Central Limit Theorem for Vincular Permutation Patterns
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (March 26, 2018) dmtcs:3269
• View Publication
• BIB
We study the number of occurrences of any fixed vincular permutation pattern. We show that this statistics on uniform random permutations is asymptotically normal and describe the speed of convergence. To prove this central limit theorem, we use the method of dependency graphs. The main difficulty is then to estimate the variance of our statistics. We need a lower bound on the variance, for which we introduce a recursive technique based on the law of total variance.
Transfer-Matrix Methods meet Ehrhart Theory
Transfer-Matrix Methods originated in physics where they were used to count the number of allowed particle states on a structure whose width $n$ is a parameter. Typically, the number of states is exponential in $n.$ One more mathematical instance of this methodology is to enumerate the proper vertex colorings of a graph of growing size by a fixed number of colors.
In Ehrhart theory, lattice points in the dilation of a fixed polytope by a factor $k$ are enumerated. By inclusion-exclusion, relevant conditions on how the lattice points interact with hyperplanes are enforced. Typically, the number of points are (quasi-) polynomial in $k.$ The text-book example is that for a fixed graph, the number of proper vertex colorings with $k$ colors is polynomial in $k.$
This paper investigates the joint enumeration problem with both parameters $n$ and $k$ free. We start off with the classical graph colorings and then explore the common situations in combinatorics related to Ehrhart theory. We show how symmetries can be explored to reduce calculations and explain the interactions with Discrete Geometry.
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.