Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Homotopy Type of Independence Complexes of Certain Families of Graphs
Published
• View Publication
• BIB
We show that the independence complexes of generalised Mycielskian of complete graphs are homotopy equivalent to a wedge sum of spheres, and determine the number of copies and the dimensions of these spheres. We also prove that the independence complexes of categorical product of complete graphs are wedge sum of circles, upto homotopy. Further, we show that if we perturb a graph $G$ in a certain way, then the independence complex of this new graph is homotopy equivalent to the suspension of the independence complex of $G$.
Cometric Association Schemes
One may think of a $d$-class association scheme as a $(d+1)$-dimensional matrix algebra over $\mathbb{R}$ closed under Schur products. In this context, an imprimitive scheme is one which admits a subalgebra of block matrices, also closed under the Schur product. Such systems of imprimitivity provide us with quotient schemes, smaller association schemes which are often easier to understand, providing useful information about the structure of the larger scheme. For any association scheme we find a basis of $d+1$ idempotent matrices for the algebra. A cometric scheme is one whose idempotent basis may be ordered $E_0,E_1,...,E_d$ with polynomials $f_0,f_1,...,f_d$ giving $f_i\circ(E_1)=E_i$ and deg$(f_i)=i$ for each $i$. Throughout this thesis we are primarily interested in three goals: building new examples of cometric schemes, drawing connections between cometric schemes and other objects, and finding new realizability conditions on feasible parameter sets --- using these conditions to rule out open parameter sets when possible. After introducing association schemes, this thesis focuses on a few recent results regarding cometric schemes with small $d$. We begin by examining the matrix algebra, looking for low rank positive semidefinite matrices with few distinct entries and later establishing new conditions on realizable parameter sets. We then focus on imprimitive examples of both 3- and 4-class cometric schemes, generating new examples of the former while building realizability conditions for both. In each case, we examine the related $t$-distance sets, giving conditions which work towards equivalence; in the case of 3-class $Q$-antipodal schemes an equivalence is established. We conclude by partially extending a result of Brouwer and Koolen concerning the connectivity of graphs arising from metric schemes.
The shuffle conjecture
Published
• View Publication
• BIB
Walks in the plane taking unit-length steps north and east from $(0,0)$ to $(n,n)$ never dropping below $y=x$ and parking cars subject to preferences are two intriguing ingredients in a formula conjectured in 2005, now famously known as the shuffle conjecture.
Here we describe the combinatorial tools needed to state the conjecture. We also give key parts and people in its history, including its eventual algebraic solution by Carlsson and Mellit, which was published in the Journal of the American Mathematical Society in 2018. Finally, we conclude with some remaining open problems.
The covering lemma and $q$-analogues of extremal set theory problems
Published
• View Publication
• BIB
We prove a general lemma (inspired by a lemma of Holroyd and Talbot) about the connection of the largest cardinalities (or weight) of structures satisfying some hereditary property and substructures satisfying the same hereditary property. We use it to show how results concerning forbidden subposet problems in the Boolean poset imply analogous results in the poset of subspaces of a finite vector space. We also study generalized forbidden subposet problems in the poset of subspaces.
Doubly transitive lines II: Almost simple symmetries
Published
• View Publication
• BIB
We study lines through the origin of finite-dimensional complex vector spaces that enjoy a doubly transitive automorphism group. This paper classifies those lines that exhibit almost simple symmetries. We introduce a general recipe involving Schur covers to recover doubly transitive lines from their automorphism group. Combining our results with recent work on the affine case by Dempwolff and Kantor, we deduce a classification of all linearly dependent doubly transitive lines in real or complex space.
Fractional Exclusion Statistics as an Occupancy Process
Published
• View Publication
• BIB
We show the possibility of describing fractional exclusion statistics (FES) as an occupancy process with global and \textit{local} exclusion constraints. More specifically, using combinatorial identities, we show that FES can be viewed as "ball-in-box" models with appropriate weighting on the set of occupancy configurations (merely represented by a partition of the total number of particles). As a consequence, the following exact statement of the generalized Pauli principle is derived: for an $N$-particles system exhibiting FES of extended parameter \mbox{$g=q/r$} ($q$ and $r$ are co-prime integers such that $0 < q \leq r$), (1)~the allowed occupation number of a state is less than or equal to $r-q+1$ and \emph{not} to $1/g$ whenever $q\neq 1$ and (2)~the global occupancy shape is admissible if the number of states occupied by at least two particles is less than or equal to $(N-1)/r$ ($N \equiv 1 \mod r$). These counting rules allow distinguishing infinitely many families of FES systems depending on the parameter $g$ and the size $N$.
Comparing Wiener complexity with eccentric complexity
Published
• View Publication
• BIB
The transmission of a vertex $v$ of a graph $G$ is the sum of distances from $v$ to all the other vertices in $G$. The Wiener complexity of $G$ is the number of different transmissions of its vertices. Similarly, the eccentric complexity of $G$ is defined as the number of different eccentricities of its vertices. In this paper these two complexities are compared. The complexities are first studied on Cartesian product graphs. Transmission indivisible graphs and arithmetic transmission graphs are introduced to demonstrate sharpness of upper and lower bounds on the Wiener complexity, respectively. It is shown that for almost all graphs the Wiener complexity is not smaller than the eccentric complexity. This property is proved for trees, the equality holding precisely for center-regular trees. Several families of graphs in which the complexities are equal are constructed. Using the Cartesian product, it is proved that the eccentric complexity can be arbitrarily larger than the Wiener complexity. Additional infinite families of graphs with this property are constructed by amalgamating universally diametrical graphs with center-regular trees.
Edge Disjoint Caterpillar Realizations
In this paper, we consider the edge disjoint caterpillar realizations of tree degree sequences. We give the necessary and sufficient conditions when two tree degree sequences have edge disjoint caterpillar realizations. We conjecture that an arbitrary number of tree degree sequences have edge disjoint realizations if every vertex is a leaf in at most one tree. We prove that the conjecture is true if the number of tree degree sequences is at most $4$. We also prove that the conjecture is true if $n \ge \max\{22k-11, 396\}$, where $n$ is the number of vertices and $k$ is the number of tree degree sequences.
Ramsey numbers and monotone colorings
Published in Journal of Combinatorial Theory, Series A 163, pages 34-58, 2019
• View Publication
• BIB
For positive integers $N$ and $r \geq 2$, an $r$-monotone coloring of $\binom{\{1,\dots,N\}}{r}$ is a 2-coloring by $-1$ and $+1$ that is monotone on the lexicographically ordered sequence of $r$-tuples of every $(r+1)$-tuple from~$\binom{\{1,\dots,N\}}{r+1}$. Let ${\overline{R}_{mon}}(n;r)$ be the minimum $N$ such that every $r$-monotone coloring of $\binom{\{1,\dots,N\}}{r}$ contains a monochromatic copy of $\binom{\{1,\dots,n\}}{r}$.
For every $r \geq 3$, it is known that ${\overline{R}_{mon}}(n;r) \leq tow_{r-1}(O(n))$, where $tow_h(x)$ is the tower function of height $h-1$ defined as $tow_1(x)=x$ and $tow_h(x) = 2^{tow_{h-1}(x)}$ for $h \geq 2$. The Erdős--Szekeres Lemma and the Erdős--Szekeres Theorem imply ${\overline{R}_{mon}}(n;2)=(n-1)^2+1$ and ${\overline{R}_{mon}}(n;3)=\binom{2n-4}{n-2}+1$, respectively. It follows from a result of Eliáš and Matoušek that ${\overline{R}_{mon}}(n;4)\geq tow_3(Ω(n))$.
We show that ${\overline{R}_{mon}}(n;r)\geq tow_{r-1}(Ω(n))$ for every $r \geq 3$. This, in particular, solves an open problem posed by Eliáš and Matoušek and by Moshkovitz and Shapira. Using two geometric interpretations of monotone colorings, we show connections between estimating ${\overline{R}_{mon}}(n;r)$ and two Ramsey-type problems that have been recently considered by several researchers. Namely, we show connections with higher-order Erdős--Szekeres theorems and with Ramsey-type problems for order-type homogeneous sequences of points.
We also prove that the number of $r$-monotone colorings of $\binom{\{1,\dots,N\}}{r}$ is $2^{N^{r-1}/r^{Θ(r)}}$ for $N \geq r \geq 3$, which generalizes the well-known fact that the number of simple arrangements of~$N$ pseudolines is $2^{Θ(N^2)}$.
Strong chromatic index and Hadwiger number
Published
• View Publication
• BIB
We investigate the effect of a fixed forbidden clique minor upon the strong chromatic index, both in multigraphs and in simple graphs.
We conjecture for each $k\ge 4$ that any $K_k$-minor-free multigraph of maximum degree $Δ$ has strong chromatic index at most $\frac32(k-2)Δ$. We present a construction certifying that if true the conjecture is asymptotically sharp as $Δ\to\infty$. In support of the conjecture, we show it in the case $k=4$ and prove the statement for strong clique number in place of strong chromatic index.
By contrast, we make a basic observation that for $K_k$-minor-free simple graphs, the problem of strong edge-colouring is "between" Hadwiger's Conjecture and its fractional relaxation.
For $k\geq5$, we also show that $K_k$-minor-free multigraphs of edge-diameter at most $2$ have strong clique number at most $(k-\frac{1}{2})Δ$.
On configurations concerning cardinal characteristics at regular cardinals
Published in Journal of Symbolic Logic, vol. 85, no. 2, June 2020, pages 691-708
• View Publication
• BIB
We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_θ,\mathfrak{p}_θ,\mathfrak{g}_θ,\mathfrak{r}_θ,\mathfrak{t}_θ$ at uncountable regular cardinals $θ$. Motivated by a theorem of Raghavan-Shelah who proved that $\mathfrak{s}_θ\leq\mathfrak{b}_θ$, we explore in the first part of the paper the consistency of inequalities comparing $\mathfrak{s}_θ$ with $\mathfrak{p}_θ$ and $\mathfrak{g}_θ$. In the second part of the paper we study variations of the extender-based Radin forcing to establish several consistency results concerning $\mathfrak{r}_θ$ from hyper-measurability assumptions, results which were previously known to be consistent only from supercompactness assumptions. In doing so, we answer several questions which appeared in the literature.
Moments of moments of characteristic polynomials of random unitary matrices and lattice point counts
Published
• View Publication
• BIB
In this note we give a combinatorial and non-computational proof of the asymptotics of the integer moments of the moments of the characteristic polynomials of Haar distributed unitary matrices as the size of the matrix goes to infinity. This is achieved by relating these quantities to a lattice point count problem. Our main result is a new explicit expression for the leading order coefficient in the asymptotic as a volume of a certain region involving continuous Gelfand-Tsetlin patterns with constraints.
An infinite family of $m$-ovoids of $Q(4,q)$
Published
• View Publication
• BIB
In this paper, we construct an infinite family of $\frac{q-1}{2}$-ovoids of the generalized quadrangle $Q(4,q)$, for $q\equiv 1 (\text{mod}\ 4)$ and $q>5$. Together with the examples given by Bamberg et al. and constructions provided by Feng et al., this establishes the existence of $\frac{q-1}{2}$-ovoids in $Q(4,q)$ for each odd prime power $q$.
Counting and ordering periodic stationary solutions of lattice Nagumo equations
Published
• View Publication
• BIB
We study the rich structure of periodic stationary solutions of Nagumo reaction diffusion equation on lattices. By exploring the relationship with Nagumo equations on cyclic graphs we are able to divide these periodic solutions into equivalence classes that can be partially ordered and counted. In order to accomplish this, we use combinatorial concepts such as necklaces, bracelets and Lyndon words.
Cyclic cycle systems of the complete multipartite graph
Published
• View Publication
• BIB
In this paper, we study the existence problem for cyclic $\ell$-cycle decompositions of the graph $K_m[n]$, the complete multipartite graph with $m$ parts of size $n$, and give necessary and sufficient conditions for their existence in the case that $2\ell \mid (m-1)n$.
Counting degree-constrained subgraphs and orientations
The goal of this short paper to advertise the method of gauge transformations (aka holographic reduction, reparametrization) that is well-known in statistical physics and computer science, but less known in combinatorics. As an application of it we give a new proof of a theorem of A. Schrijver asserting that the number of Eulerian orientations of a $d$--regular graph on $n$ vertices with even $d$ is at least $\left(\frac{\binom{d}{d/2}}{2^{d/2}}\right)^n$. We also show that a $d$--regular graph with even $d$ has always at least as many Eulerian orientations as $(d/2)$--regular subgraphs.
Transcendental holomorphic maps between real algebraic manifolds in a complex space
Published
• View Publication
• BIB
We give an example of a real algebraic manifold embedded in a complex space that does not satisfy the Nash-Artin approximation Property. This Nash-Artin approximation Property is closely related to the problem of determining when the biholomorphic equivalence for germs of real algebraic manifolds coincides with the algebraic equivalence. This example is an elliptic Bishop surface, and its construction is based on the functional equation satisfied by the generating series of some walks restricted to the quarter plane.
Phase transition in random intersection graphs with communities
Published
• View Publication
• BIB
The `random intersection graph with communities' models networks with communities, assuming an underlying bipartite structure of groups and individuals. Each group has its own internal structure described by a (small) graph, while groups may overlap. The group memberships are generated by a bipartite configuration model. The model generalizes the classical random intersection graph model that is included as the special case where each community is a complete graph (or clique).
The `random intersection graph with communities' is analytically tractable. We prove a phase transition in the size of the largest connected component based on the choice of model parameters. Further, we prove that percolation on our model produces a graph within the same family, and that percolation also undergoes a phase transition. Our proofs rely on the connection to the bipartite configuration model, however, with the arbitrary structure of the groups, it is not completely straightforward to translate results on the group structure into results on the graph. Our related results on the bipartite configuration model are not only instrumental to the study of the random intersection graph with communities, but are also of independent interest, and shed light on interesting differences from the unipartite case.
The PBW basis of $U_{q,\bar{q}}(\ddot{\mathfrak{gl}}_n)$
We consider the PBW basis of the type A quantum toroidal algebra developed by the author, and prove commutation relations between its generators akin to the ones studied by Burban-Schiffmann for n=1. This gives rise to a new presentation of the quantum toroidal algebra of type A.
Perfect Italian domination on planar and regular graphs
Published
• View Publication
• BIB
A perfect Italian dominating function of a graph $G=(V,E)$ is a function $f : V \to \{0,1,2\}$ such that for every vertex $f(v) = 0$, it holds that $\sum_{u \in N(v)} f(u) = 2$, i.e., the weight of the labels assigned by $f$ to the neighbors of $v$ is exactly two. The weight of a perfect Italian function is the sum of the weights of the vertices. The perfect Italian domination number of $G$, denoted by $γ^p_I(G)$, is the minimum weight of any perfect Italian dominating function of $G$. While introducing the parameter, Haynes and Henning (Discrete Appl. Math. (2019), 164--177) also proposed the problem of determining the best possible constants $c_\mathcal{G}$ such that $γ^p_I(G) \leq c_\mathcal{G} \times n$ for all graphs of order $n$ when $G$ is in a particular class $\mathcal{G}$ of graphs. They proved that $c_\mathcal{G} = 1$ when $\mathcal{G}$ is the class of bipartite graphs, and raised the question for planar graphs and regular graphs. We settle their question precisely for planar graphs by proving that $c_\mathcal{G} = 1$ and for cubic graphs by proving that $c_\mathcal{G} = 2/3$. For split graphs, we also show that $c_\mathcal{G} = 1$. In addition, we characterize the graphs $G$ with $γ^p_I(G)$ equal to 2 and 3 and determine the exact value of the parameter for several simple structured graphs. We conclude by proving that it is NP-complete to decide whether a given bipartite planar graph admits a perfect Italian dominating function of weight $k$.