-
Harmonic Tutte polynomials of matroids III
Authors:
Thomas Britz,
Himadri Shekhar Chakraborty,
Tsuyoshi Miezaki
Abstract:
In this paper, we present the harmonic generalizations of well-known polynomials of codes over finite fields, namely the higher weight enumerators and the extended weight enumerators, and we derive the correspondences between these weight enumerators. Moreover, we present the harmonic generalization of Greene's Theorem for the higher (resp. extended) weight enumerators. As an application of this G…
▽ More
In this paper, we present the harmonic generalizations of well-known polynomials of codes over finite fields, namely the higher weight enumerators and the extended weight enumerators, and we derive the correspondences between these weight enumerators. Moreover, we present the harmonic generalization of Greene's Theorem for the higher (resp. extended) weight enumerators. As an application of this Greene's-type theorem, we provide the MacWilliams-type identity for harmonic higher weight enumerators of codes over finite fields. Finally, we use this new identity to give a new proof of the Assmus-Mattson Theorem for subcode supports of linear codes over finite fields using harmonic higher weight enumerators.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
The Ramsey numbers for trees of order $n$ with maximum degree at least $n-5$ versus the wheel graph of order nine
Authors:
Zhi Yee Chng,
Thomas Britz,
Ta Sheng Tan,
Kok Bin Wong
Abstract:
The Ramsey numbers $R(T_n,W_8)$ are determined for each tree graph $T_n$ of order $n\geq 7$ and maximum degree $Δ(T_n)$ equal to either $n-4$ or $n-5$. These numbers indicate strong support for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that $R(T_n,W_m) = 2n-1$ for each tree graph $T_n$ of order $n\geq m-1$ with $Δ(T_n)\leq n-m+2$ when $m\geq 4$ is even.
The Ramsey numbers $R(T_n,W_8)$ are determined for each tree graph $T_n$ of order $n\geq 7$ and maximum degree $Δ(T_n)$ equal to either $n-4$ or $n-5$. These numbers indicate strong support for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that $R(T_n,W_m) = 2n-1$ for each tree graph $T_n$ of order $n\geq m-1$ with $Δ(T_n)\leq n-m+2$ when $m\geq 4$ is even.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Direct constructions of some group divisible designs with block size $4$ and up to $50$ points
Authors:
R. Julian. R. Abel,
Thomas Britz,
Yudhistira A. Bunjamin,
Diana Combe
Abstract:
In this note, we give direct constructions of some group divisible designs (GDDs) with block size $4$ that have up to $50$ points.
In this note, we give direct constructions of some group divisible designs (GDDs) with block size $4$ that have up to $50$ points.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Group divisible designs with block size 4 and group sizes 4 and 7
Authors:
R. Julian R. Abel,
Thomas Britz,
Yudhistira A. Bunjamin,
Diana Combe
Abstract:
In this paper, we consider the existence of group divisible designs (GDDs) with block size $4$ and group sizes $4$ and $7$. We show that there exists a 4-GDD of type $4^t 7^s$ for all but a finite specified set of feasible values for $(t, s)$.
In this paper, we consider the existence of group divisible designs (GDDs) with block size $4$ and group sizes $4$ and $7$. We show that there exists a 4-GDD of type $4^t 7^s$ for all but a finite specified set of feasible values for $(t, s)$.
△ Less
Submitted 22 January, 2024; v1 submitted 22 September, 2023;
originally announced September 2023.
-
Harmonic Tutte polynomials of matroids II
Authors:
Thomas Britz,
Himadri Shekhar Chakraborty,
Reina Ishikawa,
Tsuyoshi Miezaki,
Hopein Christofen Tang
Abstract:
In this work, we introduce the harmonic generalization of the $m$-tuple weight enumerators of codes over finite Frobenius rings. A harmonic version of the MacWilliams-type identity for $m$-tuple weight enumerators of codes over finite Frobenius ring is also given. Moreover, we define the demi-matroid analogue of well-known polynomials from matroid theory, namely Tutte polynomials and coboundary po…
▽ More
In this work, we introduce the harmonic generalization of the $m$-tuple weight enumerators of codes over finite Frobenius rings. A harmonic version of the MacWilliams-type identity for $m$-tuple weight enumerators of codes over finite Frobenius ring is also given. Moreover, we define the demi-matroid analogue of well-known polynomials from matroid theory, namely Tutte polynomials and coboundary polynomials, and associate them with a harmonic function. We also prove the Greene-type identity relating these polynomials to the harmonic $m$-tuple weight enumerators of codes over finite Frobenius rings. As an application of this Greene-type identity, we provide a simple combinatorial proof of the MacWilliams-type identity for harmonic $m$-tuple weight enumerators over finite Frobenius rings. Finally, we provide the structure of the relative invariant spaces containing the harmonic $m$-tuple weight enumerators of self-dual codes over finite fields.
△ Less
Submitted 18 November, 2023; v1 submitted 29 October, 2022;
originally announced October 2022.
-
Bounds on the closeness centrality of a graph
Authors:
Thomas Britz,
Xin Hu,
Abdellah Islam,
Hopein Christofen Tang
Abstract:
We present new values and bounds on the (normalised) closeness centrality $\bar{\mathsf{C}}_C$ of connected graphs and on its product $\bar{l}\bar{\mathsf{C}}_C$ with the mean distance $\bar{l}$ of these graphs. Our main result presents the fundamental bounds $1\leq \bar{l}\bar{\mathsf{C}}_C<2$. The lower bound is tight and the upper bound is asymptotically tight. Combining the lower bound with kn…
▽ More
We present new values and bounds on the (normalised) closeness centrality $\bar{\mathsf{C}}_C$ of connected graphs and on its product $\bar{l}\bar{\mathsf{C}}_C$ with the mean distance $\bar{l}$ of these graphs. Our main result presents the fundamental bounds $1\leq \bar{l}\bar{\mathsf{C}}_C<2$. The lower bound is tight and the upper bound is asymptotically tight. Combining the lower bound with known upper bounds on the mean distance, we find ten new lower bounds for the closeness centrality of graphs. We also present explicit expressions for $\bar{\mathsf{C}}_C$ and $\bar{l}\bar{\mathsf{C}}_C$ for specific families of graphs. Elegantly and perhaps surprisingly, the asymptotic values $n\bar{\mathsf{C}}_C\big(P_n\big)$ and of $n\bar{\mathsf{C}}_C\big(L_n\big)$ both equal $π$, and the asymptotic limits of $\bar{l}\bar{\mathsf{C}}_C$ for these families of graphs are both equal to $π/3$. We conjecture that the set of values $\bar{l}\bar{\mathsf{C}}_C$ for all connected graphs is dense in the interval $[1,2)$.
△ Less
Submitted 17 July, 2023; v1 submitted 24 April, 2022;
originally announced April 2022.
-
On the scale-freeness of random colored substitution networks
Authors:
Nero Ziyu Li,
Thomas Britz
Abstract:
Extending previous results in the literature, random colored substitution networks and degree dimension are defined in this paper. The scale-freeness of these networks is proved by introducing a new definition for degree dimension that is associated with Lyapunov exponents. The random colored substitution network hence turns out to be a simple, powerful and promising model to generate random scale…
▽ More
Extending previous results in the literature, random colored substitution networks and degree dimension are defined in this paper. The scale-freeness of these networks is proved by introducing a new definition for degree dimension that is associated with Lyapunov exponents. The random colored substitution network hence turns out to be a simple, powerful and promising model to generate random scale-free networks.
△ Less
Submitted 14 November, 2023; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Group divisible designs with block size 4 and group sizes 2 and 5
Authors:
R. Julian R. Abel,
Thomas Britz,
Yudhistira A. Bunjamin,
Diana Combe
Abstract:
In this paper we provide a $4$-GDD of type $2^2 5^5$, thereby solving the existence question for the last remaining feasible type for a $4$-GDD with no more than $30$ points. We then show that $4$-GDDs of type $2^t 5^s$ exist for all but a finite specified set of feasible pairs $(t,s)$.
In this paper we provide a $4$-GDD of type $2^2 5^5$, thereby solving the existence question for the last remaining feasible type for a $4$-GDD with no more than $30$ points. We then show that $4$-GDDs of type $2^t 5^s$ exist for all but a finite specified set of feasible pairs $(t,s)$.
△ Less
Submitted 19 March, 2022; v1 submitted 23 September, 2021;
originally announced September 2021.
-
The product formula for regularized Fredholm determinants
Authors:
Thomas Britz,
Alan Carey,
Fritz Gesztesy,
Roger Nichols,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
For trace class operators $A, B \in \mathcal{B}_1(\mathcal{H})$ ($\mathcal{H}$ a complex, separable Hilbert space), the product formula for Fredholm determinants holds in the familiar form \[ {\det}_{\mathcal{H}} ((I_{\mathcal{H}} - A) (I_{\mathcal{H}} - B)) = {\det}_{\mathcal{H}} (I_{\mathcal{H}} - A) {\det}_{\mathcal{H}} (I_{\mathcal{H}} - B). \] When trace class operators are replaced by Hilber…
▽ More
For trace class operators $A, B \in \mathcal{B}_1(\mathcal{H})$ ($\mathcal{H}$ a complex, separable Hilbert space), the product formula for Fredholm determinants holds in the familiar form \[ {\det}_{\mathcal{H}} ((I_{\mathcal{H}} - A) (I_{\mathcal{H}} - B)) = {\det}_{\mathcal{H}} (I_{\mathcal{H}} - A) {\det}_{\mathcal{H}} (I_{\mathcal{H}} - B). \] When trace class operators are replaced by Hilbert--Schmidt operators $A, B \in \mathcal{B}_2(\mathcal{H})$ and the Fredholm determinant ${\det}_{\mathcal{H}}(I_{\mathcal{H}} - A)$, $A \in \mathcal{B}_1(\mathcal{H})$, by the 2nd regularized Fredholm determinant ${\det}_{\mathcal{H},2}(I_{\mathcal{H}} - A) = {\det}_{\mathcal{H}} ((I_{\mathcal{H}} - A) \exp(A))$, $A \in \mathcal{B}_2(\mathcal{H})$, the product formula must be replaced by \[ {\det}_{\mathcal{H},2} ((I_{\mathcal{H}} - A) (I_{\mathcal{H}} - B)) = {\det}_{\mathcal{H},2} (I_{\mathcal{H}} - A) {\det}_{\mathcal{H},2} (I_{\mathcal{H}} - B) \exp(- {\rm tr}(AB)). \] The product formula for the case of higher regularized Fredholm determinants ${\det}_{\mathcal{H},k}(I_{\mathcal{H}} - A)$, $A \in \mathcal{B}_k(\mathcal{H})$, $k \in \mathbb{N}$, $k \geq 2$, does not seem to be easily accessible and hence this note aims at filling this gap in the literature.
△ Less
Submitted 26 November, 2020; v1 submitted 24 July, 2020;
originally announced July 2020.
-
Mutually orthogonal binary frequency squares
Authors:
Thomas Britz,
Nicholas J. Cavenagh,
Adam Mammoliti,
Ian M. Wanless
Abstract:
A \emph{frequency square} is a matrix in which each row and column is a permutation of the same multiset of symbols. We consider only {\em binary} frequency squares of order $n$ with $n/2$ zeroes and $n/2$ ones in each row and column. Two such frequency squares are \emph{orthogonal} if, when superimposed, each of the 4 possible ordered pairs of entries occurs equally often. In this context we say…
▽ More
A \emph{frequency square} is a matrix in which each row and column is a permutation of the same multiset of symbols. We consider only {\em binary} frequency squares of order $n$ with $n/2$ zeroes and $n/2$ ones in each row and column. Two such frequency squares are \emph{orthogonal} if, when superimposed, each of the 4 possible ordered pairs of entries occurs equally often. In this context we say that a $k$-MOFS$(n)$ is a set of $k$ binary frequency squares of order $n$ in which each pair of squares is orthogonal.
A $k$-MOFS$(n)$ must satisfy $k\le(n-1)^2$, and any MOFS achieving this bound are said to be \emph{complete}. For any $n$ for which there exists a Hadamard matrix of order $n$ we show that there exists at least $2^{n^2/4-O(n\log n)}$ isomorphism classes of complete MOFS$(n)$. For $2<n\equiv2\pmod4$ we show that there exists a $17$-MOFS$(n)$ but no complete MOFS$(n)$.
A $k$-maxMOFS$(n)$ is a $k$-MOFS$(n)$ that is not contained in any $(k+1)$-MOFS$(n)$. By computer enumeration, we establish that there exists a $k$-maxMOFS$(6)$ if and only if $k\in\{1,17\}$ or $5\le k\le 15$. We show that up to isomorphism there is a unique $1$-maxMOFS$(n)$ if $n\equiv2\pmod4$, whereas no $1$-maxMOFS$(n)$ exists for $n\equiv0\pmod4$. We also prove that there exists a $5$-maxMOFS$(n)$ for each order $n\equiv 2\pmod{4}$ where $n\geq 6$.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
On Mubayi's Conjecture and conditionally intersecting sets
Authors:
Adam Mammoliti,
Thomas Britz
Abstract:
Mubayi's Conjecture states that if $\mathcal{F}$ is a family of $k$-sized subsets of $[n] = \{1,\ldots,n\}$ which, for $k \geq d \geq 2$, satisfies $A_1 \cap\cdots\cap A_d \neq \emptyset$ whenever $|A_1 \cup\cdots\cup A_d| \leq 2k$ for all distinct sets $A_1,\ldots,A_d \in\mathcal{F}$, then $|\mathcal{F}|\leq \binom{n-1}{k-1}$, with equality occurring only if $\mathcal{F}$ is the family of all…
▽ More
Mubayi's Conjecture states that if $\mathcal{F}$ is a family of $k$-sized subsets of $[n] = \{1,\ldots,n\}$ which, for $k \geq d \geq 2$, satisfies $A_1 \cap\cdots\cap A_d \neq \emptyset$ whenever $|A_1 \cup\cdots\cup A_d| \leq 2k$ for all distinct sets $A_1,\ldots,A_d \in\mathcal{F}$, then $|\mathcal{F}|\leq \binom{n-1}{k-1}$, with equality occurring only if $\mathcal{F}$ is the family of all $k$-sized subsets containing some fixed element. This paper proves that Mubayi's Conjecture is true for all families that are invariant with respect to shifting; indeed, these families satisfy a stronger version of Mubayi's Conjecture. Relevant to the conjecture, we prove a fundamental bijective duality between $(i,j)$-unstable families and $(j,i)$-unstable families. Generalising previous intersecting conditions, we introduce the $(d,s,t)$-conditionally intersecting condition for families of sets and prove general results thereon. We conjecture on the size and extremal structures of families $\mathcal{F}\in\binom{[n]}{k}$ that are $(d,2k)$-conditionally intersecting but which are not intersecting, and prove results related to this conjecture. We prove fundamental theorems on two $(d,s)$-conditionally intersecting families that generalise previous intersecting families, and we pose an extension of a previous conjecture by Frankl and Füredi on $(3,2k-1)$-conditionally intersecting families. Finally, we generalise a classical result by Erdős, Ko and Rado by proving tight upper bounds on the size of $(2,s)$-conditionally intersecting families $\mathcal{F}\subseteq 2^{[n]}$ and by characterising the families that attain these bounds. We extend this theorem for certain parametres as well as for sufficiently large families with respect to $(2,s)$-conditionally intersecting families $\mathcal{F}\subseteq 2^{[n]}$ whose members have at most a fixed number $u$ members.
△ Less
Submitted 31 October, 2018; v1 submitted 15 November, 2017;
originally announced November 2017.
-
Finite posets and Ferrers shapes
Authors:
Thomas Britz,
Sergey Fomin
Abstract:
A survey on the Greene-Kleitman correspondence, with complete proofs, many of which are new.
A survey on the Greene-Kleitman correspondence, with complete proofs, many of which are new.
△ Less
Submitted 15 December, 1999;
originally announced December 1999.