Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Pfaffian formulas for spanning tree probabilities
Published
• View Publication
• BIB
We show that certain topologically defined uniform spanning tree probabilities for graphs embedded in an annulus can be computed as linear combinations of Pfaffians of matrices involving the line-bundle Green's function, where the coefficients count cover-inclusive Dyck tilings of skew Young diagrams.
Beta-gamma system, pure spinors and Hilbert series of arc spaces
Published
• View Publication
• BIB
Algorithms are presented for calculating the partition function of constrained beta-gamma systems in terms of the generating functions of the individual fields of the theory, the latter obtained as the Hilbert series of the arc space of the algebraic variety defined by the constraint. Examples of a beta-gamma system on a complex surface with an $A_1$ singularity and pure spinors are worked out and compared with existing results.
Perfect sampling algorithm for Schur processes
Published in Markov Processes Relat. Fields 24, 381-418 (2018)
• Search Publication
We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings of the plane. Our algorithm, which is of polynomial complexity, is both exact (i.e. the output follows exactly the target probability law, which is either Boltzmann or uniform in our case), and entropy optimal (i.e. it reads a minimal number of random bits as an input).
The algorithm encompasses previous growth procedures for special Schur processes related to the primal and dual RSK algorithm, as well as the famous domino shuffling algorithm for domino tilings of the Aztec diamond. It can be easily adapted to deal with symmetric Schur processes and general Schur processes involving infinitely many parameters. It is more concrete and easier to implement than Borodin's algorithm, and it is entropy optimal.
At a technical level, it relies on unified bijective proofs of the different types of Cauchy and Littlewood identities for Schur functions, and on an adaptation of Fomin's growth diagram description of the RSK algorithm to that setting. Simulations performed with this algorithm suggest interesting limit shape phenomena for the corresponding tiling models, some of which are new.
On the choice number of complete multipartite graphs with part size four
Published
• View Publication
• BIB
Let $\mathrm{ch}(G)$ denote the choice number of a graph $G$, and let $K_{s*k}$ be the complete $k$-partite graph with $s$ vertices in each part. Erdős, Rubin, and Taylor showed that $\mathrm{ch}( K_{2*k})=k$, and suggested the problem of determining the choice number of $K_{s*k}.$ The first author established
$\mathrm{ch}( K_{3*k})=\left\lceil \frac{4k-1}{3}\right\rceil$. Here we prove $\mathrm{ch} (K_{4*k})=\left\lceil \frac{3k-1}{2}\right\rceil$.
Proof of a conjecture of Meszaros and Morales on the volume of a flow polytope
We prove a conjecture of Meszaros and Morales on the volume of a flow polytope. Independently from our work, Zeilberger sketched a proof of their conjecture. In fact, our proof is the same as Zeilberger's proof. The purpose of this note is to give a more detailed proof of the conjecture.
Rogers-Ramanujan type identities for alternating knots
Published in Journal of Number Theory 161 (2016), 255-280
• View Publication
• BIB
We highlight the role of q-series techniques in proving identities arising from knot theory. In particular, we prove Rogers-Ramanujan type identities for alternating knots as conjectured by Garoufalidis, Le and Zagier.
The combinatorics and topology of proper toric maps
Published
• View Publication
• BIB
We study the topology of toric maps. We show that if $f\colon X\to Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an explicit formula for the Betti numbers of the fibers in terms of a relative version of the $f$-vector, extending the usual formula for the Betti numbers of a simplicial complete toric variety. We then describe the Decomposition Theorem for a toric fibration, giving in particular a nonnegative combinatorial invariant attached to each cone in the fan of $Y$, which is positive precisely when the corresponding closed subset of $Y$ appears as a support in the Decomposition Theorem. The description of this invariant involves the stalks of the intersection cohomology complexes on $X$ and $Y$, but in the case when both $X$ and $Y$ are simplicial, there is a simple formula in terms of the relative $f$-vector.
On r-dynamic Coloring of Grids
Published in Discrete Applied Mathematics 186: 286-290, 2015
• View Publication
• BIB
An \textit{$r$-dynamic $k$-coloring} of a graph $G$ is a proper $k$-coloring of $G$ such that every vertex in $V(G)$ has neighbors in at least $\min\{d(v),r\}$ different color classes. The \textit{$r$-dynamic chromatic number} of a graph $G$, written $χ_r(G)$, is the least $k$ such that $G$ has such a coloring. Proving a conjecture of Jahanbekam, Kim, O, and West, we show that the $m$-by-$n$ grid has no $3$-dynamic $4$-coloring when $mn\equiv2\mod 4$. This completes the determination of the $r$-dynamic chromatic number of the $m$-by-$n$ grid for all $r,m,n$.
Generalized $q$-Stirling numbers and normal ordering
The normal ordering coefficients of strings consisting of $V,U$ which satisfy $UV=qVU+hV^s$ ($s\in\mathbb N$) are considered. These coefficients are studied in two contexts: first, as a multiple of a sequence satisfying a generalized recurrence, and second, as $q$-analogues of rook numbers under the row creation rule introduced by Goldman and Haglund. A number of properties are derived, including recurrences, expressions involving other $q$-analogues and explicit formulas. We also give a Dobinsky-type formula for the associated Bell numbers and the corresponding extension of Spivey's Bell number formula. The coefficients, viewed as rook numbers, are extended to the case $s\in\mathbb R$ via a modified rook model.
Roman k-tuple domination number of a graph
For any integer $k\geq 1$ and any graph $G=(V,E)$ with minimum degree at least $k-1$, we define a function $f:V\rightarrow \{0,1,2\}$ as a Roman $k$-tuple dominating function on $G$ if for any vertex $v$ with $f(v)=0$ there exist at least $k$ and for any vertex $v$ with $f(v)\neq 0$ at least $k-1$ vertices in its neighborhood with $f(w)=2$. The minimum weight of a Roman $k$-tuple dominating function $f$ on $G$ is called the Roman $k$-tuple domination number of the graph where the weight of $f$ is $f(V)=\sum_{v\in V}f(v)$.
In this paper, we initiate to study the Roman $k$-tuple domination number of a graph, by giving some sharp bounds for the Roman $k$-tuple domination number of a garph, the Mycieleskian of a graph, and the corona graphs. Also finding the Roman $k$-tuple domination number of some known graphs is our other goal. Some of our results extend these one given by Cockayne and et al.} in 2004 for the Roman domination number.
Correlation among runners and some results on the Lonely Runner Conjecture
Published
• View Publication
• BIB
The Lonely Runner Conjecture was posed independently by Wills and Cusick and has many applications in different mathematical fields, such as diophantine approximation. This well-known conjecture states that for any set of runners running along the unit circle with constant different speeds and starting at the same point, there is a moment where all of them are far enough from the origin. We study the correlation among the time that runners spend close to the origin. By means of these correlations, we improve a result of Chen on the gap of loneliness and we extend an invisible runner result of Czerwinski and Grytczuk. In the last part, we introduce dynamic interval graphs to deal with a weak version of the conjecture thus providing some new results.
The Relaxed Square Property
Graph products are characterized by the existence of non-trivial equivalence relations on the edge set of a graph that satisfy a so-called square property. We investigate here a generalization, termed RSP-relations. The class of graphs with non-trivial RSP-relations in particular includes graph bundles. Furthermore, RSP-relations are intimately related with covering graph constructions. For K_23-free graphs finest RSP-relations can be computed in polynomial-time. In general, however, they are not unique and their number may even grow exponentially. They behave well for graph products, however, in sense that a finest RSP-relations can be obtained easily from finest RSP-relations on the prime factors.
Shattering-extremal set systems of VC dimension at most 2
We say that a set system $\mathcal{F}\subseteq 2^{[n]}$ shatters a given set $S\subseteq [n]$ if $2^S=\{F \cap S : F \in \mathcal{F}\}$. The Sauer inequality states that in general, a set system $\mathcal{F}$ shatters at least $|\mathcal{F}|$ sets. Here we concentrate on the case of equality. A set system is called shattering-extremal if it shatters exactly $|\mathcal{F}|$ sets. In this paper we characterize shattering-extremal set systems of Vapnik-Chervonenkis dimension $2$ in terms of their inclusion graphs, and as a corollary we answer an open question from \cite{VC1} about leaving out elements from shattering-extremal set systems in the case of families of Vapnik-Chervonenkis dimension $2$.
Matrix Completion for the Independence Model
Published
• View Publication
• BIB
We investigate the problem of completing partial matrices to rank-one matrices in the standard simplex. The motivation for studying this problem comes from statistics: A lack of eligible completion can provide a falsification test for partial observations to come from the independence model. For each pattern of specified entries, we give equations and inequalities which are satisfied if and only if an eligible completion exists. We also describe the set of valid completions, and we optimize over this set.
On the minimal energy of conjugated unicyclic graphs with maximum degree at most 3
Published
• View Publication
• BIB
The energy of a graph $G$, denoted by $E(G)$, is defined as the sum of the absolute values of all eigenvalues of $G$. Let $n$ be an even number and $\mathbb{U}_{n}$ be the set of all conjugated unicyclic graphs of order $n$ with maximum degree at most $3$. Let $S_n^{\frac{n}{2}}$ be the radialene graph obtained by attaching a pendant edge to each vertex of the cycle $C_{\frac{n}{2}}$. In [Y. Cao et al., On the minimal energy of unicyclic Hückel molecular graphs possessing Kekulé structures, Discrete Appl. Math. 157 (5) (2009), 913--919], Cao et al. showed that if $n\geq 8$, $S_n^{\frac{n}{2}}\ncong G\in \mathbb{U}_{n}$ and the girth of $G$ is not divisible by $4$, then $E(G)>E(S_n^{\frac{n}{2}})$. Let $A_n$ be the unicyclic graph obtained by attaching a $4$-cycle to one of the two leaf vertices of the path $P_{\frac{n}{2}-1}$ and a pendent edge to each other vertices of $P_{\frac{n}{2}-1}$. In this paper, we prove that $A_n$ is the unique unicyclic graph in $\mathbb{U}_{n}$ with minimal energy.
h-Polynomials of Reduction Trees
Reduction trees are a way of encoding a substitution procedure dictated by the relations of an algebra. We use reduction trees in the subdivision algebra to construct canonical triangulations of flow polytopes which are shellable. We explain how a shelling of the canonical triangulation can be read off from the corresponding reduction tree in the subdivision algebra. We then introduce the notion of shellable reduction trees in the subdivision and related algebras and define h-polynomials of reduction trees. In the case of the subdivision algebra, the h-polynomials of the canonical triangulations of flow polytopes equal the h-polynomials of the corresponding reduction trees, which motivated our definition. We show that the reduced forms in various algebras, which can be read off from the leaves of the reduction trees, specialize to the shifted h-polynomials of the corresponding reduction trees. This yields a technique for proving nonnegativity properties of reduced forms. As a corollary we settle a conjecture of A.N. Kirillov.
h-Polynomials via Reduced Forms
Published
• View Publication
• BIB
The flow polytope $\mathcal{F}_{\widetilde{G}}$ is the set of nonnegative unit flows on the graph $\widetilde{G}$. The subdivision algebra of flow polytopes prescribes a way to dissect a flow polytope $\mathcal{F}_{\widetilde{G}}$ into simplices. Such a dissection is encoded by the terms of the so called reduced form of the monomial $\prod_{(i,j)\in E(G)}x_{ij}$. We prove that we can use the subdivision algebra of flow polytopes to construct not only dissections, but also regular flag triangulations of flow polytopes. We prove that reduced forms in the subdivision algebra are generalizations of $h$-polynomials of the triangulations of flow polytopes. We deduce several corollaries of the above results, most notably proving certain cases of a conjecture of Kirillov about the nonnegativity of reduced forms in the noncommutative quasi-classical Yang-Baxter algebra.
Subsampled Power Iteration: a Unified Algorithm for Block Models and Planted CSP's
We present an algorithm for recovering planted solutions in two well-known models, the stochastic block model and planted constraint satisfaction problems, via a common generalization in terms of random bipartite graphs. Our algorithm matches up to a constant factor the best-known bounds for the number of edges (or constraints) needed for perfect recovery and its running time is linear in the number of edges used. The time complexity is significantly better than both spectral and SDP-based approaches.
The main contribution of the algorithm is in the case of unequal sizes in the bipartition (corresponding to odd uniformity in the CSP). Here our algorithm succeeds at a significantly lower density than the spectral approaches, surpassing a barrier based on the spectral norm of a random matrix.
Other significant features of the algorithm and analysis include (i) the critical use of power iteration with subsampling, which might be of independent interest; its analysis requires keeping track of multiple norms of an evolving solution (ii) it can be implemented statistically, i.e., with very limited access to the input distribution (iii) the algorithm is extremely simple to implement and runs in linear time, and thus is practical even for very large instances.
On Aperiodic Subtraction Games with Bounded Nim Sequence
Subtraction games are a class of impartial combinatorial games whose positions correspond to nonnegative integers and whose moves correspond to subtracting one of a fixed set of numbers from the current position. Though they are easy to define, sub- traction games have proven difficult to analyze. In particular, few general results about their Sprague-Grundy values are known. In this paper, we construct an example of a subtraction game whose sequence of Sprague-Grundy values is ternary and aperiodic, and we develop a theory that might lead to a generalization of our construction.
Sketch of a Proof of an Intriguing Conjecture of Karola Meszaros and Alejandro Morales Regarding the Volume of the $D_n$ Analog of the Chan-Robbins-Yuen Polytope (Or: The Morris-Selberg Constant Term Identity Strikes Again!)
Using the Morris-Selberg Constant Term Identity, I sketch a proof of a recent conjecture by Karola Meszaros and Alejandro Morales, that I believe could be easily made fully rigorous by a sufficiently skilled and, sufficiently interested, analyst. This conjecture is an analog to the root system $D_n$ of a conjecture made in 1998 by Clara Chan, the late David P. Robbins, and David Yuen, that I proved immediately after, also using the Morris identity.