Showing 20 papers (Total: 82851 papers, 47869 authors in database)
To reorient is easier than to orient: an on-line algorithm for reorientation of graphs
Published in Computability, 10 (2021), 215-233
• View Publication
• BIB
We define an on-line (incremental) algorithm that, given a (possibly infinite) pseudo-transitive oriented graph, produces a transitive reorientation. This implies that a theorem of Ghouila-Houri is provable in RCA_0 and hence is computably true.
Resolution of ideals associated to subspace arrangements
Published in Alg. Number Th. 16 (2022) 1121-1140
• View Publication
• BIB
Let $I_1,\dots,I_n$ be ideals generated by linear forms in a polynomial ring over an infinite field and let $J = I_1 \cdots I_n$. We describe a minimal free resolution of $J$ and show that it is supported on a polymatroid obtained from the underlying representable polymatroid by means of the so-called Dilworth truncation. Formulas for the projective dimension and Betti numbers are given in terms of the polymatroid as well as a characterization of the associated primes. Along the way we show that $J$ has linear quotients. In fact, we do this for a large class of ideals $J_P$, where $P$ is a certain poset ideal associated to the underlying subspace arrangement.
A Polyhedral Homotopy Algorithm For Real Zeros
Published in Arnold Mathematical Journal, 2022
• View Publication
• BIB
We design a homotopy continuation algorithm, that is based on numerically tracking Viro's patchworking method, for finding real zeros of sparse polynomial systems. The algorithm is targeted for polynomial systems with coefficients satisfying certain concavity conditions. It operates entirely over the real numbers and tracks the optimal number of solution paths. In more technical terms; we design an algorithm that correctly counts and finds the real zeros of polynomial systems that are located in the unbounded components of the complement of the underlying A-discriminant amoeba.
Models and algorithms for the Flying Sidekick Traveling Salesman Problem
Published
• View Publication
• BIB
This paper presents a set of new formulations for the Flying Sidekick Traveling Salesman Problem, where a truck and a drone cooperate to delivery parcels to customers minimizing the completion time. The new formulations improve the results of the literature by solving to optimality several benchmark instances for which an optimal solution was previously unknown. A matheuristic algorithm, strongly based on the new models, is also discussed. Experimental results show that this method is able to provide good quality solutions in short time even for the larger instances, on which the mathematical models struggle to provide either good heuristic solution or strong lower bounds.
Inertia indices and eigenvalue inequalities for Hermitian matrices
Published
• View Publication
• BIB
We present a characterization of eigenvalue inequalities between two Hermitian matrices by means of inertia indices. As applications, we deal with some classical eigenvalue inequalities for Hermitian matrices, including the Cauchy interlacing theorem and the Weyl inequality, in a simple and unified approach. We also give a common generalization of eigenvalue inequalities for (Hermitian) normalized Laplacian matrices of simple (signed, weighted, directed) graphs. Our approach is also suitable for Hermitian matrices of the second kind of digraphs recently introduced by Mohar.
Diagonal entries of the average mixing matrix
We study the diagonal entries of the average mixing matrix of continuous quantum walks. The average mixing matrix is a graph invariant; it is the sum of the Schur squares of spectral idempotents of the Hamiltonian. It is non-negative, doubly stochastic and positive semi-definite. We investigate the diagonal entries of this matrix. We study the graphs for which the trace of the average mixing matrix is maximum or minimum and we classify those which are maximum. We give two constructions of graphs whose average mixing matrices have constant diagonal.
A Note on Fractional DP-Coloring of Graphs
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvořák and Postle in 2015. In 2019, Bernshteyn, Kostochka, and Zhu introduced a fractional version of DP-coloring. They showed that unlike the fractional list chromatic number, the fractional DP-chromatic number of a graph $G$, denoted $χ_{_{DP}}^*(G)$, can be arbitrarily larger than $χ^*(G)$, the graph's fractional chromatic number. We generalize a result of Alon, Tuza, and Voigt (1997) on the fractional list chromatic number of odd cycles, and, in the process, show that for each $k \in \mathbb{N}$, $χ_{_{DP}}^*(C_{2k+1}) = χ^*(C_{2k+1})$. We also show that for any $n \geq 2$ and $m \in \mathbb{N}$, if $p^*$ is the solution in $(0,1)$ to $p=(1-p)^n$ then $χ_{_{DP}}^*(K_{n,m})\leq1/p^*$, and we prove a generalization of this result for multipartite graphs. Finally, we determine a lower bound on $χ_{_{DP}}^*(K_{2,m})$ for any $m \geq 3$.
On distinct consecutive differences
Published
• View Publication
• BIB
We show that if $A=\{a_1 < a_2 < \ldots < a_k\}$ is a set of real numbers such that the differences of the consecutive elements are distinct, then for and finite $B \subset \mathbb{R}$, $$|A+B|\gg |A|^{1/2}|B|.$$ The bound is tight up to the constant.
Counting locally flat-foldable origami configurations via 3-coloring graphs
Published
• View Publication
• BIB
Origami, where two-dimensional sheets are folded into complex structures, is proving to be rich with combinatorial and geometric structure, most of which remains to be fully understood. In this paper we consider \emph{flat origami}, where the sheet of material is folded into a two-dimensional object, and consider the mountain (convex) and valley (concave) creases made by such foldings, called a \emph{MV assignment} of the crease pattern. We establish a method to, given a flat-foldable crease pattern $C$ under certain conditions, create a planar graph $C^*$ whose 3-colorings are in one-to-one correspondence with the locally-valid MV assignments of $C$. This reduces the general, unsolved problem of enumerating locally-valid MV assignments to the enumeration of 3-colorings of graphs.
On a rainbow version of Dirac's theorem
Published
• View Publication
• BIB
For a collection $\mathbf{G}=\{G_1,\dots, G_s\}$ of not necessarily distinct graphs on the same vertex set $V$, a graph $H$ with vertices in $V$ is a $\mathbf{G}$-transversal if there exists a bijection $φ:E(H)\rightarrow [s]$ such that $e\in E(G_{φ(e)})$ for all $e\in E(H)$. We prove that for $|V|=s\geq 3$ and $δ(G_i)\geq s/2$ for each $i\in [s]$, there exists a $\mathbf{G}$-transversal that is a Hamilton cycle. This confirms a conjecture of Aharoni. We also prove an analogous result for perfect matchings.
The motivic zeta functions of a matroid
Published
• View Publication
• BIB
We introduce motivic zeta functions for matroids. These zeta functions are defined as sums over the lattice points of Bergman fans, and in the realizable case, they coincide with the motivic Igusa zeta functions of hyperplane arrangements. We show that these motivic zeta functions satisfy a functional equation arising from matroid Poincaré duality in the sense of Adiprasito-Huh-Katz. In the process, we obtain a formula for the Hilbert series of the cohomology ring of a matroid, in the sense of Feichtner-Yuzvinsky. We then show that our motivic zeta functions specialize to the topological zeta functions for matroids introduced by van der Veer, and we compute the first two coefficients in the Taylor expansion of these topological zeta functions, providing affirmative answers to two questions posed by van der Veer.
Unimodular random one-ended planar graphs are sofic
Published in Combinatorics, Probability and Computing, 2023, 32 (6), 851-858
• Search Publication
We prove that if a unimodular random graph is almost surely planar and has finite expected degree, then it has a combinatorial embedding into the plane which is also unimodular. This implies the claim in the title immediately by a theorem of Angel, Hutchcroft, Nachmias and Ray [2]. Our unimodular embedding also implies that all the dichotomy results of [2] about unimodular maps extend in the one-ended case to unimodular random planar graphs.
Connected Hypergraphs without long Berge paths
Published in European Journal of Combinatorics, 2021
• Search Publication
We generalize a result of Balister, Gy{ő}ri, Lehel and Schelp for hypergraphs. We determine the unique extremal structure of an $n$-vertex, $r$-uniform, connected, hypergraph with the maximum number of hyperedges, without a $k$-Berge-path, where $n \geq N_{k,r}$, $k\geq 2r+13>17$.
New results on large induced forests in graphs
For a graph $G$, let $a(G)$ denote the maximum size of a subset of vertices that induces a forest. We prove the following.
1. Let $G$ be a graph of order $n$, maximum degree $Δ>0$ and maximum clique size $ω$. Then \[ a(G) \geq \frac{6n}{2Δ+ ω+2}. \] This bound is sharp for cliques.
2. Let $G=(V,E)$ be a triangle-free graph and let $d(v)$ denote the degree of $v \in V$. Then \[ a(G) \geq \sum_{v \in V} \min\left(1, \frac{3}{d(v)+2} \right). \]
As a corollary we have that a triangle-free graph $G$ of order $n$, with $m$ edges and average degree $d \geq 2$ satisfies \[ a(G) \geq \frac{3n}{d+2}. \] This improves the lower bound $n - \frac{m}{4}$ of Alon-Mubayi-Thomas for graphs of average degree greater than $4$. Furthermore it improves the lower bound $\frac{20n - 5m - 5}{19}$ of Shi-Xu for (connected) graphs of average degree at least $\frac{9}{2}$.
Distinct degrees in induced subgraphs
Published
• View Publication
• BIB
An important theme of recent research in Ramsey theory has been establishing pseudorandomness properties of Ramsey graphs. An $N$-vertex graph is called $C$-Ramsey if it has no homogeneous set of size $C\log N$. A theorem of Bukh and Sudakov, solving a conjecture of Erdős, Faudree and Sós, shows that any $C$-Ramsey $N$-vertex graph contains an induced subgraph with $Ω_C(N^{1/2})$ distinct degrees. We improve this to $Ω_C(N^{2/3})$, which is tight up to the constant factor.
We also show that any $N$-vertex graph with $N > (k-1)(n-1)$ and $n\geq n_0(k) = Ω(k^9)$ either contains a homogeneous set of order $n$ or an induced subgraph with $k$ distinct degrees. The lower bound on $N$ here is sharp, as shown by an appropriate Turán graph, and confirms a conjecture of Narayanan and Tomon.
Distance Matrix of a Multi-block Graph: Determinant and Inverse
Published
• View Publication
• BIB
A connected graph is called a multi-block graph if each of its blocks is a complete multi-partite graph. Building on the work of \cite{Bp3,Hou3}, we compute the determinant and inverse of the distance matrix for a class of multi-block graphs.
Minimum supports of eigenfunctions with the second largest eigenvalue of the Star graph
Published
• View Publication
• BIB
The Star graph $S_n$, $n\ge 3$, is the Cayley graph on the symmetric group $Sym_n$ generated by the set of transpositions $\{(12),(13),\ldots,(1n)\}$. In this work we study eigenfunctions of $S_n$ corresponding to the second largest eigenvalue $n-2$. For $n\ge 8$ and $n=3$, we find the minimum cardinality of the support of an eigenfunction of $S_n$ corresponding to the second largest eigenvalue and obtain a characterization of eigenfunctions with the minimum cardinality of the support.
Extending perfect matchings to Hamiltonian cycles in line graphs
Published in Electron. J. Comb. 28, No. 1, Research Paper P1.7, 13 pgs. (2021)
• View Publication
• BIB
A graph admitting a perfect matching has the Perfect-Matching-Hamiltonian property (for short the PMH-property) if each of its perfect matchings can be extended to a Hamiltonian cycle. In this paper we establish some sufficient conditions for a graph $G$ in order to guarantee that its line graph $L(G)$ has the PMH-property. In particular, we prove that this happens when $G$ is (i) a Hamiltonian graph with maximum degree at most $3$, (ii) a complete graph, or (iii) an arbitrarily traceable graph. Further related questions and open problems are proposed along the paper.
On partisan bias in redistricting: computational complexity meets the science of gerrymandering
Published in Journal of Combinatorial Optimization, 40(2), 512-546, 2020
• View Publication
• BIB
The topic of this paper is "gerrymandering", namely the curse of deliberate creations of district maps with highly asymmetric electoral outcomes to disenfranchise voters, and it has a long legal history. Measuring and eliminating gerrymandering has enormous implications to sustain the backbone of democratic principles of a society. Although there is no dearth of legal briefs involving gerrymandering over many years, it is only more recently that mathematicians and applied computational researchers have started to investigate this topic. However, it has received relatively little attention so far from the computational complexity researchers dealing with theoretical analysis of computational complexity issues, such as computational hardness, approximability issues, etc. There could be many reasons for this, such as descriptions of these problem non-CS non-math (often legal or political) journals that theoretical CS (TCS) people usually do not follow, or the lack of coverage of these topics in TCS publication venues. One of our modest goals in writing this article is to improve upon this situation by stimulating further interactions between the gerrymandering and TCS researchers. To this effect, our main contributions are twofold: (1) we provide formalization of several models, related concepts, and corresponding problem statements using TCS frameworks from the descriptions of these problems as available in existing non-TCS (perhaps legal) venues, and (2) we also provide computational complexity analysis of some versions of these problems, leaving other versions for future research.
The goal of writing this article is not to have the final word on gerrymandering, but to introduce a series of concepts, models and problems to the TCS community and to show that science of gerrymandering involves an intriguing set of partitioning problems involving geometric and combinatorial optimization.
On counting centralizer subgroups of symmetric groups
Published in The Electronic Journal of Combinatorics, Volume 30, Issue 2 (2023), Article Number P2.47
• View Publication
• BIB
Let $S_{2m}$ be the symmetric group, $h=(1\ 2)(3\ 4)\cdots(2m-1\ 2m)$ and $H=C(h)$. We consider the structure of $gHg^{-1}\cap H$ for any $g\in S_{2m}$. We prove the permutations $g$ which makes $gHg^{-1}\cap H$ have size of polynomial in $m$ have density zero.