Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Quasisymmetric and noncommutative skew Pieri rules
Published in Adv. in Appl. Math. 100:101--121 (2018)
• View Publication
• BIB
In this note we derive skew Pieri rules in the spirit of Assaf-McNamara for skew quasisymmetric Schur functions using the Hopf algebraic techniques of Lam-Lauve-Sottile, and recover the original rules of Assaf-McNamara as a special case. We then apply these techniques a second time to obtain skew Pieri rules for skew noncommutative Schur functions.
On an Edge Precoloring Conjecture
Edwards, van den Heuvel, Kang, and Sereni conjectured the following strengthening of Vizing's Theorem: let $G$ be a simple graph, and let $K = Δ(G) + 1$. For any matching $M$ in $G$ and any precoloring of the edges in $M$ using the colors $\{1, \ldots, K\}$, there is some proper $K$-edge-coloring of $G$ extending the given precoloring. We give an infinite family of counterexamples to this conjecture, and prove a weaker version of the conjecture proposed in the same work.
Positivity of affine charge
The branching of (k-1)-Schur functions into k-Schur functions was given by Lapointe, Lam, Morse and Shimozono as chains in a poset on k-shapes. The k-Schur functions are the parameterless case of a more general family of symmetric functions over Q(t), conjectured to satisfy a k-branching formula given by weights on the k-shape poset. A concept of a (co)charge on a k-tableau was defined by Lapointe and Pinto. Although it is not manifestly positive, they prove it is compatible with the k-shape poset for standard k-tableau and the positivity follows. Morse introduced a manifestly positive notion of affine (co)charge on k-tableaux and conjectured that it matches the statistic of Lapointe-Pinto. Here we prove her conjecture and the positivity of k-(co)charge for semi-standard tableaux follows.
Graphical Exchange Mechanisms
Published
• View Publication
• BIB
Consider an exchange mechanism which accepts diversified offers of various commodities and redistributes everything it receives. We impose certain conditions of fairness and convenience on such a mechanism and show that it admits unique prices, which equalize the value of offers and returns for each individual.
We next define the complexity of a mechanism in terms of certain integers $τ_{ij},π_{ij}$ and $k_{i}$ that represent the time required to exchange $i$ for $j$, the difficulty in determining the exchange ratio, and the dimension of the message space. We show that there are a finite number of minimally complex mechanisms, in each of which all trade is conducted through markets for commodity pairs.
Finally we consider minimal mechanisms with smallest worst-case complexities $τ=\maxτ_{ij}$ and $π=\maxπ_{ij}$. For $m>3$ commodities, there are precisely three such mechanisms, one of which has a distinguished commodity -- the money -- that serves as the sole medium of exchange. As $m\rightarrow \infty$ the money mechanism is the only one with bounded $\left( π,τ\right) $.
Admissible colourings of 3-manifold triangulations for Turaev-Viro type invariants
Published in 24th Annual European Symposium on Algorithms (ESA 2016), Leibniz International Proceedings in Informatics (LIPIcs), vol. 57, 64:1-64:16, 2016
• View Publication
• BIB
Turaev Viro invariants are amongst the most powerful tools to distinguish 3-manifolds: They are implemented in mathematical software, and allow practical computations. The invariants can be computed purely combinatorially by enumerating colourings on the edges of a triangulation T.
These edge colourings can be interpreted as embeddings of surfaces in T. We give a characterisation of how these embedded surfaces intersect with the tetrahedra of T. This is done by characterising isotopy classes of simple closed loops in the 3-punctured disk. As a direct result we obtain a new system of coordinates for edge colourings which allows for simpler definitions of the tetrahedron weights incorporated in the Turaev-Viro invariants.
Moreover, building on a detailed analysis of the colourings, as well as classical work due to Kirby and Melvin, Matveev, and others, we show that considering a much smaller set of colourings suffices to compute Turaev-Viro invariants in certain significant cases. This results in a substantial improvement of running times to compute the invariants, reducing the number of colourings to consider by a factor of $2^n$. In addition, we present an algorithm to compute Turaev-Viro invariants of degree four -- a problem known to be #P-hard -- which capitalises on the combinatorial structure of the input.
The improved algorithms are shown to be optimal in the following sense: There exist triangulations admitting all colourings the algorithms consider. Furthermore, we demonstrate that our new algorithms to compute Turaev-Viro invariants are able to distinguish the majority of $\mathbb{Z}$-homology spheres with complexity up to $11$ in $O(2^n)$ operations in $\mathbb{Q}$.
Weak local rules for planar octagonal tilings
Published in Isr. J. Math. 222, No. 1, 63-89 (2017)
• View Publication
• BIB
We provide an effective characterization of the planar octagonal tilings which admit weak local rules. As a corollary, we show that they are all based on quadratic irrationalities, as conjectured by Thang Le in the 90s.
Cubic Graphs with Total Domatic Number at Least Two
Published
• View Publication
• BIB
Let $G$ be a graph. A total dominating set of $G$ is a set $S$ of vertices of $G$ such that every vertex is adjacent to at least one vertex in $S$. The total domatic number of a graph is the maximum number of total dominating sets which partition the vertex set of $G$. In this paper we would like to characterize the cubic graphs with total domatic number at least two.
On the Hurwitz action in finite Coxeter groups
Published
• View Publication
• BIB
We provide a necessary and sufficient condition on an element of a finite Coxeter group to ensure the transitivity of the Hurwitz action on its set of reduced decompositions into products of reflections. We show that this action is transitive if and only if the element is a parabolic quasi-Coxeter element, that is, if and only if it has a reduced decomposition into a product of reflections that generate a parabolic subgroup.
A linear set view on KM-arcs
Published
• View Publication
• BIB
In this paper, we study KM-arcs of type t, i.e. point sets of size q + t in PG(2, q) such that every line contains 0, 2 or t of its points. We use field reduction to give a different point of view on the class of translation arcs. Starting from a particular F2-linear set, called an i-club, we reconstruct the projective triads, the translation hyperovals as well as the translation arcs constructed by Korchmaros-Mazzocca, Gacs-Weiner and Limbupasiriporn. We show the KM-arcs of type q/4 recently constructed by Vandendriessche are translation arcs and fit in this family. Finally, we construct a family of KM-arcs of type q/4. We show that this family, apart from new examples that are not translation KM-arcs, contains all translation KM-arcs of type q/4.
Constructing minimal blocking sets using field reduction
Published in J. Combin. Designs 24 (2015), 36-52
• View Publication
• BIB
We present a construction for minimal blocking sets with respect to $(k-1)$-spaces in $\mathrm{PG}(n-1,q^t)$, the $(n-1)$-dimensional projective space over the finite field $\mathbb{F}_{q^t}$ of order $q^t$. The construction relies on the use of blocking cones in the {\em field reduced} representation of $\mathrm{PG}(n-1,q^t)$, extending the well-known construction of linear blocking sets. This construction is inspired by the construction for minimal blocking sets with respect to the hyperplanes by Mazzocca, Polverino and Storme ({\em the MPS-construction}); we show that for a suitable choice of the blocking cone over a planar blocking set, we obtain larger blocking sets than the ones obtained from planar blocking sets in \cite{pol}.
Furthermore we show that every minimal blocking set with respect to the hyperplanes in $\mathrm{PG}PG(n-1,q^t)$ can be obtained by applying field reduction to a minimal blocking set with respect to $(nt-t-1)$-spaces in $\mathrm{PG}(nt-1,q)$. We end by relating these constructions to the linearity conjecture for small minimal blocking sets. We show that if a small minimal blocking set is constructed from the MPS-construction, it is of Rédei-type whereas a small minimal blocking set arises from our cone construction if and only if it is linear.
Exending pseudo-arcs in odd characteristic
Published in Finite Fields Appl 22 (2013), 101-113
• View Publication
• BIB
A {\em pseudo-arc} in $\mathrm{PG}(3n-1,q)$ is a set of $(n-1)$-spaces such that any three of them span the whole space. A pseudo-arc of size $q^n+1$ is a {\em pseudo-oval}. If a pseudo-oval $\mathcal{O}$ is obtained by applying field reduction to a conic in $\mathrm{PG}(2,q^n)$, then $\mathcal{O}$ is called a {\em pseudo-conic}.
We first explain the connection of (pseudo-)arcs with Laguerre planes, orthogonal arrays and generalised quadrangles. In particular, we prove that the Ahrens-Szekeres GQ is obtained from a $q$-arc in $\mathrm{PG}(2,q)$ and we extend this construction to that of a GQ of order $(q^n-1,q^n+1)$ from a pseudo-arc of $\mathrm{PG}(3n-1,q)$ of size $q^n$.
The main theorem of this paper shows that if $\mathcal{K}$ is a pseudo-arc in $\mathrm{PG}(3n-1,q)$, $q$ odd, of size larger than the size of the second largest complete arc in $\mathrm{PG}(2,q^n)$, where for one element $K_i$ of $\mathcal{K}$, the partial spread $\mathcal{S}=\{K_1,\ldots,K_{i-1},K_{i+1},\ldots,K_{s}\}/K_i$ extends to a Desarguesian spread of $\mathrm{PG}(2n-1,q)$, then $\mathcal{K}$ is contained in a pseudo-conic. The main result of \cite{Casse} also follows from this theorem.
On the Planar Split Thickness of Graphs
Published in Algorithmica 80 (3): 977-994 (special issue for LATIN), 2018
• View Publication
• BIB
Motivated by applications in graph drawing and information visualization, we examine the planar split thickness of a graph, that is, the smallest $k$ such that the graph is $k$-splittable into a planar graph. A $k$-split operation substitutes a vertex $v$ by at most $k$ new vertices such that each neighbor of $v$ is connected to at least one of the new vertices.
We first examine the planar split thickness of complete graphs, complete bipartite graphs, multipartite graphs, bounded degree graphs, and genus-1 graphs. We then prove that it is NP-hard to recognize graphs that are $2$-splittable into a planar graph, and show that one can approximate the planar split thickness of a graph within a constant factor. If the treewidth is bounded, then we can even verify $k$-splittability in linear time, for a constant $k$.
Universal completability, least eigenvalue frameworks, and vector colorings
Published
• View Publication
• BIB
An embedding $i \mapsto p_i\in \mathbb{R}^d$ of the vertices of a graph $G$ is called universally completable if the following holds: For any other embedding $i\mapsto q_i~\in \mathbb{R}^{k}$ satisfying $q_i^T q_j = p_i^T p_j$ for $i = j$ and $i$ adjacent to $j$, there exists an isometry mapping the $q_i$'s to the $p_i$'s for all $ i\in V(G)$. The notion of universal completability was introduced recently due to its relevance to the positive semidefinite matrix completion problem. In this work we focus on graph embeddings constructed using the eigenvectors of the least eigenvalue of the adjacency matrix of $G$, which we call least eigenvalue frameworks. We identify two necessary and sufficient conditions for such frameworks to be universally completable. Our conditions also allow us to give algorithms for determining whether a least eigenvalue framework is universally completable. Furthermore, our computations for Cayley graphs on $\mathbb{Z}_2^n \ (n \le 5)$ show that almost all of these graphs have universally completable least eigenvalue frameworks. In the second part of this work we study uniquely vector colorable (UVC) graphs, i.e., graphs for which the semidefinite program corresponding to the Lovász theta number (of the complementary graph) admits a unique optimal solution. We identify a sufficient condition for showing that a graph is UVC based on the universal completability of an associated framework. This allows us to prove that Kneser and $q$-Kneser graphs are UVC. Lastly, we show that least eigenvalue frameworks of 1-walk-regular graphs always provide optimal vector colorings and furthermore, we are able to characterize all optimal vector colorings of such graphs. In particular, we give a necessary and sufficient condition for a 1-walk-regular graph to be uniquely vector colorable.
Thickness and Outerthickness for Embedded Graphs
Published
• View Publication
• BIB
We consider the thickness $θ(G))$ and outerthickness $θ_o(G)$ of a graph G in terms of its orientable and nonorientable genus. Dean and Hutchinson provided upper bounds for thickness of graphs in terms of their orientable genus. More recently, Concalves proved that the outerthickness of any planar graph is at most 2. In this paper, we apply the method of deleting spanning disks of embeddings to approximate the thickness and outerthickness of graphs. We first obtain better upper bounds for thickness. We then use a similar approach to provide upper bounds for outerthickness of graphs in terms of their orientable and nonorientable genera. Finally we show that the outerthickness of the torus (the maximum outerthickness of all toroidal graphs) is 3. We also show that all graphs embeddable in the double torus have thickness at most 3 and outerthickness at most 5.
Exposition of Elekes Szabo paper
We explain the Elekes Szabo paper in more details and improve the constant in one dimensional case in \mathbb{R} and \mathbb{C}.
Hypercubes are determined by their distance spectra
Published
• View Publication
• BIB
We show that the d-cube is determined by the spectrum of its distance matrix.
Polynomiality of shifted Plancherel averages and content evaluations
Published in Annales Mathématiques Blaise Pascal 24, no. 1 (2017), 55-82
• View Publication
• BIB
The shifted Plancherel measure is a natural probability measure on strict partitions. We prove a polynomiality property for the averages of the shifted Plancherel measure. As an application, we give alternative proofs of some content evaluation formulas, obtained by Han and Xiong very recently. Our main tool is factorial Schur $Q$-functions.
Crossings states and sets of states in Pólya random walks
Published in Methodolody and Computing in Applied Probability, 25 (2023), Issue 1, Article No. 28, 34 pp
• View Publication
• BIB
We consider the Pólya random walk in $\mathbb{Z}^2$. The paper establishes a number of results for the distributions and expectations of the number of usual (undirected) and specifically defined in the paper up- and down-directed state-crossings and different sets of states crossings. One of the most important results of this paper is that the expected number of undirected state-crossings $\mathbf{n}$ is equal to 1 for any state $\mathbf{n}\in\mathbb{Z}^2\setminus\{\mathbf{0}\}$. As well, the results of the paper are extended to $d$-dimensional random walks, $d\geq2$, in bounded areas.
Improved upper bounds for partial spreads
Published
• View Publication
• BIB
A partial $(k-1)$-spread in $\operatorname{PG}(n-1,q)$ is a collection of $(k-1)$-dimensional subspaces with trivial intersection, i.e., each point is covered at most once. So far the maximum size of a partial $(k-1)$-spread in $\operatorname{PG}(n-1,q)$ was known for the cases $n\equiv 0\pmod k$, $n\equiv 1\pmod k$ and $n\equiv 2\pmod k$ with the additional requirements $q=2$ and $k=3$. We completely resolve the case $n\equiv 2\pmod k$ for the binary case $q=2$.
Rational Shi tableaux and the skew length statistic
Published
• View Publication
• BIB
We define two refinements of the skew length statistic on simultaneous core partitions. The first one relies on hook lengths and is used to prove a refined version of the theorem stating that the skew length is invariant under conjugation of the core. The second one is equivalent to a generalisation of Shi tableaux to the rational level of Catalan combinatorics. These rational Shi tableaux encode dominant $p$-stable elements in the affine symmetric group. We prove that the rational Shi tableau is injective, that is, each dominant $p$-stable affine permutation is determined uniquely by its Shi tableau. Moreover, we provide a uniform generalisation of rational Shi tableaux to Weyl groups, and conjecture injectivity in the general case.