Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Many unit distances requires many directions
In this note, we show that in planar pointsets determining many unit distances, these unit distances must span many directions. Specifically, we show that a set of $n$ points can determine only $o(n^{4/3})$ unit distances from a set of at most $O(n^{1/3})$ directions.
The Flood Polynomial of a Graph
The flood polynomial of a simple finite graph is a weight generating function that counts all flooding cascade sets of the graph. The flood polynomial is inspired by the water mechanics in the video game Minecraft. We give necessary conditions for two graphs to have the same flood polynomial. We then provide a formula for the flood polynomials of certain families of graphs. We will see that many flood polynomials can be expressed using a Fibonacci-like recurrence and in some cases are equal to Fibonacci or Lucas polynomials. We then provide general examples of pairs of distinct graphs with the same flood polynomial. In these examples, the flood polynomial will be expressed as the product of Fibonacci and Lucas polynomials.
Refined algebraic domains with finite sets in the boundaries respecting differential geometry
We are interested in shapes of real algebraic curves in the plane and regions surrounded by them: they are named refined algebraic domains by the author.
As characteristic finite sets, we consider points contained in two curves and the sets of singular points of the restrictions of the projections to the lines to the curves. As a new case, we respect differential geometry and consider inflection points and points of some double tangent lines of a single connected curve. We prove fundamental properties and investigate some examples.
We have also previously considered the cases where the curves are straight lines, circles, or boundaries of ellipsoids for example. Such simple cases are trivial in our new consideration.
Word-Representability of Well-Partitioned Chordal Graphs
In this paper, we study the word-representability of well-partitioned chordal graphs using split decomposition. We show that every component of the minimal split decomposition of a well-partitioned chordal graph is a split graph. Thus we have a characterization for word-representability of well-partitioned chordal graphs. As a consequence, we prove that the recognition of word-representability of well-partitioned chordal graphs can be done in polynomial time. Moreover, we prove that the representation number of a word-representable well-partitioned chordal graph is at most three. Further, we obtain a minimal forbidden induced subgraph characterization of circle graphs restricted to well-partitioned chordal graphs. Accordingly, we determine the class of word-representable well-partitioned chordal graphs having representation number exactly three.
Some new Steiner designs $S(2,6,91)$
Published in Journal of Algebraic Combinatorics 62 (2025), article no. 38
• View Publication
• BIB
The Kramer-Mesner method for constructing designs with a prescribed automorphism group $G$ has proven effective many times. In the special case of Steiner designs, the task reduces to solving an exact cover problem, with the advantage that fast backtracking solvers like Donald Knuth's dancing links and dancing cells can be used. We find ways to encode the inherent symmetry of the problem space, induced by the action of the normalizer of $G$, into a single instance of the exact cover problem. This eliminates redundant computations of certain isomorphic search branches, while preventing the overhead caused by repeatedly restarting the solver.
Our improved approach is applied to the parameters $S(2,6,91)$. Previously, only four such Steiner designs were known, all of which had been constructed as cyclic designs over four decades ago. We find $23$ new designs, each with full automorphism group of order $84$.
Grassmannian Persistence Diagrams: Special Properties in the 1-Parameter Setting
In this paper, we explore the discriminative power of Grassmannian persistence diagrams of 1-parameter filtrations, examine their relationships with other related constructions, and study their computational aspects. Grassmannian persistence diagrams are defined through Orthogonal Inversion, a notion analogous to Möbius inversion. We focus on the behavior of this inversion for the poset of segments of a linear poset. We demonstrate how Grassmannian persistence diagrams of 1-parameter filtrations are connected to persistent Laplacians via a variant of orthogonal inversion tailored for the reverse-inclusion order on the poset of segments. Additionally, we establish an explicit isomorphism between Grassmannian persistence diagrams and Harmonic Barcodes via a projection. Finally, we show that degree-0 Grassmannian persistence diagrams are equivalent to treegrams, a generalization of dendrograms. Consequently, we conclude that finite ultrametric spaces can be recovered from the degree-0 Grassmannian persistence diagram of their Vietoris-Rips filtrations.
The stable limit DAHA: the structure of the standard representation
We prove a number of results about the structure of the standard representation of the stable limit DAHA. More precisely, we address the triangularity, spectrum, and eigenfunctions of the limit Cherednik operators, and construct several PBW-type bases for the stable limit DAHA. We establish a remarkable triangularity property concerning the contribution of certain special elements of the PBW basis of a finite rank DAHA of high enough rank to the PBW expansion of a PBW basis element of the stable limit DAHA. The triangularity property implies the faithfulness of the standard representation. This shows that the algebraic structure defined by the limit operators associated to elements of the finite rank DAHAs is precisely the stable limit DAHA.
Generalized Erdős-Rogers problems for hypergraphs
Given $r$-uniform hypergraphs $G$ and $F$ and an integer $n$, let $f_{F,G}(n)$ be the maximum $m$ such that every $n$-vertex $G$-free $r$-graph has an $F$-free induced subgraph on $m$ vertices. We show that $f_{F,G}(n)$ is polynomial in $n$ when $G$ is a subgraph of an iterated blowup of $F$. As a partial converse, we show that if $G$ is not a subgraph of an $F$-iterated blowup and is $2$-tightly connected, then $f_{F,G}(n)$ is at most polylogarithmic in $n$. Our bounds generalize previous results of Dudek and Mubayi for the case when $F$ and $G$ are complete.
The Alon-Tarsi Number of Cartesian product and Corona product of Hypercube Graph and Special Graphs
The \emph{Alon-Tarsi number} of a graph $G$ is the smallest $k$ so that there exists an orientation $D$ of $G$ with max outdegree $k-1$ satisfying the number of even Eulerian subgraphs different from the number of odd Eulerian subgraphs. In this paper, the Alon-Tarsi number of the $n$-cube is obtained according to its special properties, we obtain the Alon-Tarsi number of Cartesian product of some special bipartite graphs, and get the Alon-Tarsi number of Corona product of graphs. As corollaries, we get the Alon-Tarsi number of Cartesian product and Corona product of hypercube graph and special graphs.
A New Dominating Set Game on Graphs
We introduce a new two-player game on graphs, in which players alternate choosing vertices until the set of chosen vertices forms a dominating set. The last player to choose a vertex is the winner. The game fits into the scheme of several other known games on graphs. We characterize the paths and cycles for which the first player has the winning strategy. We also create tools for combining graphs in various ways (via graph powers, Cartesian products, graph joins, and other methods) for building a variety of graphs whose games are won by the second player, including cubes, multidimensional grids with an odd number of vertices, most multidimensional toroidal grids, various trees such as specialized caterpillars, the Petersen graph, and others. Finally, we extend the game to groups and show that the second player wins the game on abelian groups of even order with canonical generating set, among others.
A short proof of Tuza's conjecture for weak saturation in hypergraphs
Given an $r$-uniform hypergraph $H$ and a positive integer $n$, the weak saturation number $\mathrm{wsat}(n,H)$ is the minimum number of edges in an $r$-uniform hypergraph $F$ on $n$ vertices such that the missing edges in $F$ can be added, one at a time, so that each added edge creates a copy of $H$. Shapira and Tyomkyn (Proceedings of the American Mathematical Society, 2023) proved Tuza's conjecture on asymptotic behaviour of $\mathrm{wsat}(n, H)$. In this paper we provide a significantly shorter proof of the conjecture.
Nonlinear spectral graph theory
Nonlinear spectral graph theory is an extension of the traditional (linear) spectral graph theory and studies relationships between spectral properties of nonlinear operators defined on a graph and topological properties of the graph itself. Many of these relationships get tighter when going from the linear to the nonlinear case. In this manuscript, we discuss the spectral theory of the graph $p$-Laplacian operator. In particular we report links between the $p$-Laplacian spectrum and higher-order Cheeger (or isoperimetric) constants, sphere packing constants, independence and matching numbers of the graph. The main aim of this paper is to present a complete and self-contained introduction to the problem accompanied by a discussion of the main results and the proof of new results that fill some gaps in the theory. The majority of the new results are devoted to the study of the graph infinity Laplacian spectrum and the information that it yields about the packing radii, the independence numbers and the matching number of the graph. This is accompanied by a novel discussion about the nodal domains induced by the infinity eigenfunctions. There are also new results about the variational spectrum of the $p$-Laplacian, the regularity of the $p$-Laplacian spectrum varying $p$, and the relations between the $1$-Laplacian spectrum and new Cheeger constants.
Constant Rate Isometric Embeddings of Hamming Metric into Edit Metric
A function $\varphi: \{0,1\}^n \to \{0,1\}^N$ is called an isometric embedding of the $n$-dimensional Hamming metric space to the $N$-dimensional edit metric space if, for all $x, y \in \{0,1\}^n$, the Hamming distance between $x$ and $y$ is equal to the edit distance between $\varphi(x)$ and $\varphi(y)$. The rate of such an embedding is defined as the ratio $n/N$. It is well known in the literature how to construct isometric embeddings with a rate of $Ω(\frac{1}{\log n})$. However, achieving even near-isometric embeddings with a positive constant rate has remained elusive until now.
In this paper, we present an isometric embedding with a rate of 1/8 by discovering connections to synchronization strings, which were studied in the context of insertion-deletion codes (Haeupler-Shahrasbi [JACM'21]). At a technical level, we introduce a framework for obtaining high-rate isometric embeddings using a novel object called misaligners. As an immediate consequence of our constant rate isometric embedding, we improve known conditional lower bounds for various optimization problems in the edit metric, but now with optimal dependency on the dimension.
We complement our results by showing that no isometric embedding $\varphi:\{0, 1\}^n \to \{0, 1\}^N$ can have rate greater than 15/32 for all positive integers $n$. En route to proving this upper bound, we uncover fundamental structural properties necessary for every Hamming-to-edit isometric embedding. We also prove similar upper and lower bounds for embeddings over larger alphabets.
Finally, we consider embeddings $\varphi:Σ_{\text{in}}^n\to Σ_{\text{out}}^N$ between different input and output alphabets, where the rate is given by $\frac{n\log|Σ_{\text{in}}|}{N\log|Σ_{\text{out}}|}$. In this setting, we show that the rate can be made arbitrarily close to 1.
Quantum Optimization Benchmarking Library - The Intractable Decathlon
Through recent progress in hardware development, quantum computers have advanced to the point where benchmarking of (heuristic) quantum algorithms at scale is within reach. Particularly in combinatorial optimization - where most algorithms are heuristics - it is key to empirically analyze their performance on hardware and track progress towards quantum advantage. To this extent, we present ten optimization problem classes that are difficult for existing classical algorithms and can (mostly) be linked to practically relevant applications, with the goal to enable systematic, fair, and comparable benchmarks for quantum optimization methods. Further, we introduce the Quantum Optimization Benchmarking Library (QOBLIB) where the problem instances and solution track records can be found. The individual properties of the problem classes vary in terms of objective and variable type, coefficient ranges, and density. Crucially, they all become challenging for established classical methods already at system sizes ranging from less than 100 to, at most, an order of 100,000 decision variables, allowing to approach them with today's quantum computers. We reference the results from state-of-the-art solvers for instances from all problem classes and demonstrate exemplary baseline results obtained with quantum solvers for selected problems. The baseline results illustrate a standardized form to present benchmarking solutions, which has been designed to ensure comparability of the used methods, reproducibility of the respective results, and trackability of algorithmic and hardware improvements over time. We encourage the optimization community to explore the performance of available classical or quantum algorithms and hardware platforms with the benchmarking problem instances presented in this work toward demonstrating quantum advantage in optimization.
Mullineux map: $d$-balanced partitions and $d$-runner matrices
Let $1<d<e$ be two coprime integers and let $m_e$ denote the Mullineux map, which for $e$ prime describes tensor products of the irreducible modules of symmetric groups with the sign in characteristic $e$. We prove that if $λ$ is an $e$-regular partition such that $d$ divides the arm length of any rim hook of $λ$ of size divisible by $e$, then $m_e(λ)'$ is a partition such that the arm length of any of its rim hooks of size divisible by $e$ is congruent to $-1$ modulo $d$. We introduce a new parameter for partitions called the $d$-runner matrix and show that if $λ$ is as above, then the $d$-runner matrices of $λ$ and $m_e(λ)'$ agree. This determines $m_e(λ)'$ uniquely. We approach the whole problem combinatorially and take advantage of a new Abacus Mullineux Algorithm introduced in this paper. We also establish equivalent descriptions of the above partitions which provide an alternative version of the main result about the Mullineux map, which becomes particularly strong when $d=2$.
The $h^*$-polynomials of type C hypersimplices
We study the Ehrhart theory of hypersimplices of type C, as introduced by Lam and Postnikov for general crystallographic root systems. The $h^*$-polynomials of classical hypersimplices are known to relate to various Eulerian statistics on the symmetric group. In this paper, we introduce a new statistic and partial order on signed permutations, which we use to derive explicit formulas for the $h^*$-polynomials of type C hypersimplices. Additionally, we explore connections with other statistics, including flag-excedances and circular descents, flag-descents, and Coxeter descents.
Coxeter systems, left inversion sets, and higher dimensional cubes
Let $ (W,S)$ be a Coxeter system. We investigate the equation $ w(Φ_{x}) = Φ_{y}$ where $ w,x,y\in W$ and $ Φ_{x}$, $Φ_{y}$ denote the left inversion sets of $ x$ and $ y$. We then define a commutative square diagram called a Coxeter square which describes the relationship between 4 non-identity elements of the Coxeter group $ W$ and the equation $ w(Φ_{x}) = Φ_{y}$. Coxeter squares were first introduced by Dyer, Wang in \cite{dyer2011groupoids2} and \cite{dyer2019characterization}. Coxeter squares can be \textquotedblleft glued" together by compatible edges to form commutative diagrams in the shape of higher dimensional cubes called Coxeter $n$-cubes, which were first defined by Dyer in Example 12.5 of \cite{dyer2011groupoids2}. When $ |W| < \infty$ and $ |S| = n$, we show that Coxeter $n$-cubes must exist within $ (W,S)$. We then prove results about Coxeter $n$-cubes in the $A_{n}$ Coxeter system. We establish an explicit bijection between Coxeter $n$-cubes (modulo orientation) in $ A_{n}$ and binary trees with $n+1$ leaves. We also show that an element $x$ of $ A_{n}$ appears as the edge of some Coxeter $n$-cube if and only if $ x$ is a bigrassmannian permutation.
Number of independent transversals in multipartite graphs
An independent transversal in a multipartite graph is an independent set that intersects each part in exactly one vertex. We show that for every even integer $r\ge 2$, there exist $c_r>0$ and $n_0$ such that every $r$-partite graph with parts of size $n\ge n_0$ and maximum degree at most $rn/(2r-2)-t$, where $t=o(n)$, contains at least $c_r t n^{r-1}$ independent transversals. This is best possible up to the value of $c_r$. Our result confirms a conjecture of Haxell and Szabó from 2006 and partially answers a question raised by Erdős in 1972 and studied by Bollobás, Erdős and Szemerédi in 1975. We also show that, given any integer $s\ge 2$ and even integer $r\ge 2$, there exist $c_{r,s}>0$ and $n_0$ such that every $r$-partite graph with parts of size $n\ge n_0$ and maximum degree at most $rn/(2r-2)- c_{r, s} n^{1-1/s}$ contains an independent set with exactly $s$ vertices in each part. This is best possible up to the value of $c_{r, s}$ if a widely believed conjecture for the Zarankiewicz number holds. Our result partially answers a question raised by Di Braccio and Illingworth recently.
Modulus of hypertrees
Lorea [11] and later Frank et al. [8] generalized graphic matroids to hypergraphic matroids. In [8], the authors introduced hypertrees as a generalization of spanning trees and proved a form of the theorem of Tutte [18] and Nash-Williams [14]. In [3, 15, 17], the authors explored the modulus of the family of spanning trees in graphs and of the family of bases of matroids, and provided connections to the notions of strength and fractional arboricity. They also established Fulkerson duality for these families. In this paper, we extend these results to hypertrees, and show that the modulus of hypertrees uncovers a hierarchical structure within arbitrary hypergraphs.
A contratableau model for K-theoretic Littlewood-Richardson rule
The K-theoretic Littlewood-Richardson rule, established by A. Buch, is a combinatorial method for counting the structure constants involved in the product of two Grothendieck polynomials of Grassmannian type. In this paper, we provide an explicit combinatorial formula in terms of set-valued contratableau for the K-theoretic Littlewood-Richardson rule generalizing contratableau model for the classical Littlewood-Richardson rule given by Carré.