Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Color avoidance for monotone paths
Published in Discrete Analysis 2025:23, 14 pp
• Search Publication
In 2014, Moshkovitz and Shapira determined the tower height for hypergraph Ramsey numbers of tight monotone paths. We address the color-avoiding version of this problem in which one no longer necessarily seeks a monochromatic subgraph, but rather one which avoids some colors. This problem was previously studied in uniformity two by Loh and by Gowers and Long.
We show, in general, that the tower height for such Ramsey numbers requires one less exponential than in the usual setting. The transition occurs at uniformity three, where the usual Ramsey numbers of monotone paths of length $n$ are exponential in $n$, but the color-avoiding Ramsey numbers turn out to be polynomial.
Optimality of Gerver's Sofa
We resolve the moving sofa problem by showing that Gerver's construction with 18 curve sections attains the maximum area $2.2195\cdots$.
Identification of a monotone Boolean function with $k$ "reasons" as a combinatorial search problem
Published
• View Publication
• BIB
We study the number of queries needed to identify a monotone Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$. A query consists of a 0-1-sequence, and the answer is the value of $f$ on that sequence. It is well-known that the number of queries needed is $\binom{n}{\lfloor n/2\rfloor}+\binom{n}{\lfloor n/2\rfloor+1}$ in general. Here we study a variant where $f$ has $k$ ``reasons'' to be 1, i.e., its disjunctive normal form has $k$ conjunctions if the redundant conjunctions are deleted. This problem is equivalent to identifying an upfamily in $2^{[n]}$ that has exactly $k$ minimal members. We find the asymptotics on the number of queries needed for fixed $k$. We also study the non-adaptive version of the problem, where the queries are asked at the same time, and determine the exact number of queries for most values of $k$ and $n$.
The connectivity of the normalising and permuting graph of a finite soluble group
Published
• View Publication
• BIB
We introduce the normalising graph of a group and study the connectivity of the normalising and permuting graphs of a group when the group is finite and soluble. In particular, we classify finite soluble groups with disconnected normalising graph. The main results shows that if a finite soluble group has connected normalising graph then this graph has diameter at most 6. Furthermore, this bound is tight. A corollary then presents the connectivity properties of the permuting graph.
Dynamic capacity allocation of hybrid transportation units for cargo-hitching in urban public transportation systems
Published
• View Publication
• BIB
To improve the utilization of public transportation systems (PTSs) during off-peak hours, we present an algorithmic framework that designs PTSs with hybrid transportation units (HTUs), which can transport passengers or freight by leveraging a flexible interior. Against this background, we study a capacitated network design problem to enable cargo-hitching in existing PTSs. Specifically, we study a setting with fixed vehicle routes and timetables in which vehicles can be equipped with HTUs to enable cargo-hitching. We optimize the network design from a total cost perspective to account for normalized network design costs tied to the investment in HTUs and freight routing costs. We present an algorithmic framework that encodes some of the problem's constraints in a spatially and temporally expanded, layered graph, and solves the resulting network design problem with a price-and-branch algorithm. We apply this framework to a case study based on the subway network in the city of Munich. Our algorithm outscales commercial solvers by a factor of six and yields integer feasible solutions with a median integrality gap of less than 1.02% for all instances. We show that cargo-hitching with HTUs increases the utilization of PTSs, especially during off-peak hours, without cannibalizing passenger service level and quality. Moreover, we present a sensitivity analysis that indicates that cargo-hitching is worthwhile if truck-based transport occurs at an externality cost of more than EUR 1.6 per vehicle and kilometer and loading and unloading costs of less than EUR 2 per passenger equivalent.
A shorter proof of the Four Colour Theorem
We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.
New matrices for the spectral theory of mixed graphs, part I
Published
• View Publication
• BIB
In this paper, we introduce a matrix for a mixed graph, called the integrated adjacency matrix. This matrix uniquely determines a mixed graph, as long as the indices of the matrix are specified. Additionally, we associate an (undirected) graph with each mixed graph, enabling the spectral analysis of the integrated adjacency matrix to connect the structural properties of the mixed graph and its associated graph. Furthermore, we define certain mixed graph structures and establish their relationships to the eigenvalues of the integrated adjacency matrix.
Representation theory over semifields
Published
• View Publication
• BIB
We study and classify representations of a torsion group $G$ over an idempotent semifield with special attention on the case over the Boolean semifield $\mathbb{B}$. In subsequent work we extend this theory to studying representations of matroids of low rank.
Tropical representations and valuated matroids
We explore several facets of tropical subrepresentations of a linear representation of a group over the tropical semifield $\mathbb{T}$. A key role in the study of tropical subrepresentations is played by two types of modules over a semiring: weakly free and quasi-free modules. We also investigate subgroups of $\text{GL}_n(K)$ for $K=\mathbb{T}$, $ \mathbb{R}_{\geq 0}$, and automorphisms of weakly free modules and tropical prevarieties defined by tropical linear equations. As an application of our results, we provide an intrinsic description of tropical subrepresentation via certain quasi-free modules, and prove that a tropical subrepresentation is equivalent to a valuated matroidal representation.
Sparse Partitions of Graphs with Bounded Clique Number
We prove that for each integer $r\geq 2$, there exists a constant $C_r>0$ with the following property: for any $0<\varepsilon \leq 1/2$ and any graph $G$ with clique number at most $r,$ there is a partition of $V(G)$ into at most $(1/\varepsilon)^{C_r}$ sets $S_1, \dots, S_t,$ such that $G[S_i]$ has maximum degree at most $\varepsilon |S_i|$ for each $1 \leq i \leq t.$ This answers a question of Fox, Nguyen, Scott and Seymour, who proved a similar result for graphs with no induced $P_4.$
Wonderful Compactification of a Cartan Subalgebra of a Semisimple Lie Algebra
Published
• View Publication
• BIB
Let $\mathfrak h$ be a Cartan subalgebra of a complex semisimple Lie algebra $\mathfrak g.$ We define a compactification $\bar {\mathfrak h}$ of $\mathfrak h$, which is analogous to the closure $\bar H$ of the corresponding maximal torus $H$ in the adjoint group of $\mathfrak g$ in its wonderful compactification, which was introduced and studied by De Concini and Procesi \cite{DCP}. We observe that $\bar {\mathfrak h}$ is a matroid Schubert variety and prove that the irreducible components of the boundary $\bar {\mathfrak h} - \mathfrak h$ of $\mathfrak h$ are divisors indexed by root system data. We prove that $\bar {\mathfrak h}$ is a normal variety and find an affine paving of $\bar {\mathfrak h},$ where the strata are given by the orbits of $\mathfrak h.$ We show that the strata of $\bar {\mathfrak h}$ correspond bijectively to subspaces of the corresponding Coxeter hyperplane arrangement studied by Orlik and Solomon, and prove that the associated posets are isomorphic. As a consequence, we express the Betti numbers of $\bar {\mathfrak h}$ in terms of well-known combinatorial invariants in the classical cases. We show that the Weyl group $W$ acts on $\bar {\mathfrak h}$, and describe $H^{\bullet}(\bar {\mathfrak h}, \mathbb C)$ as a representation of $W$, and compute the cup product for $H^{\bullet}(\bar {\mathfrak h}, \mathbb Z)$.
Complexity of graph evolutions
A permutation of the elements of a graph is a {\it construction sequence} if no edge is listed before either of its endpoints. The complexity of such a sequence is investigated by finding the delay in placing the edges, an {\it opportunity cost} for the construction sequence. Maximum and minimum cost c-sequences are provided for a variety of graphs and are used to measure the complexity of graph-building programs.
Improved upper bounds on Zarankiewicz numbers
Published in Discrete Math. 349 (2026) 114924
• View Publication
• BIB
For positive integers $s,t,m$ and $n$, the Zarankiewicz number $z(m,n;s,t)$ is the maximum number of edges in a subgraph of $K_{m,n}$ that has no complete bipartite subgraph containing $s$ vertices in the part of size $m$ and $t$ vertices in the part of size $n$. The best general upper bound on Zarankiewicz numbers is a bound due to Roman that can be viewed as the optimal value of a simple linear program. Here we show that in many cases this bound can be improved by adding additional constraints to this linear program. This allows us to prove new upper bounds on Zarankiewicz numbers for many small parameter sets. We are also able to establish a new family of closed form upper bounds on $z(m,n;s,t)$ that captures much, but not all, of the power of the new constraints. This bound generalises a recent result of Chen, Horsley and Mammoliti that applied only in the case $s=2$.
A Partial Characterization of Robinsonian $L^p$ Graphons
We present a characterization of Robinsonian $L^p$ graphons for $p > 5$. Each $L^p$ graphon $w$ is the limit object of a sequence of edge density-normalized simple graphs $\{G_n/\|G_n\|_1\}$ under the cut distance $δ_{\Box}$. A graphon $w$ is Robinson if it satisfies the Robinson property: if $x\leq y\leq z$, then $w(x,z)\leq \min\{w(x,y),w(y,z)\}$, and it is Robinsonian if $δ_{\Box}(w,u)=0$ for some Robinson $u$. In previous work, the author and collaborators introduced a graphon parameter $Λ$ that recognizes the Robinson property, where $Λ(w) = 0$ precisely when $w$ is Robinson. Using functional analytic arguments, we show here that for $p > 5$, the Robinsonian $L^p$ graphons $w$ are precisely those that are the cut distance limit object of graphs $G_n$ such that $Λ(G_n/\|G_n\|_1) \to 0$.
A database of constructions of Hadamard matrices
Hadamard matrices of order $n$ are conjectured to exist whenever $n$ is $1$, $2$, or a multiple of $4$; a similar conjecture exists for skew Hadamard matrices. We provide constructions covering orders $\le 1208$ of all known Hadamard and skew Hadamard matrices in the open-source software SageMath. This allowed us to verify the correctness of results given in the literature. Within this range, just one order, $292$, of a skew Hadamard matrix claimed to have a known construction, required a fix.
We also produce the up to date tables, for $n \le 2999$ (resp. $n\le 999$ for skew case), of the minimum exponents $m$ such that a (skew) Hadamard matrix of order $2^m n$ is known, improving over 100 entries in the previously published sources. We explain how tables' entries are related to Riesel numbers. As a by-product of the latter, we show that the Paley constructions of (skew-)Hadamard matrices do not work for the order $2^m 509203$, for any $m$.
The Minimal (Edge) Connectivity of Some Graphs of Finite Groups
Published
• View Publication
• BIB
In this paper, we classify all the finite groups $G$ such that the commuting graph $Γ_C(G)$, order-sum graph $Γ_{OS}(G)$ and non-inverse graph $Γ_{NI}(G)$ are minimally edge connected graphs. We also classify all the finite groups $G$ for that, these graphs are minimally connected. We also classify some groups for that the co-prime graph $Γ_{CP}(G)$ has minimal edge connectedness. In final part, we classify all the finite groups $G$ for that co-prime graph $Γ_{CP}(G)$ is minimally connected.
$q$-Whittaker polynomials: bases, branching and direct limits
Published
• View Publication
• BIB
We study $q$-Whittaker polynomials and their monomial expansions given by the fermionic formula, the inv statistic of Haglund-Haiman-Loehr and the quinv statistic of Ayyer-Mandelshtam-Martin. The combinatorial models underlying these expansions are partition overlaid patterns and column strict fillings. The former model is closely tied to representations of the affine Lie algebra $\widehat{\mathfrak{sl}_n}$ and admits projections, branching maps and direct limits that mirror these structures in the Chari-Loktev basis of local Weyl modules. We formulate novel versions of these notions in the column strict fillings model and establish their main properties. We construct weight-preserving bijections between the models which are compatible with projection, branching and direct limits. We also establish connections to the coloured lattice paths formalism for $q$-Whittaker polynomials due to Wheeler and collaborators.
Generalized degree polynomials of trees
Published
• View Publication
• BIB
The generalized degree polynomial $\mathbf{G}_T(x,y,z)$ of a tree $T$ is an invariant introduced by Crew that enumerates subsets of vertices by size and number of internal and boundary edges. Aliste-Prieto et al. proved that $\mathbf{G}_T$ is determined linearly by the chromatic symmetric function $\mathbf{X}_T$, introduced by Stanley. We present several classes of information about $T$ that can be recovered from $\mathbf{G}_T$ and hence also from $\mathbf{X}_T$. Examples of such information include the double-degree sequence of $T$, which enumerates edges of $T$ by the pair of degrees of their endpoints, and the leaf adjacency sequence of $T$, which enumerates vertices of $T$ by degree and number of adjacent leaves. We also discuss a further generalization of $\mathbf{G}_T$ that enumerates tuples of vertex sets and show that this is also determined by $\mathbf{X}_T$.
Complexity Issues Concerning the Quadruple Roman Domination Problem in Graphs
Published
• View Publication
• BIB
Given a graph $G$ with vertex set $V(G)$, a mapping $h : V(G) \rightarrow \lbrace 0, 1, 2, 3, 4, 5 \rbrace$ is called a quadruple Roman dominating function (4RDF) for $G$ if it holds the following. Every vertex $x$ such that $h(x)\in \{0,1,2, 3\}$ satisfies that $h(N[x]) = \sum_{v\in N[x]} h(v) \geq |\{y:y \in N(x) \; \text{and} \; h(y) \neq 0\}|+4$, where $N(x)$ and $N[x]$ stands for the open and closed neighborhood of $x$, respectively. The smallest possible weight $\sum_{x \in V(G)} h(x)$ among all possible 4RDFs $h$ for $G$ is the quadruple Roman domination number of $G$, denoted by $γ_{[4R]}(G)$.
This work is focused on complexity aspects for the problem of computing the value of this parameter for several graph classes. Specifically, it is shown that the decision problem concerning $γ_{[4R]}(G)$ is NP-complete when restricted to star convex bipartite, comb convex bipartite, split and planar graphs. In contrast, it is also proved that such problem can be efficiently solved for threshold graphs where an exact solution is demonstrated, while for graphs having an efficient dominating set, tight upper and lower bounds in terms of the classical domination number are given. In addition, some approximation results to the problem are given. That is, we show that the problem cannot be approximated within $(1 - ε) \ln |V|$ for any $ε> 0$ unless $P=NP$. An approximation algorithm for it is proposed, and its APX-completeness proved, whether graphs of maximum degree four are considered. Finally, an integer linear programming formulation for our problem is presented.
Optimal $L(2,1)$-labeling of certain strong graph bundles cycles over cycles
An $L(2,1)$-labeling of a graph $G=(V,E)$ is a function $f$ from the vertex set $V(G)$ to the set of nonnegative integers such that the labels on adjacent vertices differ by at least two, and the labels on vertices at distance two differ by at least one. The span of $f$ is the difference between the largest and the smallest numbers of $f(V)$. The $λ$-number of $G$, denoted by $λ(G)$, is the minimum span over all $L(2,1)$-labelings of $G$. We prove that if $X= C_m\boxtimes^{σ_\ell} C_{n}$ is a direct graph bundle with fiber $C_{n}$ and base $C_m$, $n$ is a multiple of 11 and $\ell$ has a form of $\ell =[11k+(-1)^a 4m]\mod n$ or of $\ell =[11k+(-1)^a 3m]\mod n$, where $a\in \{1,2\}$ and $k\in \ZZ$, then $λ(X)=10$.