Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Solution discovery via reconfiguration for problems in P
Published
• View Publication
• BIB
In the recently introduced framework of solution discovery via reconfiguration [Fellows et al., ECAI 2023], we are given an initial configuration of $k$ tokens on a graph and the question is whether we can transform this configuration into a feasible solution (for some problem) via a bounded number $b$ of small modification steps. In this work, we study solution discovery variants of polynomial-time solvable problems, namely Spanning Tree Discovery, Shortest Path Discovery, Matching Discovery, and Vertex/Edge Cut Discovery in the unrestricted token addition/removal model, the token jumping model, and the token sliding model. In the unrestricted token addition/removal model, we show that all four discovery variants remain in P. For the toking jumping model we also prove containment in P, except for Vertex/Edge Cut Discovery, for which we prove NP-completeness. Finally, in the token sliding model, almost all considered problems become NP-complete, the exception being Spanning Tree Discovery, which remains polynomial-time solvable. We then study the parameterized complexity of the NP-complete problems and provide a full classification of tractability with respect to the parameters solution size (number of tokens) $k$ and transformation budget (number of steps) $b$. Along the way, we observe strong connections between the solution discovery variants of our base problems and their (weighted) rainbow variants as well as their red-blue variants with cardinality constraints.
Every atom-atom map can be explained by electron pushing diagrams
Published
• View Publication
• BIB
Chemical reactions can be understood as transformations of multigraphs (molecules) that preserve vertex labels (atoms) and degrees (sums of bonding and non-bonding electrons), thereby implying the atom-atom map of a reaction. The corresponding reaction mechanism is often described by an electron pushing diagram that explains the transformation by consecutive local relocations of invidudal edges (electron pairs). Here, we show that every degree-preserving map between multigraphs, and thus every atom-atom map, can be generated by cyclic electron pushing. Moreover, it is always possible to decompose such an explanation into electron pushing diagrams involving only four electron pairs. This in turn implies that every reaction can be decomposed into a sequence of elementary reactions that involve at most two educt molecules and two product molecules. Hence, the requirement of a mechanistic explantion in terms of electron pushing and small imaginary transition states does not impose a combinatorial constraint on the feasibility of hypothetical chemical reactions.
On remoteness functions of k-NIM with k+1 piles in normal and in misère versions
Published
• View Publication
• BIB
Given integer $n$ and $k$ such that $0 < k \leq n$ and $n$ piles of stones, two players alternate turns. By one move it is allowed to choose any $k$ piles and remove exactly one stone from each. The player who has to move but cannot is the loser. in the normal version of the game and (s)he is the winner in the misère version. Cases $k=1$ and $k = n$ are trivial. For $k=2$ the game was solved for $n \leq 6$. For $n \leq 4$ the Sprague-Grundy function was efficiently computed (for both versions). For $n = 5,6$ a polynomial algorithm computing P-positions was obtained for the normal version. \newline Then, for the case $k = n-1$, a very simple explicit rule that determines the Smith remoteness function was found for the normal version of the game: the player who has to move keeps a pile with the minimum even number of stones; if all piles have odd number of stones then (s)he keeps a maximum one, while the $n-1$ remaining piles are reduced by one stone each in accordance with the rules of the game. \newline Computations show that the same rule works efficiently for the misère version too. The exceptions are sparse and are listed in Section 2. Denote a position by $x = (x_1, \dots, x_n)$. Due to symmetry, we can assume wlog that $x_1 \leq \ldots \leq x_n$. Our computations partition all exceptions into the following three families: $x_1$ is even, $x_1 = 1$, and $x_1 \geq 3$ is odd. In all three cases we suggest explicit formulas that cover all found exceptions, but this is not proven.
Flag transitive geometries with trialities and no dualities coming from Suzuki groups
Published
• View Publication
• BIB
Recently, Leemans and Stokes constructed an infinite family of incidence geometries admitting trialities but no dualities from the groups PSL(2,q) (where $q=p^{3n}$ with $p$ a prime and $n>0$ a positive integer). Unfortunately these geometries are not flag transitive. In this paper, we construct the first infinite family of incidence geometries of rank three that are flag transitive and have trialities but no dualities. These geometries are constructed using chamber systems of Suzuki groups Sz(q) (where $q=2^{2e+1}$ with $e$ a positive integer and $2e+1$ is divisible by 3) and the trialities come from field automorphisms. We also construct an infinite family of regular hypermaps with automorphism group Sz(q) that admit trialities but no dualities.
Asymptotics of Redistricting the $n\times n$ Grid
Redistricting is the act of dividing a region into districts for electoral representation. Motivated by this application, we study two questions. How many ways are there to partition the $n\times n$ grid into $n$ contiguous districts of equal size? How many of these partitions are ``compact"? We give asymptotic bounds on the number of plans: a lower bound of roughly $1.41^{n^2}$ and an upper bound of roughly $3.21^{n^2}$. We then use the lower bound to show that most plans are not compact.
Likelihood Geometry of Reflexive Polytopes
Published in Alg. Stat. 15 (2024) 113-143
• View Publication
• BIB
We study the problem of maximum likelihood (ML) estimation for statistical models defined by reflexive polytopes. Our focus is on the maximum likelihood degree of these models as an algebraic measure of complexity of the corresponding optimization problem. We compute the ML degrees of all 4319 classes of three-dimensional reflexive polytopes, and observe some surprising behavior in terms of the presence of gaps between ML degrees and degrees of the associated toric varieties. We interpret these drops in the context of discriminants and prove formulas for the ML degree for families of reflexive polytopes, including the hypercube and its dual, the cross polytope, in arbitrary dimension. In particular, we determine a family of embeddings for the $d$-cube that implies ML degree one. Finally, we discuss generalized constructions of families of reflexive polytopes in terms of their ML degrees.
$h$-vectors of edge rings of odd-cycle compositions
Published
• View Publication
• BIB
Let $\mathbb{K}[G]$ be the edge ring of a finite simple graph $G$. Investigating properties of the $h$-vector of $\mathbb{K}[G]$ is of great interest in combinatorial commutative algebra. However, there are few families of graphs for which the $h$-vector has been explicitly determined. In this paper, we compute the $h$-vectors of a certain family of graphs that satisfy the odd-cycle condition, generalizing a result of the second and third named authors. As a corollary, we obtain a characterization of the graphs in this family whose edge rings are almost Gorenstein.
Some Upper Bounds on Ramsey Numbers Involving $C_4$
Published
• View Publication
• BIB
We obtain some new upper bounds on the Ramsey numbers of the form $R(\underbrace{C_4,\ldots,C_4}_m,G_1,\ldots,G_n)$, where $m\ge 1$ and $G_1,\ldots,G_n$ are arbitrary graphs. We focus on the cases of $G_i$'s being complete, star $K_{1,k}$ or book graphs $B_k$, where $B_k=K_2+kK_1$. If $k\ge 2$, then our main upper bound theorem implies that $$R(C_4,B_k) \le R(C_4,K_{1,k})+\left\lceil\sqrt{R(C_4,K_{1,k})}\right\rceil+1.$$
Our techniques are used to obtain new upper bounds in several concrete cases, including: $R(C_4,K_{11})\leq 43$, $R(C_4,K_{12})\leq 51$, $R(C_4,K_3,K_4)\leq 29$, $R(C_4, K_4,K_4)\leq 66$, $R(C_4,K_3,K_3,K_3)\leq 57$, $R(C_4,C_4,K_3,K_4)\leq 75$, and $R(C_4,C_4,K_4,K_4)\leq 177$, and also $R(C_4,B_{17})\leq 28$.
Quadratic residues and domino tilings
The formula for the number of domino tilings due to Kasteleyn and Temperley-Fisher is strikingly similar to Eisenstein's formula for the Legendre symbol. We study the connection between these two concepts and prove a formula which expresses the Jacobi symbol in terms of domino tilings.
Zarankiewicz's problem via $ε$-t-nets
The classical Zarankiewicz's problem asks for the maximum number of edges in a bipartite graph on $n$ vertices which does not contain the complete bipartite graph $K_{t,t}$. In one of the cornerstones of extremal graph theory, Kővári Sós and Turán proved an upper bound of $O(n^{2-\frac{1}{t}})$. In a celebrated result, Fox et al. obtained an improved bound of $O(n^{2-\frac{1}{d}})$ for graphs of VC-dimension $d$ (where $d<t$). Basit, Chernikov, Starchenko, Tao and Tran improved the bound for the case of semilinear graphs. At SODA'23, Chan and Har-Peled further improved Basit et al.'s bounds and presented (quasi-)linear upper bounds for several classes of geometrically-defined incidence graphs, including a bound of $O(n \log \log n)$ for the incidence graph of points and pseudo-discs in the plane.
In this paper we present a new approach to Zarankiewicz's problem, via $ε$-t-nets - a recently introduced generalization of the classical notion of $ε$-nets. We show that the existence of `small'-sized $ε$-t-nets implies upper bounds for Zarankiewicz's problem. Using the new approach, we obtain a sharp bound of $O(n)$ for the intersection graph of two families of pseudo-discs, thus both improving and generalizing the result of Chan and Har-Peled from incidence graphs to intersection graphs. We also obtain a short proof of the $O(n^{2-\frac{1}{d}})$ bound of Fox et al., and show improved bounds for several other classes of geometric intersection graphs, including a sharp $O(n\frac{\log n}{\log \log n})$ bound for the intersection graph of two families of axis-parallel rectangles.
An Approximate Counting Version of the Multidimensional Szemerédi Theorem
Published
• View Publication
• BIB
For any fixed $d\geq1$ and subset $X$ of $\mathbb{N}^d$, let $r_X(n)$ be the maximum cardinality of a subset $A$ of $\{1,\dots,n\}^d$ which does not contain a subset of the form $\vec{b} + rX$ for $r>0$ and $\vec{b} \in \mathbb{R}^d$. Such a set $A$ is said to be \emph{$X$-free}. The Multidimensional Szemerédi Theorem of Furstenberg and Katznelson states that $r_X(n)=o(n^d)$. We show that, for $|X|\geq 3$ and infinitely many $n\in\mathbb{N}$, the number of $X$-free subsets of $\{1,\dots,n\}^d$ is at most $2^{O(r_X(n))}$. The proof involves using a known multidimensional extension of Behrend's construction to obtain a supersaturation theorem for copies of $X$ in dense subsets of $[n]^d$ for infinitely many values of $n$ and then applying the powerful hypergraph container lemma. Our result generalizes work of Balogh, Liu, and Sharifzadeh on $k$-AP-free sets and Kim on corner-free sets.
Sparse graph counting and Kelley-Meka bounds for binary systems
Published
• View Publication
• BIB
In a recent breakthrough, Kelley and Meka (FOCS 2023) obtained a strong upper bound on the density of sets of integers without nontrivial three-term arithmetic progressions. In this work, we extend their result, establishing similar bounds for all linear patterns defined by binary systems of linear forms, where "binary" indicates that every linear form depends on exactly two variables. Prior to our work, no strong bounds were known for such systems even in the finite field model setting. A key ingredient in our proof is a graph counting lemma. The classical graph counting lemma, developed by Thomason (Random Graphs 1985) and Chung, Graham, and Wilson (Combinatorica 1989), is a fundamental tool in combinatorics. For a fixed graph $H$, it states that the number of copies of $H$ in a pseudorandom graph $G$ is similar to the number of copies of $H$ in a purely random graph with the same edge density as $G$. However, this lemma is only non-trivial when $G$ is a dense graph. In this work, we prove a graph counting lemma that is also effective when $G$ is sparse. Moreover, our lemma is well-suited for density increment arguments in additive number theory. As an immediate application, we obtain a strong bound for the Turán problem in abelian Cayley sum graphs: let $Γ$ be a finite abelian group with odd order. If a Cayley sum graph on $Γ$ does not contain any $r$-clique as a subgraph, it must have at most $2^{-Ω_r(\log^{1/16}|Γ|)}\cdot |Γ|^2$ edges. These results hinge on the technology developed by Kelley and Meka and the follow-up work by Kelley, Lovett, and Meka (STOC 2024).
Dihedral groups of order $2pq$ or $2pqr$ are DCI
A group has the (D)CI ((Directed) Cayley Isomorphism) property, or more commonly is a (D)CI group, if any two Cayley (di)graphs on the group are isomorphic via a group automorphism. That is, $G$ is a (D)CI group if whenever $\rm{Cay}(G,S)\cong \rm{Cay}(G,T)$, there is some $δ\in \rm{Aut}(G)$ such that $S^δ=T$. (For the CI property, we only require this to be true if $S$ and $T$ are closed under inversion.)
Suppose $p,q,r$ are distinct odd primes. We show that $D_{2pqr}$ is a DCI group. We present this result in the more general context of dihedral groups of squarefree order; some of our results apply to any such group, and may be useful in future toward showing that all dihedral groups of squarefree order are DCI groups.
Short rainbow cycles in edge-colored graphs
A famous conjecture of Caccetta and Häggkvist (CHC) states that a directed graph $D$ with $n$ vertices and minimum outdegree at least $r$ has a directed cycle of length at most $\lceil \frac{n}{r}\rceil$. In 2017, Aharoni proposed the following generalization: an edge-colored graph $G$ with $n$ vertices, $n$ color classes of size at least $r$ has a rainbow cycle of length at most $\lceil \frac{n}{r}\rceil$. Since CHC can be seen as the case of Aharoni's Conjecture: color classes in the color partition are monochromatic stars centered at distinct vertices, one way to study Aharoni's Conjecture is to structure the color classes as each color class is either a star, a triangle or contains a matching of size 2. Guo improved the upper bound in Aharoni's Conjecture to $O(\log n)$ in some mixed cases when the color classes are not necessarily stars. In this paper, we extend Guo's results. Our main result is as follows: Let $G$ an edge-colored graph on $n$ vertices and $n$ color classes, if at least $αn$ color classes are either a matching of size 2 or a triangle for $α>\frac{1}{2}$, then $G$ contains a rainbow cycle of length $O(\log n)$. We also prove that the $\log n$ bound is the right order of magnitude.
A note on cube-free problems
Published
• View Publication
• BIB
Eberhard and Pohoata conjectured that every $3$-cube-free subset of $[N]$ has size less than $2N/3+o(N)$. In this paper we show that if we replace $[N]$ with $\mathbb{Z}_N$ the upper bound of $2N/3$ holds, and the bound is tight when $N$ is divisible by $3$ since we have $A=\{a\in \mathbb{Z}_N:a\equiv 1,2\pmod{3}\}.$ Inspired by this observation we conjecture that every $d$-cube-free subset of $\mathbb{Z}_N$ has size less than $(d-1)N/d$ where $N$ is divisible by $d$, and we show the tightness of this bound by providing an example $B=\{b\in\mathbb{Z}_N:b\equiv 1,2,\ldots,d-1\pmod{d}\}$. We prove the conjecture for several interesting cases, including when $d$ is the smallest prime factor of $N$, or when $N$ is a prime power. We also discuss some related issues regarding $\{x,dx\}$-free sets and $\{x,2x,\ldots,dx\}$-free sets. A main ingredient we apply is to arrange all the integers into some square matrix, with $m=d^s\times l$ having the coordinate $(s+1,l-\lfloor l/d\rfloor)$. Here $d$ is a given integer and $l$ is not divisible by $d$.
Lattice paths and the Rogers--Ramanujan--Gordon type theorems with parity considerations
Published
• View Publication
• BIB
Andrews imposed parity restrictions on the Rogers-Ramanujan-Gordon type partitions, yielding fruitful results. These results were later, advanced by Kurşungöz, Kim, and Yee. In this paper, we construct a bijection between lattice paths with three kinds of unitary steps and the Rogers--Ramanujan--Gordon type partitions. We give some results involving parity considerations on lattice paths by this bijection which are Andrews' partition results counterpart. We also give some new results on lattice paths.
Toughness and distance spectral radius in graphs involving minimum degree
Published
• View Publication
• BIB
The toughness $τ(G)=\mathrm{min}\{\frac{|S|}{c(G-S)}: S~\mbox{is a cut set of vertices in}~G\}$ for $G\ncong K_n.$ The concept of toughness initially proposed by Chv$\mathrm{\acute{a}}$tal in 1973, which serves as a simple way to measure how tightly various pieces of a graph hold together. A graph $G$ is called $t$-tough if $τ(G)\geq t.$ It is very interesting to investigate the relations between toughness and eigenvalues of graphs. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] provided sufficient conditions in terms of the spectral radius for a graph to be 1-tough with minimum degree $δ$ and $t$-tough with $t\geq 1$ being an integer, respectively. By using some typical distance spectral techniques and structural analysis, we in this paper present sufficient conditions based on the distance spectral radius to guarantee a graph to be 1-tough with minimum degree $δ.$ Moreover, we also prove sufficient conditions with respect to the distance spectral radius for a graph to be $t$-tough, where $t$ or $\frac{1}{t}$ is a positive integer.
Eigenvalues and spanning trees with constrained degree
In this paper, we study some spanning trees with bounded degree and leaf degree from eigenvalues. For any integer $k\geq2$, a $k$-tree is a spanning tree in which every vertex has degree no more than $k$. Let $T$ be a spanning tree of a connected graph. The leaf degree of $T$ is the maximum number of end-vertices attached to $v$ in $T$ for any $v\in V(T)$. By referring to the technique shown in [Eigenvalues and $[a,b]$-factors in regular graphs, J. Graph Theory. 100 (2022) 458-469], for an $r$-regular graph $G$, we provide an upper bound for the fourth largest adjacency eigenvalue of $G$ to guarantee the existence of a $k$-tree. Moreover, for a $t$-connected graph, we prove a tight sufficient condition for the existence of a spanning tree with leaf degree at most $k$ in terms of spectral radius. This generalizes a result of Theorem 1.5 in [Spectral radius and spanning trees of graphs, Discrete Math. 346 (2023) 113400]. Finally, for a general graph $G$, we present two sufficient conditions for the existence of a spanning tree with leaf degree at most $k$ via the Laplacian eigenvalues of $G$ and the spectral radius of the complement of $G$, respectively.
The Frobenius Problem for the Proth Numbers
Published
• View Publication
• BIB
Let $n$ be a positive integer greater than $2$. We define \textit{the Proth numerical semigroup}, $P_{k}(n)$, generated by $\{k 2^{n+i}+1 \,\mid\, i \in \mathbb{N}\}$, where $k$ is an odd positive number and $k < 2^{n}$. In this paper, we introduce the Frobenius problem for the Proth numerical semigroup $P_{k}(n)$ and give formulas for the embedding dimension of $P_{k}(n)$. We solve the Frobenius problem for $P_{k}(n)$ by giving a closed formula for the Frobenius number. Moreover, we show that $P_{k}(n)$ has an interesting property such as being Wilf.
Root generated subalgebras of symmetrizable Kac-Moody algebras
Published
• View Publication
• BIB
The derived algebra of a symmetrizible Kac-Moody algebra $\lie g$ is generated (as a Lie algebra) by its root spaces corresponding to real roots. In this paper, we address the natural reverse question: given any subset of real root vectors, is the Lie subalgebra of $\lie g$ generated by these again the derived algebra of a Kac-Moody algebra? We call such Lie subalgebras root generated, give an affirmative answer to the above question and show that there is a one-to-one correspondence between them, real closed subroot systems and $π$-systems contained in the positive system of $\lie g$. Finally, we apply these identifications to all untwised affine types in order to classify symmetric regular subalgebras first introduced by Dynkin in the finite-dimensional setting. We show that any root generated subalgebra associated to a maximal real closed subroot system can be embedded into a unique maximal symmetric regular subalgebra.