Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The rank distribution of matrices representing graphs with a long induced path over the field of two elements
A square matrix $M$ represents a graph $Γ$ if its nonzero off-diagonal entries encode the adjacencies of $Γ$, subject to a fixed ordering of the vertices. Over the field of two elements, we investigate the distribution of ranks in the affine space consisting of all matrices representing a given $Γ$. In particular, we consider which graphs of order $n$ are represented by more matrices of rank $n-1$ than of rank $n$. This property reflects an exceptional feature of the space $M_n(\mathbb{F}_2)$ of all $n\times n$ matrices over $\mathbb{F}_2$, namely that its most frequently occurring rank is not $n$ but $n-1$. Our analysis focuses on the class of connected graphs with an induced path on all but one vertex. The main result is a characterisation of all such graphs that are represented by more matrices of rank $n-1$ than of rank $n$ over $\mathbb{F}_2$.
Short proof of Halin's grid theorem for thick ends
In this paper, we present a short proof of Halin's grid theorem.
Maximum augmented Zagreb index on polyomino chains
In this paper, we present a dynamic programming approach for identifying extremal polyomino chains with respect to degree-based topological indices. This approach provides an explicit recurrence and constructive algorithm that enables both the computation of an extremal polyomino chain in linear time with respect to its number of squares, and the enumeration of all maximal configurations in linear time with respect to their amount. As a main application, we resolve a problem posed in 2016 by characterizing the polyomino chains that maximize the Augmented Zagreb Index ($AZI$) for any fixed number of squares. The $AZI$, a degree-based index known for its strong chemical applicability in numerous studies, attains its maximum on two specific families of polyomino chains depending on the parity of their number of squares. We also derive closed-form expressions for the maximum $AZI$ and determine the exact number of extremal configurations. The results presented in this paper are aligned with previous contributions, and establish a constructive methodology for solving extremal problems in chemical graph theory, for which we provide a link to the code in the last section.
There exist Steiner systems $S(2,8,225)$ and $S(2,9,289)$
In this note six Steiner systems $S(2,8,225)$ and four Steiner systems $S(2,9,289)$ are presented. This resolves two of $129$ undecided cases for block designs with block length $8$ and $9$, mentioned in Handbook of Combinatorial Designs.
A generalised Ramsey--Turán problem for matchings
We prove a generalised Ramsey--Turán theorem for matchings, which (a) simultaneously generalises the Cockayne--Lorimer Theorem (Ramsey for matchings) and the Erdős--Gallai Theorem (Turán for matchings), and (b) is a generalised Turán theorem in the sense that we can optimise the count of any clique (Turán-type theorems optimise the count of edges). More precisely, for integers $q \ge 1$, $n \ge \ell \ge 2$, and $t_1,\dots,t_q \ge 1$ we determine the maximum number of $\ell$-vertex complete subgraphs in an $n$-vertex graph that admits a $q$-edge-colouring in which, for each $j=1,\dots,q$, the $j$-coloured subgraph has no matching of size $t_j$. We achieve this by identifying two explicit constructions and applying a compression argument to show that one of them achieves the maximum. Our compression algorithm is quite intricate and introduces methods that have not previously been applied to these types of problems: it employs an optimisation problem defined by the Gallai--Edmonds decompositions of each colour.
Catalan structures arising from pattern-avoiding Stoimenow matchings and other Fishburn objects
In connection with Vassiliev's knot invariants, Stoimenow introduced in 1998 a class of matchings, also known as regular linearized chord diagrams. These matchings are linked to various combinatorial structures, all of which are associated with the Fishburn numbers. In this paper, we address a problem posed by Bevan et~al.\ concerning the identification of subsets of Stoimenow matchings that are counted by the Catalan numbers. We present five solutions in terms of pattern-avoiding matchings. We also consider four infinite families of patterns that generalize four of the five forbidden patterns appearing in the solution to the problem we solved and prove that the matchings avoiding them are equinumerous. Finally, we establish numerous results on distributions and joint equidistribution of statistics over Catalan-counted subsets of Fishburn structures, namely Stoimenow matchings, $(2+2)$-free posets, ascent sequences, and Fishburn permutations, notably expressing some of them in terms of Narayana numbers and others in terms of ballot numbers.
A New Algorithm for Computing Integer Hulls of 2D Polyhedral Sets
The $\texttt{IntegerHull}$ function is part of Maple's $\texttt{PolyhedralSets}$ library, which calculates the integer hull of a given polyhedral set. This algorithm works by translating the supporting hyperplanes of the facets of the input polyhedral set inwards till each hyperplane encounters at least one integer point. The polyhedral set is then divided into smaller regions and a brute force method is applied to find the remaining vertices.
There are certain edge case scenarios where the computational cost of the existing algorithm can be high, for which we propose a new algorithm. We translate the supporting hyperplanes of the facets inwards from the (relative) opposite vertex till the hyperplanes encounter at least one integer point. Then, we can follow the same procedure as the old algorithm or use a recursive technique on the smaller regions.
The edge case scenarios mentioned above occurs when there are integer points present on the supporting hyperplanes of the facets of the polyhedral set. This increases the region on which the brute force method is applied to find the remaining vertices.
Discrepancy Beyond Additive Functions with Applications to Fair Division
We consider a setting where we have a ground set $M$ together with real-valued set functions $f_1, \dots, f_n$, and the goal is to partition $M$ into two sets $S_1,S_2$ such that $|f_i(S_1) - f_i(S_2)|$ is small for every $i$. Many results in discrepancy theory can be stated in this form with the functions $f_i$ being additive. In this work, we initiate the study of the unstructured case where $f_i$ is not assumed to be additive. We show that even without the additivity assumption, the upper bound remains at most $O(\sqrt{n \log n})$.
Our result has implications on the fair allocation of indivisible goods. In particular, we show that a consensus halving up to $O(\sqrt{n \log n})$ goods always exists for $n$ agents with monotone utilities. Previously, only an $O(n)$ bound was known for this setting.
Parke-Taylor varieties
Parke-Taylor functions are certain rational functions on the Grassmannian of lines encoding MHV amplitudes in particle physics. For $n$ particles there are $n!$ Parke-Taylor functions, corresponding to all orderings of the particles. Linear relations between these functions have been extensively studied in the last years. We here describe all non-linear polynomial relations between these functions in a simple combinatorial way and study the variety parametrized by them, called the Parke-Taylor variety. We show that the Parke-Taylor variety is linearly isomorphic to the log canonical embedding of the moduli space $\overline{\mathcal{M}}_{0,n}$ due to Keel and Tevelev, and that the intersection with the algebraic torus recovers the open part, $\mathcal{M}_{0,n}$. We give an explicit description of this isomorphism. Unlike the log canonical embedding, this Parke-Taylor embedding respects the symmetry of the $n$ marked points and is constructed in a single-step procedure, avoiding the intermediate embedding into a product of projective spaces.
Injective edge-coloring of claw-free graphs with maximum degree 4
An injective $k$-edge-coloring of a graph $G$ is a mapping $φ$: $E(G)\rightarrow\{1,2,...,k\}$, such that $φ(e)\neφ(e')$ if edges $e$ and $e'$ are at distance two, or are in a triangle. The smallest integer $k$ such that $G$ has an injective $k$-edge-coloring is called the injective chromatic index of $G$, denoted by $χ_i'(G)$. A graph is called claw-free if it has no induced subgraph isomorphic to the complete bipartite graph $K_{1,3}$. In this paper, we show that $χ_i'(G)\le 13$ for every claw-free graph $G$ with $Δ(G)\leq 4$, where $Δ(G)$ is the maximum degree of $G$.
Special restricted partition functions for the stable sheaf cohomology on flag varieties
Let $\mathbf a:=(a_1,\ldots,a_r)$ be a sequence of positive integers, $d\geq 2$ and $j\geq 1$, some integers. We study the functions $p_{\mathbf a,d}(n):=$ the number of integer solutions $(x_1,\dots,x_r)$ of $\sum_{i=1}^r a_ix_i=n$, with $x_i\geq 0$ and $x_i \equiv 0,1(\bmod\;d)$, for all $1\leq i\leq r$, and $p_{\mathbf a,d}(n;j):=$ the number of $(x_1,\ldots,x_r)$ as above which satisfy also the condition $\sum_{i=1}^r \left(x_i-(d-2)\left\lfloor \frac{x_i}{d} \right\rfloor\right) =j$.
We give formulas for $p_{\mathbf a,d}(n)$ and its polynomial part $P_{\mathbf a,d}(n)$, and also for $p_{\mathbf a,d}(n;j)$. As an application, we compute the dimensions of the stable cohomology groups for certain line bundles associated to flag varieties, defined over an algebraically closed field of positive characteristic.
A note on some spectral properties of generalised pancake graphs
We prove that the spectral gap of generalised pancake graphs is strictly less than 2 and strictly less than 1 for burnt pancake graphs. In addition, we establish lower bounds on the multiplicities of certain integer eigenvalues of generalised pancake graphs. Together, these results settle two recent conjectures of Blanco and Buehrle.
On Legendre Cordial Labeling of Complete Graphs
Let $p$ be an odd prime. For a simple connected graph $G$ of order $n$, a bijective function $f:V(G)\to\{1,2,\ldots,n\}$ is said to be a Legendre cordial labeling modulo $p$ if the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^* (uv)=0$ whenever $([f(u)+f(v)]/p)=-1$ or $f(u)+f(v)\equiv 0(\text{mod } p)$ and $f_p^* (uv)=1$ whenever $([f(u)+f(v)]/p)=1$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges with label $i$ ($i=0,1$). This paper explores the characterization of the Legendre cordial labeling modulo $p$ of the complete graph $K_n$ using the concept of Legendre graph.
Growth and identities of monogenic free adequate monoids
Motivated by recent advances in inverse semigroup theory, we investigate the growth of and identities satisfied by free left and free two-sided adequate monoids. We explicitly compute the growth of the monogenic free left adequate monoid with the usual unary monoid generating set and show it has intermediate growth owing to a connection with integer partitions. In the two-sided case, we establish a lower bound on the (idempotent) growth rate of the monogenic free adequate monoid, showing that it grows exponentially. We completely classify the enriched identities satisfied by the monogenic free left adequate monoid and deduce that it satisfies the same monoid identities as the sylvester monoid. In contrast, we show that the monogenic free two-sided adequate monoid satisfies no non-trivial monoid identities.
Parity of the partition function in quadratic progressions
The parity of the partition function $p(n)$ remains strikingly mysterious. Beyond a handful of fragmentary results, essentially nothing is known about the distribution of parity. We prove a uniform result on quadratic progressions. If $1<D\equiv 23\pmod{24}$ is square-free and only divisible by primes $\ell\equiv 1, 7\pmod 8$, then both parities occur infinitely often among $$ p\left(\frac{Dm^2+1}{24}\right), $$ with $(m,6)=1.$ The argument takes place on the modular curve $X_0(6)$ and shows that parity along these thin orbits is \emph{not constant}. The proof connects classical identities for the partition generating function, through the method of (twisted) Borcherds products, to the arithmetic geometry of {\it ordinary} CM fibers on the Deligne-Rapoport model of $X_0(6)$ in characteristic 2. This result is a special case of a general theorem for the coefficients of suitable vector-valued weight 1/2 harmonic Maass forms that satisfy a "Heegner packet'' condition.
Boolean Rank via Monomial Ideals
Boolean matrix factorization (BMF) has many applications in data mining, bioinformatics, and network analysis. The goal of BMF is to decompose a given binary matrix as the Boolean product of two smaller binary matrices, revealing underlying structure in the data. When interpreting a binary matrix as the adjacency matrix of a bipartite graph, BMF is equivalent to the NP-hard biclique cover problem.
By approaching this problem through the lens of commutative algebra, we utilize algebraic structures and techniques--particularly the Castelnuovo-Mumford regularity of combinatorially defined ideals--to establish new lower bounds for Boolean matrix rank.
Geometry of critical discrete structures: percolation on the hierarchical lattice
Consider balls $Λ_n$ of growing volumes in the $d$-dimensional hierarchical lattice, and place edges independently between each pair of vertices $x\neq y\inΛ_n$ with probability $1-\exp(-βJ(x, y) )$ where $J(x, y) \asymp \| x-y \|^{-α}$ for some $0<α<5d/6$. We identify the critical window for this model and establish the metric scaling limit within the critical window. More precisely, we show that the metric scaling limit of the maximal components is Brownian, and that this model belongs to the Erdos-Renyi universality class when $0<α<5d/6$. It was recently conjectured by Hutchcroft [43, Section~7.1] that this model is a member of the Erdos-Renyi universality class when $α\in(d, 4d/3]$, and we believe that this is also true for all $α\in (0, d]$. This paper proves a first result in that direction. We further show that when $0<α<2d/3$, the girth of each maximal component in the critical window is $Ω_P(|Λ_n|^{1/3})$, contrary to the situation when $d<α\leq 4d/3$ where the girth equals $3$ .
Our key tool is a universality principle proven in [10, 13]. Our proof technique can be adapted for the analogous problem on long-range percolation on the discrete torus provided an upper bound on the barely subcritical two-point function is obtained.
Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
Published
• View Publication
• BIB
A $k$-net($n$) is a combinatorial design equivalent to $k-2$ mutually orthogonal Latin squares of order $n$. A relation in a net is a linear dependency over $\mathbb{F}_2$ in the incidence matrix of the net. A computational enumeration of all orthogonal pairs of Latin squares of order 10 whose corresponding nets have at least two nontrivial relations was achieved by Delisle in 2010 and verified by an independent search of Myrvold. In this paper, we confirm the correctness of their exhaustive enumerations with a satisfiability (SAT) solver approach instead of using custom-written backtracking code. Performing the enumeration using a SAT solver has at least three advantages. First, it reduces the amount of trust necessary, as SAT solvers produce independently-verifiable certificates that their enumerations are complete. These certificates can be checked by formal proof verifiers that are relatively simple pieces of software, and therefore easier to trust. Second, it is typically more straightforward and less error-prone to use a SAT solver over writing search code. Third, it can be more efficient to use a SAT-based approach, as SAT solvers are highly optimized pieces of software incorporating backtracking-with-learning for improving the efficiency of the backtracking search. For example, the SAT solver completely enumerates all orthogonal pairs of Latin squares of order ten with two nontrivial relations in under 2 hours on a desktop machine, while Delisle's 2010 search used 11,700 CPU hours. Although computer hardware was slower in 2010, this alone cannot explain the improvement in the efficiency of our SAT-based search.
Rigidifying simplicial complexes and realizing group actions
We show that any action of a finite group on a finitely presentable group arises as the action of the group of self-homotopy equivalences of a space on its fundamental group. In doing so, we prove that any finite connected (abstract) simplicial complex $\mathbf{K}$ can be rigidified -- meaning it can be perturbed in a way that reduces the full automorphism group to any subgroup -- while preserving the homotopy type of the geometric realization $| \mathbf{K} |$. We also obtain that every action of a finite group on a finitely generated abelian group is the action of the group of self-homotopy equivalences of a space on one of its higher homotopy groups.
Counting Homogeneous Einstein Metrics
We present an explicit upper bound on the number of isolated homogeneous Einstein metrics on compact homogeneous spaces whose isotropy representations consist of pairwise inequivalent irreducibles. This is the BKK bound of the corresponding system of Laurent polynomials and is found combinatorially by computing the volume of a polytope. Inspired by a connection with algebraic statistics, we describe this system's BKK discriminant in terms of the principal $A$-determinant of scalar curvature. As a consequence, we confirm the Finiteness Conjecture of Böhm--Wang--Ziller in special cases. In particular, we give a unified proof that it holds on all generalized Wallach spaces. Finally, using numerical algebraic geometry, we compute $G$-invariant Einstein metrics on low-dimensional full flag manifolds $G/T$, where $G$ is a compact simple Lie group and $T$ is a maximal torus.