Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Unbiased weighing matrices of weight $9$
We investigate unbiased weighing matrices of weight $9$ and provide a construction method using mutually suitable Latin squares. For $n \le 16$, we determine the maximum size among sets of mutually unbiased weighing matrices of order $n$ and weight $9$. Notably, our findings reveal that $13$ is the smallest order where such pairs exist, and $16$ is the first order for which a maximum class of unbiased weighing matrices is found.
A note on the minimum size of Turán systems
For positive integers $n \ge s > r$, a \emph{Turán $(n,s,r)$-system} is an $n$-vertex $r$-graph in which every set of $s$ vertices contains at least one edge. Let $T(n,s,r)$ denote the the minimum size of a Turán $(n,s,r)$-system.
Upper bounds on $T(n,s,r)$ were established by Sidorenko~\cite{Sid97} for the case $s-r = Ω(r/\ln r)$ (based on a construction of Frankl--Rödl~\cite{FR85}) and by a number of authors in the case $s-r = O(1)$. In this note, we establish upper bounds in the remaining range $O(1)<s-r = O(r/\ln r)$.
The Integrable Snake Model
A pure snake configuration is a bijection $σ:\mathbb{Z}^2 \to \mathbb{Z}^2$ containing no two-cycles and such that for each $x \in \mathbb{Z}^2$ we have $σ(x) \in \{ x , x+ \mathbf{e}^1, x+\mathbf{e}^2 , x- \mathbf{e}^2 \}.$ The non-trivial cycles of a pure snake configuration may be regarded as a collection of non-intersecting paths in $\mathbb{Z}^2$ that may travel right, up, or down (but not left) from a given vertex. Pure snake configurations are a generalisation of lozenge tilings, which are in natural correspondence with paths that only travel right or up. We introduce a partition function on a finite version of this model and study the probabilistic properties of random pure snake configurations chosen according to their contribution to this partition function. Under a suitable weighting, the model is integrable in the sense that we have access to explicit formulas for its partition function and correlation function. We utilise the integrable structure of this model in several applications through its various scaling limits, such as to prove a traffic representation of ASEP on the ring, generalising the analogous result for TASEP by the first author.
Degree Realization by Bipartite Multigraphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Graph Theory (January 7, 2026) dmtcs:15158
• View Publication
• BIB
The problem of realizing a given degree sequence by a multigraph can be thought of as a relaxation of the classical degree realization problem (where the realizing graph is simple). This paper concerns the case where the realizing multigraph is required to be bipartite.
The problem of characterizing sequences that can be realized by a bipartite graph has two variants. In the simpler one, termed BDR$^P$, the partition of the sequence into two sides is given as part of the input. A complete characterization for realizability in this variant was given by Gale and Ryser over sixty years ago. However, the variant where the partition is not given, termed BDR, is still open.
For bipartite multigraph realizations, there are also two variants. For BDR$^P$, where the partition is given as part of the input, a characterization was known for determining whether there is a multigraph realization whose underlying graph is bipartite, such that the maximum number of copies of an edge is at most $r$. We present a characterization for determining if there is a bipartite multigraph realization such that the total number of excess edges is at most $t$. We show that optimizing these two measures may lead to different realizations, and that optimizing by one measure may increase the other substantially. As for the variant BDR, where the partition is not given, we show that determining whether a given (single) sequence admits a bipartite multigraph realization is NP-hard. Moreover, we show that this hardness result extends to any graph family which is a sub-family of bipartite graphs and a super-family of paths. On the positive side, we provide an algorithm that computes optimal realizations for the case where the number of balanced partitions is polynomial, and present sufficient conditions for the existence of bipartite multigraph realizations that depend only on the largest degree of the sequence.
Revisiting the outer-weakly convex domination number in graph products
Let $G = (V, E)$ be a simple undirected graph. A set $C \subseteq V(G)$ is weakly convex of graph $G$ if for every two vertices $u,v\in G$, there exists a $u-v$ geodesic whose vertices are in $C$. A set $C \subseteq V$ is an outer-weakly convex dominating set if it is dominating set and every vertex not in $C$ is adjacent to some vertex in $C$ and a set $V(G)\setminus C$ is weakly convex. The outer-weakly convex domination number of graph $G$, denoted by $\widetilde{ γ}_{wcon}(G)$, is the minimum cardinality of an outer-weakly convex dominating vertex set of graph $G$. In this paper, we determined the outer-weakly convex domination number of two graphs under the cartesian, strong and lexicographic products, and discuss some important combinatorial findings.
Markov's Conjecture on integral necklaces
We use the geometric reformulation of Markov's uniqueness conjecture in terms of the simple length spectrum on the modular torus to rewrite the conjecture in combinatorial terms by explicitly describing this set of lengths.
Weak maps and the Tutte Polynomial
Let $M$ and $N$ be matroids such that $N$ is the image of $M$ under a rank-preserving weak map. Generalizing results of Lucas, we prove that, for $x$ and $y$ positive, $T(M;x,y)\geq T(N;x,y)$ if and only if $x+y\geq xy$ or $M\cong N$. We give a number of consequences of this result.
On winding numbers of almost embeddings of $K_4$ in the plane
Let $K_4$ be the complete graph on four vertices. Let $f$ be a continuous map of $K_4$ to the plane such that $f$-images of non-adjacent edges are disjoint. For any vertex $v \in K_4$ take the winding number of the $f$-image of the cycle $K_4 - v$ around $f(v)$. It is known that the sum of these four integers is odd. We construct examples showing that this is the only relation between these four numbers.
$F_σ$-ideals, colorings, and representation in Banach spaces
In recent works by L. Drewnowski and I. Labuda and J. Martínez et al., non-pathological analytic \( P \)-ideals and non-pathological \( F_σ\)-ideals have been characterized and studied in terms of their representations by a sequence \( (x_n)_n \) in a Banach space, as \( \mathcal{C}((x_n)_n) \) and \( \mathcal{B}((x_n)_n) \). The ideal \( \mathcal{C}((x_n)_n) \) consists of sets where the series \( \sum_{n \in A} x_n \) is unconditionally convergent, while \( \mathcal{B}((x_n)_n) \) involves weak unconditional convergence.
In this paper, we further study these representations and provide effective descriptions of \( \mathcal{B} \)- and \( \mathcal{C} \)-ideals in the universal spaces \( C([0,1]) \) and \( C(2^{\mathbb{N}}) \), addressing a question posed by Borodulin-Nadzieja et al. A key aspect of our study is the role of the space \( c_0 \) in these representations. We focus particularly on \( \mathcal{B} \)-representations in spaces containing many copies of \( c_0 \), such as \( c_0 \)-saturated spaces of continuous functions.
A central tool in our analysis is the concept of \( c \)-coloring ideals, which arise from homogeneous sets of continuous colorings. These ideals, generated by homogeneous sets of 2-colorings, exhibit a rich combinatorial structure. Among our results, we prove that for \( d \geq 3 \), the random \( d \)-homogeneous ideal is pathological,
we construct hereditarily non-pathological universal \( c \)-coloring ideals, and we show that every \( \mathcal{B} \)-ideal represented in \( C(K) \), for \( K \) countable, contains a \( c \)-coloring ideal. Furthermore, by leveraging \( c \)-coloring ideals, we provide examples of \( \mathcal{B} \)-ideals that are not \( \mathcal{B} \)-representable in \( c_0 \). These findings highlight the interplay between combinatorial properties of ideals and their representations in Banach spaces.
Quasi-immanants
For an integer partition $ λ$ of $n$ and an $n \times n$ matrix $A$, consider the expansion of the immanant $\text{Imm}^λ(A)$ as a sum indexed by permutations $σ$ of order $n$, with coefficients given by the irreducible characters $χ^λ(\text{ctype}(σ))$ of the symmetric group $S_{n}$, for the cycle type $\text{ctype}(σ) \vdash n$ of $σ$. Skandera et al. have introduced combinatorial interpretations of a generalization of immanants given by replacing the coefficient $χ^λ(\text{ctype}(σ))$ with preimages with respect to the Frobenius morphism of elements among the distinguished bases of the algebra $\textsf{Sym}$ of symmetric functions. Since $ \textsf{Sym}$ is contained in the algebra $\textsf{QSym}$ of quasisymmetric functions, this leads us to further generalize immanants with the use of quasisymmetric functions. Since bases of $ \textsf{QSym}$ are indexed by integer compositions, we make use of cycle compositions in place of cycle types to define the family of quasi-immanants introduced in this paper. This is achieved through the use of the quasisymmetric power sum bases due to Ballantine et al., and we prove a combinatorial formula for the coefficients arising in an analogue, given by a special case of quasi-immanants associated with quasisymmetric Schur functions, of second immanants.
Rational values of the weak saturation limit
Given a graph $F$, a graph $G$ is weakly $F$-saturated if all non-edges of $G$ can be added in some order so that each new edge introduces a copy of $F$. The weak saturation number $\operatorname{wsat}(n, F)$ is the minimum number of edges in a weakly $F$-saturated graph on $n$ vertices. Bollobás initiated the study of weak saturation in 1968 to study percolation processes, which originated in biology and have applications in physics and computer science. It was shown by Alon that for each $F$, there is a constant $w_F$ such that $\operatorname{wsat}(n, F) = w_Fn + o(n)$. We characterize all possible rational values of $w_F$, proving in particular that $w_F$ can equal any rational number at least $\frac 32$.
On lattice triangles satisfying $\boldsymbol{B(T)=3}$ with collinear interior lattice points
A lattice point in $\mathbb{R}^2$ is a point $(x,y)$ with $x,y\in\mathbb{Z}$, and a lattice triangle is a triangle whose three vertices are all lattice points. We investigate the integers $k$ with the property that if $T$ is a lattice triangle with $3$ boundary points and $k$ points in the interior, then all $k$ boundary points must be collinear.
Carath$é$odory Number and Exchange Number in $Δ$-convexity
Given a graph $G$, a set is $Δ$-convex if there is no vertex $u\in V(G)\setminus S$ forming a triangle with two vertices of $S$. The $Δ$-convex hull of $S$ is the minimum $Δ$-convex set containing $S$. This article is an attempt to discuss the Carathéodory number and exchange number on various graph families and standard graph products namely Cartesian, strong and, lexicographic products of graphs.
The sharp upper bounds on the maximum degree and vertex-connectivity of claw-free 1-planar graphs
The complete bipartite graph $K_{1,3}$ is called a claw. The properties of claw-free graphs have attracted considerable attention, with research on claw-free planar graphs tracing back to Plummer's work in 1989. In this paper, we extend this line of research by establishing some fundamental results for claw-free 1-planar graphs, focusing on upper bounds for maximum degree and vertex-connectivity. We show that the maximum degree of claw-free 1-planar graphs is at most 10, and the bound is sharp. Furthermore, we show that for 6-connected 1-planar graphs and optimal 1-planar graphs under the constraint of forbidding induced claws, the maximum degree has the better upper bound 8. Finally, we show that every 7-connected 1-planar graph contains an induced claw, thereby implying that the vertex-connectivity of claw-free 1-planar graphs is at most 6. For a better comparison, we also refine some known results by Plummer on claw-free planar graphs.
A note on symmetries of rich sequences with minimum critical exponent
Using three examples of sequences over a finite alphabet, we want to draw attention to the fact that these sequences having the minimum critical exponent in a given class of sequences show a large degree of symmetry, i.e., they are G-rich with respect to a group G generated by more than one antimorphism. The notion of G-richness generalizes the notion of richness in palindromes which is based on one antimorphism, namely the reversal mapping. The three examples are: 1) the Thue-Morse sequence which has the minimum critical exponent among all binary sequences; 2) the sequence which has the minimum critical exponent among all binary rich sequences; 3) the sequence which has the minimum critical exponent among all ternary rich sequences.
A Question of Erdős and Graham on Covering Systems
Erdős and Graham (Erdős and Graham, 1980) asked if there exists an $n$ such that the divisors of $n$ greater than 1 are the moduli of a distinct covering system with the following property: If there exists an integer which satisfies two congruences in the system, $a\mod d$ and $a'\mod d'$, then $\gcd(d,d')=1$. We show that such an $n$ does not exist. This problem is part of Problem # 204 on the website www.erdosproblems.com, compiled and maintained by Thomas Bloom. We also study when the divisors of $n$ greater than $1$ can form a congruence system satisfying the above condition.
Characterizing the Lovasz theta function via walk generating functions
A new characterization of the Lovasz theta function is provided by relating it to the (weighted) walk-generating function, thus establishing a relationship between two seemingly quite distinct concepts in algebraic graph theory. An application of this new characterization is given by showing how it straightforwardly entails multiple natural generalizations of the Hoffman upper bound (on both the independence number and Lovasz number) to arbitrary non-regular graphs. These new bounds possess properties that make them advantageous to previously derived such generalizations. It will also be shown that the Lovasz theta function equals a natural relaxation of the independence number, here dubbed the spherical independence number -- the determination of which involves producing a vector corresponding to a generalized maximum independent set which might be significant for the maximum independent set problem. Lastly, the derivation of the new characterization involves proving a certain analysis result which may in itself be of interest.
Barbara Rokowska's combinatorial research with her extensive biography (1926--2012)
Published in Antiquitates Mathematicae Vol 18 (2024) , 191-218
• View Publication
• BIB
We discuss the significance of some interesting results by Barbara Rokowska about combinatorial constructions. Her interest in finite mathematics and number theory began with an embellishment and detailing of some work by Erdos. Rokowska and Schinzel then solved the problem posed by Paul Erdos concerning the existence of prime numbers of a certain kind. Her subsequent work highlighted the difficulty in constructing Steiner systems with certain properties and showed the importance of rigorous proof techniques in this area of mathematics. This is the first such summary of the main results obtained by Rokowska, her collaborators and PhD students.
A biography of Barbara Rokowska has been added as an appendix.
Spectral skeletons and applications
For a graph $G$, its spectral radius $ρ(G)$ is the largest eigenvalue of its adjacency matrix. Let $\mathcal{F}$ be a finite family of graphs with $\min_{F\in \mathcal{F}}χ(F)=r+1\geq3$, where $χ(F)$ is the chromatic number of $F$. Set $t=\max_{F\in\mathcal{F}}|F|$. Let $T(rt,r)$ be the Turán graph of order $rt$ with $r$ parts. Assume that some $F_{0}\subseteq\mathcal{F}$ is a subgraph of the graph obtained from $T(rt,r)$ by embedding a path or a matching in one part. Let ${\rm EX}(n,\mathcal{F})$ be the set of graphs with the maximum number of edges among all the graphs of order $n$ containing not any $F\in\mathcal{F}$. Simonovits \cite{S1,S2} gave general results on the graphs in ${\rm EX}(n,\mathcal{F})$. Let ${\rm SPEX}(n,\mathcal{F})$ be the set of graphs with the maximum spectral radius among all the graphs of order $n$ containing not any $F\in\mathcal{F}$. Motivated by the work of Simonovits, we characterize the specified structure of the graphs in ${\rm SPEX}(n,\mathcal{F})$ in this paper. Moreover, some applications are also included.
Embedding edge-colored graphs in expanders with roll-back
We introduce a method to embed edge-colored graphs into families of expander graphs, which generalizes a framework developed by Draganić, Krivelevich, and Nenadov (2022). As an application, we show that each family of sufficiently pseudo-random graphs on $n$ vertices contains every edge-colored subdivision of $K_Δ$, provided that the distance between branch vertices in the subdivision is large enough, the average degree of each graph in the family is at least $(1+o(1))Δ$, and the number of vertices in the subdivision is at most $(1-o(1))n$.
This work is motivated in part by the problem of finding structures in distance graphs defined over finite vector spaces. For $d\ge 2$ and an odd prime power $q$, consider the vector space $\mathbb{F}_q^d$ over the finite field $\mathbb{F}_q$, where the distance between two points $(x_1,\ldots,x_d)$ and $(y_1,\ldots,y_d)$ is defined to be $\sum_{i=1}^d (x_i-y_i)^2$. A distance graph is a graph associated with a non-zero distance to each of its edges. We show that large subsets of vector spaces over finite fields contain every distance graph that is a nearly spanning subdivision of a complete graph, provided that the distance between branching vertices in the subdivision is large enough.