Showing 20 papers (Total: 82505 papers, 47699 authors in database)
The freeness of Ish arrangements
Published in Journal of Combinatorial Theory, Series A Volume 146, February 2017, Pages 169-183
• View Publication
• BIB
The Ish arrangement was introduced by Armstrong to give a new interpretation of the $q,t$-Catalan numbers of Garsia and Haiman. Armstrong and Rhoades showed that there are some striking similarities between the Shi arrangement and the Ish arrangement and posed some problems. One of them is whether the Ish arrangement is a free arrangement or not. In this paper, we verify that the Ish arrangement is supersolvable and hence free. Moreover, we give a necessary and sufficient condition for the deleted Ish arrangement to be free.
A simple arithmetic criterion for graphs being determined by their generalized spectra
Published
• View Publication
• BIB
A graph $G$ is said to be determined by its generalized spectrum (DGS for short) if for any graph $H$, $H$ and $G$ are cospectral with cospectral complements implies that $H$ is isomorphic to $G$.
It turns out that whether a graph $G$ is DGS is closely related to the arithmetic properties of its walk-matrix. More precisely, let $A$ be the adjacency matrix of a graph $G$, and let $W =[e, Ae, A^2e,...,A^{n-1}e]$ ($e$ is the all-one vector) be its \textit{walk-matrix}. Denote by $\mathcal{G}_n$ the set of all graphs on $n$ vertices with $\det(W)\neq 0$. In [Wang, Generalized spectral characterization of graphs revisited, The Electronic J. Combin., 20 (4),(2013), #$P_4$], the author defined a large family of graphs $$\mathcal{F}_n = \{G \in{\mathcal{G}_n}|\frac{\det(W)}{2^{\lfloor\frac{n}{2}\rfloor}}{is~ an ~odd~ square-free~ integer}\}$$ (which may have positive density among all graphs, as suggested by some numerical experiments) and conjectured every graph in $\mathcal{F}_n$ is DGS.
In this paper, we show that the conjecture is actually true, thereby giving a simple arithmetic condition for determining whether a graph is DGS.
A positive temperature phase transition in random hypergraph 2-coloring
Published in Annals of Applied Probability 2016, Vol. 26, No. 3, 1362-1406
• View Publication
• BIB
Diluted mean-field models are graphical models in which the geometry of interactions is determined by a sparse random graph or hypergraph. Based on a nonrigorous but analytic approach called the "cavity method", physicists have predicted that in many diluted mean-field models a phase transition occurs as the inverse temperature grows from $0$ to $\infty$ [Proc. National Academy of Sciences 104 (2007) 10318-10323]. In this paper, we establish the existence and asymptotic location of this so-called condensation phase transition in the random hypergraph $2$-coloring problem.
There are no Coincidences
This paper is inspired by a seqfan post by Jeremy Gardiner. The post listed nine sequences with similar parities. In this paper I prove that the similarities are not a coincidence but a mathematical fact.
Robust hamiltonicity of random directed graphs
Published
• View Publication
• BIB
In his seminal paper from 1952 Dirac showed that the complete graph on $n\geq 3$ vertices remains Hamiltonian even if we allow an adversary to remove $\lfloor n/2\rfloor$ edges touching each vertex. In 1960 Ghouila-Houri obtained an analogue statement for digraphs by showing that every directed graph on $n\geq 3$ vertices with minimum in- and out-degree at least $n/2$ contains a directed Hamilton cycle. Both statements quantify the robustness of complete graphs (digraphs) with respect to the property of containing a Hamilton cycle.
A natural way to generalize such results to arbitrary graphs (digraphs) is using the notion of \emph{local resilience}. The local resilience of a graph (digraph) $G$ with respect to a property $\mathcal{P}$ is the maximum number $r$ such that $G$ has the property $\mathcal{P}$ even if we allow an adversary to remove an $r$-fraction of (in- and out-going) edges touching each vertex. The theorems of Dirac and Ghouila-Houri state that the local resilience of the complete graph and digraph with respect to Hamiltonicity is $1/2$. Recently, this statements have been generalized to random settings. Lee and Sudakov (2012) proved that the local resilience of a random graph with edge probability $p=ω(\log n /n)$ with respect to Hamiltonicity is $1/2\pm o(1)$. For random directed graphs, Hefetz, Steger and Sudakov (2014+) proved an analogue statement, but only for edge probability $p=ω(\log n/\sqrt{n})$. In this paper we significantly improve their result to $p=ω(\log^8 n/ n)$, which is optimal up to the polylogarithmic factor.
Minimum Forcing Sets for Miura Folding Patterns
Published in ACM-SIAM Symposium on Discrete Algorithms (SODA15), (2015), 136-147
• View Publication
• BIB
We introduce the study of forcing sets in mathematical origami. The origami material folds flat along straight line segments called creases, each of which is assigned a folding direction of mountain or valley. A subset $F$ of creases is forcing if the global folding mountain/valley assignment can be deduced from its restriction to $F$. In this paper we focus on one particular class of foldable patterns called Miura-ori, which divide the plane into congruent parallelograms using horizontal lines and zig-zag vertical lines. We develop efficient algorithms for constructing a minimum forcing set of a Miura-ori map, and for deciding whether a given set of creases is forcing or not. We also provide tight bounds on the size of a forcing set, establishing that the standard mountain-valley assignment for the Miura-ori is the one that requires the most creases in its forcing sets. Additionally, given a partial mountain/valley assignment to a subset of creases of a Miura-ori map, we determine whether the assignment domain can be extended to a locally flat-foldable pattern on all the creases. At the heart of our results is a novel correspondence between flat-foldable Miura-ori maps and $3$-colorings of grid graphs.
Cohomology classes of interval positroid varieties and a conjecture of Liu
Published
• View Publication
• BIB
To each finite subset of $\mathbb{Z}^2$ (a diagram), one can associate a subvariety of a complex Grassmannian (a diagram variety), and a representation of a symmetric group (a Specht module). Liu has conjectured that the cohomology class of a diagram variety is represented by the Frobenius characteristic of the corresponding Specht module. We give a counterexample to this conjecture.
However, we show that for the diagram variety of a permutation diagram, Liu's conjectured cohomology class $σ$ is at least an upper bound on the actual class $τ$, in the sense that $σ- τ$ is a nonnegative linear combination of Schubert classes. To do this, we exhibit the appropriate diagram variety as a component in a degeneration of one of Knutson's interval positroid varieties (up to Grassmann duality). A priori, the cohomology classes of these interval positroid varieties are represented by affine Stanley symmetric functions. We give a different formula for these classes as ordinary Stanley symmetric functions, one with the advantage of being Schur-positive and compatible with inclusions between Grassmannians.
Distinguishing graphs with zeta functions and generalized spectra
Published in Linear Algebra Appl. 481 (2015) 54-82
• View Publication
• BIB
Conjecturally, almost all graphs are determined by their spectra. This problem has also been studied for variants such as the spectra of the Laplacian and signless Laplacian. Here we consider the problem of determining graphs with Ihara and Bartholdi zeta functions, which are also computable in polynomial time. These zeta functions are geometrically motivated, but can be viewed as certain generalizations of characteristic polynomials. After discussing some graph properties determined by zeta functions, we show that large classes of cospectral graphs can be distinguished with zeta functions and enumerate graphs distinguished by zeta functions on $\le 11$ vertices. This leads us to conjecture that almost all graphs which are not determined by their spectrum are determined by zeta functions.
Along the way, we make some observations about the usual types of spectra and disprove a conjecture of Setyadi and Storm about Ihara zeta functions determining degree sequences.
Notes on dual-critical graphs
We define dual-critical graphs as graphs having an acyclic orientation, where the indegrees are odd except for the unique source. We have very limited knowledge about the complexity of dual-criticality testing. By the definition the problem is in NP, and a result of Balázs and Christian Szegedy provides a randomized polynomial algorithm, which relies on formal matrix rank computing. It is unknown whether dual-criticality test can be done in deterministic polynomial time. Moreover, the question of being in co-NP is also open.
We give equivalent descriptions for dual-critical graphs in the general case, and further equivalent descriptions in the special cases of planar graphs and 3-regular graphs. These descriptions provide polynomial algorithms for these special classes. We also give an FPT algorithm for a relaxed version of dual-criticality called $k$-dual-criticality.
Sets with few distinct distances do not have heavy lines
Published in Discrete Math., 338 (2015): 1484--1492
• View Publication
• BIB
Let $P$ be a set of $n$ points in the plane that determines at most $n/5$ distinct distances. We show that no line can contain more than $O(n^{43/52}{\rm polylog}(n))$ points of $P$. We also show a similar result for rectangular distances, equivalent to distances in the Minkowski plane, where the distance between a pair of points is the area of the axis-parallel rectangle that they span.
On optimality and construction of circular repeated-measurements designs
Published
• View Publication
• BIB
The aim of this paper is to characterize and construct universally optimal designs among the class of circular repeated-measurements designs when the parameters do not permit balance for carry-over effects. It is shown that some circular weakly neighbour balanced designs defined by Filipiak and Markiewicz These results extend the work of Magda, Kunert, Filipiak and Markiewicz.
On General Frameworks and Threshold Functions for Multiple Domination
Published
• View Publication
• BIB
We consider two general frameworks for multiple domination, which are called <r,s>-domination and parametric domination. They generalise and unify {k}-domination, k-domination, total k-domination and k-tuple domination. In this paper, known upper bounds for the classical domination are generalised for the <r,s>-domination and parametric domination numbers. These generalisations imply new upper bounds for the {k}-domination and total k-domination numbers. Also, we study threshold functions, which impose additional restrictions on the minimum vertex degree, and present new upper bounds for the aforementioned numbers. Those bounds extend similar known results for k-tuple domination and total k-domination.
A combinatorial interpretation for Schreyer's tetragonal invariants
Published
• View Publication
• BIB
Schreyer has proved that the graded Betti numbers of a canonical tetragonal curve are determined by two integers $b_1$ and $b_2$, associated to the curve through a certain geometric construction. In this article we prove that in the case of a smooth projective tetragonal curve on a toric surface, these integers have easy interpretations in terms of the Newton polygon of its defining Laurent polynomial. We can use this to prove an intrinsicness result on Newton polygons of small lattice width.
A minimal set of generators for the canonical ideal of a non-degenerate curve
Published
• View Publication
• BIB
We give an explicit way of writing down a minimal set of generators for the canonical ideal of a non-degenerate curve, or of a more general smooth projective curve in a toric surface, in terms of its defining Laurent polynomial.
Cyclic inclusion-exclusion
Published in Siam J. Disc. Math., 29 (4), pp. 2284-2311, 2015
• Search Publication
Following the lead of Stanley and Gessel, we consider a morphism which associates to an acyclic directed graph (or a poset) a quasi-symmetric function. The latter is naturally defined as multivariate generating series of non-decreasing functions on the graph. We describe the kernel of this morphism, using a simple combinatorial operation that we call cyclic inclusion-exclusion. Our result also holds for the natural noncommutative analog and for the commutative and noncommutative restrictions to bipartite graphs. An application to the theory of Kerov character polynomials is given.
Packing a randomly edge-colored random graph with rainbow $k$-outs
Let $G$ be a graph on $n$ vertices and let $k$ be a fixed positive integer. We denote by $\mathcal G_{\text{$k$-out}}(G)$ the probability space consisting of subgraphs of $G$ where each vertex $v\in V(G)$ randomly picks $k$ neighbors from $G$, independently from all other vertices. We show that if $δ(G)=ω(\log n)$ and $k\geq 2$, then the following holds for every $p=ω(\log n/δ(G))$. Let $H$ be a random graph obtained by keeping each $e\in E(G)$ with probability $p$ independently at random and then coloring its edges independently and uniformly at random with elements from the set $[kn]$. Then, w.h.p. $H$ contains $t:=(1-o(1))δ(G)p/(2k)$ edge-disjoint graphs $H_1,...,H_t$ such that each of the $H_i$ is \emph{rainbow} (that is, all the edges are colored with distinct colors), and such that for every monotone increasing property of graphs $\mathcal P$ and for every $1\leq i\leq t$ we have $\Pr[\mathcal G_{\text{$k$-out}}(G)\models \mathcal P]\leq \Pr[H_i\models \mathcal P]+n^{-ω(1)}$. Note that since (in this case) a typical member of $\mathcal G_{\text{$k$-out}}(G)$ has average degree roughly $2k$, this result is asymptotically best possible. We present several applications of this; for example, we use this result to prove that for $p=ω(\log n/n)$ and $c=23n$, a graph $H\sim \mathcal G_{c}(K_n,p)$ w.h.p. contains $(1-o(1))np/46$ edge-disjoint rainbow Hamilton cycles. More generally, using a recent result of Frieze and Johansson, the same method allows us to prove that if $G$ has minimum degree $δ(G)\geq (1+\varepsilon)n/2$, then there exist functions $c=O(n)$ and $t=Θ(np)$ (depending on $\varepsilon$) such that the random subgraph $H\sim \mathcal G_{c}(G,p)$ w.h.p. contains $t$ edge-disjoint rainbow Hamilton cycles.
Almost Separable Matrices
Published in Journal of Combinatorial Optimization, 33:1, 215-236, 2017
• View Publication
• BIB
An $m \times n$ matrix $\mathsf{A}$ with column supports $\{S_i\}$ is $k$-separable if the disjunctions $\bigcup_{i \in \mathcal{K}} S_i$ are all distinct over all sets $\mathcal{K}$ of cardinality $k$. While a simple counting bound shows that $m > k \log_2 n/k$ rows are required for a separable matrix to exist, in fact it is necessary for $m$ to be about a factor of $k$ more than this. In this paper, we consider a weaker definition of `almost $k$-separability', which requires that the disjunctions are `mostly distinct'. We show using a random construction that these matrices exist with $m = O(k \log n)$ rows, which is optimal for $k = O(n^{1-β})$. Further, by calculating explicit constants, we show how almost separable matrices give new bounds on the rate of nonadaptive group testing.
Computing the partition function for graph homomorphisms with multiplicities
Published
• View Publication
• BIB
We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions for independent sets, perfect matchings, Hamiltonian cycles and dense subgraphs in graphs as well as for graph colorings. This allows us to tell apart in quasi-polynomial time graphs that are sufficiently far from having a structure of a given type (i.e., independent set of a given size, Hamiltonian cycle, etc.) from graphs that have sufficiently many structures of that type, even when the probability to hit such a structure at random is exponentially small.
Edge number report 1: State of the art estimates for $n \leq 43$
This first extracted report contains all lower and upper bounds for e-numbers $e(3,k;n)$, for $n \leq 43$, that I know. All but 24 of them are known (exactly).Very little of the proofs is given. A few consequences for upper classical Ramsey number bounds are mentioned.
Exact goodness-of-fit testing for the Ising model
Published
• View Publication
• BIB
The Ising model is one of the simplest and most famous models of interacting systems. It was originally proposed to model ferromagnetic interactions in statistical physics and is now widely used to model spatial processes in many areas such as ecology, sociology, and genetics, usually without testing its goodness of fit. Here, we propose various test statistics and an exact goodness-of-fit test for the finite-lattice Ising model. The theory of Markov bases has been developed in algebraic statistics for exact goodness-of-fit testing using a Monte Carlo approach. However, finding a Markov basis is often computationally intractable. Thus, we develop a Monte Carlo method for exact goodness-of-fit testing for the Ising model which avoids computing a Markov basis and also leads to a better connectivity of the Markov chain and hence to a faster convergence. We show how this method can be applied to analyze the spatial organization of receptors on the cell membrane.