Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A note on conjectures generalizing the road colouring theorem
Published
• View Publication
• BIB
The road colouring theorem characterizes the class of strongly connected directed graphs with constant out-degree that admit a synchronizing road colouring. The subject of this paper is a pair of related conjectures that generalize the road colouring theorem to graphs with non-constant out-degree; we give reasons to believe that both of these conjectures are true. Our main results focus on two classes of graphs, proving both conjectures for one class of graphs and one of the conjectures for an additional class of graphs. We also present computer simulations that give some empirical evidence for the conjectures.
Eigenpolytope Universality and Graphical Designs
Published
• View Publication
• BIB
We show that the eigenpolytopes of graphs are universal in the sense that every polytope, up to affine equivalence, appears as the eigenpolytope of some positively weighted graph. We next extend the theory of graphical designs, which are quadrature rules for graphs, to positively weighted graphs. Through Gale duality for polytopes, we show a bijection between graphical designs and the faces of eigenpolytopes. This bijection proves the existence of graphical designs with positive quadrature weights, and upper bounds the size of a minimal graphical design. Connecting this bijection with the universality of eigenpolytopes, we establish three complexity results: it is strongly NP-complete to determine if there is a graphical design smaller than the mentioned upper bound, it is NP-hard to find a smallest graphical design, and it is #P-complete to count the number of minimal graphical designs.
Composition-theoretic series in partition theory
Published
• View Publication
• BIB
We use sums over integer compositions analogous to generating functions in partition theory, to express certain partition enumeration functions as sums over compositions into parts that are $k$-gonal numbers; our proofs employ Ramanujan's theta functions. We explore applications to lacunary $q$-series, and to a new class of composition-theoretic Dirichlet series.
Coxeter systems with $2$-dimensional Davis complexes, growth rates and Perron numbers
Published in Algebr. Geom. Topol. 24 (2024) 1787-1808
• View Publication
• BIB
In this paper, we study growth rates of Coxeter systems with Davis complexes of dimension at most $2$. We show that if the Euler characteristic $χ$ of the nerve of a Coxeter system is vanishing (resp. positive), then its growth rate is a Salem (resp. a Pisot) number. In this way, we extend results due to Floyd and Parry. Moreover, in the case where $χ$ is negative, we provide infinitely many non-hyperbolic Coxeter systems whose growth rates are Perron numbers.
Rook Theory of the Etzion-Silberstein Conjecture
Published
• View Publication
• BIB
In 2009, Etzion and Siberstein proposed a conjecture on the largest dimension of a linear space of matrices over a finite field in which all nonzero matrices are supported on a Ferrers diagram and have rank bounded below by a given integer. Although several cases of the conjecture have been established in the past decade, proving or disproving it remains to date a wide open problem. In this paper, we take a new look at the Etzion-Siberstein Conjecture, investigating its connection with rook theory. Our results show that the combinatorics behind this open problem is closely linked to the theory of $q$-rook polynomials associated with Ferrers diagrams, as defined by Garsia and Remmel. In passing, we give a closed formula for the trailing degree of the $q$-rook polynomial associated with a Ferrers diagram in terms of the cardinalities of its diagonals. The combinatorial approach taken in this paper allows us to establish some new instances of the Etzion-Silberstein Conjecture using a non-constructive argument. We also solve the asymptotic version of the conjecture over large finite fields, answering a current open question.
Existential characterizations of monadic NIP
Published in Comm. Amer. Math. Soc. 6 (2026), 244-267
• View Publication
• BIB
We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a hereditary class of relational structures is NIP (resp. stable) if and only if it is monadically NIP (resp. monadically stable). As another consequence, we show that if such a class is not monadically NIP, then it has superexponential growth rate.
On finding short reconfiguration sequences between independent sets
Published
• View Publication
• BIB
Assume we are given a graph $G$, two independent sets $S$ and $T$ in $G$ of size $k \geq 1$, and a positive integer $\ell \geq 1$. The goal is to decide whether there exists a sequence $\langle I_0, I_1, ..., I_\ell \rangle$ of independent sets such that for all $j \in \{0,\ldots,\ell-1\}$ the set $I_j$ is an independent set of size $k$, $I_0 = S$, $I_\ell = T$, and $I_{j+1}$ is obtained from $I_j$ by a predetermined reconfiguration rule. We consider two reconfiguration rules. Intuitively, we view each independent set as a collection of tokens placed on the vertices of the graph. Then, the Token Sliding Optimization (TSO) problem asks whether there exists a sequence of at most $\ell$ steps that transforms $S$ into $T$, where at each step we are allowed to slide one token from a vertex to an unoccupied neighboring vertex. In the Token Jumping Optimization (TJO) problem, at each step, we are allowed to jump one token from a vertex to any other unoccupied vertex of the graph. Both TSO and TJO are known to be fixed-parameter tractable when parameterized by $\ell$ on nowhere dense classes of graphs. In this work, we show that both problems are fixed-parameter tractable for parameter $k + \ell + d$ on $d$-degenerate graphs as well as for parameter $|M| + \ell + Δ$ on graphs having a modulator $M$ whose deletion leaves a graph of maximum degree $Δ$. We complement these result by showing that for parameter $\ell$ alone both problems become W[1]-hard already on $2$-degenerate graphs. Our positive result makes use of the notion of independence covering families introduced by Lokshtanov et al. Finally, we show that using such families one can obtain a simpler and unified algorithm for the standard Token Jumping Reachability problem parameterized by $k$ on both degenerate and nowhere dense classes of graphs.
A new upper bound on the minimum degree of minimal Ramsey graphs
We prove that $s_r(K_{k+1}) = O(k^3 r^3 \log^3 k)$, where $s_r(K_k)$ is the Ramsey parameter introduced by Burr, Erdős and Lovász in 1976, which is defined as the smallest minimum degree of a graph $G$ such that any $r$-colouring of the edges of $G$ contains a monochromatic $K_k$, whereas no proper subgraph of $G$ has this property.
Inertia and spectral symmetry of eccentricity matrices of some clique trees
Published
• View Publication
• BIB
The eccentricity matrix $\mathcal E(G)$ of a connected graph $G$ is obtained from the distance matrix of $G$ by leaving unchanged the largest nonzero entries in each row and each column, and replacing the remaining ones with zeros. In this paper, we consider the set $\mathcal C \mathcal T$ of clique trees whose blocks have at most two cut-vertices \textcolor{blue}{of the clique tree}. After proving the irreducibility of the eccentricity matrix of a clique tree in $\mathcal C \mathcal T$ and finding its inertia indices, we show that every graph in $\mathcal C \mathcal T$ with more than $4$ vertices and odd diameter has two positive and two negative $\mathcal E$-eigenvalues. Positive $\mathcal E$-eigenvalues and negative $\mathcal E$-eigenvalues turn out to be equal in number even for graphs in $\mathcal C \mathcal T$ with even diameter; that shared cardinality also counts the \textcolor{blue}{`diametrally distinguished'} vertices. Finally, we prove that the spectrum of the eccentricity matrix of a clique tree $G$ in $\mathcal C \mathcal T$ is symmetric with respect to the origin if and only if $G$ has an odd diameter and exactly two adjacent central vertices.
Every graph with no $\mathcal{K}_9^{-6}$ minor is $8$-colorable
For positive integers $t$ and $s$, let $\mathcal{K}_t^{-s}$ denote the family of graphs obtained from the complete graph $K_t$ by removing $s$ edges. A graph $G$ has no $\mathcal{K}_t^{-s}$ minor if it has no $H$ minor for every $H\in \mathcal{K}_t^{-s}$. Motivated by the famous Hadwiger's Conjecture, Jakobsen in 1971 proved that every graph with no $\mathcal{K}_7^{-2}$ minor is $6$-colorable; very recently the present authors proved that every graph with no $\mathcal{K}_8^{-4}$ minor is $7$-colorable. In this paper we continue our work and prove that every graph with no $\mathcal{K}_9^{-6}$ minor is $8$-colorable. Our result implies that $H$-Hadwiger's Conjecture, suggested by Paul Seymour in 2017, is true for all graphs $H$ on nine vertices such that $H$ is a subgraph of every graph in $ \mathcal{K}_9^{-6}$.
Post-selection-free preparation of high-quality physical qubits
Published in Quantum 7, 994 (2023)
• View Publication
• BIB
Rapidly improving gate fidelities for coherent operations mean that errors in state preparation and measurement (SPAM) may become a dominant source of error for fault-tolerant operation of quantum computers. This is particularly acute in superconducting systems, where tradeoffs in measurement fidelity and qubit lifetimes have limited overall performance. Fortunately, the essentially classical nature of preparation and measurement enables a wide variety of techniques for improving quality using auxiliary qubits combined with classical control and post-selection. In practice, however, post-selection greatly complicates the scheduling of processes such as syndrome extraction. Here we present a family of quantum circuits that prepare high-quality |0> states without post-selection, instead using CNOT and Toffoli gates to non-linearly permute the computational basis. We find meaningful performance enhancements when two-qubit gate fidelities errors go below 0.2%, and even better performance when native Toffoli gates are available.
Pop, Crackle, Snap (and Pow): Some Facets of Shards
Reading cut the hyperplanes in a real central arrangement $\mathcal H$ into pieces called \emph{shards}, which reflect order-theoretic properties of the arrangement. We show that shards have a natural interpretation as certain generators of the fundamental group of the complement of the complexification of $\mathcal H$. Taking only positive expressions in these generators yields a new poset that we call the \emph{pure shard monoid}.
When $\mathcal H$ is simplicial, its poset of regions is a lattice, so it comes equipped with a pop-stack sorting operator $\mathsf{Pop}$. In this case, we use $\mathsf{Pop}$ to define an embedding $\mathsf{Crackle}$ of Reading's shard intersection order into the pure shard monoid. When $\mathcal H$ is the reflection arrangement of a finite Coxeter group, we also define a poset embedding $\mathsf{Snap}$ of the shard intersection order into the positive braid monoid; in this case, our three maps are related by $\mathsf{Snap}=\mathsf{Crackle} \cdot \mathsf{Pop}$.
The homology of random simplicial complexes in the multi-parameter upper model
Published
• View Publication
• BIB
We study random simplicial complexes in the multi-parameter upper model. In this model simplices of various dimensions are taken randomly and independently, and our random simplicial complex $Y$ is then taken to be the minimal simplicial complex containing this collection of simplices.
We study the asymptotic behavior of the homology of $Y$ as the number of vertices goes to $\infty$. We observe the following phenomenon asymptotically almost surely. The given probabilities with which the simplices are taken determine a range of dimensions $\ell \leq k \leq \ell'$ with $\ell' \leq 2\ell +1$, outside of which the homology of $Y$ vanishes. Within this range, the homologies diminish drastically from dimension to dimension. In particular, the homology in the critical dimension $\ell$ is significantly the largest.
Ramsey numbers with prescribed rate of growth
Published
• View Publication
• BIB
Let $R(G)$ be the two-colour Ramsey number of a graph $G$. In this note, we prove that for any non-decreasing function $n \leq f(n) \leq R(K_n)$, there exists a sequence of connected graphs $(G_n)_{n\in\mathbb N}$, with $|V(G_n)| = n$ for all $n \geq 1$, such that $R(G_n) = Θ(f(n))$. In contrast, we also show that an analogous statement does not hold for hypergraphs of uniformity at least $5$.
We also use our techniques to answer a question posed by DeBiasio about the existence of sequences of graphs whose $2$-colour Ramsey number is linear whereas their $3$-colour Ramsey number has superlinear growth.
An inequality generalizing $AM \geq GM$ and $AM \geq HM$
Aim of this article is to prove the inequality $n \sum_{i=1}^{n} a_ib_i \leq \sum_{i=1}^{n} a_i \sum_{i=1}^n b_i$ when $a_i$ are $n$ increasing positive real numbers and $b_i$ are $n$ decreasing real numbers. We also prove generalizations of this result.
Noise Dynamics of Quantum Annealers: Estimating the Effective Noise Using Idle Qubits
Published in Quantum Science and Technology 2023
• View Publication
• BIB
Quantum annealing is a type of analog computation that aims to use quantum mechanical fluctuations in search of optimal solutions of QUBO (quadratic unconstrained binary optimization) or, equivalently, Ising problems. Since NP-hard problems can in general be mapped to Ising and QUBO formulations, the quantum annealing paradigm has the potential to help solve various NP-hard problems. Current quantum annealers, such as those manufactured by D-Wave Systems, Inc., have various practical limitations including the size (number of qubits) of the problem that can be solved, the qubit connectivity, and error due to the environment or system calibration, which can reduce the quality of the solutions. Typically, for an arbitrary problem instance, the corresponding QUBO (or Ising) structure will not natively embed onto the available qubit architecture on the quantum chip. Thus, in these cases, a minor embedding of the problem structure onto the device is necessary. However, minor embeddings on these devices do not always make use of the full sparse chip hardware graph, and a large portion of the available qubits stay unused during quantum annealing. In this work, we embed a disjoint random QUBO on the unused parts of the chip alongside the QUBO to be solved, which acts as an indicator of the solution quality of the device over time. Using experiments on three different D-Wave quantum annealers, we demonstrate that (i) long term trends in solution quality exist on the D-Wave device, and (ii) the unused qubits can be used to measure the current level of noise of the quantum system.
Permutation trinomials over $\mathbb{F}_{2^m}$: a corrected version
Published in Finite Fields Appl. 46 (2017)
• View Publication
• BIB
Permutation polynomials are an interesting subject of mathematics and have applications in other areas of mathematics and engineering. In this paper, we determine all permutation trinomials over $\mathbb{F}_{2^m}$ in Zieve's paper. We prove a conjecture proposed by Gupta and Sharma and obtain some new permutation trinomials over $\mathbb{F}_{2^m}$. Finally, we show that some classes of permutation trinomials with parameters are QM equivalent to some known permutation trinomials.
Some q-Supercongruences for the truncated q-trinomial coefficients
Published
• View Publication
• BIB
In 1987, Andrews and Baxter introduced six kinds of $q$-trinomial coefficients in exploring the solution of a model in statistical mechanics. In this paper, we give some $q$-supercongruences for the truncated forms of these polynomials.
Configurations of points in projective space and their projections
We call a set of points $Z\subset{\mathbb P}^{3}_{\mathbb C}$ an $(a,b)$-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point $P$ to a plane is a complete intersection of curves of degrees $a$ and $b$. Examples which we call grids have been known since 2011. The only nongrid nondegenerate examples previously known had $ab=12, 16, 20, 24, 30, 36, 42, 48, 54$ or $60$. Here, for any $4 \leq a \leq b$, we construct nongrid nondegenerate $(a,b)$-geproci sets in a systematic way. We also show that the only such example with $a=3$ is a $(3,4)$-geproci set coming from the $D_4$ root system, and we describe the $D_4$ configuration in detail. We also consider the question of the equivalence (in various senses) of geproci sets, as well as which sets occur over the reals, and which cannot. We identify several additional examples of geproci sets with interesting properties. We also explore the relation between unexpected cones and geproci sets and introduce the notion of $d$-Weddle schemes arising from special projections of finite sets of points. This work initiates the exploration of new perspectives on classical areas of geometry. We formulate and discuss a range of open problems in the final chapter.
PPP-Completeness and Extremal Combinatorics
Many classical theorems in combinatorics establish the emergence of substructures within sufficiently large collections of objects. Well-known examples are Ramsey's theorem on monochromatic subgraphs and the Erdős-Rado sunflower lemma. Implicit versions of the corresponding total search problems are known to be PWPP-hard; here "implici" means that the collection is represented by a poly-sized circuit inducing an exponentially large number of objects.
We show that several other well-known theorems from extremal combinatorics - including Erdős-Ko-Rado, Sperner, and Cayley's formula - give rise to complete problems for PWPP and PPP. This is in contrast to the Ramsey and Erdős-Rado problems, for which establishing inclusion in PWPP has remained elusive. Besides significantly expanding the set of problems that are complete for PWPP and PPP, our work identifies some key properties of combinatorial proofs of existence that can give rise to completeness for these classes.
Our completeness results rely on efficient encodings for which finding collisions allows extracting the desired substructure. These encodings are made possible by the tightness of the bounds for the problems at hand (tighter than what is known for Ramsey's theorem and the sunflower lemma). Previous techniques for proving bounds in TFNP invariably made use of structured algorithms. Such algorithms are not known to exist for the theorems considered in this work, as their proofs "from the book" are non-constructive.