Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Bipartite and Euclidean Gallai-Ramsey Theory
In this paper, we investigate the following Gallai-Ramsey question: how large must a complete bipartite graph $K_{n_1, n_2}$ be before any coloring of its edges with $r$ colors contains either a monochromatic copy of $G = K_{s,t}$ or a rainbow copy of $H = K_{s,t}$? We demonstrate that the answer is linear in $r$, and provide more precise bounds for the specific case $s = 2$. Furthermore, we also consider the following Euclidean Gallai-Ramsey question: given a configuration $H$ in Euclidean space, what is the smallest $n$ such that any $r$-coloring of $n$-dimensional Euclidean space contains a monochromatic or rainbow configuration congruent to $H$? Through a natural translation between edge colorings of the complete bipartite graph $K_{n_1,n_2}$ and colorings of a subset of $(n_1+n_2)$-dimensional Euclidean space, we prove new upper bounds on $n$ for some configurations which can be expressed as Cartesian products of simplices.
Optimal additive quaternary codes of dimension $3.5$
Published
• View Publication
• BIB
After the optimal parameters of additive quaternary codes of dimension $k\le 3$ have been determined there is some recent activity to settle the next case of dimension $k=3.5$. Here we complete dimension $k=3.5$ and give partial results for dimension $k=4$. We also solve the problem of the optimal parameters of additive quaternary codes of arbitrary dimension when assuming a sufficiently large minimum distance.
The maximum spectral radius of $θ_{1,3,3}$-free graphs with given size
A graph $G$ is said to be $F$-free if it does not contain $F$ as a subgraph. A theta graph, say $θ_{l_1,l_2,l_3}$, is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length $l_1, l_2, l_3$, where $l_1\leq l_2\leq l_3$ and $l_2\geq2$. Recently, Li, Zhao and Zou [arXiv:2409.15918v1] characterized the $θ_{1,p,q}$-free graph of size $m$ having the largest spectral radius, where $q\geq p\geq3$ and $p+q\geq2k+1\geq7$, and proposed a problem on characterizing the graphs with the maximum spectral radius among $θ_{1,3,3}$-free graphs. In this paper, we consider this problem and determine the maximum spectral radius of $θ_{1,3,3}$-free graphs with size $m$ and characterize the extremal graph. Up to now, all the graphs in $\mathcal{G}(m,θ_{1,p,q})$ which have the largest spectral radius have been determined, where $q\geq p\geq 2$.
Modularity maximization and community detection in complex networks through recursive and hierarchical annealing in the D-Wave Advantage quantum processing units
Published
• View Publication
• BIB
Quantum adiabatic optimization has long been expected to outperform classical methods in solving NP-type problems. While this has been proven in certain experiments, its main applications still reside in academic problems where the size of the system to be solved would not represent an obstacle to any modern desktop computer. Here we develop a systematic procedure to find the global optima of the modularity function to discover community structure in complex networks solely relying on pure annealers rather than hybrid solutions. We bypass the one-hot encoding constraints by hierarchically and recursively encoding binary instances of the problem that can be solved without the need to guess the exact penalties for the Lagrange multipliers. We study the variability, and robustness of the annealing process as a function of network size, directness of connections, topology, and the resolution of the communities. We show how our approach produces meaningful and at least equally optimal solutions to state-of-the-art community detection algorithms while maintaining tractable computing times. Lastly, due to its recursive nature, the annealing process returns intermediate subdivisions thus offering interpretable rather than black-box solutions. These \textit{dendrograms} can be used to unveil normal and pathological hidden hierarchies in brain networks hence opening the door to clinical workflows. Overall, this represents a first step towards an applicable practice-oriented usage of pure quantum annealing potentially bridging two segregated communities in modern science and engineering; that of network science and quantum computing.
Graphs with nonnegative resistance curvature
Published
• View Publication
• BIB
This article introduces and studies a new class of graphs motivated by discrete curvature. We call a graph resistance nonnegative if there exists a distribution on its spanning trees such that every vertex has expected degree at most two in a random spanning tree; these are precisely the graphs that admit a metric with nonnegative resistance curvature, a discrete curvature introduced by Devriendt and Lambiotte. We show that this class of graphs lies between Hamiltonian and $1$-tough graphs and, surprisingly, that a graph is resistance nonnegative if and only if its twice-dilated matching polytope intersects the interior of its spanning tree polytope. We study further characterizations and basic properties of resistance nonnegative graphs and pose several questions for future research.
Memories of Ian G. Macdonald
Published in Q. J. Math. 76 (2025), 785-792
• View Publication
• BIB
This is a slightly edited translation of a paper in Dutch which appeared in Nieuw Archief voor Wiskunde (5) 25 (2024), No.2, 87-90 on the occasion of I.G. Macdonald's death in 2023, and aimed at a very broad mathematical audience. First we review some of Macdonald's most important older results. Then we focus on the period 1985-1995 when Macdonald often visited the Netherlands and there was much interaction between his work, notably the Macdonald polynomials, and the work by the authors. We end with some glimpses about Macdonald as a person.
Solutions for $k$-generalized Fibonacci numbers using Fuss-Catalan numbers
Published
• View Publication
• BIB
We present new expressions for the $k$-generalized Fibonacci numbers, say $F_k(n)$. They satisfy the recurrence $F_k(n) = F_k(n-1) +\dots+F_k(n-k)$. Explicit expressions for the roots of the auxiliary (or characteristic) polynomial are presented, using Fuss-Catalan numbers. Properties of the roots are enumerated. We quantify the accuracy of asymptotic approximations for $F_k(n)$ for $n\gg1$. Our results subsume and extend some results published by previous authors. We also present a basis (or `fundamental solutions') to solve the above recurrence for arbitrary initial conditions. We comment on the use of generating functions and multinomial sums for the $k$-generalized Fibonacci numbers and related sequences. We note that the resulting multinomial sums are Dickson polynomials of the second kind in several variables. We also present what may be a new identity for companion matrices.
Generic infinitesimal rigidity for rotational groups in the plane
In this paper we establish combinatorial characterisations of symmetry-generic infinitesimally rigid frameworks in the Euclidean plane for rotational groups of order 4 and 6, and of odd order between 5 and 1000, where a joint may lie at the centre of rotation. This extends the corresponding results for these groups in the free action case obtained by R. Ikeshita and S. Tanigawa in 2015, and our recent results for the reflection group and the rotational groups of order 2 and 3 in the non-free action case. The characterisations are given in terms of sparsity counts on the corresponding group-labelled quotient graphs, and are obtained via symmetry-adapted versions of recursive Henneberg-type graph constructions. For rotational groups of even order at least 8, we show that the sparsity counts alone are not sufficient for symmetry-generic infinitesimal rigidity.
Blocking Planes by Lines in $\operatorname{PG}(n,q)$
In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces $\operatorname{PG}(n,q)$ such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of $(s,t)$-blocking sets in $\operatorname{PG}(n,q)$, where we set $s=2$ and $t=1$. In $\operatorname{PG}(n,q)$, an $(s,t)$-blocking set refers to a set of $t$-spaces such that each $s$-space is incident with at least one chosen $t$-space. This is a notoriously difficult problem, as it is equivalent to determining the size of certain $q$-Turán designs and $q$-covering designs. We present an improvement on the upper bounds of Etzion and of Metsch via a refined scheme for a recursive construction, which in fact enables improvement in the general case as well.
Switching methods of level 2 for the construction of cospectral graphs
Published
• View Publication
• BIB
A switching method is a graph operation that results in cospectral graphs (graphs with the same spectrum). Work by Wang and Xu [Discrete Math. 310 (2010)] suggests that most cospectral graphs with cospectral complements can be constructed using regular orthogonal matrices of level 2, which has relevance for Haemers' conjecture. We present two new switching methods and several combinatorial and geometrical reformulations of existing switching operations of level 2. We also introduce the concept of reducibility and use it to classify all irreducible switching methods that correspond to a conjugation with a regular orthogonal matrix of level 2 with one nontrivial indecomposable block, up to switching sets of size 12, extending previous results.
Kirillov's conjecture on Hecke-Grothendieck polynomials
Published
• View Publication
• BIB
We use algebraic methods in statistical mechanics to represent a multi-parameter class of polynomials in severable variables as partition functions of a new family of solvable lattice models. The class of polynomials, defined by A.N. Kirillov, is derived from the largest class of divided difference operators satisfying the braid relations of Cartan type $A$. It includes as specializations Schubert, Grothendieck, and dual-Grothendieck polynomials among others. In particular, our results prove positivity conjectures of Kirillov for the subfamily of Hecke--Grothendieck polynomials, while the larger family is shown to exhibit rare instances of negative coefficients.
Classification of weak Bruhat interval modules of $0$-Hecke algebras
Published
• View Publication
• BIB
Weak Bruhat interval modules of the $0$-Hecke algebra in type $A$ provide a uniform approach to studying modules associated with noteworthy families of quasisymmetric functions. Recently this kind of modules were generalized from type $A$ to all Coxeter types. In this paper, we give an equivalent description, in a type-independent manner, when two left weak Bruhat intervals in a Coxeter group are descent-preserving isomorphic. As an application, we classify all left weak Bruhat interval modules of $0$-Hecke algebras up to isomorphism, and thereby answer an open question and resolve in the affirmative a conjecture of Jung, Kim, Lee, and Oh. Additionally, for finite Coxeter groups we show that the set of minimum (or maximum) elements of all left weak Bruhat intervals in each descent-preserving isomorphism class forms an interval under the right weak Bruhat order.
A uniform bound on almost colour-balanced perfect matchings in colour-balanced cliques
Published
• View Publication
• BIB
An edge-colouring of a graph $G$ is said to be colour-balanced if there are equally many edges of each available colour. We are interested in finding a colour-balanced perfect matching within a colour-balanced clique $K_{2nk}$ with a palette of $k$ colours. While it is not necessarily possible to find such a perfect matching, one can ask for a perfect matching as close to colour-balanced as possible. In particular, for a colouring $c:E(K_{2nk})\rightarrow [k]$, we seek to find a perfect matching $M$ minimising $f(M) = \sum_{i=1}^k\bigl||c^{-1}(i)\cap M|-n\bigr|$.
The previous best upper bound, due to Pardey and Rautenbach, was $\min f(M)\leq \mathcal{O}(k\sqrt{nk\log k})$. We remove the $n$-dependence, proving the existence of a matching $M$ with $f(M)\leq 4^{k^2}$ for all $k$.
Binary geometries from pellytopes
Binary geometries have recently been introduced in particle physics in connection with stringy integrals. In this work, we study a class of simple polytopes, called \emph{pellytopes}, whose number of vertices are given by Pell's numbers. We provide a new family of binary geometries determined by pellytopes as conjectured by He--Li--Raman--Zhang. We relate this family to the moduli space of curves by comparing the pellytope to the ABHY associahedron.
Double orthodontia formulas and Lascoux positivity
Published
• View Publication
• BIB
We give a new formula for double Grothendieck polynomials based on Magyar's orthodontia algorithm for diagrams. Our formula implies a similar formula for double Schubert polynomials $\mathfrak S_w(\mathbf x;\mathbf y)$. We also prove a curious positivity result: for vexillary permutations $w\in S_n$, the polynomial $x_1^n\dots x_n^n \mathfrak S_w(x_n^{-1}, \dots, x_1^{-1}; 1,\dots,1)$ is a graded nonnegative sum of Lascoux polynomials. We conjecture that this positivity result holds for all $w\in S_n$. This conjecture would follow from a problem of independent interest regarding Lascoux positivity of certain products of Lascoux polynomials.
Parking functions with a fixed set of lucky cars
In a parking function, a lucky car is a car that parks in its preferred parking spot and the parking outcome is the permutation encoding the order in which the cars park on the street. We give a characterization for the set of parking outcomes arising from parking functions with a fixed set of lucky cars. This characterization involves the descent bottom set of a permutation, and we use the characterization to we give a formula for the number of parking functions with a fixed set of lucky cars. Our work includes the cases where the number of cars is equal to the number of parking spots, and where there are more spots than cars. We also give product formulas for the number of weakly increasing parking functions having a fixed set of lucky cars, and when the number of cars equals the number of spots this is a product of Catalan numbers.
A study of nil Hecke algebras via Hopf algebroids
Hopf algebroids are generalizations of Hopf algebras to less commutative settings. We show how the comultiplication defined by Kostant and Kumar turns the affine nil Hecke algebra associated to a Coxeter system into a Hopf algebroid without an antipode. The proof relies on mixed dihedral braid relations between Demazure operators and simple reflections. For researchers new to Hopf algebroids we include additional examples from ring theory, representation theory, and algebraic geometry.
Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration
We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.
Poset topology, moves, and Bruhat interval polytope lattices
Published
• View Publication
• BIB
We study the poset topology of lattices arising from orientations of 1-skeleta of directionally simple polytopes, with Bruhat interval polytopes $Q_{e,w}$ as our main example. We show that the order complex $Δ((u,v)_w)$ of an interval therein is homotopy equivalent to a sphere if $Q_{u,v}$ is a face of $Q_{e,w}$ and is otherwise contractible. This significantly generalizes the known case of the permutahedron. We also show that saturated chains from $u$ to $v$ in such lattices are connected, and in fact highly connected, under moves corresponding to flipping across a 2-face. When $w$ is a Grassmannian permutation, this implies a strengthening of the restriction of Postnikov's move-equivalence theorem to the class of BCFW bridge decomposable plabic graphs.
Maximum $k$-colourable induced subgraphs in $(P_5+rK_1)$-free graphs
We show that for any nonnegative integer $r$, the Weighted Maximum List-$k$-Colourable Induced Subgraph problem can be solved in polynomial time for input graphs that do not contain $(P_5+ rK_1)$ as an induced subgraph, and give an explicit algorithm demonstrating this. This answers a question of Agrawal et al.\ (2024).