Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Topological connectivity of random permutation complexes
Let $\mathbb{S}_n$ denote the symmetric group on $[n]=\{1,\ldots,n\}$ with the uniform probability measure. For a permutation $π\in \mathbb{S}_n$ let $X_π$ denote the simplicial complex on the vertex set $[n]$ whose simplices are all $\{i_0,\ldots, i_m\} \subset [n]$ such that $i_0<\cdots<i_m$ and $π(i_0)<\cdots < π(i_m)$. For $r \geq 0$ let $p_r(n)$ denote the probability that $X_π$ is not topologically $r$-connected for $π\in \mathbb{S}_n$. It is shown that for fixed $r \geq 0$ there exist constants $0<C_r, C_r' < \infty$ such that \[ C_r \frac{(\log n)^r}{n} \leq p_r(n) \leq C_r' \frac{(\log n)^{2r}}{n}. \]
On Pólya-Young urn models and growth processes
This work is devoted to Pólya-Young urns, a class of periodic Pólya urns of importance in the analysis of Young tableaux. We provide several extension of the previous results of Banderier, Marchal and Wallner [Ann. Prob. (2020)] on Pólya-Young urns and also generalize the previously studied model. We determine the limit law of the generalized model, involving the the local time of noise-reinforced Bessel processes. We also uncover a martingale structure, which leads directly to almost-sure convergence of the random variable of interest. This allows us to add second order asymptotics by providing a central limit theorem for the martingale tail sum, as well as a law of the iterated logarithm. We also turn to random vectors and obtain the limit law of Pólya-Young urns with multiple colors. Additionally, we introduce several growth processes and combinatorial objects, which are closely related to urn models. We define increasing trees with periodic immigration and we related the dynamics of the Pólya-Young urns to label-based parameters in such tree families. Furthermore, we discuss a generalization of Stirling permutations and obtain a bijection to increasing trees with periodic immigration. Finally, we introduce a chinese restaurant process with competition and relate it to increasing trees, as well as Pólya-Young urns.
Cuts in Graphs with Matroid Constraints
{\sc Vertex $(s, t)$-Cut} and {\sc Vertex Multiway Cut} are two fundamental graph separation problems in algorithmic graph theory. We study matroidal generalizations of these problems, where in addition to the usual input, we are given a representation $R \in \mathbb{F}^{r \times n}$ of a linear matroid $\mathcal{M} = (V(G), \mathcal{I})$ of rank $r$ in the input, and the goal is to determine whether there exists a vertex subset $S \subseteq V(G)$ that has the required cut properties, as well as is independent in the matroid $\mathcal{M}$. We refer to these problems as {\sc Independent Vertex $(s, t)$-cut}, and {\sc Independent Multiway Cut}, respectively. We show that these problems are fixed-parameter tractable ({\sf FPT}) when parameterized by the solution size (which can be assumed to be equal to the rank of the matroid $\mathcal{M}$). These results are obtained by exploiting the recent technique of flow augmentation [Kim et al.~STOC '22], combined with a dynamic programming algorithm on flow-paths á la [Feige and Mahdian,~STOC '06] that maintains a representative family of solutions w.r.t.~the given matroid [Marx, TCS '06; Fomin et al., JACM]. As a corollary, we also obtain {\sf FPT} algorithms for the independent version of {\sc Odd Cycle Transversal}. Further, our results can be generalized to other variants of the problems, e.g., weighted versions, or edge-deletion versions.
Exact Minimum Weight Spanners via Column Generation
Given a weighted graph $G$, a minimum weight $α$-spanner is a least-weight subgraph $H\subseteq G$ that preserves minimum distances between all node pairs up to a factor of $α$. There are many results on heuristics and approximation algorithms, including a recent investigation of their practical performance [20]. Exact approaches, in contrast, have long been denounced as impractical: The first exact ILP (integer linear program) method [48] from 2004 is based on a model with exponentially many path variables, solved via column generation. A second approach [2], modeling via arc-based multicommodity flow, was presented in 2019. In both cases, only graphs with 40-100 nodes were reported to be solvable.
In this paper, we briefly report on a theoretical comparison between these two models from a polyhedral point of view, and then concentrate on improvements and engineering aspects. We evaluate their performance in a large-scale empirical study. We report that our tuned column generation approach, based on multicriteria shortest path computations, is able to solve instances with over 16000 nodes within 13 minutes. Furthermore, now knowing optimal solutions for larger graphs, we are able to investigate the quality of the strongest known heuristic on reasonably sized instances for the first time.
Metaheuristics for finding threshold graphs with maximum spectral radius
We consider the problem of characterizing graphs with the maximum spectral radius among the connected graphs with given numbers of vertices and edges. It is well-known that the candidates for extremal graphs are threshold graphs, but only a few partial theoretical results have been obtained so far. Therefore, we approach to this problem from a novel perspective that involves incomplete enumeration of different threshold graphs with a given characteristic. Our methodology defines the considered problem as an optimization task and utilizes two metaheuristic methods, Variable Neighborhood Search (VNS), which relies on iterative improvements of a single current best solution and Bee Colony Optimization (BCO), a population-based metaheuristic from the Swarm Intelligence (SI) class. We use compact solution representation and several auxiliary data structures that should enable efficient search of the solution space. In addition, we define several types of transformations that preserve the feasibility of the resulting solution. The proposed methods are compared on the graphs with a moderate number of vertices. Preliminary results are in favor of the VNS approach, however, we believe that both methods could be improved.
Another conjecture of TxGraffiti concerning zero forcing and domination in graphs
This paper proves a conjecture generated by the artificial intelligence conjecturing program called \emph{TxGraffiti}. More specifically, we show that if $G$ is a connected, cubic, and claw-free graph, then $Z(G) \le γ(G) + 2$, where $Z(G)$ and $γ(G)$ denote the zero forcing number and the domination number of $G$, respectively. Furthermore, we provide a complete characterization of graphs that achieve this bound. Notably, this bound improves the known upper bounds for the zero forcing number of connected, cubic, and claw-free graphs.
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.
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.