Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Positroids have the Rayleigh property
The Rayleigh property is a negative correlation property of electrical networks, which was generalized to matroids by Choe and Wagner. We prove that positroids, a class of matroid introduced by Postnikov which have seen many recent applications in both math and physics, have the Rayleigh property.
Invertibility and Largest Eigenvalue of Symmetric Matrix Signings
The spectra of signed matrices have played a fundamental role in social sciences, graph theory, and control theory. In this work, we investigate the computational problems of identifying symmetric signings of matrices with natural spectral properties. Our results are twofold:
1. We show NP-completeness for the following three problems: verifying whether a given matrix has a symmetric signing that is positive semi-definite/singular/has bounded eigenvalues. However, we also illustrate that the complexity could substantially differ for input matrices that are adjacency matrices of graphs.
2. We exhibit a stark contrast between invertibility and the above-mentioned spectral properties: we show a combinatorial characterization of matrices with invertible symmetric signings and design an efficient algorithm using this characterization to verify whether a given matrix has an invertible symmetric signing. Next, we give an efficient algorithm to solve the search problem of finding an invertible symmetric signing for matrices whose support graph is bipartite. We also provide a lower bound on the number of invertible symmetric signed adjacency matrices. Finally, we give an efficient algorithm to find a minimum increase in support of a given symmetric matrix so that it has an invertible symmetric signing.
We use combinatorial and spectral techniques in addition to classic results from matching theory. Our combinatorial characterization of matrices with invertible symmetric signings might be of independent interest.
Polynomial mixing of the edge-flip Markov chain for unbiased dyadic tilings
Published
• View Publication
• BIB
We give the first polynomial upper bound on the mixing time of the edge-flip Markov chain for unbiased dyadic tilings, resolving an open problem originally posed by Janson, Randall, and Spencer in 2002. A dyadic tiling of size n is a tiling of the unit square by n non-overlapping dyadic rectangles, each of area 1/n, where a dyadic rectangle is any rectangle that can be written in the form [a2^{-s}, (a+1)2^{-s}] \times [b2^{-t}, (b+1)2^{-t}] for non-negative integers a,b,s,t. The edge-flip Markov chain selects a random edge of the tiling and replaces it with its perpendicular bisector if doing so yields a valid dyadic tiling. Specifically, we show that the relaxation time of the edge-flip Markov chain for dyadic tilings is at most O(n^{4.09}), which implies that the mixing time is at most O(n^{5.09}). We complement this by showing that the relaxation time is at least Ω(n^{1.38}), improving upon the previously best lower bound of Ω(n\log n) coming from the diameter of the chain.
When is a scale-free graph ultra-small?
Published
• View Publication
• BIB
In this paper we study typical distances in the configuration model, when the degrees have asymptotically infinite variance. We assume that the empirical degree distribution follows a power law with exponent $τ\in (2,3)$, up to value $n^{β_n}$ for some $β_n\gg (\log n)^{-γ}$ and $γ\in(0,1)$. This assumption is satisfied for power law i.i.d. degrees, and also includes truncated power-law distributions where the (possibly exponential) truncation happens at $n^{β_n}$. We show that the graph distance between two uniformly chosen vertices centers around $2 \log \log (n^{β_n}) / |\log (τ-2)| + 1/(β_n(3-τ))$, with tight fluctuations. Thus, the graph is an \emph{ultrasmall world} whenever $1/β_n=o(\log\log n)$. We determine the distribution of the fluctuations around this value, in particular we prove that these are non-converging tight random variables that show $\log \log$-periodicity. We describe the topology and number of shortest paths: We show that the number of shortest paths is of order $n^{f_nβ_n}$, where $f_n \in (0,1)$ is a random variable that oscillates with $n$. The two end-segments of any shortest path have length $\log \log (n^{β_n}) / |\log (τ-2)|$+tight, and the total degree is increasing towards the middle of the path on these segments. The connecting middle segment has length $1/(β_n(3-τ))$+tight, and it contains only vertices with degree at least of order $n^{(1-f_n)β_n}$, thus all the degrees on this segment are comparable to the maximal degree. Our theorems also apply when instead of truncating the degrees, we start with a configuration model and we remove every vertex with degree at least $n^{β_n}$, and the edges attached to these vertices. This sheds light on the attack vulnerability of the configuration model with infinite variance degrees.
Large rainbow matchings in general graphs
Published
• View Publication
• BIB
By a theorem of Drisko, any $2n-1$ matchings of size $n$ in a bipartite graph have a partial rainbow matching of size $n$. Inspired by discussion of Barát, Gyárfás and Sárközy, we conjecture that if $n$ is odd then the same is true also in general graphs, and that if $n$ is even then $2n$ matchings of size $n$ suffice. We prove that any $3n-2$ matchings of size $n$ have a partial rainbow matching of size $n$.
Well-Quasi-Ordering versus Clique-Width: New Results on Bigenic Classes
Published
• View Publication
• BIB
Daligault, Rao and Thomassé asked whether a hereditary class of graphs well-quasi-ordered by the induced subgraph relation has bounded clique-width. Lozin, Razgon and Zamaraev recently showed that this is not true for classes defined by infinitely many forbidden induced subgraphs. However, in the case of finitely many forbidden induced subgraphs the question remains open and we conjecture that in this case the answer is positive. The conjecture is known to hold for classes of graphs defined by a single forbidden induced subgraph $H$, as such graphs are well-quasi-ordered and are of bounded clique-width if and only if $H$ is an induced subgraph of $P_4$. For bigenic classes of graphs, i.e. ones defined by two forbidden induced subgraphs, there are several open cases in both classifications. In the present paper we obtain a number of new results on well-quasi-orderability of bigenic classes, each of which supports the conjecture.
The number of parking functions with center of a given length
Published
• View Publication
• BIB
Let $1\leq r\leq n$ and suppose that, when the Depth-first Search Algorithm is applied to a given rooted labelled tree on $n+1$ vertices, exactly $r$ vertices are visited before backtracking. Let $R$ be the set of trees with this property. We count the number of elements of $R$.
For this purpose, we first consider a bijection, due to Parkinson, Yang and Yu, that maps $R$ onto the set of parking function with center (defined by the authors in a previous article) of size $r$. A second bijection maps this set onto the set of parking functions with run $r$, a property that we introduce here. We then prove that the number of length $n$ parking functions with a given run is the number of length $n$ rook words (defined by Leven, Rhoades and Wilson) with the same run. This is done by counting related lattice paths in a ladder-shaped region. We finally count the number of length $n$ rook words with run $r$, which is the answer to our initial question.
Periodic Parallelogram Polyominoes
Published
• View Publication
• BIB
A periodic parallelogram polyomino is a parallelogram polyomino such that we glue the first and the last column. In this work we extend a bijection between ordered trees and parallelogram polyominoes in order to compute the generating function of periodic parallelogram polyominoes with respect to the height, the width and the intrinsic thickness, a new statistic unrelated to the existing statistics on parallelogram polyominoes. Moreover we define a rotation over periodic parallelogram polyominoes, which induces a partitioning in equivalent classes called strips. We also compute the generating function of strips using the theory of Pólya.
On the coloring of 3-element subsets
In this paper we prove that for numbers $n = 8k+1$, such that $8k-1$ is prime, there exists the coloring of all 3-element subsets of {1, ..., n} such that any sets $A, B: |A\cap B|=2$ have different colors.
Extreme diagonally and antidiagonally symmetric alternating sign matrices of odd order
Published in Advances in Mathematics, Volume 367 (2020) 107125, 56pp
• View Publication
• BIB
For each $α\in \{0,1,-1 \}$, we count diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order with a maximal number of $α$'s along the diagonal and the antidiagonal, as well as DASASMs of fixed odd order with a minimal number of $0$'s along the diagonal and the antidiagonal. In these enumerations, we encounter product formulas that have previously appeared in plane partition or alternating sign matrix counting, namely for the number of all alternating sign matrices, the number of cyclically symmetric plane partitions in a given box, and the number of vertically and horizontally symmetric ASMs. We also prove several refinements. For instance, in the case of DASASMs with a maximal number of $-1$'s along the diagonal and the antidiagonal, these considerations lead naturally to the definition of alternating sign triangles. These are new objects that are equinumerous with ASMs, and we are able to prove a two parameter refinement of this fact, involving the number of $-1$'s and the inversion number on the ASM side. To prove our results, we extend techniques to deal with triangular six-vertex configurations that have recently successfully been applied to settle Robbins' conjecture on the number of all DASASMs of odd order. Importantly, we use a general solution of the reflection equation to prove the symmetry of the partition function in the spectral parameters. In all of our cases, we derive determinant or Pfaffian formulas for the partition functions, which we then specialize in order to obtain the product formulas for the various classes of extreme odd DASASMs under consideration.
The Length of the Longest Common Subsequence of Two Independent Mallows Permutations
Published in Annals of Applied Probability 2019, Vol. 29, No. 3, 1311-1355
• View Publication
• BIB
The Mallows measure is a probability measure on $S_n$ where the probability of a permutation $π$ is proportional to $q^{l(π)}$ with $q > 0$ being a parameter and $l(π)$ the number of inversions in $π$. We prove a weak law of large numbers for the length of the longest common subsequences of two independent permutations drawn from the Mallows measure, when $q$ is a function of $n$ and $n(1-q)$ has limit in $\mathbb{R}$ as $n \to \infty$.
Orbifolds and Exact Solutions of Strongly-Coupled Matrix Models
Published in Commun. Math. Phys. 361, 1235-1274 (2018)
• View Publication
• BIB
We find an exact solution to strongly-coupled matrix models with a single-trace monomial potential. Our solution yields closed form expressions for the partition function as well as averages of Schur functions. The results are fully factorized into a product of terms linear in the rank of the matrix and the parameters of the model. We extend our formulas to include both logarthmic and finite-difference deformations, thereby generalizing the celebrated Selberg and Kadell integrals. We conjecture a formula for correlators of two Schur functions in these models, and explain how our results follow from a general orbifold-like procedure that can be applied to any one-matrix model with a single-trace potential.
Non-crossing chords of a polygon with forbidden positions
In this paper, we systematically study non-crossing chords of simple polygons in the plane. We first introduce the reduced Euler characteristic of a family of line-segments, and subsequently investigate the structure of the diagonals and epigonals of a polygon. Interestingly enough, the reduced Euler characteristic of a subfamily of diagonals and epigonals characterizes the geometric convexity of polygons. In particular, an alternative and complete answer is given for a problem proposed by G. C. Shephard. Meanwhile, we extend such research to non-crossing diagonals and epigonals with forbidden positions in some appropriate sense. We prove that the reduced Euler characteristic of diagonals with forbidden positions only depends on the information involving convex partitions by those forbidden diagonals, and it determines the shapes of polygons in a surprising way. Incidentally, some kinds of generalized Catalan's numbers naturally arise.
On the algorithmic complexity of adjacent vertex closed distinguishing colorings number of graphs
Published
• View Publication
• BIB
An assignment of numbers to the vertices of graph G is closed distinguishing if for any two adjacent vertices v and u the sum of labels of the vertices in the closed neighborhood of the vertex v differs from the sum of labels of the vertices in the closed neighborhood of the vertex u unless they have the same closed neighborhood (i.e. N[u]=N[v]). The closed distinguishing number of G, denoted by dis[G], is the smallest integer k such that there is a closed distinguishing labeling for G using integers from the set[k].Also, for each vertex $v \in V(G)$, let L(v) denote a list of natural numbers available at v. A list closed distinguishing labeling is a closed distinguishing labeling f such that $f(v)\in L(v)$ for each $v \in V(G)$.A graph G is said to be closed distinguishing k-choosable if every k-list assignment of natural numbers to the vertices of G permits a list closed distinguishing labeling of G. The closed distinguishing choice number of G, $dis_{\ell}[G]$, is the minimum number k such that G is closed distinguishing k-choosable. We show that for each integer t there is a bipartite graph G such that $dis[G] > t$.It was shown that for every graph G with $Δ\geq 2$, $dis[G]\leq dis_{\ell}[G]\leq Δ^2-Δ+1$ and there are infinitely values of $Δ$ for which G might be chosen so that $dis[G] =Δ^2-Δ+1$. We show that the difference between $dis[G]$ and $dis_{\ell}[G]$ can be arbitrary large and for every positive integer t there is a graph G such that $dis_{\ell}[G]-dis[G]\geq t$. We improve the current upper bound and give some number of upper bounds for the closed distinguishing choice number by using the Combinatorial Nullstellensatz. We show that it is $\mathbf{NP}$-complete to decide for a given planar subcubic graph G, whether dis[G]=2. Also, we prove that for every $k\geq 3$, it is {\bf NP}-complete to decide whether $dis[G]=k$ for a given graph G
Fair representation by independent sets
Published
• View Publication
• BIB
For a hypergraph $H$ let $β(H)$ denote the minimal number of edges from $H$ covering $V(H)$. An edge $S$ of $H$ is said to represent {\em fairly} (resp. {\em almost fairly}) a partition $(V_1,V_2, \ldots, V_m)$ of $V(H)$ if $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor$ (resp. $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor-1$) for all $i \le m$.
In matroids any partition of $V(H)$ can be represented fairly by some independent set. We look for classes of hypergraphs $H$ in which any partition of $V(H)$ can be represented almost fairly by some edge.
We show that this is true when $H$ is the set of independent sets in a path, and conjecture that it is true when $H$ is the set of matchings in $K_{n,n}$. We prove that partitions of $E(K_{n,n})$ into three sets can be represented almost fairly. The methods of proofs are topological.
Some Properties of the Nil-Graphs of Ideals of Commutative Rings
Let $R$ be a commutative ring with identity and ${\rm Nil}(R)$ be the set of nilpotent elements of $R$. The nil-graph of ideals of $R$ is defined as the graph $\mathbb{AG}_N(R)$ whose vertex set is $\{I:\ (0)\neq I\lhd R$ and there exists a non-trivial ideal $J$ such that $IJ\subseteq {\rm Nil}(R)\}$ and two distinct vertices $I$ and $J$ are adjacent if and only if $IJ\subseteq {\rm Nil}(R)$. Here, we study conditions under which $\mathbb{AG}_N(R)$ is complete or bipartite. Also, the independence number of $\mathbb{AG}_N(R)$ is determined, where $R$ is a reduced ring. Finally, we classify Artinian rings whose nil-graphs of ideals have genus at most one.
Indecomposable $1$-factorizations of the complete multigraph $λK_{2n}$ for every $λ\leq 2n$
Published
• View Publication
• BIB
A $1$-factorization of the complete multigraph $λK_{2n}$ is said to be indecomposable if it cannot be represented as the union of $1$-factorizations of $λ_0 K_{2n}$ and $(λ-λ_0) K_{2n}$, where $λ_0<λ$. It is said to be simple if no $1$-factor is repeated. For every $n\geq 9$ and for every $(n-2)/3\leqλ\leq 2n$, we construct an indecomposable $1$-factorization of $λK_{2n}$ which is not simple. These $1$-factorizations provide simple and indecomposable $1$-factorizations of $λK_{2s}$ for every $s\geq 18$ and $2\leqλ\leq 2\lfloor s/2\rfloor-1$. We also give a generalization of a result by Colbourn et al. which provides a simple and indecomposable $1$-factorization of $λK_{2n}$, where $2n=p^m+1$, $λ=(p^m-1)/2$, $p$ prime.
The number of satisfying assignments of random regular k-SAT formulas
Published
• View Publication
• BIB
Let $Φ$ be a random $k$-SAT formula in which every variable occurs precisely $d$ times positively and $d$ times negatively. Assuming that $k$ is sufficiently large and that $d$ is slightly below the critical degree where the formula becomes unsatisfiable with high probability, we determine the limiting distribution of the logarithm of the number of satisfying assignments.
A characterization of Tutte-Coxeter graph
We give a natural generalization of the Tutte-Coxeter graph in a natural way and prove that the Tutte-Coxeter graph is the only vertex-transitive (edge-transitive) graph among all generalized Tutte-Coxeter graphs.
A $\overrightarrow{P_{3}}$-decomposition of tournaments and bipartite digraphs
Published
• View Publication
• BIB
A $\overrightarrow{P_{3}}$-decomposition of a directed graph $D$ is a partition of the arcs of $D$ into directed paths of length $2$. In this paper, we give a characterization for a tournament and a bipartite digraph admitting a $\overrightarrow{P_{3}}$-decomposition. This solves a problem posed by Diwan ($\overrightarrow{P_{3}}$-decomposition of directed graphs, Discrete Appl. Math., http:// dx.doi.org/10.1016/j.dam.2016.01.039.).