Showing 20 papers (Total: 82432 papers, 47671 authors in database)
The search for small association schemes with noncyclotomic eigenvalues
Published
• View Publication
• BIB
In this article we determine feasible parameter sets for (what could potentially be) commutative association schemes with noncyclotomic eigenvalues that are of smallest possible rank and order. A feasible parameter set for a commutative association scheme corresponds to a standard integral table algebra with integral multiplicities that satisfies all of the parameter restrictions known to hold for association schemes. For each rank and involution type, we generate an algebraic variety for which any suitable integral solution corresponds to a standard integral table algebra with integral multiplicities, and then try to find the smallest suitable solution. Our main results show the eigenvalues of commutative association schemes of rank 4 and nonsymmetric commutative association schemes of rank 5 will always be cyclotomic. In the rank 5 cases these our conclusions rely on calculations done by computer for Gröbner bases or for bases of rational vector spaces spanned by polynomials. We give several examples of feasible parameter sets for small symmetric association schemes of rank 5 that have noncyclotomic eigenvalues.
Orientable triangulable manifolds are essentially quasigroups
We introduce an $n$-dimensional analogue of the construction of tessellated surfaces from finite groups first described by Herman and Pakianathan. Our construction is functorial and associates to each $n$-ary alternating quasigroup both a smooth, flat Riemannian $n$-manifold which we dub the open serenation of the quasigroup in question, as well as a topological $n$-manifold (the serenation of the quasigroup) which is a subspace of the metric completion of the open serenation. We prove that every connected orientable smooth manifold is serene, in the sense that each such manifold is a component of the serenation of some quasigroup. We prove some basic results about the variety of alternating $n$-quasigroups and note connections between our construction, Latin hypercubes, and Johnson graphs.
Eigenvalues and cycles of consecutive lengths
Published in J. Graph Theory 103 (2023), no. 3, 486--492
• View Publication
• BIB
As the counterpart of classical theorems on cycles of consecutive lengths due to Bondy and Bollobás in spectral graph theory, Nikiforov proposed the following open problem in 2008: What is the maximum $C$ such that for all positive $\varepsilon<C$ and sufficiently large $n$, every graph $G$ of order $n$ with spectral radius $ρ(G)>\sqrt{\lfloor\frac{n^2}{4}\rfloor}$ contains a cycle of length $\ell$ for each integer $\ell\in[3,(C-\varepsilon)n]$. We prove that $C\geq\frac{1}{4}$ by a novel method, improving the existing bounds. Besides several novel ideas, our proof technique is partly inspirited by the recent research on Ramsey numbers of star versus large even cycles due to Allen, Łuczak, Polcyn and Zhang, and with aid of a powerful spectral inequality. We also derive an Erdős-Gallai-type edge number condition for even cycles, which may be of independent interest.
A characterization of 4-$χ_S$-vertex-critical graphs for packing sequences with $s_1 =1$ and $s_2\ge 3$
If $S=(s_1,s_2,\ldots)$ is a non-decreasing sequence of positive integers, then the $S$-packing $k$-coloring of a graph $G$ is a mapping $c: V(G)\rightarrow[k]$ such that if $c(u)=c(v)=i$ for $u\neq v\in V(G)$, then $d_G(u,v)>s_i$. The $S$-packing chromatic number of $G$ is the smallest integer $k$ such that $G$ admits an $S$-packing $k$-coloring. A graph $G$ is $χ_S$-vertex-critical if $χ_S(G-u) < χ_S(G)$ for each $u\in V(G)$. If $G$ is $χ_S$-vertex-critical and $χ_S(G) = k$, then $G$ is $k$-$χ_S$-vertex-critical. In this paper, $4$-$χ_S$-vertex-critical graphs are characterized for sequences $S = (1,s_2, s_3, \ldots)$ with $s_2 \ge 3$. There are $28$ sporadic examples and two infinite families of such graphs.
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula
Published
• View Publication
• BIB
Weighted First-Order Model Counting (WFOMC) computes the weighted sum of the models of a first-order logic theory on a given finite domain. First-Order Logic theories that admit polynomial-time WFOMC w.r.t domain cardinality are called domain liftable. We introduce the concept of lifted interpretations as a tool for formulating closed-forms for WFOMC. Using lifted interpretations, we reconstruct the closed-form formula for polynomial-time FOMC in the universally quantified fragment of FO2, earlier proposed by Beame et al. We then expand this closed-form to incorporate cardinality constraints, existential quantifiers, and counting quantifiers (a.k.a C2) without losing domain-liftability. Finally, we show that the obtained closed-form motivates a natural definition of a family of weight functions strictly larger than symmetric weight functions.
Intersection Bodies of Polytopes
Published in Beiträge zur Algebra und Geometrie, 63, 419-439 (2022)
• View Publication
• BIB
We investigate the intersection body of a convex polytope using tools from combinatorics and real algebraic geometry. In particular, we show that the intersection body of a polytope is always a semialgebraic set and provide an algorithm for its computation. Moreover, we compute the irreducible components of the algebraic boundary and provide an upper bound for the degree of these components.
Conservation Strength of The Infinite Pigeonhole Principle for Trees
Published
• View Publication
• BIB
Let $\mathsf{TT}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let $\mathsf{RT}^2_2$ and $\mathsf{WKL}_0$ denote respectively the principles of Ramsey's theorem for pairs and weak König's lemma. It is proved that $\mathsf{TT}^1+\mathsf{RT}^2_2+\mathsf{WKL}_0$ is $Π^0_3$-conservative over the base system $\mathsf{RCA}_0$. Thus over $\mathsf{RCA}_0$, $\mathsf{TT}^1$ and Ramsey's theorem for pairs prove the same $Π^0_3$-sentences.
On Local Operations that Preserve Symmetries and on Preserving Polyhedrality of Embeddings
Published
• View Publication
• BIB
We prove that local operations that preserve all symmetries, as e.g. dual, truncation, ambo, or join,, as well as local operations that preserve all symmetries except orientation reversing ones, as e.g. gyro or snub, preserve the polyhedrality of simple embedded graphs. This generalizes a result by Mohar proving this for the operation dual. We give the proof based on an abstract characterization of these operations, prove that the operations are well defined, and also demonstrate the close connection between these operations and Delaney-Dress symbols. We also discuss more general operations not coming from 3-connected simple tilings of the plane.
Homological eigenvalues of graph $p$-Laplacians
Published in Journal of Topology and Analysis, (2023)
• View Publication
• BIB
Inspired by persistent homology in topological data analysis, we introduce the homological eigenvalues of the graph $p$-Laplacian $Δ_p$, which allows us to analyse and classify non-variational eigenvalues. We show the stability of homological eigenvalues, and we prove that for any homological eigenvalue $λ(Δ_p)$, the function $p\mapsto p(2λ(Δ_p))^{\frac1p}$ is locally increasing, while the function $p\mapsto 2^{-p}λ(Δ_p)$ is locally decreasing. As a special class of homological eigenvalues, the min-max eigenvalues $λ_1(Δ_p)$, $\cdots$, $λ_k(Δ_p)$, $\cdots$, are locally Lipschitz continuous with respect to $p\in[1,+\infty)$. We also establish the monotonicity of $p(2λ_k(Δ_p))^{\frac1p}$ and $2^{-p}λ_k(Δ_p)$ with respect to $p\in[1,+\infty)$.
These results systematically establish a refined analysis of $Δ_p$-eigenvalues for varying $p$, which lead to several applications, including: (1) settle an open problem by Amghibech on the monotonicity of some function involving eigenvalues of $p$-Laplacian with respect to $p$; (2) resolve a question asking whether the third eigenvalue of graph $p$-Laplacian is of min-max form; (3) refine the higher order Cheeger inequalities for graph $p$-Laplacians by Tudisco and Hein, and extend the multi-way Cheeger inequality by Lee, Oveis Gharan and Trevisan to the $p$-Laplacian case.
Furthermore, for the 1-Laplacian case, we characterize the homological eigenvalues and min-max eigenvalues from the perspective of topological combinatorics, where our idea is similar to the authors' work on discrete Morse theory.
A Murnaghan-Nakayama rule for Grothendieck polynomials of Grassmannian type
Published in Annals of Combinatorics, Vol. 28 (2024), 155-168
• View Publication
• BIB
We consider the Grothendieck polynomials appearing in the K-theory of Grassmannians, which are analogs of Schur polynomials. This paper aims to establish a version of the Murnaghan-Nakayama rule for Grothendieck polynomials of the Grassmannian type. This rule allows us to express the product of a Grothendieck polynomial with a power sum symmetric polynomial into a linear combination of other Grothendieck polynomials.
Backward Touchard congruence
Published
• View Publication
• BIB
The celebrated Touchard congruence states that $B_{n+p}B_n+B_{n+1}$ modulo $p$, where $p$ is a prime number and $B_n$ denotes the Bell number. In this paper we study divisibility properties of $B_{n-p}$ and their generalizations involving higher powers of $p$ as well as the $r$-Bell numbers. In particular, we show a closely relation of the considered problem to the Sun-Zagier congruence, which is additionally improved by deriving \mbox{a new} relation between $r$-Bell and derangement numbers. Finally, we conclude some results on the period of the Bell numbers modulo $p$.
A SAT Approach to Twin-Width
Published
• View Publication
• BIB
The graph invariant twin-width was recently introduced by Bonnet, Kim, Thomassé, and Watrigan. Problems expressible in first-order logic, which includes many prominent NP-hard problems, are tractable on graphs of bounded twin-width if a certificate for the twin-width bound is provided as an input. Computing such a certificate, however, is an intrinsic problem, for which no nontrivial algorithm is known.
In this paper, we propose the first practical approach for computing the twin-width of graphs together with the corresponding certificate. We propose efficient SAT-encodings that rely on a characterization of twin-width based on elimination sequences. This allows us to determine the twin-width of many famous graphs with previously unknown twin-width. We utilize our encodings to identify the smallest graphs for a given twin-width bound $d \in \{1,\dots,4\}$.
A Census of Non-Reconstructable Digraphs, II: A Family of Tournaments
Continuing the program begun in the first paper of this series, we present a pair of non-reconstructable tournament on $p$ vertices for each $p=2^n \ge 4$.
Embedding perfectly balanced 2-caterpillar into its optimal hypercube
A long-standing conjecture on spanning trees of a hypercube states that a balanced tree on $2^n$ vertices with maximum degree at most $3$ spans the hypercube of dimension $n$ \cite{havel1986}. In this paper, we settle the conjecture for a special family of binary trees. A $0$-caterpillar is a path. For $k\geq 1$, a $k$-caterpillar is a binary tree consisting of a path with $j$-caterpillars $(0\leq j\leq k-1)$ emanating from some of the vertices on the path. A $k$-caterpillar that contains a perfect matching is said to be perfectly balanced. In this paper, we show that a perfectly balanced $2$-caterpillar on $2^n$ vertices spans the hypercube of dimension $n$.
On sets of points in general position that lie on a cubic curve in the plane and determine lines that can be pierced by few points
Published
• View Publication
• BIB
Let $P$ be a set of $n$ points in general position in the plane. Let $R$ be a set of points disjoint from $P$ such that for every $x,y \in P$ the line through $x$ and $y$ contains a point in $R$. We show that if $|R| < \frac{3}{2}n$ and $P \cup R$ is contained in a cubic curve $c$ in the plane, then $P$ has a special property with respect to the natural group action on $c$. That is, $P$ is contained in a coset of a subgroup $H$ of $c$ of cardinality at most $|R|$.
We use the same approach to show a similar result in the case where each of $B$ and $G$ is a set of $n$ points in general position in the plane and every line through a point in $B$ and a point in $G$ passes through a point in $R$. This provides a partial answer to a problem of Karasev.
The bound $|R| < \frac{3}{2}n$ is best possible at least for part of our results. Our extremal constructions provide a counterexample to an old conjecture attributed to Jamison about point sets that determine few directions. Jamison conjectured that if $P$ is a set of $n$ points in general position in the plane that determines at most $2n-c$ distinct directions, then $P$ is contained in an affine image of the set of vertices of a regular $m$-gon. This conjecture of Jamison is strongly related to our results in the case the cubic curve $c$ is reducible and our results can be used to prove Jamison's conjecture at least when $m-n$ is in the order of magnitude of $O(\sqrt{n})$.
Solution to a problem of Erdős on the chromatic index of hypergraphs with bounded codegree
Published
• View Publication
• BIB
In 1977, Erdős asked the following question: for any integers $t,n \in \mathbb{N}$, if $G_1 , \dots , G_n$ are complete graphs such that each $G_i$ has at most $n$ vertices and every pair of them shares at most $t$ vertices, what is the largest possible chromatic number of the union $\bigcup_{i=1}^{n} G_i$? The equivalent dual formulation of this question asks for the largest chromatic index of an $n$-vertex hypergraph with maximum degree at most $n$ and maximum codegree at most $t$. For the case $t = 1$, Erdős, Faber, and Lovász famously conjectured that the answer is $n$, which was recently proved by the authors for all sufficiently large $n$. In this paper, we answer this question of Erdős for $t \geq 2$ in a strong sense, by proving that every $n$-vertex hypergraph with maximum degree at most $(1-o(1))tn$ and maximum codegree at most $t$ has chromatic index at most $tn$ for any $t,n \in \mathbb{N}$. Moreover, equality holds if and only if the hypergraph is a $t$-fold projective plane of order $k$, where $n = k^2 + k + 1$. Thus, for every $t \in \mathbb N$, this bound is best possible for infinitely many integers $n$. This result also holds for the list chromatic index.
Kempe Equivalent List Edge-Colorings of Planar Graphs
Published in Discrete Math Vol. 346, no. 11, November 2023, 113180
• View Publication
• BIB
For a list assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap in $\varphi$ is \emph{$L$-valid} if it yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from another by a sequence of $L$-valid Kempe swaps. And a graph $G$ is \emph{$L$-swappable} if every two of its $L$-colorings are $L$-equivalent. We consider $L$-swappability of line graphs of planar graphs with large maximum degree. Let $G$ be a planar graph with $Δ(G)\ge 9$ and let $H$ be the line graph of $G$. If $L$ is a $(Δ(G)+1)$-assignment to $H$, then $H$ is $L$-swappable. Let $G$ be a planar graph with $Δ(G)\ge 15$ and let $H$ be the line graph of $G$. If $L$ is a $Δ(G)$-assignment to $H$, then $H$ is $L$-swappable. The first result is analogous to one for $L$-choosability by Borodin, which was later strengthened by Bonamy. The second result is analogous to another for $L$-choosability by Borodin, which was later strengthened by Borodin, Kostochka, and Woodall.
Length and area generating functions for height-restricted Motzkin meanders
Published in Phys. Rev. E 105, 024102, 2 February 2022
• View Publication
• BIB
We derive the length and area generating function of planar height-restricted forward-moving discrete paths of increments +1, 0, or -1 with arbitrary starting and ending points, the so-called Motzkin meanders, and the more general length-area generating functions for Motzkin paths with markers monitoring the number of passages from the two height boundaries ('floor' and 'ceiling') and the time spent there. The results are obtained by embedding Motzkin paths in a two-step anisotropic Dyck path process and using propagator, exclusion statistics and bosonization techniques. We also present a cluster expansion of the logarithm of the generating functions that makes their polynomial structure explicit. These results are relevant to the derivation of statistical mechanical properties of physical systems such as polymers, vesicles, and solid-on-solid interfaces.
Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton
Published
• View Publication
• BIB
Certain famous combinatorial sequences, such as the Catalan numbers and the Motzkin numbers, when taken modulo a prime power, can be computed by finite automata. Many theorems about such sequences can therefore be proved using Walnut, which is an implementation of a decision procedure for proving various properties of automatic sequences. In this paper we explore some results (old and new) that can be proved using this method.
An enumeration of 1-perfect ternary codes
Published in Discrete Math. 346(7) 2023, 113437(1-16)
• View Publication
• BIB
We study codes with parameters of the ternary Hamming $(n=(3^m-1)/2,3^{n-m},3)$ code, i.e., ternary $1$-perfect codes. The rank of the code is defined to be the dimension of its affine span. We characterize ternary $1$-perfect codes of rank $n-m+1$, count their number, and prove that all such codes can be obtained from each other by a sequence of two-coordinate switchings. We enumerate ternary $1$-perfect codes of length $13$ obtained by concatenation from codes of lengths $9$ and $4$; we find that there are $93241327$ equivalence classes of such codes.
Keywords: perfect codes, ternary codes, concatenation, switching.