Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Cutwidth and Crossings
We provide theoretical insights around the cutwidth of a graph and the One-Sided Crossing Minimization (OSCM) problem. OSCM was posed in the Parameterized Algorithms and Computational Experiments Challenge 2024, where the cutwidth of the input graph was the parameter in the parameterized track. We prove an asymptotically sharp upper bound on the size of a graph in terms of its order and cutwidth. As the number of so-called unsuited pairs is one of the factors that determine the difficulty of an OSCM instance, we provide a sharp upper bound on them in terms of the order $n$ and the cutwidth of the input graph. If the cutwidth is bounded by a constant, this implies an $\mathcal{O}(2^n)$-time algorithm, while the trivial algorithm has a running time of $\mathcal{O}(2^{n^2})$. At last, we prove structural properties of the so-called crossing numbers in an OSCM instance.
The density of maximal IC-plane graphs and maximal NIC-plane graphs
In this paper, we show that any maximal IC-plane graph of order $n$ has at least $\left\lceil\frac{7}{3}n-\frac{14}{3}\right\rceil$ edges, and any maximal NIC-plane graph of order $n$ has at least $\left\lceil\frac{11}{5}n-\frac{18}{5}\right\rceil$ edges. Moreover, we show that both results are tight for infinitely many integers $n$.
Random-Key Algorithms for Optimizing Integrated Operating Room Scheduling
Published
• View Publication
• BIB
Efficient surgery room scheduling is essential for hospital efficiency, patient satisfaction, and resource utilization. This study addresses this challenge by introducing a novel concept of Random-Key Optimizer (RKO), rigorously tested on literature and new, real-world inspired instances. Our combinatorial optimization problem incorporates multi-room scheduling, equipment scheduling, and complex availability constraints for rooms, patients, and surgeons, facilitating rescheduling and enhancing operational flexibility. The RKO approach represents solutions as points in a continuous space, which are then mapped in the problem solution space via a deterministic function known as a decoder. The core idea is to operate metaheuristics and heuristics in the random-key space, unaware of the original solution space. We design the Biased Random-Key Genetic Algorithm with $Q$-Learning, Simulated Annealing, and Iterated Local Search for use within an RKO framework, employing a single decoder function. The proposed metaheuristics are complemented by lower-bound formulations, providing optimal gaps for evaluating the effectiveness of the heuristic results. Our results demonstrate significant lower and upper bounds improvements for the literature instances, notably proving one optimal result. Furthermore, the best-proposed metaheuristic efficiently generates schedules for the newly introduced instances, even in highly constrained scenarios. This research offers valuable insights and practical solutions for improving surgery scheduling processes, offering tangible benefits to hospitals by optimising resource allocation, reducing patient wait times, and enhancing overall operational efficiency.
Enumeration of partitions via socle reduction
Published
• View Publication
• BIB
We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite families of such partitions, and design a procedure enumerating them in the general case. As a proof of concept, we determine the number of partitions of size up to 30 in any dimension.
The Pop-Stack Operator on Ornamentation Lattices
Published
• View Publication
• BIB
Each rooted plane tree $\mathsf{T}$ has an associated ornamentation lattice $\mathcal{O}(\mathsf{T})$. The ornamentation lattice of an $n$-element chain is the $n$-th Tamari lattice. We study the pop-stack operator $\mathsf{Pop}\colon\mathcal{O}(\mathsf{T})\to\mathcal{O}(\mathsf{T})$, which sends each element $δ$ to the meet of the elements covered by or equal to $δ$. We compute the maximum size of a forward orbit of $\mathsf{Pop}$ on $\mathcal{O}(\mathsf{T})$, generalizing a result of Defant for Tamari lattices. We also characterize the image of $\mathsf{Pop}$ on $\mathcal{O}(\mathsf{T})$, generalizing a result of Hong for Tamari lattices. For each integer $k\geq 0$, we provide necessary conditions for an element of $\mathcal{O}(\mathsf{T})$ to be in the image of $\mathsf{Pop}^k$. This allows us to completely characterize the image of $\mathsf{Pop}^k$ on a Tamari lattice.
Resolution of Erdős' problems about unimodularity
Published
• View Publication
• BIB
Letting $δ_1(n,m)$ be the density of the set of integers with exactly one divisor in $(n,m)$, Erdős wondered if $δ_1(n,m)$ is unimodular for fixed $n$.
We prove this is false in general, as the sequence $(δ_1(n,m))$ has superpolynomially many local extrema. However, we confirm unimodality in the single case for which it occurs; $n = 1$.
We also solve the question on unimodality of the density of integers whose $k^{th}$ prime is $p$.
2-Segal sets from cuts of rooted trees
Published
• View Publication
• BIB
The theory of 2-Segal sets has connections to various important constructions such as the Waldhausen $S_\bullet$-construction in algebraic $K$-theory, Hall algebras, and (co)operads. In this paper, we construct 2-Segal sets from rooted trees and explore how these applications are illustrated by this example.
On lattice illumination of smooth convex bodies
Published
• View Publication
• BIB
The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body~$K$ in $\mathbb R^n$ can be illuminated by a set of no more than $2^n$ points. If $K$ has smooth boundary, it is known that $n+1$ points are necessary and sufficient. We consider an effective variant of the illumination problem for bodies with smooth boundary, where the illuminating set is restricted to points of a lattice and prove the existence of such a set close to $K$ with an explicit bound on the maximal distance. We produce improved bounds on this distance for certain classes of lattices, exhibiting additional symmetry or near-orthogonality properties. Our approach is based on the geometry of numbers.
New results of Bollobás-type theorem for affine subspaces and projective subspaces
Bollobás-type theorem has received a lot of attention due to its application in graph theory. In 2015, Gábor Heged{ü}s gave an upper bound of bollobás-type affine subspace families for $q\neq 2$, and constructed an almost sharp affine subspaces pair families. In this note, we prove a new upper bound for bollobás-type affine subspaces without the requirement of $q\neq 2$, and construct a pair of families of affine subspaces, which shows that our upper bound is sharp. We also give an upper bound for bollobás-type projective subspaces, and prove that the Heged{ü}s's conjecture holds when $q=2$.
Block Designs and K-Geodetic Graphs: A Survey
Published in Journal of Science. Lyon 62 (2025) pp.20-24
• View Publication
• BIB
K-geodetic graphs (K capital) are defined as graphs in which each pair of nonadjacent vertices has at most K paths of minimum length between them. A K-geodetic graph is geodetic if K=1, bigeodetic if K=2 and trigeodetic if K=3. K-geodetic graphs are applied effectively to the solution of several practical problems in distinct areas of computer science, hence the importance of their study. Four problems are central to the study of K-geodetic graphs, namely, characterization, construction, enumeration and classification. The problems of finding the general classification of K-geodetic graphs for each of their classes K=1,2,3 are open. The present paper is a survey dedicated to the construction of K-geodetic graphs for K=1,2,3 using balanced incomplete block designs (BIBDs). To this purpose, we use block designs as combinatorial structures defined in terms of completely predetermined parameters, which is essential for the easy construction of the K-geodetic graphs described in this survey.
Predicting the depth of the most recent common ancestor of a random sample of $k$ species: the impact of phylogenetic tree shape
Published
• View Publication
• BIB
We consider the following question: how close to the ancestral root of a phylogenetic tree is the most recent common ancestor of $k$ species randomly sampled from the tips of the tree? For trees having shapes predicted by the Yule-Harding model, it is known that the most recent common ancestor is likely to be close to (or equal to) the root of the full tree, even as $n$ becomes large (for $k$ fixed). However, this result does not extend to models of tree shape that more closely describe phylogenies encountered in evolutionary biology. We investigate the impact of tree shape (via the Aldous $β-$splitting model) to predict the number of edges that separate the most recent common ancestor of a random sample of $k$ tip species and the root of the parent tree they are sampled from. Both exact and asymptotic results are presented. We also briefly consider a variation of the process in which a random number of tip species are sampled.
Spectral Bounds of the Generating Graph of $\mathbb{Z}_n.$
Let $G$ be a group. A group is said to be $k$-generated if it can be generated by its $k$ elements. A generating set of $G$ is called a minimal generating set if no proper subset of it generates $G.$ A minimal generating set of a group can have different sizes. The generating graph $Γ(G)$ of a group $G$ is defined as a graph with the vertex set $G$, where two distinct vertices are adjacent if they together generate $G.$ This graph is particularly useful when studying 2-generated groups. In this context, consider the group $G = \mathbb{Z}_n$, the integers modulo $n.$ In this paper, we explore various graph-theoretic properties of the generating graph $Γ(\mathbb{Z}_n)$ and investigate the spectra of its adjacency and Laplacian matrices. Additionally, we explicitly determine the set of all possible minimal generating sets of $\mathbb{Z}_n$ of size $k.$
Monochromatic graph decompositions and monochromatic piercing inspired by anti-Ramsey colorings
Anti-Ramsey theory was initiated in 1975 by Erdős, Simonovits and Sós, inspiring hundreds of publications since then. The present work is the third and last piece of our trilogy in which we introduce a far-reaching generalization via the following two functions for any graph $G$ and family ${\cal F}$ of graphs:
If $K_2 \in {\cal F}$, let $f(n,G|{\cal F})$ be the smallest integer $k$ such that every edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which all color classes are members of ${\cal F}$.
If $K_2 \notin {\cal F}$, let $g(n,G|{\cal F})$ be the largest integer $k$ for which there exists an edge coloring of $K_n$ using exactly $k$ colors, such that every copy of $G$ contains an induced color class which is a member of ${\cal F}$.
We develop methods suitable for deriving asymptotically tight results for the $f$-function and the $g$-function for many combinations of $G$ and ${\cal F}$.
The preceding parts of the trilogy are arXiv: 2405.19812 and 2408.04257, published in Discrete Applied Math. Vol. 363 and Mathematics Vol. 12:23, respectively.
A cluster theory approach from mutation invariants to Diophantine equations
In this paper, we define and classify the sign-equivalent exchange matrices. We give a Diophantine explanation for the differences between rank 2 cluster algebras of finite type and affine type based on \cite{CL24}. We classify the positive integer points of the Markov mutation invariant and its variant. As an application, several classes of Diophantine equations with cluster algebraic structures are exhibited.
Auslander regular algebras and Coxeter matrices
We show that Iyama's grade bijection for Auslander-Gorenstein algebras coincides with the bijection introduced by Auslander-Reiten. This result uses a new characterisation of Auslander-Gorenstein algebras. Furthermore, we show that the grade bijection of an Auslander regular algebra coincides with the permutation matrix P in the Bruhat factorisation of the Coxeter matrix. This gives a new, purely linear algebraic interpretation of the grade bijection and allows us to calculate it in a much quicker way than was previously known. We give several applications of our main results. First, we show that the permanent of the Coxeter matrix of an Auslander regular algebra is either 1 or -1. Second, we obtain a new combinatorial characterisation of distributive lattices among the class of finite lattices. Explicitly, a lattice is distributive if and only if its Coxeter matrix can be written as PU where P is a permutation matrix and U is an upper triangular matrix. Other applications include new homological results about modules in blocks of category $\mathcal{O}$ of semisimple Lie algebras.
Control and its applications in additive combinatorics
We prove new quantitative bounds on the additive structure of sets obeying an $L^3$ 'control' assumption, which arises naturally in several questions within additive combinatorics. This has a number of applications - in particular we improve the known bounds for the sum-product problem, the Balog-Szemerédi-Gowers theorem, and the additive growth of convex sets.
Cohomology of type $B$ real permutohedral varieties
Published
• View Publication
• BIB
Type $A$ and type $B$ permutohedral varieties are classic examples of mathematics, and their topological invariants are well known. This naturally leads to the investigation of the topology of their real loci, known as type $A$ and type $B$ real permutohedral varieties.
The rational cohomology rings of type $A$ real permutohedral varieties are fully described in terms of alternating permutations. Until now, only rational Betti numbers of type $B$ real permutohedral varieties have been described in terms of $B$-snakes. In this paper, we explicitly describe the multiplicative structure of the cohomology rings of type $B$ real permutohedral varieties in terms of $B$-snakes.
Periodicity and absolute zeta functions of multi-state Grover walks on cycles
Published
• View Publication
• BIB
Quantum walks, the quantum counterpart of classical random walks, are extensively studied for their applications in mathematics, quantum physics, and quantum information science. This study explores the periods and absolute zeta functions of Grover walks on cycle graphs. Specifically, we investigate Grover walks with an odd number of states and determine their periods for cycles with any number of vertices greater than or equal to two. In addition, we compute the absolute zeta functions of M-type Grover walks with finite periods. These results advance the understanding of the properties of Grover walks and their connection to absolute zeta functions.
Faces of homogeneous cones and applications to homogeneous chordality
A convex cone $\mathcal{K}$ is said to be homogeneous if its group of automorphisms acts transitively on its relative interior. Important examples of homogeneous cones include symmetric cones and cones of positive semidefinite (PSD) matrices that follow a sparsity pattern given by a homogeneous chordal graph. Our goal in this paper is to elucidate the facial structure of homogeneous cones and make it as transparent as the faces of the PSD matrices. We prove that each face of a homogeneous cone $\mathcal{K}$ is mapped by an automorphism of $\mathcal{K}$ to one of its finitely many so-called principal faces. Furthermore, constructing such an automorphism can be done algorithmically by making use of a generalized Cholesky decomposition. Among other consequences, we give a proof that homogeneous cones are projectionally exposed, which strengthens the previous best result that they are amenable. Using our results, we will carefully analyze the facial structure of cones of PSD matrices satisfying homogeneous chordality and discuss consequences for the corresponding family of PSD completion problems.
Refinements of Van Hamme's (E.2) and (F.2) supercongruences and two supercongruences by Swisher
Published
• View Publication
• BIB
In 1997, Van Hamme proposed 13 supercongruences on truncated hypergeometric series. Van Hamme's (B.2) supercongruence was first confirmed by Mortenson and received a WZ proof by Zudilin later. In 2012, using the WZ method again, Sun extended Van Hamme's (B.2) supercongruence to the modulus $p^4$ case, where $p$ is an odd prime. In this paper, by using a more general WZ pair, we generalize Hamme's (E.2) and (F.2) supercongruences, as well as two supercongruences by Swisher, to the modulus $p^4$ case. Our generalizations of these supercongruences are related to Euler polynomials. We also put forward a relevant conjecture on $q$-congruences for further study.