Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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
Published
• View Publication
• BIB
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.
On the Set of Balanced Games
Published
• View Publication
• BIB
We study the geometric structure of the set of cooperative transferable utility games having a nonempty core, characterized by Bondareva and Shapley as balanced games. We show that this set is a nonpointed polyhedral cone, and we find the set of its extremal rays and facets. This study is also done for the set of balanced games whose value for the grand coalition is fixed, which yields an affine nonpointed polyhedral cone. Finally, the case of nonnegative balanced games with fixed value for the grand coalition is tackled. This set is a convex polytope, with remarkable properties. We characterize its vertices and facets, study the adjacency structure of vertices, develop an algorithm for generating vertices in a random uniform way, and show that this polytope is combinatorial and its adjacency graph is Hamiltonian. Last, we give a characterization of the set of games having a core reduced to a singleton. Funding: This work was supported by the Spanish Government [Grant PID2021-124933NB-I00].
Trace of Multi-variable Matrix Functions and its Application to Functions of Graph Spectrum
Matrix extension of a scalar function of a single variable is well-studied in literature. Of particular interest is the trace of such functions. It is known that for diagonalizable matrices, $M$, the function $g(M) = \text{Tr}(f(M)) = \sum_{j=1}^n f(μ_j)$ (where $\{μ_j\}_{j=1,2,\cdots,n}$ are the eigenvalues of $M$) inherits the monotonocity and convexity properties of $f$ (i.e., for $g$ to be convex, $f$ need not be operator convex -- convexity is sufficient). In this paper we formalize the idea of matrix extension of a function of multiple variables, study the monotonicity and convexity properties of the trace, and thus show that a function of form $g(M) = \sum_{j_1=1}^n \sum_{j_2=1}^n \cdots \sum_{j_m=1}^n f(μ_{j_1}, μ_{j_2},\cdots, μ_{j_m})$ also inherits the monotonocity and convexity properties of the multi-variable function, $f$. We apply these results to functions of the spectrum of the weighted Laplacian matrix of undirected, simple graphs.
Combinatorial properties of continuous graphs: A survey of challenges, solutions and open problems
Inspired by notorious combinatorial optimization problems on graphs, in this paper we consider a series of related problems defined using a metric space and topology determined by a graph. Particularly, we present the Independent Set, Vertex Cover, Chromatic Number and Treewidth problems on, so-called, continuous or metric graphs where every edge is represented by a unit-length continuous interval rather than by a pair of vertices. If any point of any unit-interval edge is considered as a possible member of a hitting set or a cover, the classical combinatorial problems become trickier and many open questions arise. Notably, in many real-life applications, such a continuous view of a graph is more natural than the classic combinatorial definition of a graph. The contribution of this paper is twofold: i) we survey the known results for optimization problems on continuous graphs, and ii) we create a list of open problems related to the continuous graphs.
Irreducibility of determinants, and Esterov's conjecture on $\mathscr{A}$-discriminants
In the space of square matrices, we characterize row-generated subspaces, on which the determinant is an irreducible polynomial. As a corollary, we characterize square systems of polynomial equations with indeterminate coefficients, whose discriminant is an irreducible hypersurface. This resolves a conjecture of Esterov, and, in a sequel paper, leads to a complete description of components and codimensions for discriminants of square systems of equations.
Impartial Chess on Integer Partitions
Published
• View Publication
• BIB
Berlekamp proposed a class of impartial combinatorial games based on the moves of chess pieces on rectangular boards. We generalize impartial chess games by playing them on Young diagrams and obtain results about winning and losing positions and Sprague-Grundy values for all chess pieces. We classify these games, and their restrictions to sets of partitions known as rectangles, staircases, and general staircases, according to the approach of Conway, later extended by Gurvich and Ho. The games $\rm {R\small OOK}$ and $\rm{Q\small UEEN}$ restricted to rectangles are known to have the same game tree as $2$-pile $\rm N{\small IM}$ and $\rm W{\small YTHOFF}$, respectively, so our work generalizes these well-known games.
Tree independence number V. Walls and claws
Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Let $S_{t,t,t}$ be the graph obtained from $K_{1,3}$ by subdividing each edge $t-1$ times, and let $W_{t\times t}$ be the $t$-by-$t$ hexagonal grid. Let $\mathcal{L}_t$ be the family of all graphs $G$ such that $G$ is the line graph of some subdivision of $W_{t \times t}$. We prove that for every positive integer $t$ there exists $c(t)$ such that every $\mathcal{L}_t \cup \{S_{t,t,t}, K_{t,t}\}$-free $n$-vertex graph admits a tree decomposition in which the maximum size of an independent set in each bag is at most $c(t)\log^4n$. This is a variant of a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht from 2024. This implies that the Maximum Weight Independent Set problem, as well as many other natural algorithmic problems, that are known to be NP-hard in general, can be solved in quasi-polynomial time if the input graph is $\mathcal{L}_t \cup \{S_{t,t,t},K_{t,t}\}$-free. As part of our proof, we show that for every positive integer $t$ there exists an integer $d$ such that every $\mathcal{L}_t \cup \{S_{t,t,t}\}$-free graph admits a balanced separator that is contained in the neighborhood of at most $d$ vertices.
Stability of products of double Grothendieck polynomials
Published
• View Publication
• BIB
We prove that products of double Grothendieck polynomials have the same back- and forward-stability numbers as products of Schubert polynomials, characterize which simple reflections appear in such products, and also give a new proof of a finiteness conjecture of Lam-Lee-Shimozono on products of back-stable Grothendieck polynomials which was first proved by Anderson. To do this, we use the main theorems from our recent work, as well as expansion formulas of Lenart, Fomin-Kirillov, and Lam-Lee-Shimozono.
Cyclic relative difference sets and circulant weighing matrices
Published
• View Publication
• BIB
An $(m,n,k,λ)$-relative difference set is a lifting of a $(m,k,nλ)$-difference set. Lam gave a table of cyclic relative difference sets with $k \leq 50$ in 1977, all of which were liftings of $( \frac{q^d-1}{q-1},q^{d-1},q^{d-2}(q-1))$-difference sets, the parameters of complements of classical Singer difference sets. Pott found all cyclic liftings of these difference sets with $n$ odd and $k \leq 64$ in 1995. No other nontrivial difference sets are known with liftings to relative difference sets, and Pott ended his survey on relative difference sets asking whether there are any others.
In this paper we extend these searches, and apply the results to the existence of circulant weighing matrices.
Nearly tight weighted 2-designs in complex projective spaces of every dimension
Published
• View Publication
• BIB
We use dense Sidon sets to construct small weighted projective 2-designs. This represents quantitative progress on Zauner's conjecture.
The Cloud and Flock Polynomials of q-Matroids
We show that the Whitney function of a q-matroid can be determined from the cloud and flock polynomials associated to the cyclic flats. These polynomials capture information about the corank (resp., nullity) of certain spaces whose cyclic core (resp., closure) is the given cyclic flat. Going one step further, we prove that the Whitney function, and in fact the cloud-flock lattice, are determined by the configuration of the q-matroid, which is the abstract lattice of cyclic flats together with the corank-nullity data. Furthermore, we show that the configuration and cloud-flock lattice behave well under duality and direct sums, whereas the Whitney function does not contain enough information to behave well under taking direct sums. As an aside we show that every configuration of a matroid arises as a configuration of a q-matroid, whereas the converse is not true.
The minimum size of a $k$-connected locally nonforesty graph
A local subgraph of a graph is the subgraph induced by the neighborhood of a vertex. Thus a graph of order $n$ has $n$ local subgraphs. A graph $G$ is called locally nonforesty if every local subgraph of $G$ contains a cycle. Clearly, a graph is locally nonforesty if and only if every vertex of the graph is the hub of a wheel. We determine the minimum size of a $k$-connected locally nonforesty graph of order $n.$
Failure of the Lefschetz property for the Graphic Matroid
We consider the strong Lefschetz property for standard graded Artinian Gorenstein algebras. Such an algebra has a presentation of the quotient algebra of the ring of the differential polynomials modulo the annihilator of some homogeneous polynomial. There is a characterization of the strong Lefschetz property for such an algebra by the non-degeneracy of the higher Hessian matrix of the homogeneous polynomial. Maeno and Numata conjectured that if such an algebra is defined by the basis generating polynomial of any matroid, then it has the strong Lefschetz property. For this conjecture, we give counterexamples that are associated with graphic matroids. We prove the degeneracy of the higher Hessian matrix by constructing a non-zero element in the kernel of that matrix.
A hidden Condorcet domain in Loday's realisation of the associahedron
We prove that Loday's polytopal realisation of the nth Tamari lattice T_n, called associahedron, has 2^{n-1} common points with the permutohedron, which form a maximal never-middle (symmetric) Condorcet domain.