Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Ordering without forbidden patterns
Published
• View Publication
• BIB
Let F be a set of ordered patterns, i.e., graphs whose vertices are linearly ordered. An F-free ordering of the vertices of a graph H is a linear ordering of V(H) such that none of patterns in F occurs as an induced ordered subgraph. We denote by ORD(F) the decision problem asking whether an input graph admits an F-free ordering; we also use ORD(F) to denote the class of graphs that do admit an F-free ordering. It was observed by Damaschke (and others) that many natural graph classes can be described as ORD(F) for sets F of small patterns (with three or four vertices). Damaschke also noted that for many sets F consisting of patterns with three vertices, ORD(F) is polynomial-time solvable by known algorithms or their simple modifications. We complete the picture by proving that all these problems can be solved in polynomial time. In fact, we provide a single master algorithm, i.e., we solve in polynomial time the problem $ORD_3$ in which the input is a set F of patterns with at most three vertices and a graph H, and the problem is to decide whether or not H admits an F-free ordering of the vertices. Our algorithm certifies non-membership by a forbidden substructure, and thus provides a single forbidden structure characterization for all the graph classes described by some ORD(F) with F consisting of patterns with at most three vertices. Many of the problems ORD(F) with F consisting of larger patterns have been shown to be NP-complete by Duffus, Ginn, and Rodl, and we add two simple examples.
We also discuss a bipartite version of the problem, BORD(F), in which the input is a bipartite graph H with a fixed bipartition of the vertices, and we are given a set F of bipartite patterns. We also describe some examples of digraph ordering problems and algorithms. We conjecture that for every set F of forbidden patterns, ORD(F) is either polynomial or NP-complete.
Asymptotic Structure of Constrained Exponential Random Graph Models
Published in Journal of Statistical Physics 2017, Volume 166, Issue 6, 1464-1482
• View Publication
• BIB
In this paper, we study exponential random graph models subject to certain constraints. We obtain some general results about the asymptotic structure of the model. We show that there exists non-trivial regions in the phase plane where the asymptotic structure is uniform and there also exists non-trivial regions in the phase plane where the asymptotic structure is non-uniform. We will get more refined results for the star model and in particular the two-star model for which a sharp transition from uniform to non-uniform structure, a stationary point and phase transitions will be obtained.
A Central Limit Theorem for the Length of the Longest Common Subsequences in Random Words
Published in Electronic Journal of Probability 2023, Vol. 28, paper no. 3, 1-24
• View Publication
• BIB
Let $(X_i)_{i \geq 1}$ and $(Y_i)_{i\geq1}$ be two independent sequences of independent identically distributed random variables taking their values in a common finite alphabet and having the same law. Let $LC_n$ be the length of the longest common subsequences of the two random words $X_1\cdots X_n$ and $Y_1\cdots Y_n$. Under a lower bound assumption on the order of its variance, $LC_n$ is shown to satisfy a central limit theorem. This is in contrast to the limiting distribution of the length of the longest common subsequences in two independent uniform random permutations of $\{1, \dots, n\}$, which is shown to be the Tracy-Widom distribution.
Ramanujan-type Congruences for Overpartitions Modulo 16
Published
• View Publication
• BIB
Let $\overline{p}(n)$ denote the number of overpartitions of $n$. Recently, Fortin-Jacob-Mathieu and Hirschhorn-Sellers independently obtained 2-, 3- and 4-dissections of the generating function for $\overline{p}(n)$ and derived a number of congruences for $\overline{p}(n)$ modulo $4$, $8$ and $64$ including $\overline{p}(5n+2)\equiv 0 \pmod{4}$, $\overline{p}(4n+3)\equiv 0 \pmod{8}$ and $\overline{p}(8n+7)\equiv 0 \pmod{64}$. By employing dissection techniques, Yao and Xia obtained congruences for $\overline{p}(n)$ modulo $8, 16$ and $32$, such as $\overline{p}(48n+26) \equiv 0 \pmod{8}$, $\overline{p}(24n+17)\equiv 0 \pmod{16}$ and $\overline{p}(72n+69)\equiv 0 \pmod{32}$. In this paper, we give a 16-dissection of the generating function for $\overline{p}(n)$ modulo 16 and we show that $\overline{p}(16n+14)\equiv0\pmod{16}$ for $n\ge 0$. Moreover, by using the $2$-adic expansion of the generating function of $\overline{p}(n)$ due to Mahlburg, we obtain that $\overline{p}(\ell^2n+r\ell)\equiv0\pmod{16}$, where $n\ge 0$, $\ell \equiv -1\pmod{8}$ is an odd prime and $r$ is a positive integer with $\ell \nmid r$. In particular, for $\ell=7$, we get $\overline{p}(49n+7)\equiv0\pmod{16}$ and $\overline{p}(49n+14)\equiv0\pmod{16}$ for $n\geq 0$. We also find four congruence relations: $\overline{p}(4n)\equiv(-1)^n\overline{p}(n) \pmod{16}$ for $n\ge 0$, $\overline{p}(4n)\equiv(-1)^n\overline{p}(n)\pmod{32}$ for $n$ being not a square of an odd positive integer, $\overline{p}(4n)\equiv(-1)^n\overline{p}(n)\pmod{64}$ for $n\not\equiv 1,2,5\pmod{8}$ and $\overline{p}(4n)\equiv(-1)^n\overline{p}(n)\pmod{128}$ for $n\equiv 0\pmod{4}$.
Minor arcs, mean values, and restriction theory for exponential sums over smooth numbers
Published in Compositio Math. 152 (2016) 1121-1158
• View Publication
• BIB
We investigate exponential sums over those numbers $\leq x$ all of whose prime factors are $\leq y$. We prove fairly good minor arc estimates, valid whenever $\log^{3}x \leq y \leq x^{1/3}$. Then we prove sharp upper bounds for the $p$-th moment of (possibly weighted) sums, for any real $p > 2$ and $\log^{C(p)}x \leq y \leq x$. Our proof develops an argument of Bourgain, showing this can succeed without strong major arc information, and roughly speaking it would give sharp moment bounds and restriction estimates for any set sufficiently factorable relative to its density.
By combining our bounds with major arc estimates of Drappeau, we obtain an asymptotic for the number of solutions of $a+b=c$ in $y$-smooth integers less than $x$, whenever $\log^{C}x \leq y \leq x$. Previously this was only known assuming the Generalised Riemann Hypothesis. Combining them with transference machinery of Green, we prove Roth's theorem for subsets of the $y$-smooth numbers, whenever $\log^{C}x \leq y \leq x$. This provides a deterministic set, of size $\approx x^{1-c}$, inside which Roth's theorem holds.
Path Ideals of Weighted Graphs
Published
• View Publication
• BIB
We introduce and study the weighted $r$-path ideal of a weighted graph $G_ω$, which is a common generalization of Conca and De Negri's $r$-path ideal for unweighted graphs and Paulsen and Sather-Wagstaff's edge ideal of the weighted graph. Over a field, we explicitly describe primary decompositions of these ideals, and we characterize Cohen-Macaulayness of these ideals for trees (with arbitrary $r$) and complete graphs (for $r=2$).
Nowhere-zero flows on signed eulerian graphs
This paper is devoted to a detailed study of nowhere-zero flows on signed eulerian graphs. We generalise the well-known fact about the existence of nowhere-zero $2$-flows in eulerian graphs by proving that every signed eulerian graph that admits an integer nowhere-zero flow has a nowhere-zero $4$-flow. We also characterise signed eulerian graphs with flow number $2$, $3$, and $4$, as well as those that do not have an integer nowhere-zero flow. Finally, we discuss the existence of nowhere-zero $A$-flows on signed eulerian graphs for an arbitrary abelian group~$A$.
Interval minors of complete bipartite graphs
Published
• View Publication
• BIB
Interval minors of bipartite graphs were recently introduced by Jacob Fox in the study of Stanley-Wilf limits. We investigate the maximum number of edges in $K_{r,s}$-interval minor free bipartite graphs. We determine exact values when $r=2$ and describe the extremal graphs. For $r=3$, lower and upper bounds are given and the structure of $K_{3,s}$-interval minor free graphs is studied.
A New Approach to the Main Problem of Subspace Coding
Published
• View Publication
• BIB
Subspace codes form the appropriate mathematical setting for investigating the Koetter-Kschischang model of fault-tolerant network coding. The Main Problem of Subspace Coding asks for the determination of a subspace code of maximum size (proportional to the transmission rate) if the remaining parameters are kept fixed. We describe a new approach to finding good subspace codes, which surpasses the known size limit of lifted MRD codes and is capable of yielding an alternative construction of the currently best known binary subspace code of packet length 7, constant dimension 3 and minimum subspace distance 4.
Theta rank, levelness, and matroid minors
Published
• View Publication
• BIB
The Theta rank of a finite point configuration $V$ is the maximal degree necessary for a sum-of-squares representation of a non-negative linear function on $V$. This is an important invariant for polynomial optimization that is in general hard to determine. We study the Theta rank and levelness, a related discrete-geometric invariant, for matroid base configurations. It is shown that the class of matroids with bounded Theta rank or levelness is closed under taking minors. This allows for a characterization of matroids with bounded Theta rank or levelness in terms of forbidden minors. We give the complete (finite) list of excluded minors for Theta-$1$ matroids which generalizes the well-known series-parallel graphs. Moreover, the class of Theta-$1$ matroids can be characterized in terms of the degree of generation of the vanishing ideal and in terms of the psd rank for the associated matroid base polytope. We further give a finite list of excluded minors for $k$-level graphs and matroids and we investigate the graphs of Theta rank $2$.
On the minimal energy of tetracyclic graphs
The energy of a graph is defined as the sum of the absolute values of the eigenvalues of its adjacency matrix. In this paper, we characterize the tetracyclic graph of order $n$ with minimal energy. By this, the validity of a conjecture for the case $e=n+3$ proposed by Caporossi et al. \cite{CCGH} has been confirmed.
On the stability of the Erdős-Ko-Rado theorem
Delete the edges of a Kneser graph independently of each other with some probability: for what probabilities is the independence number of this random graph equal to the independence number of the Kneser graph itself? We prove a sharp threshold result for this question in certain regimes. Since an independent set in the Kneser graph is the same as a uniform intersecting family, this gives us a random analogue of the Erdős-Ko-Rado theorem.
Dissections of a "strange" function
Published
• View Publication
• BIB
The "strange" function of Kontsevich and Zagier is defined by \[F(q):=\sum_{n=0}^\infty(1-q)(1-q^2)\dots(1-q^n).\] This series is defined only when $q$ is a root of unity, and provides an example of what Zagier has called a "quantum modular form." In their recent work on congruences for the Fishburn numbers $ξ(n)$ (whose generating function is $F(1-q)$), Andrews and Sellers recorded a speculation about the polynomials which appear in the dissections of the partial sums of $F(q)$. We prove that a more general form of their speculation is true. The congruences of Andrews-Sellers were generalized by Garvan in the case of prime modulus, and by Straub in the case of prime power modulus. As a corollary of our theorem, we reprove the known congruences for $ξ(n)$ modulo prime powers.
Factorization Norms and Hereditary Discrepancy
The $γ_2$ norm of a real $m\times n$ matrix $A$ is the minimum number $t$ such that the column vectors of $A$ are contained in a $0$-centered ellipsoid $E\subseteq\mathbb{R}^m$ which in turn is contained in the hypercube $[-t, t]^m$. We prove that this classical quantity approximates the \emph{hereditary discrepancy} $\mathrm{herdisc}\ A$ as follows: $γ_2(A) = {O(\log m)}\cdot \mathrm{herdisc}\ A$ and $\mathrm{herdisc}\ A = O(\sqrt{\log m}\,)\cdotγ_2(A) $. Since $γ_2$ is polynomial-time computable, this gives a polynomial-time approximation algorithm for hereditary discrepancy. Both inequalities are shown to be asymptotically tight.
We then demonstrate on several examples the power of the $γ_2$ norm as a tool for proving lower and upper bounds in discrepancy theory. Most notably, we prove a new lower bound of $Ω(\log^{d-1} n)$ for the \emph{$d$-dimensional Tusnády problem}, asking for the combinatorial discrepancy of an $n$-point set in $\mathbb{R}^d$ with respect to axis-parallel boxes. For $d>2$, this improves the previous best lower bound, which was of order approximately $\log^{(d-1)/2}n$, and it comes close to the best known upper bound of $O(\log^{d+1/2}n)$, for which we also obtain a new, very simple proof.
A Brooks-type result for sparse critical graphs
Published
• View Publication
• BIB
A graph $G$ is $k$-{\em critical} if it has chromatic number $k$, but every proper subgraph of $G$ is $(k-1)$--colorable. Let $f_k(n)$ denote the minimum number of edges in an $n$-vertex $k$-critical graph. Recently the authors gave a lower bound, $f_k(n) \geq \left\lceil \frac{(k+1)(k-2)|V(G)|-k(k-3)}{2(k-1)}\right\rceil$, that solves a conjecture by Gallai from 1963 and is sharp for every $n\equiv 1\,({\rm mod }\, k-1)$. It is also sharp for $k=4$ and every $n\geq 6$. In this paper we refine the result by describing all $n$-vertex $k$-critical graphs $G$ with $|E(G)|= \frac{(k+1)(k-2)|V(G)|-k(k-3)}{2(k-1)}$. In particular, this result implies exact values of $f_5(n)$ when $n\geq 7$.
Induced and non-induced forbidden subposet problems
Published in Electronic Journal of Combinatorics, 22 (1) P1.30, 2015
• Search Publication
The problem of determining the maximum size $La(n,P)$ that a $P$-free subposet of the Boolean lattice $B_n$ can have, attracted the attention of many researchers, but little is known about the induced version of these problems. In this paper we determine the asymptotic behavior of $La^*(n,P)$, the maximum size that an induced $P$-free subposet of the Boolean lattice $B_n$ can have for the case when $P$ is the complete two-level poset $K_{r,t}$ or the complete multi-level poset $K_{r,s_1,\dots,s_j,t}$ when all $s_i$'s either equal 4 or are large enough and satisfy an extra condition. We also show lower and upper bounds for the non-induced problem in the case when $P$ is the complete three-level poset $K_{r,s,t}$. These bounds determine the asymptotics of $La(n,K_{r,s,t})$ for some values of $s$ independently of the values of $r$ and $t$.
The degree of the Hilbert-Poincaré polynomial of PBW-graded modules
Published
• View Publication
• BIB
In this note, we study the Hilbert-Poincaré polynomials for the PBW-graded of simple modules for a simple complex Lie algebra. The computation of their degree can be reduced to modules of fundamental highest weight. We provide these degrees explicitly.
A special role of Boolean quadratic polytopes among other combinatorial polytopes
Published in Model. Anal. Inform. Sist., 23(1), 23-40, 2016
• View Publication
• BIB
We consider several families of combinatorial polytopes associated with the following NP-complete problems: maximum cut, Boolean quadratic programming, quadratic linear ordering, quadratic assignment, set partition, set packing, stable set, 3-assignment. For comparing two families of polytopes we use the following method. We say that a family $P$ is affinely reduced to a family $Q$ if for every polytope $p\in P$ there exists $q\in Q$ such that $p$ is affinely equivalent to $q$ or to a face of $q$, where $\dim q = O((\dim p)^k)$ for some constant $k$. Under this comparison the above-mentioned families are splitted into two equivalence classes. We show also that these two classes are simpler (in the above sence) than the families of poytopes of the following problems: set covering, traveling salesman, 0-1 knapsack problem, 3-satisfiability, cubic subgraph, partial ordering. In particular, Boolean quadratic polytopes appear as faces of polytopes in every of the mentioned families.
Bounds on the permanent and some applications
Published
• View Publication
• BIB
We give new lower and upper bounds on the permanent of a doubly stochastic matrix. Combined with previous work, this improves on the deterministic approximation factor for the permanent.
We also give a combinatorial application of the lower bound, proving S. Friedland's "Asymptotic Lower Matching Conjecture" for the monomer-dimer problem.
Distance partitions of extremal and largest known circulant graphs of degree 2 to 9
This paper considers the degree-diameter problem for extremal and largest known undirected circulant graphs of degree 2 to 9 of arbitrary diameter. As these graphs are vertex transitive it is possible to define their distance partition. The number of vertices in each level of the distance partition is shown to be related to an established upper bound for the order of Abelian Cayley graphs. Furthermore these graphs are all found to have odd girth which is maximal for their diameter. Therefore the type of each vertex in a level may be well-defined by the number of adjacent vertices in the preceding level. With this definition the number of vertices of each type in each level is also shown to be related to the same Abelian Cayley graph upper bound. Finally some implications are discussed for circulant graphs of higher degree.