Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Invitation to Local Algorithms
This text provides an introduction to distributed local algorithms -- an area at the intersection of theoretical computer science and discrete mathematics. We collect recent results in the area and demonstrate how they lead to a clean theory. We also discuss many connections of local algorithms to fields such as parallel, distributed, and sublinear algorithms, or descriptive combinatorics.
The $n/2$-bound for locating-dominating sets in subcubic graphs
The location-domination number is conjectured to be at most half of the order for twin-free graphs with no isolated vertices. We prove that this conjecture holds and is tight for subcubic graphs. We also show that the same upper bound holds for subcubic graphs with open twins of degree 3 and closed twins of any degree, but not for subcubic graphs with open twins of degree 1 or 2. These results then imply that the same upper bound holds for all cubic graphs (with or without twins) except $K_4$ and $K_{3,3}$.
Generalised hook lengths and Schur elements for Hecke algebras
Published
• View Publication
• BIB
We compare two generalisations of the notion of hook lengths for partitions. We apply this in the context of the modular representation theory of Ariki-Koike algebras. We show that the Schur element of a simple module is divisible by the Schur element of the associated (generalised) core. In the case of Hecke algebras of type $A$, we obtain an even stronger result: the Schur element of a simple module is equal to the product of the Schur element of its core and the Schur element of its quotient.
A Note on Improved bounds for the Oriented Radius of Mixed Multigraphs
Published
• View Publication
• BIB
For a positive integer $r$, let $f(r)$ denote the smallest number such that any 2-edge connected mixed graph with radius $r$ has an oriented radius of at most $f(r)$. Recently, Babu, Benson, and Rajendraprasad significantly improved the upper bound of $f(r)$ by establishing that $f(r) \leq 1.5r^2 + r + 1$, see [Improved bounds for the oriented radius of mixed multigraphs, J. Graph Theory, 103 (2023), 674-689]. Additionally, they demonstrated that if each edge of a graph $G$ is contained within a cycle of length at most $η$, then the oriented radius of $G$ is at most $1.5rη$. The authors' results were derived through Observation 1, which served as the foundation for the development of Algorithm ORIENTOUT and Algorithm ORIENTIN. By integrating these algorithms, they obtained the improved bounds. However, an error has been identified in Observation 1, necessitating revisions to Algorithm ORIENTOUT and Algorithm ORIENTIN. In this note, we address the error and propose the necessary modifications to both algorithms, thereby ensuring the correctness of the conclusions.
Almost Orthogonal Arrays: Theory and Search Three Ways
Orthogonal arrays play a fundamental role in many applications. However, constructing orthogonal arrays with the required parameters for an application usually is extremely difficult and, sometimes, even impossible. Hence there is an increasing need for a relaxation of orthogonal arrays to allow a wider flexibility. The latter has lead to various types of arrays under the name of ``nearly-orthogonal arrays'', and less often ``almost orthogonal arrays''. The aim of this paper is twofold. On the one hand, we review all the existing relaxations, comparing and discussing them in depth. On the other hand, we explore how to find almost orthogonal arrays three ways: using integer programming, local search meta-heuristics and algebraic methods. We compare all our search results with the ones existing in the literature, and we show that they are competitive, improving some of the existing arrays for many non-orthogonality measures. All our found almost orthogonal arrays are available at a public repository.
Totally symmetric Grassmannian codes
We introduce a general technique to construct tight fusion frames with prescribed symmetries. Applying this technique with a prescription for "all the symmetries", we construct a new family of equi-isoclinic tight fusion frames (EITFFs), which consequently form optimal Grassmannian codes. By virtue of their construction, our EITFFs have the remarkable property of total symmetry: any permutation of subspaces can be achieved by an appropriate unitary.
The Pinnacle Sets of a Graph
We introduce and study the pinnacle sets of a simple graph $G$ with $n$ vertices. Given a bijective vertex labeling $λ\,:\,V(G)\rightarrow [n]$, the label $λ(v)$ of vertex $v$ is a pinnacle of $(G, λ)$ if $λ(v)>λ(w)$ for all vertices $w$ in the neighborhood of $v$. The pinnacle set of $(G, λ)$ contains all the pinnacles of the labeled graph. A subset $S\subseteq[n]$ is a pinnacle set of $G$ if there exists a labeling $λ$ such that $S$ is the pinnacle set of $(G,λ)$. Of interest to us is the question: Which subsets of $[n]$ are the pinnacle sets of $G$? Our main results are as follows. We show that when $G$ is connected, $G$ has a size-$k$ pinnacle set if and only if $G$ has an independent set of the same size. Consequently, determining if $G$ has a size-$k$ pinnacle set and determining if $G$ has a particular subset $S$ as a pinnacle set are NP-complete problems. Nonetheless, we completely identify all the pinnacle sets of complete graphs, complete bipartite graphs, cycles and paths. We also present two techniques for deriving new pinnacle sets from old ones that imply a typical graph has many pinnacle sets. Finally, we define a poset on all the size-$k$ pinnacle sets of $G$ and show that it is a join semilattice. If, additionally, the poset has a minimum element, then it is a distributive lattice. We conclude with some open problems for further study.
On the binomial transforms of Apéry-like sequences
Published
• View Publication
• BIB
In the proof of the irrationality of $ζ(3)$ and $ζ(2)$, Apéry defined two integer sequences through $3$-term recurrences, which are known as the famous Apéry numbers. Zagier, Almkvist--Zudilin and Cooper successively introduced the other $13$ sporadic sequences through variants of Apéry's $3$-term recurrences. All of the $15$ sporadic sequences are called Apéry-like sequences. Motivated by Gessel's congruences mod $24$ for the Apéry numbers, we investigate the congruences in the form $u_n\equiv α^n \pmod{N_α}~(α\in \mathbb{Z},N_α\in \mathbb{N}^{+})$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$. Let $N_α$ be the largest positive integer such that $u_n\equiv α^n \pmod{N_α}$ for all non-negative integers $n$. We determine the values of $\max\{N_α|α\in \mathbb{Z}\}$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$.The binomial transforms of Apéry-like sequences provide us a unified approach to this type of congruences for Apéry-like sequences.
Étude des liens entre la taille et l'irréductibilité des solutions monomiales minimales dans $SL_{2}(\mathbb{Z}/N\mathbb{Z})$
This article aims to study some $n$-tuples of elements belonging to a ring $\mathbb{Z}/N\mathbb{Z}$ related to the combinatorics of congruence subgroups of the modular group. More precisely, we will focus here on the notion of minimal monomial solutions. These are the solutions of a matrix equation (also appearing during the study of Coxeter's friezes), modulo an integer $N$, all of whose components are identical and minimal for this property. Our objective here is to study the links between the size of minimal monomial solutions and a property of irreducibility which is central in the study of the combinatorics of the modular group. In particular, we will obtain an upper bound of the size of irreducible monomial solutions and we will prove that some sizes automatically lead to irreducibility.
The Hoffman program for mixed graphs
Published
• View Publication
• BIB
We consider Hoffman's program about the limit points of the spectral radius of the Hermitian adjacency matrix of mixed graphs. In particular, we determine all mixed graphs without negative $4$-cycle whose spectral radius does not exceed $\sqrt{2+\sqrt{5}}$, and identify all limit points of spectral radii of mixed graphs.
Optimizing Extension Techniques for Discovering Non-Algebraic Matroids
Published in Journal of Algebraic Combinatorics 62, 50 (2025)
• View Publication
• BIB
In this work, we revisit some combinatorial and information-theoretic extension techniques for detecting non-algebraic matroids. These are the Dress-Lovász and Ahlswede-Körner extension properties. We provide optimizations of these techniques to reduce their computational complexity, finding new non-algebraic matroids on 9 and 10 points. In addition, we use the Ahlswede-Körner extension property to find better lower bounds on the information ratio of secret sharing schemes for ports of non-algebraic matroids.
Propp's benzels and Lai's nearly symmetric hexagons with holes
Published
• View Publication
• BIB
In this paper we present a new version of the second author's factorization theorem for perfect matchings of symmetric graphs. We then use our result to solve four open problems of Propp on the enumeration of trimer tilings on the hexagonal lattice.
As another application, we obtain a semi-factorization result for the number of lozenge tilings of a large class of hexagonal regions with holes (obtained by starting with an arbitrary symmetric hexagon with holes, and translating all the holes one unit lattice segment in the same direction). This in turn leads to the solution of two open problems posed by Lai and to an extension of a result due to Fulmek and Krattenthaler, which results in exact enumeration formulas for some new families of hexagonal regions with holes.
Our result also allows us to find new, simpler proofs (and in one case, a new, simpler form) of some formulas due to Krattenthaler for the number of perfect matchings of Aztec rectangles with unit holes along a lattice diagonal.
Towards odd-sunflowers: temperate families and lightnings
Published
• View Publication
• BIB
Motivated by odd-sunflowers, introduced recently by Frankl, Pach, and P{á}lv{ö}lgyi, we initiate the study of temperate families: a family $\mathcal{F} \subseteq \mathcal{P}([n])$ is said to be \emph{temperate} if each $A \in \mathcal{F}$ contains at most $|A|$ elements of $\mathcal{F}$ as a proper subset.
We show that the maximum size of a temperate family is attained by the middle two layers of the hypercube $\{0,1\}^n$. As a more general result, we obtain that the middle $t+1$ layers of the hypercube maximise the size of a family $\mathcal{F}$ such that each $A \in \mathcal{F}$ contains at most $\sum_{j=1}^t \binom{|A|}{j}$ elements of $\mathcal{F}$ as a proper subset. Moreover, we classify all such families consisting of the maximum number of sets.
In the case of intersecting temperate families, we find the maximum size and classify all intersecting temperate families consisting of the maximum number of sets for odd $n$. We also conjecture the maximum size for even $n$.
Equilibria in a Hypercube Spatial Voting Model
We give conditions for equilibria in the following Voronoi game on the discrete hypercube. Two players position themselves in $\{0,1\}^d$ and each receives payoff equal to the measure (under some probability distribution) of their Voronoi cell (the set of all points which are closer to them than to the other player). This game can be thought of as a discrete analogue of the Hotelling--Downs spatial voting model in which the political spectrum is determined by $d$ binary issues rather than a continuous interval.
We observe that if an equilibrium does exist then it must involve the two players co-locating at the majority point (ie the point representing majority opinion on each separate issue). Our main result is that a sufficient condition for an equilibrium is that on each issue the majority option is held by at least $\frac{3}{4}$ of voters. The value $\frac{3}{4}$ can be improved slightly in a way that depends on $d$ and with this improvement the result is best possible. We give similar sufficient conditions for the existence of a local equilibrium.
We also analyse the situation where the distribution is a mix of two product measures. We show that either there is an equilibrium or the best response to the majority point is its antipode.
Hook length biases for self-conjugate partitions and partitions with distinct odd parts
Published
• View Publication
• BIB
We establish a hook length bias between self-conjugate partitions and partitions of distinct odd parts, demonstrating that there are more hooks of fixed length $t \geq 2$ among self-conjugate partitions of $n$ than among partitions of distinct odd parts of $n$ for sufficiently large $n$. More precisely, we derive asymptotic formulas for the total number of hooks of fixed length $t$ in both classes. This resolves a conjecture of Ballantine, Burson, Craig, Folsom, and Wen.
Network Representation and Modular Decomposition of Combinatorial Structures: A Galled-Tree Perspective
Published
• View Publication
• BIB
In phylogenetics, reconstructing rooted trees from distances between taxa is a common task. Böcker and Dress generalized this concept by introducing symbolic dated maps $δ:X \times X \to Υ$, where distances are replaced by symbols, and showed that there is a one-to-one correspondence between symbolic ultrametrics and labeled rooted phylogenetic trees. Many combinatorial structures fall under the umbrella of symbolic dated maps, such as 2-dissimilarities, symmetric labeled 2-structures, or edge-colored complete graphs, and are here referred to as strudigrams. Strudigrams have a unique decomposition into non-overlapping modules, which can be represented by a modular decomposition tree (MDT). In the absence of prime modules, strudigrams are equivalent to symbolic ultrametrics, and the MDT fully captures the relationships $δ(x,y)$ between pairs of vertices $x,y$ in $X$ through the label of their least common ancestor in the MDT. However, in the presence of prime vertices, this information is generally hidden. To provide this missing structural information, we aim to locally replace the prime vertices in the MDT to obtain networks that capture full information about the strudigrams. While starting with the general framework of prime-vertex replacement networks, we then focus on a specific type of such networks obtained by replacing prime vertices with so-called galls, resulting in labeled galled-trees. We introduce the concept of galled-tree explainable (GATEX) strudigrams, provide their characterization, and demonstrate that recognizing these structures and reconstructing the labeled networks that explain them can be achieved in polynomial time.
Intersecting sets in probability spaces and Shelah's classification
For $n \in \mathbb{N}$ and $\varepsilon > 0$, given a sufficiently long sequence of events in a probability space all of measure at least $\varepsilon$, some $n$ of them will have a common intersection. A more subtle pattern: for any $0 < p < q < 1$, we cannot find events $A_i$ and $B_i$ so that $μ\left( A_i \cap B_j \right) \leq p$ and $μ\left( A_j \cap B_i\right) \geq q$ for all $1 < i < j < n$, assuming $n$ is sufficiently large. This is closely connected to model-theoretic stability of probability algebras. We survey some results from our recent work on more complicated patterns that arise when our events are indexed by multiple indices. In particular, how such results are connected to higher arity generalizations of de Finetti's theorem in probability, structural Ramsey theory, hypergraph regularity in combinatorics, and model theory.
2-distance 20-coloring of planar graphs with maximum degree 6
A 2-distance $k$-coloring of a graph $G$ is a proper $k$-coloring such that any two vertices at distance two or less get different colors. The 2-distance chromatic number of $G$ is the minimum $k$ such that $G$ has a 2-distance $k$-coloring, denoted by $χ_2(G)$. In this paper, we show that $χ_2(G) \leq 20$ for every planar graph $G$ with maximum degree at most six, which improves a former bound $χ_2(G) \leq 21$.
Fusion inequality for quadratic cohomology
Classical simplicial cohomology on a simplicial complex G deals with functions on simplices x in G. Quadratic cohomology deals with functions on pairs of simplices (x,y) in G x G that intersect. If K,U is a closed-open pair in G, we prove here a quadratic version of the linear fusion inequality. Additional to the quadratic cohomology of G there are five additional interaction cohomology groups. Their Betti numbers are computed from functions on pairs (x,y) of simplices that intersect. Define the Betti vector b(X) computed from pairs (x,y) in X x X with x intersected y in X a and b(X,Y) with pairs in X xY with x intersected y in K. We prove the fusion inequality b(G) <= b(K)+b(U)+b(K,U)+b(U,K)+b(U,U) for cohomology groups linking all five possible interaction cases. Counting shows f(G) = f(K)+f(U) + f(K,U)+f(U,K)+f(U,U) for the f-vectors. Super counting gives Euler-Poincare sum_k (-1)^k f_k(X)=\sum_k (-1)^k b_k(X) and sum_k (-1)^k f_k(X,Y)=sum_k (-1)^k b_k(X,Y) for X,Y in {U,K}. As in the linear case, also the proof of the quadratic fusion inequality follows from the fact that the spectra of all the involved Laplacians L(X),L(X,Y) are bounded above by the spectrum of the quadratic Hodge Laplacian L(G) of G.
Essential connectivity and spectral radius of graphs
Published
• View Publication
• BIB
A graph is trivial if it contains one vertex and no edges. The essential connectivity $κ^{\prime}$ of $G$ is defined to be the minimum number of vertices of $G$ whose removal produces a disconnected graph with at least two non-trivial components. Let $\mathcal{A}_n^{κ',δ}$ be the set of graphs of order $n$ with minimum degree $δ$ and essential connectivity $κ'$. In this paper, we determine the graphs attaining the maximum spectral radii among all graphs in $\mathcal{A}_n^{κ',δ}$ and characterize the corresponding extremal graphs. In addition, we also determine the digraphs which achieve the maximum spectral radii among all strongly connected digraphs with given essential connectivity and give the exact values of the spectral radii of these digraphs.