Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Sequentially constrained Hamilton cycles in random graphs
Published
• View Publication
• BIB
We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation.
More Ramsey theory for highly connected monochromatic subgraphs
Published in Can. J. Math.-J. Can. Math. 76 (2024) 2136-2150
• View Publication
• BIB
An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting that if we color edges of the complete graph we can find a large highly connected monochromatic subgraph. In particular, several questions of Bergfalk, Hrušák and Shelah are answered by showing that assuming the consistency of suitable large cardinals the following are relatively consistent with $\mathsf{ZFC}$: $κ\to_{hc} (κ)^2_ω$ for every regular cardinal $κ\geq \aleph_2$ and $\neg\mathsf{CH}+ \aleph_2 \to_{hc} (\aleph_1)^2_ω$. Building on a work of Lambie-Hanson, we also show that $\aleph_2 \to_{hc} [\aleph_2]^2_{ω,2}$ is consistent with $\neg\mathsf{CH}$. To prove these results, we use the existence of ideals with strong combinatorial properties after collapsing suitable large cardinals.
Embeddability of graphs and Weihrauch degrees
Published
• View Publication
• BIB
We study the complexity of the following related computational tasks concerning a fixed countable graph G: 1. Does a countable graph H provided as input have a(n induced) subgraph isomorphic to G? 2. Given a countable graph H that has a(n induced) subgraph isomorphic to G, find such a subgraph. The framework for our investigations is given by effective Wadge reducibility and by Weihrauch reducibility. Our work follows on "Reverse mathematics and Weihrauch analysis motivated by finite complexity theory" (Computability, 2021) by BeMent, Hirst and Wallace, and we answer several of their open questions.
Eschers and Stanley's chromatic e-positivity conjecture in length-2
We give a short proof of the chromatic e-positivity conjecture of Stanley for length-2 partitions.
Rank functions and invariants of delta-matroids
Published
• View Publication
• BIB
In this note, we give a rank function axiomatization for delta-matroids and study the corresponding rank generating function. We relate an evaluation of the rank generating function to the number of independent sets of the delta-matroid, and we prove a log-concavity result for that evaluation using the theory of Lorentzian polynomials.
Serial Exchanges in Random Bases
Published
• View Publication
• BIB
It was conjectured by Kotlar and Ziv that for any two bases $B_1$ and $B_2$ in a matroid $M$ and any subset $X \subset B_1$, there is a subset $Y$ and orderings $x_1 \prec x_2 \prec \cdots \prec x_k$ and $y_1 \prec y_2 \prec \cdots \prec y_k$ of $X$ and $Y$, respectively, such that for $i = 1, \dots ,k$, $B_1 - \{ x_1, \dots ,x_i\} + \{y_1, \dots ,y_k \}$ and $B_2 - \{ y_1, \dots ,y_i\} + \{x_1, \dots ,x_k \}$ are bases; that is, $X$ is serially exchangeable with $Y$. Let $M$ be a rank-$n$ matroid which is representable over $\mathbb{F}_q.$ We show that for $q>2,$ if bases $B_1$ and $B_2$ are chosen randomly amongst all bases of $M$, and if a subset $X$ of size $k \le \ln(n)$ is chosen randomly in $B_1$, then with probability tending to one as $n \rightarrow \infty$, there exists a subset $Y\subset B_2$ such that $X$ is serially exchangeable with $Y.$
Counting partitions by genus: a compendium of results
Published in Journal of Integer Sequences, Vol. 27 (2024), Article 24.2.6
• Search Publication
We study the enumeration of set partitions, according to their length, number of parts, cyclic type, and genus. We introduce genus-dependent Bell, Stirling numbers, and Faà di Bruno coefficients. Besides attempting to summarize what is already known on the subject, we obtain new generic results (in particular for partitions into two parts, for arbitrary genus), and present computer generated new data extending the number of terms known for sequences or families of such coefficients; this also leads to new conjectures.
Complexity Framework for Forbidden Subgraphs III: When Problems are Tractable on Subcubic Graphs
For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of $\mathcal{H}$-subgraph-free graphs. We continue this work and focus on problems that have polynomial-time solutions on classes that have bounded treewidth or maximum degree at most~$3$ and examine their complexity on $H$-subgraph-free graph classes where $H$ is a connected graph. With this approach, we obtain comprehensive classifications for (Independent) Feedback Vertex Set, Connected Vertex Cover, Colouring and Matching Cut. This resolves a number of open problems.
We highlight that, to establish that Independent Feedback Vertex Set belongs to this collection of problems, we first show that it can be solved in polynomial time on graphs of maximum degree $3$. We demonstrate that, with the exception of the complete graph on four vertices, each graph in this class has a minimum size feedback vertex set that is also an independent set.
Factoriality inside Boolean lattices
Given a join semilattice $S$ with a minimum $\hat{0}$, the quarks (also called atoms in order theory) are the elements that cover $\hat{0}$, and for each $x \in S \setminus \{\hat{0}\}$ a factorization (into quarks) of $x$ is a minimal set of quarks whose join is $x$. If every element $x \in S \setminus \{\hat{0}\}$ has a factorization, then $S$ is called factorizable. If for each $x \in S \setminus \{\hat{0}\}$, any two factorizations of $x$ have equal (resp., distinct) size, then we say that $S$ is half-factorial (resp., length-factorial). Let $B_\mathbb{N}$ be the Boolean lattice consisting of all finite subsets of $\mathbb{N}$ under intersections and unions. Here we study factorizations into quarks in join subsemilattices of $B_\mathbb{N}$, focused on the notions of half-factoriality and length-factoriality. We also consider the unique factorization property, which is the most special and relevant type of half-factoriality, and the elasticity, which is an arithmetic statistic that measures the deviation from half-factoriality.
Upper bounds for the size of set systems with a symmetric set of Hamming distances
Let $\mbox{$\cal F$}\subseteq 2^{[n]}$ be a fixed family of subsets. Let $D(\mbox{$\cal F$})$ stand for the following set of Hamming distances: $$ D(\mbox{$\cal F$}):=\{d_H(F,G):~ F, G\in \mbox{$\cal F$},\ F\neq G\}. $$ $\mbox{$\cal F$}$ is said to be a Hamming symmetric family, if $d\in D(\mbox{$\cal F$})$ implies $n-d\in D(\mbox{$\cal F$})$ for each $d\in D(\mbox{$\cal F$})$.
We give sharp upper bounds for the size of Hamming symmetric families. Our proof is based on the linear algebra bound method.
The iteration time and the general position number in graph convexities
Published
• View Publication
• BIB
In this paper, we study two graph convexity parameters: iteration time and general position number. The iteration time was defined in 1981 in the geodesic convexity, but its computational complexity was so far open. The general position number was defined in the geodesic convexity and proved NP-hard in 2018. We extend these parameters to any graph convexity and prove that the iteration number is NP-hard in the P3 convexity. We use this result to prove that the iteration time is also NP-hard in the geodesic convexity even in graphs with diameter two, a long standing open question. These results are also important since they are the last two missing NP-hardness results regarding the ten most studied graph convexity parameters in the geodesic and P3 convexities. We also prove that the general position number of the monophonic convexity is W[1]-hard (parameterized by the size of the solution) and $n^{1-\varepsilon}$-inapproximable in polynomial time for any $\varepsilon>0$ unless P=NP, even in graphs with diameter two. Finally, we also obtain FPT results on the general position number in the P3 convexity and we prove that it is W[1]-hard (parameterized by the size of the solution).
Applications of Homogeneous Fiber Bundles to the Schubert Varieties
Published
• View Publication
• BIB
This article explores the relationship between Schubert varieties and equivariant embeddings, using the framework of homogeneous fiber bundles over flag varieties. We show that the homogenous fiber bundles obtained from Bott-Samelson-Demazure-Hansen varieties are always toroidal. Furthermore, we identify the wonderful varieties among them. We give a short proof of a conjecture of Gao, Hodges, and Yong for deciding when a Schubert variety is spherical with respect to an action of a Levi subgroup. By using BP-decompositions, we obtain a characterization of the smooth spherical Schubert varieties. Among the other applications of our results are: 1) a characterization of the spherical Bott-Samelson-Demazure-Hansen varieties, 2) an alternative proof of the fact that, in type A, every singular Schubert variety of torus complexity 1 is a spherical Schubert variety, and 3) a proof of the fact that, for simply laced algebraic groups of adjoint type, every spherical $G$-Schubert variety is locally rigid, that is to say, the first cohomology of its tangent sheaf vanishes.
Characterising Clique Convergence for Locally Cyclic Graphs of Minimum Degree $δ\ge 6$
Published
• View Publication
• BIB
The clique graph $kG$ of a graph $G$ has as its vertices the cliques (maximal complete subgraphs) of $G$, two of which are adjacent in $kG$ if they have non-empty intersection in $G$. We say that $G$ is clique convergent if $k^nG\cong k^m G$ for some $n\not= m$, and that $G$ is clique divergent otherwise. We completely characterise the clique convergent graphs in the class of (not necessarily finite) locally cyclic graphs of minimum degree $δ\ge 6$, showing that for such graphs clique divergence is a global phenomenon, dependent on the existence of large substructures. More precisely, we establish that such a graph is clique divergent if and only if its universal triangular cover contains arbitrarily large members from the family of so-called "triangular-shaped graphs".
Planar graphs as distinguished graph of Morse flows on the 2-disk
To investigate the topological structure of Morse flows on the 2-disk we use the planar graphs as destinguished graph of the flow. We assume, that the flow is transversal to the boundary of the 2-disk. We give a list of all planar graph with at least 3 edges and describe all planar graphs with 4 edges. We use a list of spherical graph with at least 4 edges.
Exponential Mixing Via Additive Combinatorics
Published
• View Publication
• BIB
We prove that the geodesic flow on a geometrically finite locally symmetric space of negative curvature is exponentially mixing with respect to the Bowen-Margulis-Sullivan measure. The approach is based on constructing a suitable anisotropic Banach space on which the infinitesimal generator of the flow admits an essential spectral gap. A key step in the proof involves estimating certain oscillatory integrals against the Patterson-Sullivan measure. For this purpose, we prove a general result of independent interest asserting that the Fourier transform of measures on $\mathbb{R}^d$ that do not concentrate near proper affine hyperplanes enjoy polynomial decay outside of a sparse set of frequencies. As an intermediate step, we show that the $L^q$-dimension ($1<q\leq \infty$) of iterated self-convolutions of such measures tend towards that of the ambient space. Our analysis also yields that the Laplace transform of the correlation function of smooth observables extends meromorphically to the entire complex plane in the convex cocompact case and to a strip of explicit size beyond the imaginary axis in the case the manifold admits cusps.
Even pairs in Berge graphs with no balanced skew-partitions
Published
• View Publication
• BIB
Let $G$ be a Berge graph that has no odd prism and no antihole of length at least six as an induced subgraph. We show that every such graph $G$ with no balanced skew-partition is either complete or has an even pair.
Levi-spherical Schubert varieties
Published in Adv. Math. 439 (2024), Paper No. 109486, 14 pp
• View Publication
• BIB
We prove a short, root-system uniform, combinatorial classification of Levi-spherical Schubert varieties for any generalized flag variety $G/B$ of finite Lie type. We apply this to the study of multiplicity-free decompositions of a Demazure module into irreducible representations of a Levi subgroup.
The combinatorics of supertorus sheaf cohomology
Published
• View Publication
• BIB
Affine superspace $\mathbb{C}^{1 \mid n}$ has a single bosonic coordinate $z$ and $n$ fermionic coordinates $θ_1, \dots, θ_n$. Let $M$ be the supertorus obtained by quotienting $\mathbb{C}^{1 \mid n}$ by the abelian group generated by the maps $S: (z,θ_1, \dots, θ_n) \mapsto (z + 1, θ_1, \dots, θ_n)$ and $T: (z, θ_1, \dots, θ_n) \mapsto (z + t, θ_1 + α_1, \dots, θ_n + α_n)$ where $t \in \mathbb{C}$ has positive imaginary part and $α_1, \dots, α_n$ are independent fermionic parameters. We compute the zeroth and first cohomology groups of the structure sheaf $\mathcal{O}$ of $M$ as doubly graded $\mathfrak{S}_n$-modules, exhibiting an instance of Serre duality between these groups. We use skein relations and noncrossing matchings to give a combinatorial presentation of $H^0(M,\mathcal{O})$ in terms of generators and relations.
Descent polynomials for labeled tree
Motivated by the properties of the descent polynomials, which enumerate permutations of $S_n$ with a fixed descent set, we define descent polynomials for labeled rooted trees. We give recursive and explicit formulas for these polynomials and show when known properties of the descent polynomials carry over to the setting of trees.
The resolvent kernel on the discrete circle and twisted cosecant sums
Published
• View Publication
• BIB
Let $X_m$ denote the discrete circle with $m$ vertices. For $x,y\in X_{m}$ and complex $s$, let $G_{X_m,χ_β}(x,y;s)$ be the resolvent kernel associated to the combinatorial Laplacian which acts on the space of functions on $X_{m}$ that are twisted by a character $χ_β$. We will compute $G_{X_m,χ_β}(x,y;s)$ in two different ways. First, using the spectral expansion of the Laplacian, we show that $G_{X_m,χ_β}(x,y;s)$ is a generating function for certain trigonometric sums involving powers of the cosecant function; by choosing $β$ or $s$ appropriately, the sums in question involve powers of the secant function. Second, by viewing $X_{m}$ as a quotient space of $\mathbb{Z}$, we prove that $G_{X_m,χ_β}(x,y;s)$ is a rational function which is given in terms of Chebyshev polynomials. From the existence and uniqueness of $G_{X_m,χ_β}(x,y;s)$, these two evaluations are equal. From the resulting identity, we obtain a means by which one can obtain explicit evaluations of cosecant and secant sums. The identities we prove depend on a number of parameters, and when we specialize the values of these parameters we obtain several previously known formulas. Going further, we derive a recursion formula for special values of the $L$-functions associated to the cycle graph $X_{m}$, thus answering a question from arXiv:2212.13687v1.