Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Doubly Balanced Connected Graph Partitioning
Published
• View Publication
• BIB
We introduce and study the Doubly Balanced Connected graph Partitioning (DBCP) problem: Let $G=(V,E)$ be a connected graph with a weight (supply/demand) function $p:V\rightarrow \{-1,+1\}$ satisfying $p(V)=\sum_{j\in V} p(j)=0$. The objective is to partition $G$ into $(V_1,V_2)$ such that $G[V_1]$ and $G[V_2]$ are connected, $|p(V_1)|,|p(V_2)|\leq c_p$, and $\max\{\frac{|V_1|}{|V_2|},\frac{|V_2|}{|V_1|}\}\leq c_s$, for some constants $c_p$ and $c_s$. When $G$ is 2-connected, we show that a solution with $c_p=1$ and $c_s=3$ always exists and can be found in polynomial time. Moreover, when $G$ is 3-connected, we show that there is always a `perfect' solution (a partition with $p(V_1)=p(V_2)=0$ and $|V_1|=|V_2|$, if $|V|\equiv 0 (\mathrm{mod}~4)$), and it can be found in polynomial time. Our techniques can be extended, with similar results, to the case in which the weights are arbitrary (not necessarily $\pm 1$), and to the case that $p(V)\neq 0$ and the excess supply/demand should be split evenly. They also apply to the problem of partitioning a graph with two types of nodes into two large connected subgraphs that preserve approximately the proportion of the two types.
Rational exponents for hypergraph Turan problems
Published
• View Publication
• BIB
Given a family of $k$-hypergraphs $\mathcal{F}$, $ex(n,\mathcal{F})$ is the maximum number of edges a $k$-hypergraph can have, knowing that said hypergraph has $n$ vertices but contains no copy of any hypergraph from $\mathcal{F}$ as a subgraph. We prove that for every rational $r$ between $0$ and $k-1$, there exists some finite family $\mathcal{F}$ of $k$-hypergraphs for which $ex(n,\mathcal{F})=Θ(n^{k-r})$.
Anti-Power Prefixes of the Thue-Morse Word
Published
• View Publication
• BIB
Recently, Fici, Restivo, Silva, and Zamboni defined a $k$-anti-power to be a word of the form $w_1w_2\cdots w_k$, where $w_1,w_2,\ldots,w_k$ are distinct words of the same length. They defined $AP(x,k)$ to be the set of all positive integers $m$ such that the prefix of length $km$ of the word $x$ is a $k$-anti-power. Let ${\bf t}$ denote the Thue-Morse word, and let $\mathcal F(k)=AP({\bf t},k)\cap(2\mathbb Z^+-1)$. For $k\geq 3$, $γ(k)=\min(\mathcal F(k))$ and $Γ(k)=\max((2\mathbb Z^+-1)\setminus\mathcal F(k))$ are well-defined odd positive integers. Fici et al. speculated that $γ(k)$ grows linearly in $k$. We prove that this is indeed the case by showing that $1/2\leq\displaystyle{\liminf_{k\to\infty}}(γ(k)/k)\leq 9/10$ and $1\leq\displaystyle{\limsup_{k\to\infty}}(γ(k)/k)\leq 3/2$. In addition, we prove that $\displaystyle{\liminf_{k\to\infty}}(Γ(k)/k)=3/2$ and $\displaystyle{\limsup_{k\to\infty}}(Γ(k)/k)=3$.
On the dimension of twisted centralizer codes
Published
• View Publication
• BIB
Given a field $F$, a scalar $λ\in F$ and a matrix $A\in F^{n\times n}$, the twisted centralizer code $C_F(A,λ):=\{B\in F^{n\times n}\mid AB-λBA=0\}$ is a linear code of length $n^2$. When $A$ is cyclic and $λ\ne0$ we prove that $\dim C_F(A,λ)=\mathrm{deg}(\gcd(c_A(t),λ^n c_A(λ^{-1}t)))$ where $c_A(t)$ denotes the characteristic polynomial of $A$. We also show how $C_F(A,λ)$ decomposes, and we estimate the probability that $C_F(A,λ)$ is nonzero when $|F|$ is finite. Finally, we prove $\dim C_F(A,λ)\leqslant n^2/2$ for $λ\not\in\{0,1\}$ and `almost all' matrices $A$.
On the Sylvester-Gallai and the orchard problem for pseudoline arrangements
Published in Periodica Mathematica Hungarica 77(2): 164 -- 174 (2018)
• View Publication
• BIB
We study a non-trivial extreme case of the orchard problem for $12$ pseudolines and we provide a complete classification of pseudoline arrangements having $19$ triple points and $9$ double points. We have also classified those that can be realized with straight lines. They include new examples different from the known example of Böröczky. Since Melchior's inequality also holds for arrangements of pseudolines, we are able to deduce that some combinatorial point-line configurations cannot be realized using pseudolines. In particular, this gives a negative answer to one of Grünbaum's problems. We formulate some open problems which involve our new examples of line arrangements.
A Sharp upper bound for the spectral radius of a nonnegative matrix and applications
Published
• View Publication
• BIB
In this paper, we obtain a sharp upper bound for the spectral radius of a nonnegative matrix. This result is used to present upper bounds for the adjacency spectral radius, the Laplacian spectral radius, the signless Laplacian spectral radius, the distance spectral radius, the distance Laplacian spectral radius, the distance signless Laplacian spectral radius of a graph or a digraph. These results are new or generalize some known results.
Covers of generalized quadrangles
Published
• View Publication
• BIB
We solve a problem posed by Cardinali and Sastry [2] about factorization of $2$-covers of finite classical generalized quadrangles. To that end, we develop a general theory of cover factorization for generalized quadrangles, and in particular we study the isomorphism problem for such covers and associated geometries. As a byproduct, we obtain new results about semipartial geometries coming from $θ$-covers, and consider related problems.
Distance proper connection of graphs and their complements
Let $G$ be an edge-colored connected graph. A path $P$ in $G$ is called a distance $\ell$-proper path if no two edges of the same color can appear with less than $\ell$ edges in between on $P$. The graph $G$ is called $(k,\ell)$-proper connected if there is an edge-coloring such that every pair of distinct vertices of $G$ are connected by $k$ pairwise internally vertex-disjoint distance $\ell$-proper paths in $G$. The minimum number of colors needed to make $G$ $(k,\ell)$-proper connected is called the $(k,\ell)$-proper connection number of $G$ and denoted by $pc_{k,\ell}(G)$. In this paper we first focus on the $(1,2)$-proper connection number of $G$ depending on some constraints of $\overline G$. Then, we characterize the graphs of order $n$ with $(1,2)$-proper connection number $n-1$ or $n-2$. Using this result, we investigate the Nordhaus-Gaddum-Type problem of $(1,2)$-proper connection number and prove that $pc_{1,2}(G)+pc_{1,2}(\overline{G})\leq n+2$ for connected graphs $G$ and $\overline{G}$. The equality holds if and only if $G$ or $\overline{G}$ is isomorphic to a double star.
Restricted Stirling permutations
Published
• View Publication
• BIB
In this paper, we study the generating functions for the number of pattern restricted Stirling permutations with a given number of plateaus, descents and ascents. Properties of the generating functions, including symmetric properties and explicit formulas are studied. Combinatorial explanations are given for some equidistributions.
Simion's type $B$ associahedron is a pulling triangulation of the Legendre polytope
Published
• View Publication
• BIB
We show that Simion's type $B$ associahedron is combinatorially equivalent to a pulling triangulation of a type $B$ root polytope called the Legendre polytope. Furthermore, we show that every pulling triangulation of the Legendre polytope yields a flag complex. Our triangulation refines a decomposition of the Legendre polytope given by Cho. We extend Cho's cyclic group action to the triangulation in such a way that it corresponds to rotating centrally symmetric triangulations of a regular $(2n+2)$-gon. Finally, we present a bijection between the faces of the Simion's type $B$ associahedron and Delannoy paths.
Families with no $s$ pairwise disjoint sets
Published
• View Publication
• BIB
For integers $n\ge s\ge 2$ let $e(n,s)$ denote the maximum of $|\mathcal F|,$ where $\mathcal F$ is a family of subsets of an $n$-element set and $\mathcal F$ contains no $s$ pairwise disjoint members. Half a century ago, solving a conjecture of Erd\H os, Kleitman determined $e(sm-1,s)$ and $e(sm,s)$ for all $m,s\ge 1$. During the years very little progress in the general case was made.
In the present paper we state a general conjecture concerning the value of $e(sm-l,m)$ for $1<l<s$ and prove its validity for $s>s_0(l,m).$ For $l=2$ we determine the value of $e(sm-2,m)$ for all $s\ge 5.$
Some related results shedding light on the problem from a more general context are proved as well.
Two problems on matchings in set families - in the footsteps of Erdős and Kleitman
Published
• View Publication
• BIB
The families $\mathcal F_1,\ldots, \mathcal F_s\subset 2^{[n]}$ are called $q$-dependent if there are no pairwise disjoint $F_1\in \mathcal F_1,\ldots, F_s\in\mathcal F_s$ satisfying $|F_1\cup\ldots\cup F_s|\le q.$ We determine $\max |\mathcal F_1|+\ldots +|\mathcal F_s| $ for all values $n\ge q,s\ge 2$. The result provides a far-reaching generalization of an important classical result of Kleitman.
The well-known Erd\H os Matching Conjecture suggests the largest size of a family $\mathcal F\subset {[n]\choose k}$ with no $s$ pairwise disjoint sets. After more than 50 years its full solution is still not in sight. In the present paper, we provide a Hilton-Milner-type stability theorem for the Erdős Matching Conjecture in a relatively wide range, in particular, for $n\ge (2+o(1))sk$ with $o(1)$ depending on $s$ only. This is a considerable improvement of a classical result due to Bollobás, Daykin and Erdős.
We apply our results to advance in the following anti-Ramsey-type problem, proposed by Özkahya and Young. Let $ar(n,k,s)$ be the minimum number $x$ of colors such that in any coloring of the $k$-element subsets of $[n]$ with $x$ (non-empty) colors there is a \textit{rainbow matching} of size $s$, that is, $s$ sets of different colors that are pairwise disjoint. We prove a stability result for the problem, which allows to determine $ar(n,k,s)$ for all $k\ge 3$ and $n\ge sk+(s-1)(k-1).$ Some other consequences of our results are presented as well.
Fine structure of moments of the KMK transform of the Poissonized Plancharel measure
We consider asymptotics behavior of Poissonized Plancharel measures as the poissonization parameter $N$ goes to infinity. Recently Moll proved a convergent series expansion for statistics of a measure $μ_λ$ which is the Kerov-Markov-Krein transform of the signed measure on corners a Jack-random partition $λ$. The measure $μ_λ$ is of interest because it behaves in some ways like the empirical measure on eigenvalues of a GUE-random matrix. We prove for the Poissonized Plancharel case that the large $N$ series for moments of $μ_λ$ have a recursive structure as rational expressions in the generating function for Catalan numbers. We discuss the analogy between our result and the fine structure of moments of the GUE.
Extremal anti-forcing numbers of perfect matchings of graphs
Published
• View Publication
• BIB
The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimal number of edges not in $M$ whose removal to make $M$ as a unique perfect matching of the resulting graph. The set of anti-forcing numbers of all perfect matchings of $G$ is the anti-forcing spectrum of $G$. In this paper, we characterize the plane elementary bipartite graph whose minimum anti-forcing number is one. We show that the maximum anti-forcing number of a graph is at most its cyclomatic number. In particular, we characterize the graphs with the maximum anti-forcing number achieving the upper bound, such extremal graphs are a class of plane bipartite graphs. Finally, we determine the anti-forcing spectrum of an even polygonal chain in linear time.
On spanning trees with high internal degree
Alon and Wormald showed that any graph with minimum degree d contains a spanning star forest in which every connected component is of size at least Ω((d/\log d)^{1/3}). They asked if any connected graph with minimum degree at least d has a spanning tree in which every internal vertex has degree at least cd/\log d, for some absolute constant c > 0.
We give a simple example showing that this is not the case.
Laplacian spectral characterization of roses
Published in Linear Algebra and its Applications 536 (2018), 19-30
• View Publication
• BIB
A rose graph is a graph consisting of cycles that all meet in one vertex. We show that except for two specific examples, these rose graphs are determined by the Laplacian spectrum, thus proving a conjecture posed by Lui and Huang [F.J. Liu and Q.X. Huang, Laplacian spectral characterization of 3-rose graphs, Linear Algebra Appl. 439 (2013), 2914--2920]. We also show that if two rose graphs have a so-called universal Laplacian matrix with the same spectrum, then they must be isomorphic. In memory of Horst Sachs (1927-2016), we show the specific case of the latter result for the adjacency matrix by using Sachs' theorem and a new result on the number of matchings in the disjoint union of paths.
On the spectral radius of a random matrix: an upper bound without fourth moment
Published in The Annals of Probability 2018, Vol. 46, No. 4, 2268-2286
• View Publication
• BIB
Consider a square matrix with independent and identically distributed entries of zero mean and unit variance. It is well known that if the entries have a finite fourth moment, then, in high dimension, with high probability, the spectral radius is close to the square root of the dimension. We conjecture that this holds true under the sole assumption of zero mean and unit variance, in other words that there are no outliers in the circular law. In this work we establish the conjecture in the case of symmetrically distributed entries with a finite moment of order larger than two. The proof uses the method of moments combined with a novel truncation technique for cycle weights that might be of independent interest.
On the abelianity of the stochastic sandpile model
We consider a stochastic variant of the Abelian Sandpile Model (ASM) on a finite graph, introduced by Chan, Marckert and Selig. Even though it is a more general model, some nice properties still hold. We show that on a certain probability space, even if we lose the group structure due to topplings not being deterministic, some operators still commute. As a corollary, we show that the stationary distribution still does not depend on how sand grains are added onto the graph in our model, answering a conjecture of Selig.
Set Reconstruction on the Hypercube
Published in Discrete Analysis, 2017:17, 10 pp
• View Publication
• BIB
Given an action of a group $G$ on a set $S$, the $k$-deck of a subset $T$ of $S$ is the multiset of all subsets of $T$ of size $k$, each given up to translation by $G$. For a given subset $T$, the {\em reconstruction number} of $T$ is the minimum $k$ such that the $k$-deck uniquely identifies $T$ up to translation by $G$, and the {\em reconstruction number} of the action $G:S$ is the maximum reconstruction number of any subset of $S$. The concept of reconstruction number extends naturally to multisubsets $T$ of $S$ and in~\cite{CPC:257539}, the author calculated the multiset-reconstruction number of all finite abelian groups. In particular, it was shown that the multiset-reconstruction number of $\mathbb{Z}_2^n$ was $n+1$. This provides an upper bound of $n+1$ to the reconstruction number of $\mathbb{Z}_2^n$. The author also showed a lower bound of $\lfloor{\frac{n+1}2}\rfloor$ in the same paper. The purpose of this note is to close the gap. The reconstruction number of $\mathbb{Z}_2^n$ is $\lfloor{n+1-\log_2(n+1-\log_2(n))}\rfloor.$
A characterization of homology manifolds with $g_2\leq 2$
Published
• View Publication
• BIB
We characterize homology manifolds with $g_2\leq 2$. Specifically, using retriangulations of simplicial complexes, we give a short proof of Nevo and Novinsky's result on the characterization of homology $(d-1)$-spheres with $g_2=1$ for $d\geq 5$ and extend it to the class of normal pseudomanifolds. We proceed to prove that every prime homology manifold with $g_2=2$ is obtained by centrally retriangulating a polytopal sphere with $g_2\leq 1$ along a certain subcomplex. This implies that all homology manifolds with $g_2=2$ are polytopal spheres.