-
Near Triple Arrays
Authors:
Alexey Gordeev,
Klas Markström,
Lars-Daniel Öhman
Abstract:
We introduce near triple arrays as binary row-column designs with at most two consecutive values for the replication numbers of symbols, for the intersection sizes of pairs of rows, pairs of columns and pairs of a row and a column. Near triple arrays form a common generalization of such well-studied classes of designs as triple arrays, (near) Youden rectangles and Latin squares.
We enumerate nea…
▽ More
We introduce near triple arrays as binary row-column designs with at most two consecutive values for the replication numbers of symbols, for the intersection sizes of pairs of rows, pairs of columns and pairs of a row and a column. Near triple arrays form a common generalization of such well-studied classes of designs as triple arrays, (near) Youden rectangles and Latin squares.
We enumerate near triple arrays for a range of small parameter sets and show that they exist in the vast majority of the cases considered. As a byproduct, we obtain the first complete enumerations of $6 \times 10$ triple arrays on $15$ symbols, $7 \times 8$ triple arrays on $14$ symbols and $5 \times 16$ triple arrays on $20$ symbols.
Next, we give several constructions for families of near triple arrays, and e.g. show that near triple arrays with 3 rows and at least 6 columns exist for any number of symbols. Finally, we investigate a duality between row and column intersection sizes of a row-column design, and covering numbers for pairs of symbols by rows and columns. These duality results are used to obtain necessary conditions for the existence of near triple arrays. This duality also provides a new unified approach to earlier results on triple arrays and balanced grids.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Density conditions for $k$ vertex-disjoint triangles in tripartite graphs
Authors:
Mingyang Guo,
Klas Markström
Abstract:
Let $n,k$ be positive integers such that $n\geq k$ and $G$ be a tripartite graph with parts $A,B,C$ such that $|A|=|B|=|C|=n$. Denote the edge densities of $G[A,B]$, $G[A,C]$ and $G[B,C]$ by $α$, $β$ and $γ$, respectively. In this paper, we study edge density conditions for the existence of $k$ vertex-disjoint triangles in a tripartite graph. For $n\geq 5k+2$ we give an optimal condition in terms…
▽ More
Let $n,k$ be positive integers such that $n\geq k$ and $G$ be a tripartite graph with parts $A,B,C$ such that $|A|=|B|=|C|=n$. Denote the edge densities of $G[A,B]$, $G[A,C]$ and $G[B,C]$ by $α$, $β$ and $γ$, respectively. In this paper, we study edge density conditions for the existence of $k$ vertex-disjoint triangles in a tripartite graph. For $n\geq 5k+2$ we give an optimal condition in terms of densities $α,β,γ$ for the existence of $k$ vertex-disjoint triangles in $G$. We also give an optimal condition in terms of densities $α,β,γ$ for the existence of a triangle-factor in $G$.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
Enumeration of Row-Column Designs
Authors:
Gerold Jäger,
Klas Markström,
Lars-Daniel Öhman,
Denys Shcherbak
Abstract:
We computationally completely enumerate a number of types of row-column designs up to isotopism, including double, sesqui and triple arrays as known from the literature, and two newly introduced types that we call mono arrays and AO-arrays. We calculate autotopism group sizes for the designs we generate. For larger parameter values, where complete enumeration is not feasible, we generate examples…
▽ More
We computationally completely enumerate a number of types of row-column designs up to isotopism, including double, sesqui and triple arrays as known from the literature, and two newly introduced types that we call mono arrays and AO-arrays. We calculate autotopism group sizes for the designs we generate. For larger parameter values, where complete enumeration is not feasible, we generate examples of some of the designs, and generate exhaustive lists of admissible parameters. For some admissible parameter sets, we prove non-existence results. We also give some explicit constructions of sesqui arrays, mono arrays and AO-arrays, and investigate connections to Youden rectangles and binary pseud Youden designs.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
More, better or different? Trade-offs between group size and competence development in jury theorems
Authors:
Gustaf Arrhenius,
Klas Markström
Abstract:
In many circumstances there is a trade off between the number of voters and the time they can be given before having to make a decision since both aspects are costly. An example is the hiring of a committee with a fixed salary budget: more people but a shorter time for each to develop their competence about the issue at hand or less people with a longer time for competence development? In this pap…
▽ More
In many circumstances there is a trade off between the number of voters and the time they can be given before having to make a decision since both aspects are costly. An example is the hiring of a committee with a fixed salary budget: more people but a shorter time for each to develop their competence about the issue at hand or less people with a longer time for competence development? In this paper we investigate the interaction between the number of voters, the development of their competence over time and the final probability for an optimal majority decision. Among other things we consider how different learning profiles, or rates of relevant competence increase, for the members of a committee affects the optimal committee size.
To the best of our knowledge, our model is the first that includes the potentially positive effects of having a heterogeneous group of voters on majority decisions in a satisfactory way. We also discuss how some earlier attempts fail to capture the effect of heterogeneity correctly.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Arrow's single peaked domains, richness, and domains for plurality and the Borda count
Authors:
Klas Markström,
Søren Riis,
Bei Zhou
Abstract:
In this paper we extend the study of Arrow's generalisation of Black's single-peaked domain and connect this to domains where voting rules satisfy different versions of independence of irrelevant alternatives.
First we report on a computational generation of all non-isomorphic Arrow's single-peaked domains on $n\leq 9$ alternatives. Next, we introduce a quantitative measure of richness for domai…
▽ More
In this paper we extend the study of Arrow's generalisation of Black's single-peaked domain and connect this to domains where voting rules satisfy different versions of independence of irrelevant alternatives.
First we report on a computational generation of all non-isomorphic Arrow's single-peaked domains on $n\leq 9$ alternatives. Next, we introduce a quantitative measure of richness for domains, as the largest number $r$ such that every alternative is given every rank between 1 and $r$ by the orders in the domain. We investigate the richness of Arrow's single-peaked domains and prove that Black's single-peaked domain has the highest possible richness, but it is not the only domain which attains the maximum.
After this we connect Arrow's single-peaked domains to the discussion by Dasgupta, Maskin and others of domains on which plurality and the Borda count satisfy different versions of Independence of Irrelevant alternatives (IIA). For Nash's version of IIA and plurality, it turns out the domains are exactly the duals of Arrow's single-peaked domains. As a consequence there can be at most two alternatives which are ranked first in any such domain.
For the Borda count both Arrow's and Nash's versions of IIA lead to a maximum domain size which is exponentially smaller than $2^{n-1}$, the size of Black's single-peaked domain.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Local Diversity of Condorcet Domains
Authors:
Alexander Karpov,
Klas Markström,
Søren Riis,
Bei Zhou
Abstract:
Several of the classical results in social choice theory demonstrate that in order for many voting systems to be well-behaved the set domain of individual preferences must satisfy some kind of restriction, such as being single-peaked on a political axis. As a consequence it becomes interesting to measure how diverse the preferences in a well-behaved domain can be.
In this paper we introduce an e…
▽ More
Several of the classical results in social choice theory demonstrate that in order for many voting systems to be well-behaved the set domain of individual preferences must satisfy some kind of restriction, such as being single-peaked on a political axis. As a consequence it becomes interesting to measure how diverse the preferences in a well-behaved domain can be.
In this paper we introduce an egalitarian approach to measuring preference diversity, focusing on the abundance of distinct suborders one subsets of the alternative. We provide a common generalisation of the frequently used concepts of ampleness and copiousness.
We give a detailed investigation of the abundance for Condorcet domains. Our theorems imply a ceiling for the local diversity in domains on large sets of alternatives, which show that in this measure Black's single-peaked domain is in fact optimal. We also demonstrate that for some numbers of alternatives, there are Condorcet domains which have largest local diversity without having maximum order.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
CDL: A fast and flexible library for the study of permutation sets with structural restrictions
Authors:
Bei Zhou,
Klas Markstrōm,
Søren Riis
Abstract:
In this paper, we introduce CDL, a software library designed for the analysis of permutations and linear orders subject to various structural restrictions. Prominent examples of these restrictions include pattern avoidance, a topic of interest in both computer science and combinatorics, and "never conditions" utilized in social choice and voting theory.
CDL offers a range of fundamental function…
▽ More
In this paper, we introduce CDL, a software library designed for the analysis of permutations and linear orders subject to various structural restrictions. Prominent examples of these restrictions include pattern avoidance, a topic of interest in both computer science and combinatorics, and "never conditions" utilized in social choice and voting theory.
CDL offers a range of fundamental functionalities, including identifying the permutations that meet specific restrictions and determining the isomorphism of such sets. To facilitate exploration of large permutation sets or domains, CDL incorporates multiple search strategies and heuristics.
△ Less
Submitted 25 January, 2024; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Bipartite peak-pit domains
Authors:
Alexander Karpov,
Klas Markström,
Søren Riis,
Bei Zhou
Abstract:
In this paper, we introduce the class of bipartite peak-pit domains. This is a class of Condorcet domains which include both the classical single-peaked and single-dipped domains. Our class of domains can be used to model situations where some alternatives are ranked based on a most preferred location on a societal axis, and some are ranked based on a least preferred location. This makes it possib…
▽ More
In this paper, we introduce the class of bipartite peak-pit domains. This is a class of Condorcet domains which include both the classical single-peaked and single-dipped domains. Our class of domains can be used to model situations where some alternatives are ranked based on a most preferred location on a societal axis, and some are ranked based on a least preferred location. This makes it possible to model situations where agents have different rationales for their ranking depending on which of two subclasses of the alternatives one is considering belong to. The class of bipartite peak-pit domains includes most peak-pit domains for $n\leq 7$ alternatives, and the largest Condorcet domains for each $n\leq 8$.
In order to study the maximum possible size of a bipartite peak-pit domain we introduce set-alternating schemes. This is a method for constructing well-structured peak-pit domains which are copious and connected. We show that domains based on these schemes always have size at least $2^{n-1}$ and some of them have sizes larger than the domains of Fishburn's alternating scheme. We show that the maximum domain size for sufficiently high $n$ exceeds $2.1973^n$. This improves the previous lower bound for peak-pit domains $2.1890^n$ from \cite{karpov2023constructing}, which was also the highest asymptotic lower bound for the size of the largest Condorcet domains.
△ Less
Submitted 26 January, 2024; v1 submitted 5 August, 2023;
originally announced August 2023.
-
Condorcet Domains of Degree at most Seven
Authors:
Dolica Akello-Egwell,
Charles Leedham-Green,
Alastair Litterick,
Klas Markström,
Søren Riis
Abstract:
In this paper we give the first explicit enumeration of all maximal Condorcet domains on $n\leq 7$ alternatives. This has been accomplished by developing a new algorithm for constructing Condorcet domains, and an implementation of that algorithm which has been run on a supercomputer.
We follow this up by the first survey of the properties of all maximal Condorcet domains up to degree 7, with res…
▽ More
In this paper we give the first explicit enumeration of all maximal Condorcet domains on $n\leq 7$ alternatives. This has been accomplished by developing a new algorithm for constructing Condorcet domains, and an implementation of that algorithm which has been run on a supercomputer.
We follow this up by the first survey of the properties of all maximal Condorcet domains up to degree 7, with respect to many properties studied in the social sciences and mathematical literature. We resolve several open questions posed by other authors, both by examples from our data and theorems. We give a new set of results on the symmetry properties of Condorcet domains which unify earlier works.
Finally we discuss connections to other domain types such as non-dictatorial domains and generalisations of single-peaked domains. All our data is made freely available for other researches via a new website.
△ Less
Submitted 12 December, 2023; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Minimum degree conditions for rainbow triangles
Authors:
Victor Falgas-Ravry,
Klas Markström,
Eero Räty
Abstract:
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on a common vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. In this paper we consider the following question: what triples of minimum degree conditions $(δ(G_1), δ(G_2), δ(G_3))$ guarantee the existence of a…
▽ More
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on a common vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. In this paper we consider the following question: what triples of minimum degree conditions $(δ(G_1), δ(G_2), δ(G_3))$ guarantee the existence of a rainbow triangle? This may be seen as a minimum degree version of a problem of Aharoni, DeVos, de la Maza, Montejanos and Šámal on density conditions for rainbow triangles, which was recently resolved by the authors. We establish that the extremal behaviour in the minimum degree setting differs strikingly from that seen in the density setting, with discrete jumps as opposed to continuous transitions. Our work leaves a number of natural questions open, which we discuss.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
The Largest Condorcet Domains on 8 Alternatives
Authors:
Charles Leedham-Green,
Klas Markström,
Søren Riis
Abstract:
In this note, we report on a record-breaking Condorcet domain (CD) for n=8 alternatives. We show that there exists a CD of size 224, which is optimal and essentially unique (up to isomorphism). If we consider the underlying permutations and focus on Condorcet domains containing the identity permutation, 56 isomorphic such Condorcet domains exist. Our work sheds light on the structure of CDs and UC…
▽ More
In this note, we report on a record-breaking Condorcet domain (CD) for n=8 alternatives. We show that there exists a CD of size 224, which is optimal and essentially unique (up to isomorphism). If we consider the underlying permutations and focus on Condorcet domains containing the identity permutation, 56 isomorphic such Condorcet domains exist. Our work sheds light on the structure of CDs and UCDs and has potential applications in voting theory and social choice.
△ Less
Submitted 3 July, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Rainbow variations on a theme by Mantel: extremal problems for Gallai colouring templates
Authors:
Victor Falgas-Ravry,
Klas Markström,
Eero Räty
Abstract:
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on the same vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. The triples $\mathbf{G}$ not containing rainbow triangles, also known as Gallai colouring templates, are a widely studied class of objects in extrem…
▽ More
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on the same vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. The triples $\mathbf{G}$ not containing rainbow triangles, also known as Gallai colouring templates, are a widely studied class of objects in extremal combinatorics.
In the present work, we fully determine the set of edge densities $(α_1, α_2, α_3)$ such that if $\vert E(G_i)\vert> α_i n^2$ for each $i$ and $n$ is sufficiently large, then $\mathbf{G}$ must contain a rainbow triangle. This resolves a problem raised by Aharoni, DeVos, de la Maza, Montejanos and Šámal, generalises several previous results on extremal Gallai colouring templates, and proves a recent conjecture of Frankl, Györi, He, Lv, Salia, Tompkins, Varga and Zhu.
△ Less
Submitted 8 February, 2024; v1 submitted 14 December, 2022;
originally announced December 2022.
-
Revising the universality class of the four-dimensional Ising model
Authors:
P. H. Lundow,
K. Markström
Abstract:
The aim of this paper is to determine the behavior of the specific heat of the 4-dimensional Ising model at the critical temperature, and via that determine if the Ising model and the $φ^4$-model belong to the same universality class in dimension 4. In order to do this we have carried out what is currently the largest scale simulations of the 4-dimensional Ising model, extending the lattices size…
▽ More
The aim of this paper is to determine the behavior of the specific heat of the 4-dimensional Ising model at the critical temperature, and via that determine if the Ising model and the $φ^4$-model belong to the same universality class in dimension 4. In order to do this we have carried out what is currently the largest scale simulations of the 4-dimensional Ising model, extending the lattices size up to $L=256$ and the number of samples per size by several orders of magnitude compared to earlier works, keeping track of data for both the canonical and microcanonical ensembles. Our conclusion is that the Ising model has a bounded specific heat, while the $φ^4$-model is known to have a logarithmic divergence at the critical point. Hence the two models belong to distinct universality classes in dimension 4.
△ Less
Submitted 26 June, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
Polarised random k-SAT
Authors:
Joel Larsson Danielsson,
Klas Markström
Abstract:
In this paper we study a variation of the random $k$-SAT problem, called polarized random $k$-SAT. In this model there is a polarization parameter $p$, and in half of the clauses each variable occurs negated with probability $p$ and pure otherwise, while in the other half the probabilities are interchanged. For $p=1/2$ we get the classical random $k$-SAT model, and at the other extreme we have the…
▽ More
In this paper we study a variation of the random $k$-SAT problem, called polarized random $k$-SAT. In this model there is a polarization parameter $p$, and in half of the clauses each variable occurs negated with probability $p$ and pure otherwise, while in the other half the probabilities are interchanged. For $p=1/2$ we get the classical random $k$-SAT model, and at the other extreme we have the fully polarized model where $p=0$, or $1$. Here there are only two types of clauses: clauses where all $k$ variables occur pure, and clauses where all $k$ variables occur negated. That is, for $p=0$ we get an instance of random monotone $k$-SAT. We show that the threshold of satisfiability does not decrease as $p$ moves away from $\frac{1}{2}$ and thus that the satisfiability threshold for polarized random $k$-SAT is an upper bound on the threshold for random $k$-SAT. In fact, we conjecture that asymptotically the two thresholds coincide.
△ Less
Submitted 12 January, 2023; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Avoiding and extending partial edge colorings of hypercubes
Authors:
Carl Johan Casselgren,
Per Johansson,
Klas Markström
Abstract:
We consider the problem of extending and avoiding partial edge colorings of hypercubes; that is, given a partial edge coloring $\varphi$ of the $d$-dimensional hypercube $Q_d$, we are interested in whether there is a proper $d$-edge coloring of $Q_d$ that agrees with the coloring $\varphi$ on every edge that is colored under $\varphi$; or, similarly, if there is a proper $d$-edge coloring that dis…
▽ More
We consider the problem of extending and avoiding partial edge colorings of hypercubes; that is, given a partial edge coloring $\varphi$ of the $d$-dimensional hypercube $Q_d$, we are interested in whether there is a proper $d$-edge coloring of $Q_d$ that agrees with the coloring $\varphi$ on every edge that is colored under $\varphi$; or, similarly, if there is a proper $d$-edge coloring that disagrees with $\varphi$ on every edge that is colored under $\varphi$. In particular, we prove that for any $d\geq 1$, if $\varphi$ is a partial $d$-edge coloring of $Q_d$, then $\varphi$ is avoidable if every color appears on at most $d/8$ edges and the coloring satisfies a relatively mild structural condition, or $\varphi$ is proper and every color appears on at most $d-2$ edges. We also show that the same conclusion holds if $d$ is divisible by $3$ and every color class of $\varphi$ is an induced matching. Moreover, for all $1 \leq k \leq d$, we characterize for which configurations consisting of a partial coloring $\varphi$ of $d-k$ edges and a partial coloring $ψ$ of $k$ edges, there is an extension of $\varphi$ that avoids $ψ$.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Discriminating Non-Isomorphic Graphs with an Experimental Quantum Annealer
Authors:
Zoe Gonzalez Izquierdo,
Ruilin Zhou,
Klas Markström,
Itay Hen
Abstract:
We demonstrate experimentally the ability of a quantum annealer to distinguish between sets of non-isomorphic graphs that share the same classical Ising spectrum. Utilizing the pause-and-quench features recently introduced into D-Wave quantum annealing processors, which allow the user to probe the quantum Hamiltonian realized in the middle of an anneal, we show that obtaining thermal averages of d…
▽ More
We demonstrate experimentally the ability of a quantum annealer to distinguish between sets of non-isomorphic graphs that share the same classical Ising spectrum. Utilizing the pause-and-quench features recently introduced into D-Wave quantum annealing processors, which allow the user to probe the quantum Hamiltonian realized in the middle of an anneal, we show that obtaining thermal averages of diagonal observables of classically indistinguishable non-isomorphic graphs encoded into transverse-field Ising Hamiltonians enable their discrimination. We discuss the significance of our results in the context of the graph isomorphism problem.
△ Less
Submitted 3 May, 2020;
originally announced May 2020.
-
Random Uniform and Pure Random Simplicial Complexes
Authors:
Klas Markström,
Trevor Pinto
Abstract:
In this paper we introduce a method which allows us to study properties of the random uniform simplicial complex. That is, we assign equal probability to all simplicial complexes with a given number of vertices and then consider properties of a complex under this measure. We are able to determine or present bounds for a number of topological and combinatorial properties. We also study the random p…
▽ More
In this paper we introduce a method which allows us to study properties of the random uniform simplicial complex. That is, we assign equal probability to all simplicial complexes with a given number of vertices and then consider properties of a complex under this measure. We are able to determine or present bounds for a number of topological and combinatorial properties. We also study the random pure simplicial complex of dimension $d$, generated by letting any subset of size $d+1$ of a set of $n$ vertices be a facet with probability $p$ and considering the simplicial complex generated by these facets. We compare the behaviour of these models for suitable values of $d$ and $p$.
Finally we use the equivalence between simplicial complexes and monotone boolean functions to study the behaviour of typical such functions. Specifically we prove that most monotone boolean functions are evasive, hence proving that the well known Evasiveness conjecture is generically true for monotone boolean functions without symmetry assumptions.
△ Less
Submitted 7 January, 2020;
originally announced January 2020.
-
Enumeration of Sets of Mutually Orthogonal Latin Rectangles
Authors:
Gerold Jäger,
Klas Markström,
Denys Shcherbak,
Lars-Daniel Öhman
Abstract:
We study sets of mutually orthogonal Latin rectangles (MOLR), and a natural variation of the concept of self-orthogonal Latin squares which is applicable on larger sets of mutually orthogonal Latin squares and MOLR, namely that each Latin rectangle in a set of MOLR is isotopic to each other rectangle in the set. We call such a set of MOLR \emph{homogeneous}. In the course of doing this, we perform…
▽ More
We study sets of mutually orthogonal Latin rectangles (MOLR), and a natural variation of the concept of self-orthogonal Latin squares which is applicable on larger sets of mutually orthogonal Latin squares and MOLR, namely that each Latin rectangle in a set of MOLR is isotopic to each other rectangle in the set. We call such a set of MOLR \emph{homogeneous}. In the course of doing this, we perform a complete enumeration of non-isotopic sets of $t$ mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$, for all $t < n$. Specifically, we keep track of homogeneous sets of MOLR, as well as sets of MOLR where the autotopism group acts transitively on the rectangles, and we call such sets of MOLR \emph{transitive}. We build the sets of MOLR row by row, and in this process we also keep track of which of the MOLR are homogeneous and/or transitive in each step of the construction process. We use the prefix \emph{stepwise} to refer to sets of MOLR with this property. Sets of MOLR are connected to other discrete objects, notably finite geometries and certain regular graphs. Here we observe that all projective planes of order at most 9 except the Hughes plane can be constructed from a stepwise transitive MOLR.
△ Less
Submitted 19 January, 2024; v1 submitted 7 October, 2019;
originally announced October 2019.
-
Small Youden Rectangles, Near Youden Rectangles, and Their Connections to Other Row-Column Designs
Authors:
Gerold Jäger,
Klas Markström,
Denys Shcherbak,
Lars-Daniel Öhman
Abstract:
In this paper we first study $k \times n$ Youden rectangles of small orders. We have enumerated all Youden rectangles for a range of small parameter values, excluding the almost square cases where $k = n-1$, in a large scale computer search. In particular, we verify the previous counts for $(n,k) = (7,3), (7,4)$, and extend this to the cases $(11,5), (11,6), (13,4)$ and $(21,5)$. For small paramet…
▽ More
In this paper we first study $k \times n$ Youden rectangles of small orders. We have enumerated all Youden rectangles for a range of small parameter values, excluding the almost square cases where $k = n-1$, in a large scale computer search. In particular, we verify the previous counts for $(n,k) = (7,3), (7,4)$, and extend this to the cases $(11,5), (11,6), (13,4)$ and $(21,5)$. For small parameter values where no Youden rectangles exist, we also enumerate rectangles where the number of symbols common to two columns is always one of two possible values, differing by 1, which we call \emph{near Youden rectangles}. For all the designs we generate, we calculate the order of the autotopism group and investigate to which degree a certain transformation can yield other row-column designs, namely double arrays, triple arrays and sesqui arrays. Finally, we also investigate certain Latin rectangles with three possible pairwise intersection sizes for the columns and demonstrate that these can give rise to triple and sesqui arrays which cannot be obtained from Youden rectangles, using the transformation mentioned above.
△ Less
Submitted 27 February, 2023; v1 submitted 7 October, 2019;
originally announced October 2019.
-
Existence thresholds and Ramsey properties of random posets
Authors:
Victor Falgas-Ravry,
Klas Markström,
Andrew Treglown,
Yi Zhao
Abstract:
Let $\mathcal P(n)$ denote the power set of $[n]$, ordered by inclusion, and let $\mathcal P (n,p)$ denote the random poset obtained from $\mathcal P(n)$ by retaining each element from $\mathcal P (n)$ independently at random with probability $p$ and discarding it otherwise.
Given any fixed poset $F$ we determine the threshold for the property that $\mathcal P(n,p)$ contains $F$ as an induced su…
▽ More
Let $\mathcal P(n)$ denote the power set of $[n]$, ordered by inclusion, and let $\mathcal P (n,p)$ denote the random poset obtained from $\mathcal P(n)$ by retaining each element from $\mathcal P (n)$ independently at random with probability $p$ and discarding it otherwise.
Given any fixed poset $F$ we determine the threshold for the property that $\mathcal P(n,p)$ contains $F$ as an induced subposet. We also asymptotically determine the number of copies of a fixed poset $F$ in $\mathcal P(n)$. Finally, we obtain a number of results on the Ramsey properties of the random poset $\mathcal P(n,p)$.
△ Less
Submitted 18 June, 2020; v1 submitted 1 October, 2019;
originally announced October 2019.
-
Biased random k-SAT
Authors:
Joel Larsson,
Klas Markström
Abstract:
The basic random $k$-SAT problem is: Given a set of $n$ Boolean variables, and $m$ clauses of size $k$ picked uniformly at random from the set of all such clauses on our variables, is the conjunction of these clauses satisfiable?
Here we consider a variation of this problem where there is a bias towards variables occurring positive -- i.e. variables occur negated w.p. $0<p< \frac{1}{2}$ and posi…
▽ More
The basic random $k$-SAT problem is: Given a set of $n$ Boolean variables, and $m$ clauses of size $k$ picked uniformly at random from the set of all such clauses on our variables, is the conjunction of these clauses satisfiable?
Here we consider a variation of this problem where there is a bias towards variables occurring positive -- i.e. variables occur negated w.p. $0<p< \frac{1}{2}$ and positive otherwise -- and study how the satisfiability threshold depends on $p$. For $p<\frac{1}{2}$ this model breaks many of the symmetries of the original random $k$-SAT problem, e.g. the distribution of satisfying assignments in the Boolean cube is no longer uniform.
For any fixed $k$, we find the asymptotics of the threshold as $p$ approaches $0$ or $\frac{1}{2}$. The former confirms earlier predictions based on numerical studies and heuristic methods from statistical physics.
△ Less
Submitted 12 June, 2019;
originally announced June 2019.
-
Efficient computation of permanents, with applications to boson sampling and random matrices
Authors:
P. H. Lundow,
K. Markström
Abstract:
In order to find the outcome probabilities of quantum mechanical systems like the optical networks underlying Boson sampling, it is necessary to be able to compute the permanents of unitary matrices, a computationally hard task. Here we first discuss how to compute the permanent efficiently on a parallel computer, followed by algorithms which provide an exponential speed-up for sparse matrices and…
▽ More
In order to find the outcome probabilities of quantum mechanical systems like the optical networks underlying Boson sampling, it is necessary to be able to compute the permanents of unitary matrices, a computationally hard task. Here we first discuss how to compute the permanent efficiently on a parallel computer, followed by algorithms which provide an exponential speed-up for sparse matrices and linear run times for matrices of limited bandwidth. The parallel algorithm has been implemented in a freely available software package, also available in an efficient serial version. As part of the timing runs for this package we set a new world record for the matrix order on which a permanent has been computed. Next we perform a simulation study of several conjectures regarding the distribution of the permanent for random matrices. Here we focus on permanent anti-concentration conjecture, which has been used to find the classical computational complexity of Boson sampling. We find a good agreement with the basic versions of these conjectures and based on our data we propose refined versions of some of them. For small systems we also find noticable deviations from a propose strengthening of a bound for the number of photons in a Boson sampling system.
△ Less
Submitted 4 November, 2020; v1 submitted 12 April, 2019;
originally announced April 2019.
-
Partite Turán-densities for complete $r-$uniform hypergraphs on $r+1$ vertices
Authors:
Klas Markström,
Carsten Thomassen
Abstract:
In this paper we investigate density conditions for finding a complete $r$-uniform hypergraph $K_{r+1}^{(r)}$ on $r+1$ vertices in an $(r+1)$-partite $r$-uniform hypergraph $G$. First we prove an optimal condition in terms of the densities of the $(r+1)$ induced $r$-partite subgraphs of $G$. Second, we prove a version of this result where we assume that $r$-tuples of vertices in $G$ have their nei…
▽ More
In this paper we investigate density conditions for finding a complete $r$-uniform hypergraph $K_{r+1}^{(r)}$ on $r+1$ vertices in an $(r+1)$-partite $r$-uniform hypergraph $G$. First we prove an optimal condition in terms of the densities of the $(r+1)$ induced $r$-partite subgraphs of $G$. Second, we prove a version of this result where we assume that $r$-tuples of vertices in $G$ have their neighbours evenly distributed in $G$. Third, we also prove a counting result for the minimum number of copies of $K_{r+1}^{(r)}$ when $G$ satisfies our density bound, and present some open problems. A striking difference between the graph, $r=2$, and the hypergraph, $ r \geq 3 $, cases is that in the first case both the existence threshold and the counting function are non-linear in the involved densities, whereas for hypergraphs they are given by a linear function. Also, the smallest density of the $r$-partite parts needed to ensure the existence of a complete $r$-graph with $(r+1)$ vertices is equal to the golden ratio $τ=0.618\ldots$ for $r=2$, while it is $\frac{r}{r+1}$for $r\geq3$.
△ Less
Submitted 12 May, 2020; v1 submitted 11 March, 2019;
originally announced March 2019.
-
Triangle-degrees in graphs and tetrahedron coverings in 3-graphs
Authors:
Victor Falgas--Ravry,
Klas Markström,
Yi Zhao
Abstract:
We investigate a covering problem in $3$-uniform hypergraphs ($3$-graphs): given a $3$-graph $F$, what is $c_1(n,F)$, the least integer $d$ such that if $G$ is an $n$-vertex $3$-graph with minimum vertex degree $δ_1(G)>d$ then every vertex of $G$ is contained in a copy of $F$ in $G$ ?
We asymptotically determine $c_1(n,F)$ when $F$ is the generalised triangle $K_4^{(3)-}$, and we give close to o…
▽ More
We investigate a covering problem in $3$-uniform hypergraphs ($3$-graphs): given a $3$-graph $F$, what is $c_1(n,F)$, the least integer $d$ such that if $G$ is an $n$-vertex $3$-graph with minimum vertex degree $δ_1(G)>d$ then every vertex of $G$ is contained in a copy of $F$ in $G$ ?
We asymptotically determine $c_1(n,F)$ when $F$ is the generalised triangle $K_4^{(3)-}$, and we give close to optimal bounds in the case where $F$ is the tetrahedron $K_4^{(3)}$ (the complete $3$-graph on $4$ vertices).
This latter problem turns out to be a special instance of the following problem for graphs: given an $n$-vertex graph $G$ with $m> n^2/4$ edges, what is the largest $t$ such that some vertex in $G$ must be contained in $t$ triangles? We give upper bound constructions for this problem that we conjecture are asymptotically tight. We prove our conjecture for tripartite graphs, and use flag algebra computations to give some evidence of its truth in the general case.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Triples of Orthogonal Latin and Youden Rectangles For Small Orders
Authors:
Gerold Jäger,
Klas Markström,
Lars-Daniel Öhman,
Denys Shcherbak
Abstract:
We have performed a complete enumeration of non-isotopic triples of mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$. Here we will present a census of such triples, classified by various properties, including the order of the autotopism group of the triple. As part of this we have also achieved the first enumeration of pairwise orthogonal triples of Youden rectangles. We have…
▽ More
We have performed a complete enumeration of non-isotopic triples of mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$. Here we will present a census of such triples, classified by various properties, including the order of the autotopism group of the triple. As part of this we have also achieved the first enumeration of pairwise orthogonal triples of Youden rectangles. We have also studied orthogonal triples of $k \times 8$ rectangles which are formed by extending mutually orthogonal triples with non-trivial autotopisms one row at a time, and requiring that the autotopism group is non-trivial in each step. This class includes a triple coming from the projective plane of order 8. Here we find a remarkably symmetrical pair of triples of $4 \times 8$ rectangles, formed by juxtaposing two selected copies of complete sets of MOLS of order 4.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.
-
Latin Cubes with Forbidden Entries
Authors:
Carl Johan Casselgren,
Klas Markström,
Lan Anh Pham
Abstract:
We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2^k$ and $A$ is $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there…
▽ More
We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2^k$ and $A$ is $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there is a Latin cube $L$ of order $n$ such that for every $1\leq i,j,k\leq n$, the symbol in position $(i,j,k)$ of $L$ does not appear in the corresponding cell of $A$.
△ Less
Submitted 7 September, 2018;
originally announced September 2018.
-
Revisiting the cavity-method threshold for random 3-SAT
Authors:
P. H. Lundow,
K. Markström
Abstract:
A detailed Monte Carlo-study of the satisfiability threshold for random 3-SAT has been undertaken. In combination with a monotonicity assumption we find that the threshold for random 3-SAT satisfies $α_3 \leq 4.262$. If the assumption is correct, this means that the actual threshold value for $k=3$ is lower than that given by the cavity method. In contrast the latter has recently been shown to giv…
▽ More
A detailed Monte Carlo-study of the satisfiability threshold for random 3-SAT has been undertaken. In combination with a monotonicity assumption we find that the threshold for random 3-SAT satisfies $α_3 \leq 4.262$. If the assumption is correct, this means that the actual threshold value for $k=3$ is lower than that given by the cavity method. In contrast the latter has recently been shown to give the correct value for large $k$. Our result thus indicate that there are distinct behaviors for $k$ above and below some critical $k_c$, and the cavity method may provide a correct mean-field picture for the range above $k_c$.
△ Less
Submitted 20 December, 2018; v1 submitted 13 December, 2017;
originally announced December 2017.
-
Restricted extension of sparse partial edge colorings of hypercubes
Authors:
C. J Casselgren,
K. Markström,
L. A. Pham
Abstract:
We consider the following type of question: Given a partial proper $d$-edge coloring of the $d$-dimensional hypercube $Q_d$, and lists of allowed colors for the non-colored edges of $Q_d$,can we extend the partial coloring to a proper $d$-edge coloring using only colors from the lists? We prove that this question has a positive answer in the case when both the partial coloring and the color lists…
▽ More
We consider the following type of question: Given a partial proper $d$-edge coloring of the $d$-dimensional hypercube $Q_d$, and lists of allowed colors for the non-colored edges of $Q_d$,can we extend the partial coloring to a proper $d$-edge coloring using only colors from the lists? We prove that this question has a positive answer in the case when both the partial coloring and the color lists satisfy certain sparsity conditions.
△ Less
Submitted 3 November, 2017;
originally announced November 2017.
-
Edge precoloring extension of hypercubes
Authors:
C. J. Casselgren,
K. Markström,
L. A. Pham
Abstract:
We consider the problem of extending partial edge colorings of hypercubes. In particular, we obtain an analogue of the positive solution to the famous Evans' conjecture on completing partial Latin squares by proving that every proper partial edge coloring of at most $d-1$ edges of the $d$-dimensional hypercube $Q_d$ can be extended to a proper $d$-edge coloring of $Q_d$. Additionally, we character…
▽ More
We consider the problem of extending partial edge colorings of hypercubes. In particular, we obtain an analogue of the positive solution to the famous Evans' conjecture on completing partial Latin squares by proving that every proper partial edge coloring of at most $d-1$ edges of the $d$-dimensional hypercube $Q_d$ can be extended to a proper $d$-edge coloring of $Q_d$. Additionally, we characterize which partial edge colorings of $Q_d$ with precisely $d$ precolored edges are extendable to proper $d$-edge colorings of $Q_d$, and consider some related edge precoloring extension problems of hypercubes.
△ Less
Submitted 5 March, 2020; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Restricted completion of sparse partial Latin squares
Authors:
Lina J. Andrén,
Carl Johan Casselgren,
Klas Markström
Abstract:
An $n \times n$ partial Latin square $P$ is called $α$-dense if each row and column has at most $αn$ non-empty cells and each symbol occurs at most $αn$ times in $P$. An $n \times n$ array $A$ where each cell contains a subset of $\{1,\dots, n\}$ is a $(βn, βn, βn)$-array if each symbol occurs at most $βn$ times in each row and column and each cell contains a set of size at most $βn$. Combining th…
▽ More
An $n \times n$ partial Latin square $P$ is called $α$-dense if each row and column has at most $αn$ non-empty cells and each symbol occurs at most $αn$ times in $P$. An $n \times n$ array $A$ where each cell contains a subset of $\{1,\dots, n\}$ is a $(βn, βn, βn)$-array if each symbol occurs at most $βn$ times in each row and column and each cell contains a set of size at most $βn$. Combining the notions of completing partial Latin squares and avoiding arrays, we prove that there are constants $α, β> 0$ such that, for every positive integer $n$, if $P$ is an $α$-dense $n \times n$ partial Latin square, $A$ is an $n \times n$ $(βn, βn, βn)$-array, and no cell of $P$ contains a symbol that appears in the corresponding cell of $A$, then there is a completion of $P$ that avoids $A$; that is, there is a Latin square $L$ that agrees with $P$ on every non-empty cell of $P$, and, for each $i,j$ satisfying $1 \leq i,j \leq n$, the symbol in position $(i,j)$ in $L$ does not appear in the corresponding cell of $A$.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.
-
Speed and concentration of the covering time for structured coupon collectors
Authors:
Victor Falgas-Ravry,
Joel Larsson,
Klas Markström
Abstract:
Let $V$ be an $n$-set, and let $X$ be a random variable taking values in the powerset of $V$. Suppose we are given a sequence of random coupons $X_1, X_2, \ldots $, where the $X_i$ are independent random variables with distribution given by $X$. The covering time $T$ is the smallest integer $t\geq 0$ such that $\bigcup_{i=1}^tX_i=V$. The distribution of $T$ is important in many applications in com…
▽ More
Let $V$ be an $n$-set, and let $X$ be a random variable taking values in the powerset of $V$. Suppose we are given a sequence of random coupons $X_1, X_2, \ldots $, where the $X_i$ are independent random variables with distribution given by $X$. The covering time $T$ is the smallest integer $t\geq 0$ such that $\bigcup_{i=1}^tX_i=V$. The distribution of $T$ is important in many applications in combinatorial probability, and has been extensively studied. However the literature has focussed almost exclusively on the case where $X$ is assumed to be symmetric and/or uniform in some way.
In this paper we study the covering time for much more general random variables $X$; we give general criteria for $T$ being sharply concentrated around its mean, precise tools to estimate that mean, as well as examples where $T$ fails to be concentrated and when structural properties in the distribution of $X$ allow for a very different behaviour of $T$ relative to the symmetric/uniform case.
△ Less
Submitted 18 January, 2016;
originally announced January 2016.
-
The scaling window of the 5D Ising model with free boundary conditions
Authors:
P. H. Lundow,
K. Markström
Abstract:
The five-dimensional Ising model with free boundary conditions has recently received a renewed interest in a debate concerning the finite-size scaling of the susceptibility near the critical temperature. We provide evidence in favour of the conventional scaling picture, where the susceptibility scales as $O(L^2)$ inside a critical scaling window of width $O(1/L^2)$. Our results are based on Monte…
▽ More
The five-dimensional Ising model with free boundary conditions has recently received a renewed interest in a debate concerning the finite-size scaling of the susceptibility near the critical temperature. We provide evidence in favour of the conventional scaling picture, where the susceptibility scales as $O(L^2)$ inside a critical scaling window of width $O(1/L^2)$. Our results are based on Monte Carlo data gathered on system sizes up to $L=79$ (ca. three billion spins) for a wide range of temperatures near the critical point. We analyse the magnetisation distribution, the susceptibility and also the scaling and distribution of the size of the Fortuin-Kasteleyn cluster containing the origin. The probability of this cluster reaching the boundary determines the correlation length, and its behaviour agrees with the mean field critical exponent $δ=3$, that the scaling window has width $O(1/L^2)$.
△ Less
Submitted 27 January, 2016; v1 submitted 15 January, 2016;
originally announced January 2016.
-
Problem collection from the IML programme: Graphs, Hypergraphs, and Computing
Authors:
Klas Markström
Abstract:
This collection of problems and conjectures is based on a subset of the open problems from the seminar series and the problem sessions of the Institut Mitag-Leffler programme Graphs, Hypergraphs, and Computing. Each problem contributor has provided a write up of their proposed problem and the collection has been edited by Klas Markström.
This collection of problems and conjectures is based on a subset of the open problems from the seminar series and the problem sessions of the Institut Mitag-Leffler programme Graphs, Hypergraphs, and Computing. Each problem contributor has provided a write up of their proposed problem and the collection has been edited by Klas Markström.
△ Less
Submitted 1 November, 2015;
originally announced November 2015.
-
Full subgraphs
Authors:
Victor Falgas-Ravry,
Klas Markström,
Jacques Verstraëte
Abstract:
Let $G=(V,E)$ be a graph of density $p$ on $n$ vertices. Following Erdős, Łuczak and Spencer, an $m$-vertex subgraph $H$ of $G$ is called {\em full} if $H$ has minimum degree at least $p(m - 1)$. Let $f(G)$ denote the order of a largest full subgraph of $G$. If $p\binom{n}{2}$ is a non-negative integer, define \[ f(n,p) = \min\{f(G) : \vert V(G)\vert = n, \ \vert E(G)\vert = p\binom{n}{2} \}.\] Er…
▽ More
Let $G=(V,E)$ be a graph of density $p$ on $n$ vertices. Following Erdős, Łuczak and Spencer, an $m$-vertex subgraph $H$ of $G$ is called {\em full} if $H$ has minimum degree at least $p(m - 1)$. Let $f(G)$ denote the order of a largest full subgraph of $G$. If $p\binom{n}{2}$ is a non-negative integer, define \[ f(n,p) = \min\{f(G) : \vert V(G)\vert = n, \ \vert E(G)\vert = p\binom{n}{2} \}.\] Erdős, Łuczak and Spencer proved that for $n \geq 2$, \[ (2n)^{\frac{1}{2}} - 2 \leq f(n, {\frac{1}{2}}) \leq 4n^{\frac{2}{3}}(\log n)^{\frac{1}{3}}.\] In this paper, we prove the following lower bound: for $n^{-\frac{2}{3}} <p_n <1-n^{-\frac{1}{7}}$, \[ f(n,p) \geq \frac{1}{4}(1-p)^{\frac{2}{3}}n^{\frac{2}{3}} -1.\] Furthermore we show that this is tight up to a multiplicative constant factor for infinitely many $p$ near the elements of $\{\frac{1}{2},\frac{2}{3},\frac{3}{4},\dots\}$. In contrast, we show that for any $n$-vertex graph $G$, either $G$ or $G^c$ contains a full subgraph on $Ω(\frac{n}{\log n})$ vertices. Finally, we discuss full subgraphs of random and pseudo-random graphs, and several open problems.
△ Less
Submitted 21 October, 2016; v1 submitted 12 May, 2015;
originally announced May 2015.
-
On 1-sum flows in undirected graphs
Authors:
S. Akbari,
S. Friedland,
K. Markström,
S. Zare
Abstract:
Let G=(V,E) be a simple undirected graph. For a given set L of the real line, a function omega from E to L is called an L-flow. Given a vector gamma whose coordinates are indexed by V, we say that omega is a gamma-L-flow if for each v in V, the sum of the values on the edges incident to v is gamma(v). If gamma(v)=c, for all v in V, then the gamma-L-flow is called a c-sum L-flow. In this paper we s…
▽ More
Let G=(V,E) be a simple undirected graph. For a given set L of the real line, a function omega from E to L is called an L-flow. Given a vector gamma whose coordinates are indexed by V, we say that omega is a gamma-L-flow if for each v in V, the sum of the values on the edges incident to v is gamma(v). If gamma(v)=c, for all v in V, then the gamma-L-flow is called a c-sum L-flow. In this paper we study the existence of gamma-L-flows for various choices of sets L of real numbers, with an emphasis on 1-sum flows.
Given a natural k number, a c-sum k-flow is a c-sum flow with values from the set {-1,1,...,1-k, k-1}. Let L be a subset of real numbers containing 0 and let L* be L minus 0 by L*. Answering a question from a recent paper we characterize which bipartite graphs admit a 1-sum R*-flow or a 1-sum Z*-flow. We also show that that every k-regular graph, with k either odd or congruent to 2 modulo 4, admits a 1-sum {-1, 0, 1}-flow.
△ Less
Submitted 24 March, 2015;
originally announced March 2015.
-
The discontinuity of the specific heat for the 5D Ising model
Authors:
P. H. Lundow,
K. Markström
Abstract:
In this paper we investigate the behaviour of the specific heat around the critical point of the Ising model in dimension 5 to 7. We find a specific heat discontinuity, like that for the mean field Ising model, and provide estimates for the left and right hand limits of the specific heat at the critical point. We also estimate the singular exponents, describing how the specific heat approaches tho…
▽ More
In this paper we investigate the behaviour of the specific heat around the critical point of the Ising model in dimension 5 to 7. We find a specific heat discontinuity, like that for the mean field Ising model, and provide estimates for the left and right hand limits of the specific heat at the critical point. We also estimate the singular exponents, describing how the specific heat approaches those limits. Additionally, we make a smaller scale investigation of the same properties in dimension 6 and 7, and provide strongly improved estimates for the critical termperature $K_c$ in $d=5,6,7$ which bring the best MC-estimate closer to those obtained by long high temperature series expanions.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
Finite size scaling of the 5D Ising model with free boundary conditions
Authors:
P. H. Lundow,
K. Markström
Abstract:
There has been a long running debate on the finite size scaling for the Ising model with free boundary conditions above the upper critical dimension, where the standard picture gives a $L^2$ scaling for the susceptibility and an alternative theory has promoted a $L^{5/2}$ scaling, as would be the case for cyclic boundary. In this paper we present results from simulation of the far largest systems…
▽ More
There has been a long running debate on the finite size scaling for the Ising model with free boundary conditions above the upper critical dimension, where the standard picture gives a $L^2$ scaling for the susceptibility and an alternative theory has promoted a $L^{5/2}$ scaling, as would be the case for cyclic boundary. In this paper we present results from simulation of the far largest systems used so far, up to side $L=160$ and find that this data clearly supports the standard scaling. Further we present a discussion of why rigorous results for the random-cluster model provides both supports the standard scaling picture and provides a clear explanation of why the scalings for free and cyclic boundary should be different.
△ Less
Submitted 23 August, 2014;
originally announced August 2014.
-
Complete graph asymptotics for the Ising and random cluster models on 5D grids with cyclic boundary
Authors:
P. H. Lundow,
K. Markström
Abstract:
The finite size scaling behaviour for the Ising model in five dimensions, with either free or cyclic boundary, has been the subject for a long running debate. The older papers have been based on ideas from e.g. field theory or renormalization. In this paper we propose a detailed and exact scaling picture for critical region of the model with cyclic boundary. Unlike the previous papers our approach…
▽ More
The finite size scaling behaviour for the Ising model in five dimensions, with either free or cyclic boundary, has been the subject for a long running debate. The older papers have been based on ideas from e.g. field theory or renormalization. In this paper we propose a detailed and exact scaling picture for critical region of the model with cyclic boundary. Unlike the previous papers our approach is based on a comparison with the existing exact and rigorous results for the FK-random-cluster model on a complete graph. Based on those results we identify several distinct scaling regions in an $L$-dependent window around the critical point. We test these predictions by comparing with data from Monte Carlo simulations and find a good agreement. The main feature which differs between the complete graph and the five dimensional model with free boundary is the existence of a bimodal energy distribution near the critical point in the latter. This feature was found by the same authors in an earlier paper in the form of a quasi-first order phase transition for the same Ising model.
△ Less
Submitted 9 August, 2014;
originally announced August 2014.
-
From the Ising and Potts models to the general graph homomorphism polynomial
Authors:
Klas Markström
Abstract:
In this note we study some of the properties of the generating polynomial for homomorphisms from a graph to at complete weighted graph on $q$ vertices. We discuss how this polynomial relates to a long list of other well known graph polynomials and the partition functions for different spin models, many of which are specialisations of the homomorphism polynomial.
We also identify the smallest gra…
▽ More
In this note we study some of the properties of the generating polynomial for homomorphisms from a graph to at complete weighted graph on $q$ vertices. We discuss how this polynomial relates to a long list of other well known graph polynomials and the partition functions for different spin models, many of which are specialisations of the homomorphism polynomial.
We also identify the smallest graphs which are not determined by their homomorphism polynomials for $q=2$ and $q=3$ and compare this with the corresponding minimal examples for the $U$-polynomial, which generalizes the well known Tutte-polynomal.
△ Less
Submitted 19 November, 2015; v1 submitted 24 January, 2014;
originally announced January 2014.
-
Upper bounds on the number of perfect matchings and directed 2-factors in graphs with given number of vertices and edges
Authors:
M. Aaghabali,
S. Akbari,
S. Friedland,
K. Markstrom,
Z. Tajfirouz
Abstract:
We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on 2n vertices. The upper bound is sharp for n even. For n odd we state a conjecture on a sharp upper bound.
We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on 2n vertices. The upper bound is sharp for n even. For n odd we state a conjecture on a sharp upper bound.
△ Less
Submitted 31 July, 2014; v1 submitted 21 October, 2013;
originally announced October 2013.
-
Random subcube intersection graphs I: cliques and covering
Authors:
Victor Falgas-Ravry,
Klas Markström
Abstract:
We study random subcube intersection graphs, that is, graphs obtained by selecting a random collection of subcubes of a fixed hypercube $Q_d$ to serve as the vertices of the graph, and setting an edge between a pair of subcubes if their intersection is non-empty. Our motivation for considering such graphs is to model `random compatibility' between vertices in a large network. For both of the model…
▽ More
We study random subcube intersection graphs, that is, graphs obtained by selecting a random collection of subcubes of a fixed hypercube $Q_d$ to serve as the vertices of the graph, and setting an edge between a pair of subcubes if their intersection is non-empty. Our motivation for considering such graphs is to model `random compatibility' between vertices in a large network. For both of the models considered in this paper, we determine the thresholds for covering the underlying hypercube $Q_d$ and for the appearance of s-cliques. In addition we pose some open problems.
△ Less
Submitted 3 June, 2015; v1 submitted 27 September, 2013;
originally announced September 2013.
-
Improved bounds for the shortness coefficient of cyclically 4-edge connected cubic graphs and snarks
Authors:
Klas Markström
Abstract:
We present a construction which shows that there is an infinite set of cyclically 4-edge connected cubic graphs on $n$ vertices with no cycle longer than $c_4 n$ for $c_4=\frac{12}{13}$, and at the same time prove that a certain natural family of cubic graphs cannot be used to lower the shortness coefficient $c_4$ to 0.
The graphs we construct are snarks so we get the same upper bound for the sh…
▽ More
We present a construction which shows that there is an infinite set of cyclically 4-edge connected cubic graphs on $n$ vertices with no cycle longer than $c_4 n$ for $c_4=\frac{12}{13}$, and at the same time prove that a certain natural family of cubic graphs cannot be used to lower the shortness coefficient $c_4$ to 0.
The graphs we construct are snarks so we get the same upper bound for the shortness coefficient of snarks, and we prove that the constructed graphs have an oddness growing linearly with the number of vertices.
△ Less
Submitted 7 January, 2014; v1 submitted 16 September, 2013;
originally announced September 2013.
-
Hearing the Shape of the Ising Model with a Programmable Superconducting-Flux Annealer
Authors:
Walter Vinci,
Klas Markström,
Sergio Boixo,
Aidan Roy,
Federico M. Spedalieri,
Paul A. Warburton,
Simone Severini
Abstract:
Two objects can be distinguished if they have different measurable properties. Thus, distinguishability depends on the Physics of the objects. In considering graphs, we revisit the Ising model as a framework to define physically meaningful spectral invariants. In this context, we introduce a family of refinements of the classical spectrum and consider the quantum partition function. We demonstrate…
▽ More
Two objects can be distinguished if they have different measurable properties. Thus, distinguishability depends on the Physics of the objects. In considering graphs, we revisit the Ising model as a framework to define physically meaningful spectral invariants. In this context, we introduce a family of refinements of the classical spectrum and consider the quantum partition function. We demonstrate that the energy spectrum of the quantum Ising Hamiltonian is a stronger invariant than the classical one without refinements. For the purpose of implementing the related physical systems, we perform experiments on a programmable annealer with superconducting flux technology. Departing from the paradigm of adiabatic computation, we take advantage of a noisy evolution of the device to generate statistics of low energy states. The graphs considered in the experiments have the same classical partition functions, but different quantum spectra. The data obtained from the annealer distinguish non-isomorphic graphs via information contained in the classical refinements of the functions but not via the differences in the quantum spectra.
△ Less
Submitted 16 September, 2014; v1 submitted 3 July, 2013;
originally announced July 2013.
-
The straight line complexity of small factorials and primorials
Authors:
Klas Markström
Abstract:
In this paper we determine the straight-line complexity of $n!$ for $n\leq 22$ and give bounds for the complexities up to $n=46$. In the same way we determine the straight-line complexity of the product of the first primes up to $p=31$ and gives bounds for $p\leq 43$.
Our results are based on an exhaustive computer search of the short length straight-line programs.
In this paper we determine the straight-line complexity of $n!$ for $n\leq 22$ and give bounds for the complexities up to $n=46$. In the same way we determine the straight-line complexity of the product of the first primes up to $p=31$ and gives bounds for $p\leq 43$.
Our results are based on an exhaustive computer search of the short length straight-line programs.
△ Less
Submitted 15 December, 2014; v1 submitted 13 June, 2013;
originally announced June 2013.
-
Shortest cycle covers and cycle double covers with large 2-regular subgraphs
Authors:
Jonas Hägglund,
Klas Markstrøm
Abstract:
In this paper we show that many snarks have shortest cycle covers of length $\frac{4}{3}m+c$ for a constant $c$, where $m$ is the number of edges in the graph, in agreement with the conjecture that all snarks have shortest cycle covers of length $\frac{4}{3}m+o(m)$.
In particular we prove that graphs with perfect matching index at most 4 have cycle covers of length $\frac{4}{3}m$ and satisfy the…
▽ More
In this paper we show that many snarks have shortest cycle covers of length $\frac{4}{3}m+c$ for a constant $c$, where $m$ is the number of edges in the graph, in agreement with the conjecture that all snarks have shortest cycle covers of length $\frac{4}{3}m+o(m)$.
In particular we prove that graphs with perfect matching index at most 4 have cycle covers of length $\frac{4}{3}m$ and satisfy the $(1,2)$-covering conjecture of Zhang, and that graphs with large circumference have cycle covers of length close to $\frac{4}{3}m$. We also prove some results for graphs with low oddness and discuss the connection with Jaeger's Petersen colouring conjecture.
△ Less
Submitted 13 June, 2013;
originally announced June 2013.
-
$\ell$-degree Turán density
Authors:
Allan Lo,
Klas Markström
Abstract:
Let $H_n$ be a $k$-graph on $n$ vertices. For $0 \le \ell <k$ and an $\ell$-subset $T$ of $V(H_n)$, define the degree $°(T)$ of $T$ to be the number of $(k-\ell)$-subsets~$S$ such that $S \cup T$ is an edge in~$H_n$. Let the minimum $\ell$-degree of $H_n$ be $δ_{\ell}(H_n) = \min \{ °(T) : T \subseteq V(H_n)$ and $|T|=\ell\}$. Given a family $\mathcal{F}$ of $k$-graphs, the $\ell$-degree Turán num…
▽ More
Let $H_n$ be a $k$-graph on $n$ vertices. For $0 \le \ell <k$ and an $\ell$-subset $T$ of $V(H_n)$, define the degree $°(T)$ of $T$ to be the number of $(k-\ell)$-subsets~$S$ such that $S \cup T$ is an edge in~$H_n$. Let the minimum $\ell$-degree of $H_n$ be $δ_{\ell}(H_n) = \min \{ °(T) : T \subseteq V(H_n)$ and $|T|=\ell\}$. Given a family $\mathcal{F}$ of $k$-graphs, the $\ell$-degree Turán number $\text{ex}_{\ell}(n, \mathcal{F})$ is the largest $δ_{\ell}(H_n)$ over all $\mathcal{F}$-free $k$-graphs $H_n$ on $n$ vertices. Hence, $\text{ex}_0(n, \mathcal{F})$ is the Turán number. We define $\ell$-degree Turán density to be $$π^k_{\ell}(\mathcal{F}) = \limsup_{n \rightarrow \infty} \frac{\text{ex}_{\ell}(n, \mathcal{F} )}{ \binom{n- \ell}{k}}.$$ In this paper, we show that for $k> \ell >1$, the set of $π_{\ell}^k(\mathcal{F})$ is dense in the interval $[0,1)$. Hence, there is no "jump" for $\ell$-degree Turán density when $k>\ell >1$. We also give a lower bound on $π_{\ell}^k(\mathcal{F})$ in terms of an ordinary Turán density.
△ Less
Submitted 14 October, 2014; v1 submitted 21 October, 2012;
originally announced October 2012.
-
Generation and Properties of Snarks
Authors:
Gunnar Brinkmann,
Jan Goedgebeur,
Jonas Hägglund,
Klas Markström
Abstract:
For many of the unsolved problems concerning cycles and matchings in graphs it is known that it is sufficient to prove them for \emph{snarks}, the class of nontrivial 3-regular graphs which cannot be 3-edge coloured. In the first part of this paper we present a new algorithm for generating all non-isomorphic snarks of a given order. Our implementation of the new algorithm is 14 times faster than p…
▽ More
For many of the unsolved problems concerning cycles and matchings in graphs it is known that it is sufficient to prove them for \emph{snarks}, the class of nontrivial 3-regular graphs which cannot be 3-edge coloured. In the first part of this paper we present a new algorithm for generating all non-isomorphic snarks of a given order. Our implementation of the new algorithm is 14 times faster than previous programs for generating snarks, and 29 times faster for generating weak snarks. Using this program we have generated all non-isomorphic snarks on $n\leq 36$ vertices. Previously lists up to $n=28$ vertices have been published. In the second part of the paper we analyze the sets of generated snarks with respect to a number of properties and conjectures. We find that some of the strongest versions of the cycle double cover conjecture hold for all snarks of these orders, as does Jaeger's Petersen colouring conjecture, which in turn implies that Fulkerson's conjecture has no small counterexamples. In contrast to these positive results we also find counterexamples to eight previously published conjectures concerning cycle coverings and the general cycle structure of cubic graphs.
△ Less
Submitted 28 June, 2013; v1 submitted 28 June, 2012;
originally announced June 2012.
-
The range of thresholds for diameter 2 in random Cayley graphs
Authors:
Demetres Christofides,
Klas Markström
Abstract:
Given a group G, the model \mathcal{G}(G,p) denotes the probability space of all Cayley graphs of G where each element of the generating set is chosen independently at random with probability p.
Given a family of groups (G_k) and a c \in \mathbb{R}_+ we say that c is the threshold for diameter 2 for (G_k) if for any \varepsilon > 0 with high probability Γ\in \mathcal{G}(G_k,p) has diameter great…
▽ More
Given a group G, the model \mathcal{G}(G,p) denotes the probability space of all Cayley graphs of G where each element of the generating set is chosen independently at random with probability p.
Given a family of groups (G_k) and a c \in \mathbb{R}_+ we say that c is the threshold for diameter 2 for (G_k) if for any \varepsilon > 0 with high probability Γ\in \mathcal{G}(G_k,p) has diameter greater than 2 if p \leqslant \sqrt{(c - \eps)\frac{\log{n}}{n}} and diameter at most 2 if p \geqslant \sqrt{(c + \eps)\frac{\log{n}}{n}}. In [5] we proved that if c is a threshold for diameter 2 for a family of groups (G_k) then c \in [1/4,2] and provided two families of groups with thresholds 1/4 and 2 respectively.
In this paper we study the question of whether every c \in [1/4,2] is the threshold for diameter 2 for some family of groups. Rather surprisingly it turns out that the answer to this question is negative. We show that every c \in [1/4,4/3] is a threshold but a c \in (4/3,2] is a threshold if and only if it is of the form 4n/(3n-1) for some positive integer n.
△ Less
Submitted 29 February, 2012;
originally announced February 2012.
-
Critical behaviour of the Ising model on the 4-dimensional lattice
Authors:
P. H. Lundow,
K. Markström
Abstract:
In this paper we investigate the nature of the singularity of the Ising model of the 4-dimensional cubic lattice. It is rigorously known that the specific heat has critical exponent $α=0$ but a non-rigorous field-theory argument predicts an unbounded specific heat with a logarithmic singularity at $T_c$. We find that within the given accuracy the canonical ensemble data is consistent both with a l…
▽ More
In this paper we investigate the nature of the singularity of the Ising model of the 4-dimensional cubic lattice. It is rigorously known that the specific heat has critical exponent $α=0$ but a non-rigorous field-theory argument predicts an unbounded specific heat with a logarithmic singularity at $T_c$. We find that within the given accuracy the canonical ensemble data is consistent both with a logarithmic singularity and a bounded specific heat, but that the micro-canonical ensemble lends stronger support to a bounded specific heat. Our conclusion is that either much larger system sizes are needed for Monte Carlo studies of this model in four dimensions or the field theory prediction of a logarithmic singularity is wrong.
△ Less
Submitted 14 February, 2012;
originally announced February 2012.
-
Two questions of Erdős on hypergraphs above the Tur{á}n threshold}
Authors:
Klas Markström
Abstract:
For ordinary graphs it is known that any graph $G$ with more edges than the Tur{á}n number of $K_s$ must contain several copies of $K_s$, and a copy of $K_{s+1}^-$, the complete graph on $s+1$ vertices with one missing edge. Erdős asked if the same result is true for $K^3_s$, the complete 3-uniform hypergraph on $s$ vertices.
In this note we show that for small values of $n$, the number of verti…
▽ More
For ordinary graphs it is known that any graph $G$ with more edges than the Tur{á}n number of $K_s$ must contain several copies of $K_s$, and a copy of $K_{s+1}^-$, the complete graph on $s+1$ vertices with one missing edge. Erdős asked if the same result is true for $K^3_s$, the complete 3-uniform hypergraph on $s$ vertices.
In this note we show that for small values of $n$, the number of vertices in $G$, the answer is negative for $s=4$. For the second property, that of containing a ${K^3_{s+1}}^-$, we show that for $s=4$ the answer is negative for all large $n$ as well, by proving that the Tur{á}n density of ${K^3_5}^-$ is greater than that of $K^3_4$.
△ Less
Submitted 24 November, 2011;
originally announced November 2011.
