Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Main functions and the spectrum of super graphs
Let A be a graph type and B an equivalence relation on a group $G$. Let $[g]$ be the equivalence class of $g$ with respect to the equivalence relation B. The B superA graph of $G$ is an undirected graph whose vertex set is $G$ and two distinct vertices $g, h \in G$ are adjacent if $[g] = [h]$ or there exist $x \in [g]$ and $y \in [h]$ such that $x$ and $y$ are adjacent in the A graph of $G$. In this paper, we compute spectrum of equality/conjugacy supercommuting graphs of dihedral/dicyclic groups and show that these graphs are not integral.
Diameters of endomorphism monoids of chains
The left and right diameters of a monoid are topological invariants defined in terms of suprema of lengths of derivation sequences with respect to finite generating sets for the universal left or right congruences. We compute these parameters for the endomorphism monoid $End(C)$ of a chain $C$. Specifically, if $C$ is infinite then the left diameter of $End(C)$ is 2, while the right diameter is either 2 or 3, with the latter equal to 2 precisely when $C$ is a quotient of $C{\setminus}\{z\}$ for some endpoint $z$. If $C$ is finite then so is $End(C),$ in which case the left and right diameters are 1 (if $C$ is non-trivial) or 0.
Ginzburg--Landau Functionals in the Large-Graph Limit
Ginzburg--Landau (GL) functionals on graphs, which are relaxations of graph-cut functionals on graphs, have yielded a variety of insights in image segmentation and graph clustering. In this paper, we study large-graph limits of GL functionals by taking a functional-analytic view of graphs as nonlocal kernels. For a graph $W_n$ with $n$ nodes, the corresponding graph GL functional $\GL^{W_n}_\ep$ is an energy for functions on $W_n$. We minimize GL functionals on sequences of growing graphs that converge to functions called graphons. For such sequences of graphs, we show that the graph GL functional $Γ$-converges to a continuous and nonlocal functional that we call the \emph{graphon GL functional}. We also investigate the sharp-interface limits of the graph GL and graphon GL functionals, and we relate these limits to a nonlocal total-variation (TV) functional. We express the limiting GL functional in terms of Young measures and thereby obtain a probabilistic interpretation of the variational problem in the large-graph limit. Finally, to develop intuition about the graphon GL functional, we determine the GL minimizer for several example families of graphons.
A Search for High-Threshold Qutrit Magic State Distillation Routines
Published
• View Publication
• BIB
Determining the best attainable threshold for qudit magic state distillation is directly related to the question of whether or not contextuality is sufficient for universal quantum computation. We show that the performance of a qudit correcting code for magic state distillation is captured by its complete weight enumerator. For the qutrit strange state -- a maximally magic non-stabilizer state -- the performance of a code is captured by its simple weight enumerator. This result allows us to carry out an extensive search for high-threshold magic state distillation routines for the strange state. Our search covers all $[[n,1]]_3$ qutrit stabilizer codes with a complete set of transversal Clifford gates for $n\leq 23$, and all $[[n,1]]_3$ stabilizer codes with a transversal $H^2$ gate with $n \leq 9$ qudits. For $n=23$, we find over 600 CSS codes that can distill the qutrit strange state with cubic noise suppression. While none of these codes surpass the threshold of the 11-qutrit Golay code, their existence suggests that, for large codes, the ability to distill the qutrit strange state is somewhat generic.
On the Genus of One Degree of Freedom Planar Linkages via Tropical Geometry
Published
• View Publication
• BIB
This paper focuses on studying the configuration spaces of graphs realised in $\mathbb C^2$, such that the configuration space is, after normalisation, one dimensional. If this is the case, then the configuration space is, generically, a smooth complex curve, and can be seen as a Riemann surface. The property of interest in this paper is the genus of this curve. Using tropical geometry, we give an algorithm to compute this genus. We provide an implementation in Python and give various examples.
Analysis of natural cardinal ranking vectors for pairwise comparisons and the universal efficiency of the Perron geometric mean
Published
• View Publication
• BIB
In models using pair-wise (ratio) comparisons among alternatives, a cardinal ranking vector should be deduced from a reciprocal matrix. The right Perron eigenvector (RP) was traditionally used, though several other options have emerged. We consider some alternatives, mostly new, namely the entry-wise reciprocal of the left Perron vector (LP), the left singular vector (LS), the entry-wise reciprocal of the right singular vector (RS), the arithmetic and geometric means of RP and LP (AP and GP), and of LS and RS (AS and GS). (The ranking vector AS was proposed by Gass and Rapcsák (2004)). All 8 of these vectors produce the natural vector in the consistent case. We compare them empirically, in terms of efficiency, for random matrices, as a function of the number of alternatives. It turns out that the vector GP is universily efficient, and this fact is proven. The vector GS performs better that the remaining 6 vectors. We show that, for reciprocal matrices obtained from consistent matrices by modifying one column and the corresponding row, all 8 vectors are efficient. Moreover, the cone generated by the columns is efficient.
Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
Published in Ars Math. Contemp. Vol. 25 No. 4 (2025)
• View Publication
• BIB
In the past, analogues to Brooks' theorem have been found for various parameters of graph coloring for infinite locally finite connected graphs in ZFC. We prove these theorems are not provable in ZF (i.e. the Zermelo-Fraenkel set theory without the Axiom of Choice (AC)). Moreover, such theorems follow from Konig's Lemma (every infinite locally finite connected graph has a ray-a weak form of AC) in ZF. In ZF, we formulate new conditions for the existence of the distinguishing chromatic number, the distinguishing chromatic index, the total chromatic number, the total distinguishing chromatic number, the odd chromatic number, and the neighbor-distinguishing index in infinite locally finite connected graphs, which are equivalent to Konig's Lemma. In this direction, we strengthen a recent result of Stawiski from 2023.
We also figured out the upper bound for list-distinguishing chromatic number for infinite graphs in ZFC (i.e. the Zermelo-Fraenkel set theory with the Axiom of Choice (AC)).
On set systems without singleton intersections
Consider a family $\mathcal{F}$ of $k$-subsets of an ambient $(k^2-k+1)$-set such that no pair of $k$-subsets in $\mathcal{F}$ intersects in exactly one element. In this short note we show that the maximal size of such $\mathcal{F}$ is $\binom{k^2-k-1}{k-2}$ for every $k > 1$.
On the Eigenvalues of Graphs with Mixed Algebraic Structure
We study some spectral properties of a matrix that is constructed as a combination of a Laplacian and an adjacency matrix of simple graphs. The matrix considered depends on a positive parameter, as such we consider the implications in different regimes of such a parameter, perturbative and beyond. Our main goal is to relate spectral properties to the graph's configuration, or to basic properties of the Laplacian and adjacency matrices. We explain the connections with dynamic networks and their stability properties, which lead us to state a conjecture for the signature.
Relative Helicity and Tiling Twist
Published
• View Publication
• BIB
We consider domino tilings of 3D cubiculated regions. The tilings have two invariants, flux and twist, often integer-valued, which are given in purely combinatorial terms. These invariants allow one to classify the tilings with respect to certain elementary moves, flips and trits. In this paper we present a construction associating a divergence-free vector field $ξ_t$ to any domino tiling $t$, such that the flux of the tiling $t$ can be interpreted as the (relative) rotation class of the field $ξ_t$, while the twist of $t$ is proved to be the relative helicity of the field $ξ_t$.
Biased domination games
We consider a biased version of Maker-Breaker domination games, which were recently introduced by Gledel, Ir{š}i{č}, and Klav{ž}ar. Two players, Dominator and Staller, alternatingly claim vertices of a graph $G$ where Dominator is allowed to claim up to $b$ vertices in every round and she wins if and only if she occupies all vertices of a dominating set of $G$. For this game, we prove a full characterization of all trees on which Dominator has a winning strategy. For the number of rounds which Dominator needs to win, we give exact results when played on powers of paths or cycles, and for all trees we provide bounds which are optimal up to a constant factor not depending on $b$. Furthermore, we discuss general minimum degree conditions and study how many vertices can still be dominated by Dominator even when Staller has a winning strategy.
On a Problem of Ramsey Theory
Published in German International Journal of Modern Science 86 (2024) pp. 15-17
• View Publication
• BIB
In 1955, Greenwood and Gleason showed that the Ramsey number R(3, 3, 3) = 17 by constructing an edge-chromatic graph on 16 vertices in three colors with no triangles. Their technique employed finite fields. This same result was obtained later by using another technique. In this article, we examine the complete graph on 17 vertices, K17, which can be represented as a regular polygon of 17 sides with all its diagonals. We color each edge of K17 with one of the three colors, blue, red or yellow. The graph thus obtained is called complete trichromatic graph K17^(3) (the superscript determines the number of colors). A triangle contained in graph K17^(3) with edges colored with one and only one color is called monochromatic. It has been shown that for any coloring of the K17^(3) edges, K17^(3) contains at least one monochromatic triangle. This article examines the problem of determining the minimum number of monochromatic triangles with the same color contained in K17^(3).
On the asymptotic enumeration and limit shapes of monotone grid classes of permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (June 30, 2025) dmtcs:14018
• View Publication
• BIB
We exhibit a procedure to asymptotically enumerate monotone grid classes of permutations. This is then applied to compute the asymptotic number of permutations in any connected one-corner class. Our strategy consists of enumerating the gridded permutations, finding the asymptotic distribution of points between the cells in a typical large gridded permutation, and analysing in detail the ways in which a typical permutation can be gridded. We also determine the limit shape of any connected monotone grid class.
Representability of the direct sum of uniform q-matroids
Published
• View Publication
• BIB
There are many similarities between the theories of matroids and $q$-matroids. However, when dealing with the direct sum of $q$-matroids many differences arise. Most notably, it has recently been shown that the direct sum of representable $q$-matroids is not necessarily representable. In this work, we focus on the direct sum of uniform $q$-matroids. Using algebraic and geometric tools, together with the notion of cyclic flats of $q$-matroids, we show that this is always representable, by providing a representation over a sufficiently large field.
Equivariant $γ$-positivity of Chow rings and augmented Chow rings of matroids
In this paper, we prove the Chow ring and augmented Chow ring of a matroid is equivariant $γ$-positivity under the action of any group of automorphisms of the matroid. This verifies a conjecture of Angarone, Nathanson, and Reiner. Our method gives an explicit interpretation to the coefficients of the equivariant $γ$-expansion. Applying our theorem to uniform matroids, we extend and recover known results regarding the positivity of the equivariant Charney-Davis quantity of uniform matroids in the author's previous work and the Schur-$γ$-positivity of Eulerian and binomial Eulerian quasisymmetric functions first proved by Shareshian and Wachs. In the end, we answer a problem proposed by Athanasiadis about extending the $γ$-expansion of the binomial Eulerian polynomial.
Locally resolvable BIBDs and generalized quadrangles with ovoids
Published in Innovations in Incidence Geometry: Algebraic, Topological and Combinatorial 2024
• View Publication
• BIB
In this note we establish a 1-to-1 correspondence between the class of generalized quadrangles with ovoids and the class of balanced incomplete block designs that posses a non-triangular local resolution system and have the appropriate parameters. We present a non-triangular local resolution system for a difference family BIBD construction of Sprott.
Permutation Wordle
We introduce a guessing game, permutation Wordle, in which a guesser attempts to recover a hidden permutation in $S_n$. In each round, the guesser guesses a permutation (using information from previous rounds) and is told which entries of that permutation are correct. We describe a natural guessing strategy, which we believe to be optimal. We show that the number of permutations this strategy solves in $k+1$ rounds is the Eulerian number $A(n,k)$.
We also describe an extension to suited permutations: the setter chooses a permutation in $S_n$ and also a coloring of $[n]$ using $s$ colors. We generalize our strategy, give a recurrence for the number of suited permutations solved in $k+1$ rounds, and relate these numbers to the Eulerian numbers. In the case of two suits, or signed permutations, we also relate these numbers to the Eulerian numbers of type B.
On the Structure of Bad Science Matrices
Published
• View Publication
• BIB
The bad science matrix problem consists in finding, among all matrices $A \in \mathbb{R}^{n \times n}$ with rows having unit $\ell^2$ norm, one that maximizes $β(A) = \frac{1}{2^n} \sum_{x \in \{-1, 1\}^n} \|Ax\|_\infty$. Our main contribution is an explicit construction of an $n \times n$ matrix $A$ showing that $β(A) \geq \sqrt{\log_2(n+1)}$, which is only 18% smaller than the asymptotic rate. We prove that every entry of any optimal matrix is a square root of a rational number, and we find provably optimal matrices for $n \leq 4$.
The Wide Band Cayley Continuants
The Cayley continuants are referred to the determinants of tridiagonal matrices in connection with the Sylvester continuants. Munarini-Torri found a striking combinatorial interpretation of the Cayley continuants in terms of the joint distribution of the number of odd cycles and the number of even cycles of permutations of $[n]=\{1,2,\ldots, n\}$. In view of a general setting, $r$-regular cycles (with length not divisible by $r$) and $r$-singular cycles (with length divisible by $r$) have been extensively studied largely related to roots of permutations. We introduce the wide band Cayley continuants as an extension of the original Cayley continuants, and we show that they can be interpreted in terms of the joint distribution of the number of $r$-regular cycles and the number of $r$-singular cycles over permutations of $[n]$.
Clustered Colouring of Graph Products
Published
• View Publication
• BIB
A colouring of a graph $G$ has clustering $k$ if the maximum number of vertices in a monochromatic component equals $k$. Motivated by recent results showing that many natural graph classes are subgraphs of the strong product of a graph with bounded treewidth and a path, this paper studies clustered colouring of strong products of two bounded treewidth graphs, where none, one, or both graphs have bounded degree. For example, in the case of two colours, if $n$ is the number of vertices in the product, then we show that clustering $Θ(n^{2/3})$ is best possible, even if one of the graphs is a path. However, if both graphs have bounded degree, then clustering $Θ(n^{1/2})$ is best possible. With three colours, if one of the graphs has bounded degree, then we show that clustering $Θ(n^{3/7})$ is best possible. However, if neither graph has bounded degree, then clustering $Ω(n^{1/2})$ is necessary. More general bounds for any given number of colours are also presented.