Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Magnificent Four
Published
• View Publication
• BIB
We present a statistical mechanical model whose random variables are solid partitions, i.e. Young diagrams built by stacking up four dimensional hypercubes. Equivalently, it can be viewed as the model of random tessellations of ${\bf R}^{3}$ by squashed cubes of four fixed orientations. The model computes the refined index of a system of D0-branes in the presence of $D8$-$\overline{D8}$ system, with a $B$-field strong enough to support the bound states. Mathematically, it is the equivariant K-theoretic version of integration over the Hilbert scheme of points on ${\bf C}^{4}$ and its higher rank analogues, albeit the definition is real, not complex analytic. The model is a mother of all random partition models, including the equivariant Donaldson-Thomas theory and the four dimensional instanton counting. Finally, a version of our model with infinite solid partitions with four fixed plane partition asymptotics is the vertex contribution to the equivariant count of instantons on toric Calabi-Yau fourfolds.
The conjectured partition function of the model is presented. We have checked it up to six instantons (which is one step beyond the checks of the celebrated P.~MacMahon's failed conjectures of the early XX century). A specialization of the formula is our earlier (2004) conjecture on the equivariant K-theoretic Donaldson-Thomas theory, proven by A.~Okounkov in 2015.
Adjacency and Tensor Representation in General Hypergraphs Part 1: e-adjacency Tensor Uniformisation Using Homogeneous Polynomials
Adjacency between two vertices in graphs or hypergraphs is a pairwise relationship. It is redefined in this article as 2-adjacency. In general hypergraphs, hyperedges hold for $n$-adic relationship. To keep the $n$-adic relationship the concepts of $k$-adjacency and e-adjacency are defined. In graphs 2-adjacency and e-adjacency concepts match, just as $k$-adjacency and e-adjacency do for $k$-uniform hypergraphs. For general hypergraphs these concepts are different. This paper also contributes in a uniformization process of a general hypergraph to allow the definition of an e-adjacency tensor, viewed as a hypermatrix, reflecting the general hypergraph structure. This symmetric e-adjacency hypermatrix allows to capture not only the degree of the vertices and the cardinality of the hyperedges but also makes a full separation of the different layers of a hypergraph.
Squares of Hamiltonian cycles in 3-uniform hypergraphs
Published in Random Structures & Algorithms 56 (2020), no. 2, 339-372
• View Publication
• BIB
We show that every $3$-uniform hypergraph $H=(V,E)$ with $|V(H)|=n$ and minimum pair degree at least $(4/5+o(1))n$ contains a squared Hamiltonian cycle. This may be regarded as a first step towards a hypergraph version of the Pósa-Seymour conjecture.
On the matchings-Jack and hypermap-Jack conjectures for labelled matchings and star hypermaps
Published
• View Publication
• BIB
Introduced by Goulden and Jackson in their 1996 paper, the matchings-Jack conjecture and the hypermap-Jack conjecture (also known as the $b$-conjecture) are two major open questions relating Jack symmetric functions, the representation theory of the symmetric groups and combinatorial maps. They show that the coefficients in the power sum expansion of some Cauchy sum for Jack symmetric functions and in the logarithm of the same sum interpolate respectively between the structure constants of the class algebra and the double coset algebra of the symmetric group and between the numbers of orientable and locally orientable hypermaps. They further provide some evidence that these two families of coefficients indexed by three partitions of a given integer $n$ and the Jack parameter $α$ are polynomials in $β= α-1$ with non negative integer coefficients of combinatorial significance. This paper is devoted to the case when one of the three partitions is equal to $(n)$. We exhibit some polynomial properties of both families of coefficients and prove a variation of the hypermap-Jack conjecture and the matchings-Jack conjecture involving labelled hypermaps and matchings in some important cases.
Zero-dimensional Donaldson-Thomas invariants of Calabi-Yau 4-folds
Published in Adv. Math. 338 (2018) 601-648
• View Publication
• BIB
We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a formula for their generating series, which we prove in certain cases when $L$ corresponds to a smooth divisor on $X$. A parallel equivariant conjecture for toric Calabi-Yau 4-folds is proposed. This conjecture is proved for smooth toric divisors and verified for more general toric divisors in many examples.
Combining the equivariant conjecture with a vertex calculation, we find explicit positive rational weights, which can be assigned to solid partitions. The weighted generating function of solid partitions is given by $\exp(M(q)-1)$, where $M(q)$ denotes the MacMahon function.
On P-unique hypergraphs
We study hypergraphs which are uniquely determined by their chromatic, independence and matching polynomials. B. Bollobás, L. Pebody and O. Riordan (2000) conjectured (BPR-conjecture) that almost all graphs are uniquely determined by their chromatic polynomials. We show that for $r$-uniform hypergraphs with $r \geq 3$ this is almost never the case. This disproves the analolgue of the BPR-conjecture for $3$-uniform hypergraphs. For $r =2$ this also holds for the independence polynomial, as shown by J.A. Makowsky and V. Rakita (2017), whereas for the chromatic and matching polynomial this remains open.
Independent sets, cliques, and colorings in graphons
Published in European Journal of Combinatorics, Volume 88 (2020), 103108
• View Publication
• BIB
We study graphon counterparts of the chromatic and the clique number, the fractional chromatic number, the b-chromatic number, and the fractional clique number. We establish some basic properties of the independence set polytope in the graphon setting, and duality properties between the fractional chromatic number and the fractional clique number. We present a notion of perfect graphons and characterize them in terms of induced densities of odd cycles and its complements.
The fourth smallest Hamming weight in the code of the projective plane over $\mathbb{Z}/p \mathbb{Z}$
Published
• View Publication
• BIB
Let $p$ be a prime and let $C_p$ denote the $p$-ary code of the projective plane over ${\mathbb Z}/p\mathbb{Z}$. It is well known that the minimum weight of non-zero words in $C_p$ is $p+1$, and Chouinard proved that, for $p \geq 3$, the second and third minimum weights are $2p$ and $2p+1$. In 2007, Fack et. al. determined, for $p\geq 5$, all words of $C_p$ of these three weights. In this paper we recover all these results and also prove that, for $p \geq 5$, the fourth minimum weight of $C_p$ is $3p-3$. The problem of determining all words of weight $3p-3$ remains open.
Sharp concentration of the equitable chromatic number of dense random graphs
Published in Combinatorics, Probability and Computing , Volume 29 , Issue 2 , March 2020 , pp. 213 - 233
• View Publication
• BIB
An equitable colouring of a graph $G$ is a colouring of the vertices of $G$ so that no two adjacent vertices are coloured the same and, additionally, the colour class sizes differ by at most $1$. The equitable chromatic number $χ_=(G)$ is the minimum number of colours required for this. We study the equitable chromatic number of the dense random graph $G(n,m)$, where $m = \left\lfloor p {n \choose 2} \right \rfloor $ and $0<p< 0.86$ is constant. It is a well-known question of Bollobás whether for $p=1/2$ there is a function $f(n) \rightarrow \infty$ so that for any sequence of intervals of length $f(n)$, the normal chromatic number of $G(n,m)$ lies outside the intervals with probability at least $1/2$ if $n$ is large enough. Bollobás proposes that this is likely to hold for $f(n) = \log n$. We show that for the \emph{equitable} chromatic number, the answer to the analogous question is negative. In fact, there is a subsequence $(n_j)_{j}$ of the integers where $χ_=(G(n_j,m_j)) = n/j$ with high probability, i.e., $χ_=(G(n_j,m_j))$ is concentrated on exactly one explicitly known value. This constitutes surprisingly narrow concentration since in this range the equitable chromatic number, like the normal chromatic number, is rather large in absolute value, namely asymptotically equal to $n / (2\log_b n)$ where $b=1/(1-p)$.
Rainbow cycles in flip graphs
Published
• View Publication
• BIB
The flip graph of triangulations has as vertices all triangulations of a convex $n$-gon, and an edge between any two triangulations that differ in exactly one edge. An $r$-rainbow cycle in this graph is a cycle in which every inner edge of the triangulation appears exactly $r$ times. This notion of a rainbow cycle extends in a natural way to other flip graphs. In this paper we investigate the existence of $r$-rainbow cycles for three different flip graphs on classes of geometric objects: the aforementioned flip graph of triangulations of a convex $n$-gon, the flip graph of plane trees on an arbitrary set of $n$ points, and the flip graph of non-crossing perfect matchings on a set of $n$ points in convex position. In addition, we consider two flip graphs on classes of non-geometric objects: the flip graph of permutations of $\{1,2,\dots,n\}$ and the flip graph of $k$-element subsets of $\{1,2,\dots,n\}$. In each of the five settings, we prove the existence and non-existence of rainbow cycles for different values of $r$, $n$ and~$k$.
Boolean Tensor Decomposition for Conjunctive Queries with Negation
We propose an algorithm for answering conjunctive queries with negation, where the negated relations have bounded degree. Its data complexity matches that of the best known algorithms for the positive subquery of the input query and is expressed in terms of the fractional hypertree width and the submodular width. The query complexity depends on the structure of the negated subquery; in general it is exponential in the number of join variables occurring in negated relations yet it becomes polynomial for several classes of queries.
This algorithm relies on several contributions. We show how to rewrite queries with negation on bounded-degree relations into equivalent conjunctive queries with not-all-equal (NAE) predicates, which are a multi-dimensional analog of disequality (not-equal). We then generalize the known color-coding technique to conjunctions of NAE predicates and explain it via a Boolean tensor decomposition of conjunctions of NAE predicates. This decomposition can be achieved via a probabilistic construction that can be derandomized efficiently.
The graph tessellation cover number: extremal bounds, efficient algorithms and hardness
Published in Theoretical Computer Science 801, 175-191, 2020
• View Publication
• BIB
A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges. The $t$-tessellability problem aims to decide whether there is a tessellation cover of the graph with $t$ tessellations. This problem is motivated by its applications to quantum walk models, in especial, the evolution operator of the staggered model is obtained from a graph tessellation cover. We establish upper bounds on the tessellation cover number given by the minimum between the chromatic index of the graph and the chromatic number of its clique graph and we show graph classes for which these bounds are tight. We prove $\mathcal{NP}$-completeness for $t$-tessellability if the instance is restricted to planar graphs, chordal (2,1)-graphs, (1,2)-graphs, diamond-free graphs with diameter five, or for any fixed $t$ at least 3. On the other hand, we improve the complexity for 2-tessellability to a linear-time algorithm.
Weighted Lattice Paths Enumeration by Gaussian Polynomials
Published in Proceedings of the Croatian Combinatorial Days, 1, (2017) 53-63
• View Publication
• BIB
The Gaussian polynomial in variable $q$ is defined as the $q$-analog of the binomial coefficient. In addition to remarkable implications of these polynomials to abstract algebra, matrix theory and quantum computing, there is also a combinatorial interpretation through weighted lattice paths. This interpretation is equivalent to weighted board tilings, which can be used to establish Gaussian polynomial identities. In particular, we prove duals of such identities and evaluate related sums.
Convex and weakly convex domination in prism graphs
Published
• View Publication
• BIB
For a given graph $G=(V,E)$ and permutation $π:V\mapsto V$ the prism $πG$ of $G$ is defined as follows: $V(πG)=V(G)\cup V(G')$, where $G'$ is a copy of $G$, and $E(πG)=E(G)\cup E(G')\cup M_π$, where $M_π=\{uv': u\in V(G), v=π(u)\}$ and $v'$ denotes the copy of $v$ in $G'$.
We study and compare the properties of convex and weakly convex dominating sets in prism graphs. In particular, we characterize prism $γ_{con}$-fixers and -doublers. We also show that the differences $γ_{wcon}(G)-γ_{wcon}(πG)$ and $γ_{wcon}(πG) - 2γ_{wcon}(G)$ can be arbitrarily large, and that the convex domination number of $πG$ cannot be bounded in terms of $γ_{con}(G).$
A Plünnecke-Ruzsa inequality in compact abelian groups
Published
• View Publication
• BIB
The Plünnecke-Ruzsa inequality is a fundamental tool to control the growth of finite subsets of abelian groups under repeated addition and subtraction. Other tools to handle sumsets have gained applicability by being extended to more general subsets of more general groups. This motivates extending the Plünnecke-Ruzsa inequality, in particular to measurable subsets of compact abelian groups by replacing the cardinality with the Haar probability measure. This objective is related to the question of the stability of classes of Haar measurable sets under addition. In this direction the class of analytic sets is a natural one to work with. We prove a Plünnecke-Ruzsa inequality for K-analytic sets in general compact (Hausdorff) abelian groups. We also discuss further extensions, some of which raise questions of independent interest in descriptive topology.
A diagram associated with the subconstituent algebra of a distance-regular graph
Published
• View Publication
• BIB
In this paper we consider a distance-regular graph $Γ$. Fix a vertex $x$ of $Γ$ and consider the corresponding subconstituent algebra $T$. The algebra $T$ is the $\mathbb{C}$-algebra generated by the Bose-Mesner algebra $M$ of $Γ$ and the dual Bose-Mesner algebra $M^*$ of $Γ$ with respect to $x$. We consider the subspaces $M, M^*, MM^*, M^*M, MM^*M, M^*MM^*, \dots$ along with their intersections and sums. In our notation, $MM^*$ means $Span\{RS|R\in M, S\in M^*\}$, and so on. We introduce a diagram that describes how these subspaces are related. We describe in detail that part of the diagram up to $MM^*+M^*M$. For each subspace $U$ shown in this part of the diagram, we display an orthogonal basis for $U$ along with the dimension of $U$. For an edge $U\subseteq W$ from this part of the diagram, we display an orthogonal basis for the orthogonal complement of $U$ in $W$ along with the dimension of this orthogonal complement.
On perturbations of highly connected dyadic matroids
Published in Annals of Combinatorics 22 (2018), 513-542
• View Publication
• BIB
Geelen, Gerards, and Whittle [3] announced the following result: let $q = p^k$ be a prime power, and let $\mathcal{M}$ be a proper minor-closed class of $\mathrm{GF}(q)$-representable matroids, which does not contain $\mathrm{PG}(r-1,p)$ for sufficiently high $r$. There exist integers $k, t$ such that every vertically $k$-connected matroid in $\mathcal{M}$ is a rank-$(\leq t)$ perturbation of a frame matroid or the dual of a frame matroid over $\mathrm{GF}(q)$. They further announced a characterization of the perturbations through the introduction of subfield templates and frame templates.
We show a family of dyadic matroids that form a counterexample to this result. We offer several weaker conjectures to replace the ones in [3], discuss consequences for some published papers, and discuss the impact of these new conjectures on the structure of frame templates.
Throttling for the game of Cops and Robbers on graphs
Published
• View Publication
• BIB
We consider the cop-throttling number of a graph $G$ for the game of Cops and Robbers, which is defined to be the minimum of $(k + \text{capt}_k(G))$, where $k$ is the number of cops and $\text{capt}_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games. We provide some tools for bounding the cop-throttling number, including showing that the positive semidefinite (PSD) throttling number, a variant of zero forcing throttling, is an upper bound for the cop-throttling number. We also characterize graphs having low cop-throttling number and investigate how large the cop-throttling number can be for a given graph. We consider trees, unicyclic graphs, incidence graphs of finite projective planes (a Meyniel extremal family of graphs), a family of cop-win graphs with maximum capture time, grids, and hypercubes. All the upper bounds on the cop-throttling number we obtain for families of graphs are $ O(\sqrt n)$.
The Edge-Wiener Index and the Edge-Hyper-Wiener Index of Phenylenes
Besides the well known Wiener index, which sums up the distances between all the pairs of vertices, and the hyper-Wiener index, which includes also the squares of distances, the edge versions of both indices attracted a lot of attention in the recent years.
In this paper we consider the edge-Wiener index and the edge-hyper-Wiener index of phenylenes, which represent an important class of molecular graphs. For an arbitrary phenylene, four quotient trees based on the elementary cuts are defined in a similar way as it was previously done for benzenoid systems. The computation of the edge-Wiener index of the phenylene is then reduced to the calculation of the weighted Wiener indices of the corresponding quotient trees. Furthermore, a method for computing the edge-hyper-Wiener index of phenylenes is described. Finally, the application of these results gives closed formulas for the edge-Wiener index and the edge-hyper-Wiener index of linear phenylenes.
On Fan-Crossing Graphs
Published
• View Publication
• BIB
A fan is a set of edges with a single common endpoint. A graph is fan-crossing if it admits a drawing in the plane so that each edge is crossed by edges of a fan. It is fan-planar if, in addition, the common endpoint is on the same side of the crossed edge. A graph is adjacency-crossing if it admits a drawing so that crossing edges are adjacent. Then it excludes independent crossings which are crossings by edges with no common endpoint. Adjacency-crossing allows triangle-crossings in which an edge crosses the edges of a triangle, which is excluded at fan-crossing graphs.
We show that every adjacency-crossing graph is fan-crossing. Thus triangle-crossings can be avoided. On the other hand, there are fan-crossing graphs that are not fan-planar, whereas for every fan-crossing graph there is a fan-planar graph on the same set of vertices and with the same number of edges. Hence, fan-crossing and fan-planar graphs are different, but they do not differ in their density with at most 5n - 10 edges for graphs of size n.