Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Complexity Function of Jammed Configurations of Rydberg Atoms
In this article, we determine the complexity function (configurational entropy) of jammed configurations of Rydberg atoms on a one-dimensional lattice. Our method consists of providing asymptotics for the number of jammed configurations determined by direct combinatorial reasoning. In this way we reduce the computation of complexity to solving a constrained optimization problem for the Shannon's entropy function. We show that the complexity can be expressed explicitly in terms of the root of a certain polynomial of degree $b$, where $b$ is the so-called blockade range of a Rydberg atom. Our results are put in a relation with the model of irreversible deposition of $k$-mers on a one-dimensional lattice.
Computational complexity aspects of super domination
Let $G$ be a graph. A dominating set $D\subseteq V(G)$ is a super dominating set if for every vertex $x\in V(G) \setminus D$ there exists $y\in D$ such that $N_G(y)\cap (V(G)\setminus D)) = \{x\}$. The cardinality of a smallest super dominating set of $G$ is the super domination number of $G$. An exact formula for the super domination number of a tree $T$ is obtained and demonstrated that a smallest super dominating set of $T$ can be computed in linear time. It is proved that it is NP-complete to decide whether the super domination number of a graph $G$ is at most a given integer if $G$ is a bipartite graph of girth at least $8$. The super domination number is determined for all $k$-subdivisions of graphs. Interestingly, in half of the cases the exact value can be efficiently computed from the obtained formulas, while in the other cases the computation is hard. While obtaining these formulas, II-matching numbers are introduced and proved that they are computationally hard to determine.
Doubly transitive equiangular tight frames that contain regular simplices
Published
• View Publication
• BIB
An equiangular tight frame (ETF) is a finite sequence of equal norm vectors in a Hilbert space that achieves equality in the Welch bound, and so has minimal coherence. The binder of an ETF is the set of all subsets of its indices whose corresponding vectors form a regular simplex. An ETF achieves equality in Donoho and Elad's spark bound if and only if its binder is nonempty. When this occurs, its binder is the set of all linearly dependent subsets of it of minimal size. Moreover, if members of the binder form a balanced incomplete block design (BIBD) then its incidence matrix can be phased to produce a sparse representation of its dual (Naimark complement). A few infinite families of ETFs are known to have this remarkable property. In this paper, we relate this property to the recently introduced concept of a doubly transitive equiangular tight frame (DTETF), namely an ETF for which the natural action of its symmetry group is doubly transitive. In particular, we show that the binder of any DTETF is either empty or forms a BIBD, and moreover that when the latter occurs, any member of the binder of its dual is an oval of this BIBD. We then apply this general theory to certain known infinite families of DTETFs. Specifically, any symplectic form on a finite vector space yields a DTETF, and we compute the binder of it and its dual, showing that the former is empty except in a single notable case, and that the latter consists of affine Lagrangian subspaces. This unifies and generalizes several results from the existing literature. We then consider the binders of four infinite families of DTETFs that arise from quadratic forms over the field of two elements, showing that two of these are empty except in a finite number of cases, whereas the other two form BIBDs that relate to each other, and to Lagrangian subspaces, in nonobvious ways.
Semidefinite approximations for bicliques and biindependent pairs
Published
• View Publication
• BIB
We investigate some graph parameters dealing with biindependent pairs $(A,B)$ in a bipartite graph $G=(V_1\cup V_2,E)$, i.e., pairs $(A,B)$ where $A\subseteq V_1$, $B\subseteq V_2$ and $A\cup B$ is independent. These parameters also allow to study bicliques in general graphs. When maximizing the cardinality $|A\cup B|$ one finds the stability number $α(G)$, well-known to be polynomial-time computable. When maximizing the product $|A|\cdot |B|$ one finds the parameter $g(G)$, shown to be NP-hard by Peeters (2003), and when maximizing the ratio $|A|\cdot |B|/|A\cup B|$ one finds $h(G)$, introduced by Vallentin (2020) for bounding product-free sets in finite groups. We show that $h(G)$ is an NP-hard parameter and, as a crucial ingredient, that it is NP-complete to decide whether a bipartite graph $G$ has a balanced maximum independent set. These hardness results motivate introducing semidefinite programming bounds for $g(G)$, $h(G)$, and $α_{\text{bal}}(G)$ (the maximum cardinality of a balanced independent set). We show that these bounds can be seen as natural variations of the Lovász $\vartheta$-number, a well-known semidefinite bound on $α(G)$. In addition we formulate closed-form eigenvalue bounds and we show relationships among them as well as with earlier spectral parameters by Hoffman, Haemers (2001) and Vallentin (2020).
A note on the Gyárfás-Sumner conjecture
Published
• View Publication
• BIB
The Gyárfás-Sumner conjecture says that for every tree $T$ and every integer $t\ge 1$, if $G$ is a graph with no clique of size $t$ and with sufficiently large chromatic number, then $G$ contains an induced subgraph isomorphic to $T$. This remains open, but we prove that under the same hypotheses, $G$ contains a subgraph $H$ isomorphic to $T$ that is ``path-induced''; that is, for some distinguished vertex~$r$, every path of $H$ with one end $r$ is an induced path of $G$.
Twin-width of Planar Graphs; a Short Proof
Published in European Journal of Combinatorics, 2024
• View Publication
• BIB
The fascinating question of the maximum value of twin-width on planar graphs is nowadays not far from the final resolution; there is a lower bound of 7 coming from a construction by Král' and Lamaison [arXiv, September 2022], and an upper bound of 8 by Hliněný and Jedelský [arXiv, October 2022]. The upper bound (currently best) of 8, however, is rather complicated and involved. In the paper we give a short and simple self-contained proof that the twin-width of planar graphs is at most 11. We believe that this short proof can also shed more light on the topic of upper bound(s) on the twin-width of planar and beyond-planar graphs in general.
Vector space partitions of $\operatorname{GF}(2)^8$
Published
• View Publication
• BIB
A vector space partition $\mathcal{P}$ of the projective space $\operatorname{PG}(v-1,q)$ is a set of subspaces in $\operatorname{PG}(v-1,q)$ which partitions the set of points. We say that a vector space partition $\mathcal{P}$ has type $(v-1)^{m_{v-1}} \dots 2^{m_2}1^{m_1}$ if precisely $m_i$ of its elements have dimension $i$, where $1\le i\le v-1$. Here we determine all possible types of vector space partitions in $\operatorname{PG}(7,2)$.
Equivariant Trees and Partition Complexes
We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's Theorems A and B, which are of independent interest.
The asymptotic topology of the multineighbor complex of a random graph
We introduce the multineighbor complex of a graph, which is a simplicial complex in which a simplex is a subset of the graph with a sufficient number of mutual neighbors. We investigate the asymptotic homological properties of such complexes for the Erdos-Renyi random graphs and obtain a number of vanishing and nonvanishing results. We use this construction to perform a topological data analysis classification of noisy synthetic point clouds obtaining favorable accuracy as obtained by the standard methods. The case when there is a single neighbor has been studied earlier by Mathew Kahle.
Fractional colorings of partial $t$-trees with no large clique
Published
• View Publication
• BIB
Dvořák and Kawarabayashi [European Journal of Combinatorics, 2017] asked, what is the largest chromatic number attainable by a graph of treewidth $t$ with no $K_r$ subgraph? In this paper, we consider the fractional version of this question. We prove that if $G$ has treewidth $t$ and clique number $2 \leq ω\leq t$, then $χ_f(G) \leq t + \frac{ω- 1}{t}$, and we show that this bound is tight for $ω= t$. We also show that for each value $0 < c < \frac{1}{2}$, there exists a graph $G$ of a large treewidth $t$ and clique number $ω= \lfloor (1 - c)t \rfloor$ satisfying $χ_f(G) \geq t + 1 + \frac{1}{2}\log(1-2c) + o(1)$, which is approximately equal to the upper bound for small values $c$.
On the Statistics of the Number of Fixed-Dimensional Subcubes in a Random Subset of the n-Dimensional Discrete Unit Cube
This paper consists of two independent, but related parts. In the first part we show how to use symbolic computation to derive explicit expressions for the first few moments of the number of implicants that a random Boolean function has, or equivalently the number of fixed-dimensional subcubes contained in a random subset of the $n$-dimensional cube. These explicit expressions suggest, but do not prove, that these random variables are always asymptotically normal.
The second part presents a full, human-generated proof, of this asymptotic normality, first proved by Urszula Konieczna.
On the intersecting family process
Published
• View Publication
• BIB
We study the intersecting family process initially studied in \cite{BCFMR}. Here $k=k(n)$ and $E_1,E_2,\ldots,E_m$ is a random sequence of $k$-sets from $\binom{[n]}{k}$ where $E_{r+1}$ is uniformly chosen from those $k$-sets that are not already chosen and that meet $E_i,i=1,2,\ldots,r$. We prove some new results for the case where $k=cn^{1/3}$ and for the case where $k\gg n^{1/2}$.
Unit and distinct distances in typical norms
Published
• View Publication
• BIB
Erdős' unit distance problem and Erdős' distinct distances problem are among the most classical and well-known open problems in discrete mathematics. They ask for the maximum number of unit distances, or the minimum number of distinct distances, respectively, determined by $n$ points in the Euclidean plane. The question of what happens in these problems if one considers normed spaces other than the Euclidean plane has been raised in the 1980s by Ulam and Erdős and attracted a lot of attention over the years. We give an essentially tight answer to both questions for almost all norms on $\mathbb{R}^d$, in a certain Baire categoric sense.
For the unit distance problem we prove that for almost all norms $\|.\|$ on $\mathbb{R}^d$, any set of $n$ points defines at most $\frac{1}{2} d \cdot n \log_2 n$ unit distances according to $\|.\|$. We also show that this is essentially tight, by proving that for every norm $\|.\|$ on $\mathbb{R}^d$, for any large $n$, we can find $n$ points defining at least $\frac{1}{2}(d-1-o(1))\cdot n \log_2 n$ unit distances according to $\|.\|$.
For the distinct distances problem, we prove that for almost all norms $\|.\|$ on $\mathbb{R}^d$ any set of $n$ points defines at least $(1-o(1))n$ distinct distances according to $\|.\|$. This is clearly tight up to the $o(1)$ term.
We also answer the famous Hadwiger--Nelson problem for almost all norms on $\mathbb{R}^2$, showing that their unit distance graph has chromatic number $4$.
Our results settle, in a strong and somewhat surprising form, problems and conjectures of Brass, Matoušek, Brass-Moser-Pach, Chilakamarri, and Robertson. The proofs combine combinatorial and geometric ideas with tools from Linear Algebra, Topology and Algebraic Geometry.
Switch Operators for the Six-Vertex Model
In this paper, we introduce and analyze a new switch operator for the six-vertex model. This operator, derived from the Yang-Baxter equation, allows us to express the partition function with arbitrary boundaries in terms of a base case with domain wall boundary conditions. As an application, we derive explicit formulas for the factorial Schur functions and their generalizations. Our results provide new insights into the relationship between boundary conditions and partition functions in the six-vertex model.
On the limit of the positive $\ell$-degree Turán problem
Published
• View Publication
• BIB
The minimum positive $\ell$-degree $δ^+_{\ell}(G)$ of a non-empty $k$-graph $G$ is the maximum $m$ such that every $\ell$-subset of $V(G)$ is contained in either none or at least $m$ edges of $G$; let $δ^+_{\ell}(G):=0$ if $G$ has no edges. For a family $\mathcal F$ of $k$-graphs, let $co^+ex_\ell(n,\mathcal F)$ be the maximum of $δ^+_{\ell}(G)$ over all $\mathcal F$-free $k$-graphs $G$ on $n$ vertices. We prove that the ratio $co^+ex_\ell(n,\mathcal F)/{n-\ell\choose k-\ell}$ tends to limit as $n\to\infty$, answering a question of Halfpap, Lemons and Palmer. Also, we show that the limit can be obtained as the value of a natural optimisation problem for $k$-hypergraphons; in fact, we give an alternative description of the set of possible accumulation points of almost extremal $k$-graphs.
From combinatorial maps to correlation functions in loop models
Published in SciPost Phys. 15, 147 (2023)
• View Publication
• BIB
In two-dimensional statistical physics, correlation functions of the O(N) and Potts models may be written as sums over configurations of non-intersecting loops.
We define sums associated to a large class of combinatorial maps (also known as ribbon graphs). We allow disconnected maps, but not maps that include monogons. Given a map with n vertices, we obtain a function of the moduli of the corresponding punctured Riemann surface. Due to the map's combinatorial (rather than topological) nature, that function is single-valued, and we call it an n-point correlation function.
We conjecture that in the critical limit, such functions form a basis of solutions of certain conformal bootstrap equations. They include all correlation functions of the O(N) and Potts models, and correlation functions that do not belong to any known model. We test the conjecture by counting solutions of crossing symmetry for four-point functions on the sphere.
Maximum Independent Set when excluding an induced minor: $K_1 + tK_2$ and $tC_3 \uplus C_4$
Published
• View Publication
• BIB
Dallard, Milanič, and Štorgel [arXiv '22] ask if for every class excluding a fixed planar graph $H$ as an induced minor, Maximum Independent Set can be solved in polynomial time, and show that this is indeed the case when $H$ is any planar complete bipartite graph, or the 5-vertex clique minus one edge, or minus two disjoint edges. A positive answer would constitute a far-reaching generalization of the state-of-the-art, when we currently do not know if a polynomial-time algorithm exists when $H$ is the 7-vertex path. Relaxing tractability to the existence of a quasipolynomial-time algorithm, we know substantially more. Indeed, quasipolynomial-time algorithms were recently obtained for the $t$-vertex cycle, $C_t$ [Gartland et al., STOC '21] and the disjoint union of $t$ triangles, $tC_3$ [Bonamy et al., SODA '23].
We give, for every integer $t$, a polynomial-time algorithm running in $n^{O(t^5)}$ when $H$ is the friendship graph $K_1 + tK_2$ ($t$ disjoint edges plus a vertex fully adjacent to them), and a quasipolynomial-time algorithm running in $n^{O(t^2 \log n)+f(t)}$, with $f$ a single-exponential function, when $H$ is $tC_3 \uplus C_4$ (the disjoint union of $t$ triangles and a 4-vertex cycle). The former extends a classical result on graphs excluding $tK_2$ as an induced subgraph [Alekseev, DAM '07], while the latter extends Bonamy et al.'s result.
Stable-Limit Non-symmetric Macdonald Functions in Type A
We construct and study an explicit simultaneous $\mathscr{Y}$ eigenbasis of Ion and Wu's standard representation of the $^+$stable-limit double affine Hecke algebra for the limit Cherednik operators $\mathscr{Y}_i$. This basis arises as a generalization of Cherednik's non-symmetric Macdonald polynomials of type $GL_n$. We utilize links between $^+$stable-limit double affine Hecke algebra theory of Ion and Wu and the double Dyck path algebra of Carlsson and Mellit that arose in their proof of the Shuffle Conjecture. As a consequence, the spectral theory for the limit Cherednik operators is understood.
MC-finiteness of restricted set partition functions
A sequence $s(n)$ of integers is MC-finite if for every $m \in \mathbb{N}^+$ the sequence $s^m(n) = s(n) \bmod{m}$ is ultimately periodic. We discuss various ways of proving and disproving MC-finiteness. Our examples are mostly taken from set partition functions, but our methods can be applied to many more integer sequences.
Simple Procedures for Left and Right Keys of Semi-Standard Young Tableaux
Published
• View Publication
• BIB
We give simple procedures to obtain the left and right keys of a semi-standard Young tableau. Keys derive their interest from the fact that they encode the characters of Demazure and opposite Demazure modules for the general and special linear groups. Given the importance of keys, there are indeed several procedures available in the literature to determine them. In comparison, our procedures are new (to the best of our knowledge) and especially simple. Having said that, we hasten to add that there is nothing new in any individual ingredient that goes into our procedures. These ingredients are all routine, straightforward, and (in any case) occur in the literature. But they never quite seem to have been put together as done here.
Our procedures end up repeatedly performing the Deodhar lifts, maximal lifts for the left key and minimal lifts for right key. Together with the well known fact that keys can be obtained by such repeated lifts, this justifies the procedures. The relevance of Deodhar lifts to combinatorial models for Demazure characters is well known in Standard Monomial Theory. Right and left keys appear respectively as initial and final directions of Lakshmibai-Seshadri paths in Littelmanns Path Model Theory.