Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The fine structure of the sets of involutions avoiding 4321 or 3412
We study the fine structure of the sets of involutions avoiding either 4312 (I(4321)) or 3412 (I(3412)), connecting the point of view of the decomposition theorems with the one of the associated labelled Motzkin paths. The algebraic generating function of the simple involutions in I(4321) is given, together with other generating functions, while the set I(3412) is shown containing no simple involutions of length n>2. The reverse-complement bijection maintains the fine structures of I(4321) and trivially of I(3412).
Subquivers of mutation-acyclic quivers are mutation-acyclic
Quiver mutation plays a crucial role in the definition of cluster algebras by Fomin and Zelevinsky. It induces an equivalence relation on the set of all quivers without loops and two-cycles. A quiver is called mutation-acyclic if it is mutation-equivalent to an acyclic quiver. This note gives a proof that full subquivers of mutation-acyclic quivers are mutation-acyclic.
Extending Torelli map to toroidal compactifications of Siegel space
Published
• View Publication
• BIB
It has been known since the 1970s that the Torelli map $M_g \to A_g$, associating to a smooth curve its jacobian, extends to a regular map from the Deligne-Mumford compactification $\bar{M}_g$ to the 2nd Voronoi compactification $\bar{A}_g^{vor}$.
We prove that the extended Torelli map to the perfect cone (1st Voronoi) compactification $\bar{A}_g^{perf}$ is also regular, and moreover $\bar{A}_g^{vor}$ and $\bar{A}_g^{perf}$ share a common Zariski open neighborhood of the image of $\bar{M}_g$. We also show that the map to the Igusa monoidal transform (central cone compactification) is NOT regular for $g\ge9$; this disproves a 1973 conjecture of Namikawa.
Kron Reduction of Graphs with Applications to Electrical Networks
Published
• View Publication
• BIB
Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements corresponding to the self-loops. The Kron reduction of this graph is again a graph whose Laplacian matrix is obtained by the Schur complement of the original Laplacian matrix with respect to a subset of nodes. The Kron reduction process is ubiquitous in classic circuit theory and in related disciplines such as electrical impedance tomography, smart grid monitoring, transient stability assessment in power networks, or analysis and simulation of induction motors and power electronics. More general applications of Kron reduction occur in sparse matrix algorithms, multi-grid solvers, finite--element analysis, and Markov chains. The Schur complement of a Laplacian matrix and related concepts have also been studied under different names and as purely theoretic problems in the literature on linear algebra. In this paper we propose a general graph-theoretic framework for Kron reduction that leads to novel and deep insights both on the mathematical and the physical side. We show the applicability of our framework to various practical problem setups arising in engineering applications and computation. Furthermore, we provide a comprehensive and detailed graph-theoretic analysis of the Kron reduction process encompassing topological, algebraic, spectral, resistive, and sensitivity analyses. Throughout our theoretic elaborations we especially emphasize the practical applicability of our results.
Log concavity of $(1+x)^m (1+ x^k)$
Let $m$ and $k \geq 2$ be positive integers. We show that polynomial $P = (1+x)^m(1+x^k)$ is strongly unimodal (frequently known as {\it log concave\/}) if and only if $m \geq k^2 -3$; this is also the criterion for $P$ to be merely unimodal (that is, for $P$ of this form, unimodality implies strong unimodality).{ }In section 2, we investigate an analogous question, concerning the property $\EE$ of functions $f$ analytic on a neighbourhood of the unit circle [H2], and show that the corresponding minimal $m$ is rather surprisingly of order $k^4$.
Statistical model and BPS D4-D2-D0 counting
Published in JHEP 1105:072,2011
• View Publication
• BIB
We construct a statistical model that correctly reproduces the BPS partition function of D4-D2-D0 bound states on the resolved conifold. We prove that the known partition function of the BPS indices is reproduced by the counting "triangular partitions" problem. The wall-crossing phenomena in our model are also studied.
Fire Containment in Planar Graphs
Published in J. Graph Theory 73(3) (2013), 267-279
• View Publication
• BIB
In a graph $G$, a fire starts at some vertex. At every time step, firefighters can protect up to $k$ vertices, and then the fire spreads to all unprotected neighbours. The $k$-surviving rate $ρ_k(G)$ of $G$ is the expectation of the proportion of vertices that can be saved from the fire, if the starting vertex of the fire is chosen uniformly at random. For a given class of graphs $\cG$ we are interested in the minimum value $k$ such that $ρ_k(G)\geε$ for some constant $ε>0$ and all $G\in\cG$ i.e., such that linearly many vertices are expected to be saved in every graph from $\cG$).
In this note, we prove that for planar graphs this minimum value is at most 4, and that it is precisely 2 for triangle-free planar graphs.
The decimation process in random k-SAT
Published in SIAM Journal on Discrete Mathematics 26 (2012) 1471 - 1509
• View Publication
• BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. Non-rigorous statistical mechanics ideas have inspired a message passing algorithm called Belief Propagation Guided Decimation for finding satisfying assignments of F. This algorithm can be viewed as an attempt at implementing a certain thought experiment that we call the Decimation Process. In this paper we identify a variety of phase transitions in the decimation process and link these phase transitions to the performance of the algorithm.
Longest cycles in sparse random digraphs
Published
• View Publication
• BIB
Long paths and cycles in sparse random graphs and digraphs were studied intensively in the 1980's. It was finally shown by Frieze in 1986 that the random graph $\cG(n,p)$ with $p=c/n$ has a cycle on at all but at most $(1+ε)ce^{-c}n$ vertices with high probability, where $ε=ε(c)\to 0$ as $c\to\infty$. This estimate on the number of uncovered vertices is essentially tight due to vertices of degree 1. However, for the random digraph $\cD(n,p)$ no tight result was known and the best estimate was a factor of $c/2$ away from the corresponding lower bound. In this work we close this gap and show that the random digraph $\cD(n,p)$ with $p=c/n$ has a cycle containing all but $(2+ε)e^{-c}n$ vertices w.h.p., where $ε=ε(c)\to 0$ as $c\to\infty$. This is essentially tight since w.h.p. such a random digraph contains $(2e^{-c}-o(1))n$ vertices with zero in-degree or out-degree.
Pattern Matching in the Cycle Structure of Permutations
In this paper, we study the occurrence of patterns in the cycle structures of permutations.
The Kalmanson Complex
Let X be a finite set of cardinality n. The Kalmanson complex K_n is the simplicial complex whose vertices are non-trivial X-splits, and whose facets are maximal circular split systems over X. In this paper we examine K_n from three perspectives. In addition to the T-theoretic description, we show that K_n has a geometric realization as the Kalmanson conditions on a finite metric. A third description arises in terms of binary matrices which possess the circular ones property. We prove the equivalence of these three definitions. This leads to a simplified proof of the well-known equivalence between Kalmanson and circular decomposable metrics, as well as a partial description of the f-vector of K_n.
Noncommutative multiplicative norm identities for the quaternions and the octonions
We present Capelli type identities associated with the quaternions and the octonions, which are noncommutative versions of multiplicative norm identities for the quaternions and the octonions.
A refinement of weak order intervals into distributive lattices
Published
• View Publication
• BIB
In this paper we consider arbitrary intervals in the left weak order on the symmetric group $S_n$. We show that the Lehmer codes of permutations in an interval form a distributive lattice under the product order. Furthermore, the rank-generating function of this distributive lattice matches that of the weak order interval. We construct a poset such that its lattice of order ideals is isomorphic to the lattice of Lehmer codes of permutations in the given interval. We show that there are at least $\left(\lfloor\frac{n}{2}\rfloor\right)!$ permutations in $S_n$ that form a rank-symmetric interval in the weak order.
On the enumeration of labelled hypertrees and of labelled bipartite trees
We give a simple formula for the number of hypertrees with $k$ hyperedges of given sizes and $n+1$ labelled vertices with prescribed degrees. A slight generalization of this formula counts labelled bipartite trees with prescribed degrees in each class of vertices.
Polynomials for Crystal Frameworks and the Rigid Unit Mode Spectrum
Published
• View Publication
• BIB
To each discrete translationally periodic bar-joint framework $\C$ in $\bR^d$ we associate a matrix-valued function $Φ_\C(z)$ defined on the d-torus. The rigid unit mode spectrum $Ω(\C)$ of $\C$ is defined in terms of the multi-phases of phase-periodic infinitesimal flexes and is shown to correspond to the singular points of the function $z \to \rank Φ_\C(z)$ and also to the set of wave vectors of harmonic excitations which have vanishing energy in the long wavelength limit. To a crystal framework in Maxwell counting equilibrium, which corresponds to $Φ_\C(z)$ being square, the determinant of $Φ_\C(z)$ gives rise to a unique multi-variable polynomial $p_\C(z_1,\dots,z_d)$. For ideal zeolites the algebraic variety of zeros of $p_\C(z)$ on the d-torus coincides with the RUM spectrum. The matrix function is related to other aspects of idealised framework rigidity and flexibility and in particular leads to an explicit formula for the number of supercell-periodic floppy modes. In the case of certain zeolite frameworks in dimensions 2 and 3 direct proofs are given to show the maximal floppy mode property (order $N$). In particular this is the case for the cubic symmetry sodalite framework and some other idealised zeolites.
Interval graph limits
Published
• View Publication
• BIB
We work out the graph limit theory for dense interval graphs. The theory developed departs from the usual description of a graph limit as a symmetric function $W(x,y)$ on the unit square, with $x$ and $y$ uniform on the interval $(0,1)$. Instead, we fix a $W$ and change the underlying distribution of the coordinates $x$ and $y$. We find choices such that our limits are continuous. Connections to random interval graphs are given, including some examples. We also show a continuity result for the chromatic number and clique number of interval graphs. Some results on uniqueness of the limit description are given for general graph limits.
An extension of the Moser-Tardos algorithmic local lemma
Published
• View Publication
• BIB
A recent theorem of Bissacot, et al. proved using results about the cluster expansion in statistical mechanics extends the Lovász Local Lemma by weakening the conditions under which its conclusions holds. In this note, we prove an algorithmic analog of this result, extending Moser and Tardos's recent algorithmic Local Lemma, and providing an alternative proof of the theorem of Bissacot, et al. applicable in the Moser-Tardos algorithmic framework.
Contingency tables with uniformly bounded entries
We consider nonnegative integer matrices with specified row and column sums and upper bounds on the entries. We show that the logarithm of the number of such matrices is approximated by a concave function of the row and column sums. We give efficiently computable estimators for this function, including one suggested by a maximum-entropy random model; we show that these estimators are asymptotically exact as the dimension of the matrices goes to infinity. We finish by showing that, for kappa >= 2 and for sufficiently small row and column sums, the number of matrices with these row and column sums and with entries <= kappa is greater by an exponential factor than predicted by a heuristic of independence.
The geometry and combinatorics of cographic toric face rings
Published in Algebra Number Theory 7 (2013), no. 8, 1781--1815
• View Publication
• BIB
In this paper we define and study a ring associated to a graph that we call the cographic toric face ring, or simply the cographic ring. The cographic ring is the toric face ring defined by the following equivalent combinatorial structures of a graph: the cographic arrangement of hyperplanes, the Voronoi polytope, and the poset of totally cyclic orientations. We describe the properties of the cographic ring and, in particular, relate the invariants of the ring to the invariants of the corresponding graph. Our study of the cographic ring fits into a body of work on describing rings constructed from graphs. Among the rings that can be constructed from a graph, cographic rings are particularly interesting because they appear in the study of compactified Jacobians of nodal curves.
Planar flows and quadratic relations over semirings
Published
• View Publication
• BIB
Adapting Lindström's well-known construction, we consider a wide class of functions which are generated by flows in a planar acyclic directed graph whose vertices (or edges) take weights in an arbitrary commutative semiring. We give a combinatorial description for the set of "universal" quadratic relations valid for such functions. Their specializations to particular semirings involve plenty of known quadratic relations for minors of matrices (e.g., Plücker relations) and the tropical counterparts of such relations. Also some applications and related topics are discussed.