Showing 20 papers (Total: 82901 papers, 47900 authors in database)
A Characterization of $(4,2)$-Choosable Graphs
Published in Journal of Graph Theory. Vol. 92(4), December 2019, pp. 460-487
• View Publication
• BIB
A graph $G$ is \emph{$(a,b)$-choosable} if given any list assignment $L$ with $|L(v)|=a$ for each $v\in V(G)$ there exists a function $\varphi$ such that $\varphi(v)\in L(v)$ and $|\varphi(v)|=b$ for all $v\in V(G)$, and whenever vertices $x$ and $y$ are adjacent $\varphi(x)\cap \varphi(y)=\emptyset$. Meng, Puleo, and Zhu conjectured a characterization of (4,2)-choosable graphs. We prove their conjecture.
Signed Countings of types B and D permutations and $t,q$-Euler Numbers
Published
• View Publication
• BIB
It is a classical result that the parity-balance of the number of weak excedances of all permutations (derangements, respectively) of length $n$ is the Euler number $E_n$, alternating in sign, if $n$ is odd (even, respectively). Josuat-Vergès obtained a $q$-analog of the results respecting the number of crossings of a permutation. One of the goals in this paper is to extend the results to the permutations (derangements, respectively) of types B and D, on the basis of the joint distribution in statistics excedances, crossings and the number of negative entries obtained by Corteel, Josuat-Vergès and Kim.
Springer numbers are analogous Euler numbers that count the alternating permutations of type B, called snakes. Josuat-Vergès derived bivariate polynomials $Q_n(t,q)$ and $R_n(t,q)$ as generalized Euler numbers via successive $q$-derivatives and multiplications by $t$ on polynomials in $t$. The other goal in this paper is to give a combinatorial interpretation of $Q_n(t,q)$ and $R_n(t,q)$ as the enumerators of the snakes with restrictions.
On the strong non-rigidity of certain tight Euclidean designs
Published in European Journal of Combinatorics 28 (2007) 1662-1680
• View Publication
• BIB
We study the non-rigidity of Euclidean $t$-designs, namely we study when Euclidean designs (in particular certain tight Euclidean designs) can be deformed keeping the property of being Euclidean $t$-designs. We show that certain tight Euclidean $t$-designs are non-rigid, and in fact satisfy a stronger form of non-rigidity which we call strong non-rigidity. This shows that there are plenty of non-isomorphic tight Euclidean $t$-designs for certain parameters, which seems to have been unnoticed before. We also include the complete classification of tight Euclidean $2$-designs.
On the nxnxn Rubik's Cube
Published in Mathematica Slovaca 68/2018
• View Publication
• BIB
We describe in details the nxnxn Rubik's Cube, namely a Rubik's Cube with n rotating slices in each face. Then we state and prove the "first law of Cubology", i.e. the solvability criterion, for it
Multi-Symbol Forbidden Configurations
Published
• View Publication
• BIB
An $r$-matrix is a matrix with symbols in $\{0,1,\dots,r-1\}$. A matrix is simple if it has no repeated columns. Let the support of a matrix $F$, $\text{supp}(F)$ be the largest simple matrix such that every column in $\text{supp}(F)$ is in $F$. For a family of $r$-matrices $\mathcal{F}$, we define $\text{forb}(m,r,\mathcal{F})$ as the maximum number of columns of an $m$-rowed, $r$-matrix $A$ such that $F$ is not a row-column permutation of $A$ for all $F \in \mathcal{F}$. While many results exist for $r=2$, there are fewer for larger numbers of symbols. We expand on the field of forbidding matrices with $r$-symbols, introducing a new construction for lower bounds of the growth of $\text{forb}(m,r,\mathcal{F})$ (with respect to $m$) that is applicable to matrices that are either not simple or have a constant row. We also introduce a new upper bound restriction that helps with avoiding non-simple matrices, limited either by the asymptotic bounds of the support, or the size of the forbidden matrix, whichever is larger. Continuing the trend of upper bounds, we represent a well-known technique of standard induction as a graph, and use graph theory methods to obtain asymptotic upper bounds. With these techniques we solve multiple, previously unknown, asymptotic bounds for a variety of matrices. Finally, we end with block matrices, or matrices with only constant row, and give bounds for all possible cases.
Topology of tropical moduli of weighted stable curves
Published
• View Publication
• BIB
The moduli space $Δ_{g,w}$ of tropical $w$-weighted stable curves of volume $1$ is naturally identified with the dual complex of the divisor of singular curves in Hassett's spaces of $w$-weighted stable curves. If at least two of the weights are $1$, we prove that $Δ_{0,w}$ is homotopic to a wedge sum of spheres, possibly of varying dimensions. Under additional natural hypotheses on the weight vector, we establish explicit formulas for the Betti numbers of the spaces. We exhibit infinite families of weights for which the space $Δ_{0,w}$ is disconnected and for which the fundamental group of $Δ_{0,w}$ has torsion. In the latter case, the universal cover is shown to have a natural modular interpretation. This places the weighted variant of the space in stark contrast to the heavy/light cases studied previously by Vogtmann and Cavalieri-Hampe-Markwig-Ranganathan. Finally, we prove a structural result relating the spaces of weighted stable curves in genus $0$ and $1$, and leverage this to extend several of our genus $0$ results to the spaces $Δ_{1,w}$.
Chip-firing groups of iterated cones
Published in Linear Algebra and its Applications (2018) vol. 556, pp. 46-54
• View Publication
• BIB
Let $Γ$ be a finite graph and let $Γ_n$ be the "$n$th cone over $Γ$" (i.e., the join of $Γ$ and the complete graph $K_n$). We study the asymptotic structure of the chip-firing group $\text{Pic}^0(Γ_n)$.
Steiner Distance in Graphs--A Survey
For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. In this paper, we summarize the known results on the Steiner distance parameters, including Steiner distance, Steiner diameter, Steiner center, Steiner median, Steiner interval, Steiner distance hereditary graph, Steiner distance stable graph, average Steiner distance, and Steiner Wiener index. It also contains some conjectures and open problems for further studies.
Structure Learning of $H$-colorings
Published
• View Publication
• BIB
We study the structure learning problem for $H$-colorings, an important class of Markov random fields that capture key combinatorial structures on graphs, including proper colorings and independent sets, as well as spin systems from statistical physics. The learning problem is as follows: for a fixed (and known) constraint graph $H$ with $q$ colors and an unknown graph $G=(V,E)$ with $n$ vertices, given uniformly random $H$-colorings of $G$, how many samples are required to learn the edges of the unknown graph $G$? We give a characterization of $H$ for which the problem is identifiable for every $G$, i.e., we can learn $G$ with an infinite number of samples. We also show that there are identifiable constraint graphs for which one cannot hope to learn every graph $G$ efficiently.
We focus particular attention on the case of proper vertex $q$-colorings of graphs of maximum degree $d$ where intriguing connections to statistical physics phase transitions appear. We prove that in the tree uniqueness region (when $q>d$) the problem is identifiable and we can learn $G$ in ${\rm poly}(d,q) \times O(n^2\log{n})$ time. In contrast for soft-constraint systems, such as the Ising model, the best possible running time is exponential in $d$. In the tree non-uniqueness region (when $q\leq d$) we prove that the problem is not identifiable and thus $G$ cannot be learned. Moreover, when $q<d-\sqrt{d} + Θ(1)$ we prove that even learning an equivalent graph (any graph with the same set of $H$-colorings) is computationally hard---sample complexity is exponential in $n$ in the worst case. We further explore the connection between the efficiency/hardness of the structure learning problem and the uniqueness/non-uniqueness phase transition for general $H$-colorings and prove that under the well-known Dobrushin uniqueness condition, we can learn $G$ in ${\rm poly}(d,q)\times O(n^2\log{n})$ time.
Triangle-Free Penny Graphs: Degeneracy, Choosability, and Edge Count
Published in J. Graph Algorithms & Applications 22 (3): 483-499, 2018
• View Publication
• BIB
We show that triangle-free penny graphs have degeneracy at most two, list coloring number (choosability) at most three, diameter $D=Ω(\sqrt n)$, and at most $\min\bigl(2n-Ω(\sqrt n),2n-D-2\bigr)$ edges.
The Effect of Planarization on Width
Published in J. Graph Algorithms & Applications 22 (3): 461-481, 2018
• View Publication
• BIB
We study the effects of planarization (the construction of a planar diagram $D$ from a non-planar graph $G$ by replacing each crossing by a new vertex) on graph width parameters. We show that for treewidth, pathwidth, branchwidth, clique-width, and tree-depth there exists a family of $n$-vertex graphs with bounded parameter value, all of whose planarizations have parameter value $Ω(n)$. However, for bandwidth, cutwidth, and carving width, every graph with bounded parameter value has a planarization of linear size whose parameter value remains bounded. The same is true for the treewidth, pathwidth, and branchwidth of graphs of bounded degree.
Asymptotics for a Class of Meandric Systems, via the Hasse Diagram of NC(n)
Published in International Mathematics Research Notices 2020 (4), 983--1034, 2020
• View Publication
• BIB
We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(π,ρ)\in NC(n)^2$ -- namely the ones where $π$ is conditioned to be an interval partition -- for which it turns out to be tractable to study distances in the Hasse diagram. As a consequence, we observe a non-trivial class of meanders (i.e. connected meandric systems), which we call "meanders with shallow top", and which can be explicitly enumerated. Moreover, the expected number of components for a random "meandric system with shallow top", is asymptotically $(9n+28)/27$. Our calculations concerning expected number of components are related to the idea of taking the derivative at $t=1$ in a semigroup for the operation $\boxplus$ of free probability (but the underlying considerations are presented in a self-contained way, and can be followed without assuming a free probability background).
Let $c_{n}'$ denote the expected number of components of a general, unconditioned, meandric system of order $n$. A variation of the methods used in the shallow-top case allows us to prove that $\mathrm{lim\ inf}_{n\to\infty}c_{n}'/n\geq0.17$. We also note that, by a direct elementary argument, one has $\mathrm{lim\ sup}_{n\to\infty}c_{n}'/n\leq0.5$. These bounds support the conjecture that $c_{n}'$ follows a regime of "constant times $n$" (where numerical experiments suggest that the constant should be $\approx0.23$).
On the sign patterns of entrywise positivity preservers in fixed dimension
Published in American Journal of Mathematics 143 (2021), no. 6, 1863-1929
• View Publication
• BIB
Given $I\subset\mathbb{C}$ and an integer $N>0$, a function $f:I\to\mathbb{C}$ is entrywise positivity preserving on positive semidefinite (p.s.d.) matrices $A=(a_{jk})\in I^{N\times N}$, if the entrywise application $f[A]=(f(a_{jk}))$ of $f$ to $A$ is p.s.d. for all such $A$. Such preservers in all dimensions have been classified by Schoenberg and Rudin as being absolutely monotonic [Duke Math. J. 1942, 1959]. In fixed dimension $N$, results akin to work of Horn and Loewner [Trans. AMS 1969] show the first $N$ nonzero Maclaurin coefficients of a positivity preserver $f$ are positive; and the last $N$ coefficients are also positive if $I$ is unbounded. However, little was known about the other coefficients: the only examples to date for unbounded domains $I$ were absolutely monotonic, so work in all dimensions; and for bounded $I$ examples of non-absolutely monotonic preservers were very few (and recent).
In this paper, we completely characterize the sign patterns of the Maclaurin coefficients of positivity preservers in fixed dimension $N$, over bounded and unbounded domains $I$. In particular, the above Horn-type conditions cannot be improved upon. This also yields the first polynomials which preserve positivity on p.s.d. matrices in $I^{N\times N}$ but not in $I^{(N+1)\times (N+1)}$. We obtain analogous results for real exponents using the Harish-Chandra-Itzykson-Zuber formula.
We then go from qualitative bounds, which suffice to understand all possible sign patterns, to exact quantitative bounds. As an application, we extend our previous qualitative and quantitative results to understand preservers of total non-negativity in fixed dimension - including their sign patterns. We deduce several further applications, including extending a Schur polynomial conjecture by Cuttler-Greene-Skandera to obtain a novel characterization of weak majorization for real tuples.
Generalized Möbius Ladder and Its Metric Dimension
In this paper we introduce generalized Möbius ladder $M_{m,n}$ and give its metric dimension. Moreover, it is observed that, depending on even and odd values of $m$ and $n$, it has two subfamilies with constant metric dimensions.
On involutions and indicators of finite orthogonal groups
Published
• View Publication
• BIB
We study the numbers of involutions and their relation to Frobenius-Schur indicators in the groups $\mathrm{SO}^{\pm}(n,q)$ and $Ω^{\pm}(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture that a finite simple group $G$ is strongly real (all elements are conjugate to their inverses by an involution) if and only if it is totally orthogonal (all Frobenius-Schur indicators are 1), and we are able to show this holds for all finite simple groups $G$ other than the groups $\mathrm{Sp}(2n,q)$ with $q$ even or $Ω^{\pm}(4m,q)$ with $q$ even. We prove computationally that for small $n$ and $m$ this statement indeed holds for these groups by equating their character degree sums to the number of involutions. We also prove a result on a certain twisted indicator for the groups $\mathrm{SO}^{\pm}(4m+2,q)$ with $q$ odd. Our second motivation is to continue the work of Fulman, Guralnick, and Stanton on generating function and asymptotics for involutions in classical groups. We extend their work by finding generating functions for the numbers of involutions in $\mathrm{SO}^{\pm}(n,q)$ and $Ω^{\pm}(n,q)$ for all $q$, and we use these to compute the asymptotic behavior for the number of involutions in these groups when $q$ is fixed and $n$ grows.
Graphs with Flexible Labelings
Published in Discrete and Computational Geometry (2019). 62(2):461-480
• View Publication
• BIB
For a flexible labeling of a graph, it is possible to construct infinitely many non-equivalent realizations keeping the distances of connected points constant. We give a combinatorial characterization of graphs that have flexible labelings. The characterization is based on colorings of the edges with restrictions on the cycles. Furthermore, we give necessary criteria and sufficient ones for the existence of such colorings.
Cauchy-Stieltjes families with polynomial variance functions and generalized orthogonality
Published in Probability and Mathematical Statistics 39 (2019) pp. 237-258
• View Publication
• BIB
This paper studies variance functions of Cauchy-Stieltjes Kernel families generated by compactly supported centered probability measures. We describe several operations that allow us to construct additional variance functions from known ones. We construct a class of examples which exhausts all cubic variance functions, and provide examples of polynomial variance functions of arbitrary degree. We also relate Cauchy-Stieltjes Kernel families with polynomial variance functions to generalized orthogonality.
Our main results are stated solely in terms of classical probability; some proofs rely on analytic machinery of free probability.
On Some Properties of Tribonacci Quaternions
Published
• View Publication
• BIB
In this paper, we give some properties of the Tribonacci and Tribonacci-Lucas quaternions and obtain some identities for them.
Sufficient conditions for graphs to be $k$-connected, maximally connected and super-connected
Published
• View Publication
• BIB
Let $G$ be a connected graph with minimum degree $δ(G)$ and vertex-connectivity $κ(G)$. The graph $G$ is $k$-connected if $κ(G)\geq k$, maximally connected if $κ(G) = δ(G)$, and super-connected (or super-$κ$) if every minimum vertex-cut isolates a vertex of minimum degree. In this paper, we show that a connected graph or a connected triangle-free graph is $k$-connected, maximally connected or super-connected if the number of edges or the spectral radius is large enough.
The $6\times 6$ grid is $4$-path-pairable
Let $G=P_6\Box P_6$ be the $6\times 6$ grid, the Cartesian product of two paths of six vertices. Let $T$ be the set of eight distinct vertices of $G$, called terminals, and assume that $T$ is partitioned into four terminal pairs $\{s_i,t_i\}$, $1\leq i\leq 4$. We prove that $G$ is $4$-path-pairable, that is, for every $T$ there exist in $G$ pairwise edge disjoint $s_i,t_i$-paths, $1\leq i\leq 4$.