Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Cycles in Color-Critical Graphs
Published
• View Publication
• BIB
Tuza [1992] proved that a graph with no cycles of length congruent to $1$ modulo $k$ is $k$-colorable. We prove that if a graph $G$ has an edge $e$ such that $G-e$ is $k$-colorable and $G$ is not, then for $2\leq r\leq k$, the edge $e$ lies in at least $\prod_{i=1}^{r-1}(k-i)$ cycles of length $1\mod r$ in $G$, and $G-e$ contains at least $\frac{1}{2}\prod_{i=1}^{r-1}(k-i)$ cycles of length $0 \mod r$.
A $(k,d)$-coloring of $G$ is a homomorphism from $G$ to the graph $K_{k:d}$ with vertex set $\mathbb{Z}_{k}$ defined by making $i$ and $j$ adjacent if $d\leq j-i \leq k-d$. When $k$ and $d$ are relatively prime, define $s$ by $sd\equiv 1\mod k$. A result of Zhu [2002] implies that $G$ is $(k,d)$-colorable when $G$ has no cycle $C$ with length congruent to $is$ modulo $k$ for any $i\in \{1,\ldots,2d-1\}$. In fact, only $d$ classes need be excluded: we prove that if $G-e$ is $(k,d)$-colorable and $G$ is not, then $e$ lies in at least one cycle with length congruent to $is\mod k$ for some $i$ in $\{1,\ldots,d\}$. Furthermore, if this does not occur with $i\in\{1,\ldots,d-1\}$, then $e$ lies in at least two cycles with length $1\mod k$ and $G-e$ contains a cycle of length $0 \mod k$.
Two infinite families of chiral polytopes of type \{4,4,4\} with solvable automorphism groups
We construct two infinite families of locally toroidal chiral polytopes of type $\{4,4,4\}$, with $1024m^2$ and $2048m^2$ automorphisms for every positive integer $m$, respectively. The automorphism groups of these polytopes are solvable groups, and when $m$ is a power of $2$, they provide examples with automorphism groups of order $2^n$ where $n$ can be any integer greater than $9$. (On the other hand, no chiral polytopes of type $[4,4,4]$ exist for $n \leq 9$.) In particular, our two families give a partial answer to a problem proposed by Schulte and Weiss in [Problems on polytopes, their groups, and realizations, {\em Periodica Math.\ Hungarica\} 53 (2006), 231-255].
Defective DP-colorings of sparse multigraphs
Published
• View Publication
• BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring developed recently by Dvorak and Postle. We introduce and study $(i,j)$-defective DP-colorings of multigraphs. We concentrate on sparse multigraphs and consider $f_{DP}(i,j,n)$ --- the minimum number of edges that may have an $n$-vertex $(i,j)$-critical multigraph, that is, a multigraph $G$ that has no $(i,j)$-defective DP-coloring but whose every proper subgraph has such a coloring. For every $i$ and $j$, we find linear lower bounds on $f_{DP}(i,j,n)$ that are exact for infinitely many $n$.
On the generation of some Lie-type geometries
Published in Journal of Combinatorial Theory, Series A, Volume 193, 2023, 105673
• View Publication
• BIB
Let $X_n(K)$ be a building of Coxeter type $X_n = A_n$ or $X_n = D_n$ defined over a given division ring $K$ (a field when $X_n = D_n$). For a non-connected set $J$ of nodes of the diagram $X_n$, let $Γ(K) = Gr_J(X_n(K))$ be the $J$-Grassmannian of $X_n(K)$. We prove that $Γ(K)$ cannot be generated over any proper sub-division ring $K_0$ of $K$. As a consequence, the generating rank of $Γ(K)$ is infinite when $K$ is not finitely generated. In particular, if $K$ is the algebraic closure of a finite field of prime order then the generating rank of $Gr_{1,n}(A_n(K))$ is infinite, although its embedding rank is either $(n+1)^2-1$ or $(n+1)^2$.
Parameterized Algorithms for MILPs with Small Treedepth
Published
• View Publication
• BIB
Solving (mixed) integer linear programs, (M)ILPs for short, is a fundamental optimization task. While hard in general, recent years have brought about vast progress for solving structurally restricted, (non-mixed) ILPs: $n$-fold, tree-fold, 2-stage stochastic and multi-stage stochastic programs admit efficient algorithms, and all of these special cases are subsumed by the class of ILPs of small treedepth.
In this paper, we extend this line of work to the mixed case, by showing an algorithm solving MILP in time $f(a,d) \textrm{poly}(n)$, where $a$ is the largest coefficient of the constraint matrix, $d$ is its treedepth, and $n$ is the number of variables.
This is enabled by proving bounds on the denominators of the vertices of bounded-treedepth (non-integer) linear programs. We do so by carefully analyzing the inverses of invertible submatrices of the constraint matrix. This allows us to afford scaling up the mixed program to the integer grid, and applying the known methods for integer programs.
We trace the limiting boundary of our approach, showing that naturally related classes of linear programs have vertices of unbounded fractionality. Finally, we show that restricting the structure of only the integral variables in the constraint matrix does not yield tractable special cases.
Periodic words, common subsequences and frogs
Published
• View Publication
• BIB
Let $W^{(n)}$ be the $n$-letter word obtained by repeating a fixed word $W$, and let $R_n$ be a random $n$-letter word over the same alphabet. We show several results about the length of the longest common subsequence (LCS) between $W^{(n)}$ and $R_n$; in particular, we show that its expectation is $γ_W n-O(\sqrt{n})$ for an efficiently-computable constant $γ_W$.
This is done by relating the problem to a new interacting particle system, which we dub "frog dynamics". In this system, the particles (`frogs') hop over one another in the order given by their labels. Stripped of the labeling, the frog dynamics reduces to a variant of the PushTASEP.
In the special case when all symbols of $W$ are distinct, we obtain an explicit formula for the constant $γ_W$ and a closed-form expression for the stationary distribution of the associated frog dynamics.
In addition, we propose new conjectures about the asymptotic of the LCS of a pair of random words. These conjectures are informed by computer experiments using a new heuristic algorithm to compute the LCS. Through our computations, we found periodic words that are more random-like than a random word, as measured by the LCS.
Locally common graphs
Goodman proved that the sum of the number of triangles in a graph on $n$ nodes and its complement is at least $n^3/24$; in other words, this sum is minimized, asymptotically, by a random graph with edge density $1/2$. Erdős conjectured that a similar inequality will hold for $K_4$ in place of $K_3$, but this was disproved by Thomason. But an analogous statement does hold for some other graphs, which are called {\it common graphs}. A characterization of common graphs seems, however, out of reach.
Franek and Rödl proved that $K_4$ is common in a weaker, local sense. Using the language of graph limits, we study two versions of locally common graphs. We sharpen a result of Jagger, Štovíček and Thomason by showing that no graph containing $K_4$ can be locally common, but prove that all such graphs are weakly locally common. We also show that not all connected graphs are weakly locally common.
Scalable Semidefinite Programming
Published in SIAM Journal on Mathematics of Data Science, vol. 3, num. 1, pp. 171-200, Feb. 2021
• View Publication
• BIB
Semidefinite programming (SDP) is a powerful framework from convex optimization that has striking potential for data science applications. This paper develops a provably correct randomized algorithm for solving large, weakly constrained SDP problems by economizing on the storage and arithmetic costs. Numerical evidence shows that the method is effective for a range of applications, including relaxations of MaxCut, abstract phase retrieval, and quadratic assignment. Running on a laptop equivalent, the algorithm can handle SDP instances where the matrix variable has over $10^{14}$ entries.
Shift-invariance for vertex models and polymers
Published
• View Publication
• BIB
We establish a symmetry in a variety of integrable stochastic systems: Certain multi-point distributions of natural observables are unchanged under a shift of a subset of observation points. The property holds for stochastic vertex models, (1+1)d directed polymers in random media, last passage percolation, the Kardar-Parisi-Zhang equation, and the Airy sheet. In each instance it leads to computations of previously inaccessible joint distributions. The proofs rely on a combination of the Yang-Baxter integrability of the inhomogeneous colored stochastic six-vertex model and Lagrange interpolation. We also show that a simplified (Gaussian) version of our theorems is related to the invariance in law of the local time of the Brownian bridge under the shift of the observation level.
Big Ramsey spectra of countable chains
A big Ramsey spectrum of a countable chain (i.e. strict linear order) C is a sequence of big Ramsey degrees of finite chains computed in C. In this paper we consider big Ramsey spectra of countable scattered chains. We prove that countable scattered chains of infinite Hausdorff rank do not have finite big Ramsey spectra, and that countable scattered chains of finite Hausdorff rank with bounded finite sums have finite big Ramsey spectra. Since big Ramsey spectra of all non-scattered countable chains are finite by results of Galvin, Laver and Devlin, in order to complete the characterization of countable chains with finite big Ramsey spectra (or degrees) one still has to resolve the remaining case of countable scattered chains of finite Hausdorff rank whose finite sums are not bounded.
Generalized Matrix polynomials of Tree Laplacians indexed by Symmetric functions and the GTS poset
Published in Séminaire Lotharingien de Combinatoire, 83, B83a, (2021)
• Search Publication
Let $T$ be a tree on $n$ vertices with $q$-Laplacian $L_T^q$ and Laplacian matrix $L_T$. Let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees on $n$ vertices. Inequalities are known between coefficients of the immanantal polynomial of $L_T$ (and $L_T^q$) as we go up the poset $GTS_n$. Using the Frobenius characteristic, this can be thought as a result involving the schur symmetric function $s_λ$. In this paper, we use an arbitrary symmetric function to define a {\it generalized matrix function} of an $n \times n$ matrix. When the symmetric function is the monomial and the forgotten symmetric function, we generalize such inequalities among coefficients of the generalized matrix polynomial of $L_T^q$ as we go up the $GTS_n$ poset.
Energies of Hypergraphs
Published in Electronic Journal of Linear Algebra. 36 (2020), 293-308
• View Publication
• BIB
In this paper, we study energies associated with hypergraphs. More precisely, we obtain results for the incidence and the singless Laplacian energies of uniform hypergraphs. In particular, we obtain bounds for the incidence energy as functions of well known parameters, such as maximum degree, Zagreb index and spectral radius. We also relate the incidence and signless Laplacian energies of a hypergraph with the adjacency energies of its subdivision graph and line multigraph, respectively. In addition, we compute the signless Laplacian energy for the class of the power hypergraphs.
Tomescu's graph coloring conjecture for $\ell$-connected graphs
Published
• View Publication
• BIB
Let $P_G(k)$ be the number of proper $k$-colorings of a finite simple graph $G$. Tomescu's conjecture, which was recently solved by Fox, He, and Manners, states that $P_G(k) \le k!(k-1)^{n-k}$ for all connected graphs $G$ on $n$ vertices with chromatic number $k\geq 4$. In this paper, we study the same problem with the additional constraint that $G$ is $\ell$-connected. For $2$-connected graphs $G$, we prove a tight bound \[ P_G(k) \le (k-1)!((k-1)^{n-k+1} + (-1)^{n-k}), \] and show that equality is only achieved if $G$ is a $k$-clique with an ear attached. For $\ell \ge 3$, we prove an asymptotically tight upper bound \[ P_G(k) \le k!(k-1)^{n-\ell - k + 1} + O((k-2)^n), \] and provide a matching lower bound construction. For the ranges $k \geq \ell$ or $\ell \geq (k-2)(k-1)+1$ we further find the unique graph maximizing $P_G(k)$. We also consider generalizing $\ell$-connected graphs to connected graphs with minimum degree $δ$.
Independent Chains in Acyclic Posets
We consider the problem of determining the maximum order of an induced vertex-disjoint union of cliques in a graph. More specifically, given some family of graphs $\mathcal{G}$ of equal order, we are interested in the parameter $a(\mathcal{G}) = \min_{G \in \mathcal{G}} \max \{ |U| : U \subseteq V, G[U] \text{ is a vertex-disjoint union of cliques} \}$. We determine the value of this parameter precisely when $\mathcal{G}$ is the family of comparability graphs of $n$-element posets with acyclic cover graph. In particular, we show that $a(\mathcal{G}) = (n+o(n))/\log_2 (n)$ in this class.
On cogrowth function of algebras and its logarithmical gap
Published in Comptes Rendus - Série Matheématique., 359:3 (2021), 297-303
• View Publication
• BIB
Let $A \cong k\langle X \rangle / I$ be an associative algebra. A finite word over alphabet $X$ is $I${\it-reducible} if its image in $A$ is a $k$-linear combination of length-lexicographically lesser words. An {\it obstruction} in a subword-minimal $I$-reducible word. A {\em cogrowth} function is number of obstructions of length $\le n$. We show that the cogrowth function of a finitely presented algebra is either bounded or at least logarithmical. We also show that an uniformly recurrent word has at least logarithmical cogrowth.
Globally optimizing small codes in real projective spaces
Published
• View Publication
• BIB
For $d\in\{5,6\}$, we classify arrangements of $d + 2$ points in $\mathbf{RP}^{d-1}$ for which the minimum distance is as large as possible. To do so, we leverage ideas from matrix and convex analysis to determine the best possible codes that contain equiangular lines, and we introduce a notion of approximate Positivstellensatz certificates that promotes numerical approximations of Stengle's Positivstellensatz certificates to honest certificates.
General Multi-State Rework Network and Reliability Algorithm
Published
• View Publication
• BIB
A rework network is a common manufacturing system, in which flows (products) are processed in a sequence of workstations (nodes), which often results in defective products. To improve the productivity and utility of the system, the rework network allows some of the defective products to go back to the "as normal" condition after the rework process. In a recent study, Song proposed an algorithm to correct more than 21 archive publications regarding the rework network reliability problem, which is an important real-life problem. However, we prove that Song's proposed algorithm is still incorrect. Additionally, we provide an accurate general model based on the novel state distribution with a smaller number of limitations. Furthermore, we propose an algorithm to calculate the reliability of the multi-state rework networks using the proposed novel state distributions.
Compact formulas for Macdonald polynomials and quasisymmetric Macdonald polynomials
We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These quasisymmetric Macdonald polynomials refine the (symmetric) Macdonald polynomials and specialize at $q=t=0$ to the quasisymmetric Schur polynomials defined by Haglund, Luoto, Mason, and van Willigenburg. This is an extended abstract.
Laurent polynomials of planar graphs
By using Laurent graph polynomials instead of the usual ones, i.e. by allowing negative powers of the variables, we simplify an existing method of determining the Alon-Tarsi numbers of planar graphs.
Bounded VC-dimension implies the Schur-Erdos conjecture
Published
• View Publication
• BIB
In 1916, Schur introduced the Ramsey number $r(3;m)$, which is the minimum integer $n$ such that for any $m$-coloring of the edges of the complete graph $K_n$, there is a monochromatic copy of $K_3$. He showed that $r(3;m) \leq O(m!)$, and a simple construction demonstrates that $r(3;m) \geq 2^{Ω(m)}$. An old conjecture of Erd\H os states that $r(3;m) = 2^{Θ(m)}$. In this note, we prove the conjecture for $m$-colorings with bounded VC-dimension, that is, for $m$-colorings with the property that the set system $\mathcal{F}$ induced by the neighborhoods of the vertices with respect to each color class has bounded VC-dimension.