Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Linear polychromatic colorings of hypercube faces
Published in Electr. J. Comb. 25(1):P1.2, 2018
• View Publication
• BIB
A coloring of the $\ell$-dimensional faces of $Q_n$ is called $d$-polychromatic if every embedded $Q_d$ has every color on at least one face. Denote by $p^\ell(d)$ the maximum number of colors such that any $Q_n$ can be colored in this way. We provide a new lower bound on $p^\ell(d)$ for $\ell > 1$.
Punctures for Theories of Class $\mathcal{S}_Γ$
Published
• View Publication
• BIB
With the aim of understanding compactifications of 6D superconformal field theories to four dimensions, we study punctures for theories of class $\mathcal{S}_Γ$. The class $\mathcal{S}_Γ$ theories arise from M5-branes probing $\mathbb{C}^2 / Γ$, an ADE singularity. The resulting 4D theories descend from compactification on Riemann surfaces decorated with punctures. We show that for class $\mathcal{S}_Γ$ theories, a puncture is specified by singular boundary conditions for fields in the 5D quiver gauge theory obtained from compactification of the 6D theory on a cylinder geometry. We determine general boundary conditions and study in detail solutions with first order poles. This yields a generalization of the Nahm pole data present for $1/2$ BPS punctures for theories of class $\mathcal{S}$. Focusing on specific algebraic structures, we show how the standard discussion of nilpotent orbits and its connection to representations of $\mathfrak{su}(2)$ generalizes in this broader context.
Newton flows for elliptic functions II Structural stability: Classification & Representation
Published
• View Publication
• BIB
In our previous paper we associated to each non-constant elliptic function $f$ on a torus $T$ a dynamical system, the elliptic Newton flow corresponding to $f$. We characterized the functions for which these flows are structurally stable and showed a genericity result. In the present paper we focus on the classification and representation of these structurally stable flows. The phase portrait of a structurally stable elliptic Newton flow generates a connected, cellularly embedded, graph $\mathcal{G}(f)$ on a torus $T$ with $r$ vertices, 2$r$ edges and $r$ faces that fulfil certain combinatorial properties ( Euler, Hall) on some of its subgraphs. The graph $\mathcal{G}(f)$ determines the conjugacy class of the flow. [classification] A connected, cellularly embedded toroidal graph $\mathcal{G}$ with the above Euler and Hall properties, is called a Newton graph. Any Newton graph $\mathcal{G}$ can be realized as the graph $\mathcal{G}(f)$ of the structurally stable Newton flow for some function $f$. This leads to: up till conjugacy between flows and (topological) equivalency between graphs, there is a one to one correspondence between the structurally stable Newton flows and Newton graphs, both with respect to the same order $r$ of the underlying functions $f$.[representation] Finally, we clarify the analogy between rational and elliptic Newton flows, and show that the detection of elliptic Newton flows is possible in polynomial time.
Newton flows for elliptic functions III Classification of $3^{\text{rd}}$ order Newton graphs
A Newton graph of order $r( \geqslant 2)$ is a cellularly embedded toroidal graph on $r$ vertices, $2r$ edges and $r$ faces that fulfils certain combinatorial properties (Euler, Hall). The significance of these graphs relies on their role in the study of structurally stable elliptic Newton flows - say $\bar{\bar{\mathcal{N}}} (f)$ - of order $r$, i.e. desingularized continuous versions of Newton's iteration method for finding zeros for an elliptic function $f$ (of order $r$). In previous work we established a representation of these flows in terms of Newton graphs. The present paper results into the classification of all $3^{\text{rd}}$ order Newton graphs, implying a list of all nine possible $3^{\text{rd}}$ order flows $\bar{\bar{\mathcal{N}}} (f)$ (up to conjugacy and duality).
On coordinatising planes of prime power order using finite fields
Published
• View Publication
• BIB
We revisit the coordinatisation method for projective planes. First, we discuss how the behaviour of the additive and multiplicative loops can be described in terms of its action on the "vertical" line, and how this means one can coordinatise certain planes in an optimal sense. We then move to consider projective planes of prime power order only. Specifically, we consider how coordinatising planes of prime power order using finite fields as the underlying labelling set leads to some general restrictions on the form of the resulting planar ternary ring (PTR) when viewed as a trivariate polynomial over the field. We also consider the Lenz-Barlotti type of the plane being coordinatised, deriving further restrictions on the form of the PTR polynomial.
The growth constant of odd cutsets in high dimensions
Published
• View Publication
• BIB
A cutset is a non-empty finite subset of $\mathbb{Z}^d$ which is both connected and co-connected. A cutset is odd if its vertex boundary lies in the odd bipartition class of $\mathbb{Z}^d$. Peled suggested that the number of odd cutsets which contain the origin and have $n$ boundary edges may be of order $e^{Θ(n/d)}$ as $d \to \infty$, much smaller than the number of general cutsets, which was shown by Lebowitz and Mazel to be of order $d^{Θ(n/d)}$. In this paper, we verify this by showing that the number of such odd cutsets is $(2+o(1))^{n/2d}$.
Random simplicial complexes - around the phase transition
Published
• View Publication
• BIB
This article surveys some of the work done in recent years on random simplicial complexes. We mostly consider higher-dimensional analogs of the well known phase transition in $G(n, p)$ theory that occurs at $p = \frac 1n$ . Our main objective is to provide a more streamlined and unified perspective of some of the papers in this area.
Graph-Like Compacta: Characterizations and Eulerian Loops
Published
• View Publication
• BIB
A compact graph-like space is a triple $(X,V,E)$ where $X$ is a compact, metrizable space, $V \subseteq X$ is a closed zero-dimensional subset, and $E$ is an index set such that $X \setminus V \cong E \times (0,1)$. New characterizations of compact graph-like spaces are given, connecting them to certain classes of continua, and to standard subspaces of Freudenthal compactifications of locally finite graphs. These are applied to characterize Eulerian graph-like compacta.
Some Notes on Pairs in Binary Strings
Seth (Mathematics Stack Exchange, http://math.stackexchange.com/q/1812699) posed a problem that is equivalent to the following: how many binary strings of length n have exactly k pairs of consecutive 0s and exactly m pairs of consecutive 1s, where the first and last bits are considered as being consecutive? In this paper, we provide a closed form solution which also solves a related problem with some interesting connections to other combinatorial sequences.
Unit Hypercube Visibility Numbers of Trees
Published
• View Publication
• BIB
A visibility representation of a graph $G$ is an assignment of the vertices of $G$ to geometric objects such that vertices are adjacent if and only if their corresponding objects are "visible" each other, that is, there is an uninterrupted channel, usually axis-aligned, between them. Depending on the objects and definition of visibility used, not all graphs are visibility graphs. In such situations, one may be able to obtain a visibility representation of a graph $G$ by allowing vertices to be assigned to more than one object. The {\it visibility number} of a graph $G$ is the minimum $t$ such that $G$ has a representation in which each vertex is assigned to at most $t$ objects.
In this paper, we explore visibility numbers of trees when the vertices are assigned to unit hypercubes in $\mathbb{R}^n$. We use two different models of visibility: when lines of sight can be parallel to any standard basis vector of $\mathbb{R}^n$, and when lines of sight are only parallel to the $n$th standard basis vector in $\mathbb{R}^n$. We establish relationships between these visibility models and their connection to trees with certain cubicity values.
The mechanical modes of a $2$-periodic triangulated surface
A recent "hidden symmetry" conjecture of B. Gin-ge Chen et al is resolved, concerning the dimension of the mechanical modes of a generic $2$-periodic triangulated surface $O$ in $R^3$ whose structure graph corresponds to a triangular tiling of $R^2$. We introduce an indexing of the terms in an associated sparse determinant $p_O(z_1, z_2)$ by means of oriented $3$-colourings of the underlying sparse graph, and use this and vertex splitting arguments to show that $p_O(z_1,z_2)$ is palindromic or antipalindromic, up to a shift index. This implies the conjectured dimension $1$ phenomenon for these surfaces. As a corollary we obtain the topological stability of the generic modes of a $1$-periodic triangulated nanotube.
Approximating Vizing's independence number conjecture
Published in Australasian Journal of Combinatorics Vol. 71 (2018) 153 - 160
• Search Publication
In 1965, Vizing conjectured that the independence ratio of edge-chromatic critical graphs is at most $\frac{1}{2}$. We prove that for every $ε> 0$ this conjecture is equivalent to its restriction on a specific set of edge-chromatic critical graphs with independence ratio smaller than $\frac{1}{2} + ε$.
Cohen-Macaulay lexsegment complexes in arbitrary codimension
Published
• View Publication
• BIB
We characterize pure lexsegment complexes which are Cohen-Macaulay in arbitrary codimension. More precisely, we prove that any lexsegment complex is Cohen-Macaulay if and only if it is pure and its one dimensional links are connected, and, a lexsegment flag complex is Cohen-Macaulay if and only if it is pure and connected. We show that any non-Cohen-Macaulay lexsegment complex is a Buchsbaum complex if and only if it is a pure disconnected flag complex. For $t\ge 2$, a lexsegment complex is strictly Cohen-Macaulay in codimension $t$ if and only if it is the join of a lexsegment pure disconnected flag complex with a $(t-2)$-dimensional simplex. When the Stanley-Reisner ideal of a pure lexsegment complex is not quadratic, the complex is Cohen-Macaulay if and only if it is Cohen-Macaulay in some codimension. Our results are based on a characterization of Cohen-Macaulay and Buchsbaum lexsegment complexes by Bonanzinga, Sorrenti and Terai.
On the $A_α$-spectra of trees
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of the degrees of $G$. For every real $α\in\left[ 0,1\right],$ define the matrix $A_α\left(G\right) $ as \[ A_α\left(G\right) =αD\left(G\right) +(1-α)A\left(G\right) \] where $0\leqα\leq1$.
This paper gives several results about the $A_α$-matrices of trees. In particular, it is shown that if $T_Δ$ is a tree of maximal degree $Δ,$ then the spectral radius of $A_α(T_Δ)$ satisfies the tight inequality \[ ρ(A_α(T_Δ))<αΔ+2(1-α)\sqrt{Δ-1}. \] This bound extends previous bounds of Godsil, Lovász, and Stevanović. The proof is based on some new results about the $A_α$-matrices of Bethe trees and generalized Bethe trees.
In addition, several bounds on the spectral radius of $A_α$ of general graphs are proved, implying tight bounds for paths and Bethe trees.
A $q$-Queens Problem. V. Some of Our Favorite Pieces: Queens, Bishops, Rooks, and Nightriders
Published in J. Korean Math. Soc., 57(6) (2020), 1407-1433
• Search Publication
Parts I-IV showed that the number of ways to place $q$ nonattacking queens or similar chess pieces on an $n\times n$ chessboard is a quasipolynomial function of $n$ whose coefficients are essentially polynomials in $q$. For partial queens, which have a subset of the queen's moves, we proved complete formulas for these counting quasipolynomials for small numbers of pieces and other formulas for high-order coefficients of the general counting quasipolynomials. We found some upper and lower bounds for the periods of those quasipolynomials by calculating explicit denominators of vertices of the inside-out polytope.
Here we discover more about the counting quasipolynomials for partial queens, both familiar and strange, and the nightrider and its subpieces, and we compare our results to the empirical formulas found by Kotěšovec. We prove some of Kotěšovec's formulas and conjectures about the quasipolynomials and their high-order coefficients, and in some instances go beyond them.
The Hamilton-Waterloo Problem for $C_3$-factors and $C_n$-factors
Published in Journal of Combinatorial Design 25(2017),385-418
• View Publication
• BIB
The Hamilton-Waterloo problem asks for a 2-factorization of $K_v$ (for $v$ odd) or $K_v$ minus a $1$-factor (for $v$ even) into $C_m$-factors and $C_n$-factors. We completely solve the Hamilton-Waterloo problem in the case of $C_3$-factors and $C_n$-factors for $n=4,5,7$.
Topology of scrambled simplices
Published
• View Publication
• BIB
In this paper we define a family of topological spaces, which contains and vastly generalizes the higher-dimensional Dunce hats. Our definition is purely combinatorial, and is phrased in terms of identifications of boundary simplices of a~standard d-simplex. By virtue of the construction, the obtained spaces may be indexed by words, and they automatically carry the structure of a $Δ$-complex.
As our main result, we completely determine the homotopy type of these spaces. In fact, somewhat surprisingly, we are able to prove that each of them is either contractible or homotopy equivalent to an odd-dimensional sphere. We develop the language to determine the homotopy type directly from the combinatorics of the indexing word.
As added benefit of our investigation, we are able to emulate the Dunce hat phenomenon, and to obtain a large family of both $Δ$-complexes, as well as simplicial complexes, which are contractible, but not collapsible.
Enumerating independent vertex sets in grid graphs
Published in Linear Algebra and its Applications 510 (2016) 192-204
• View Publication
• BIB
A set of vertices in a graph is called independent if no two vertices of the set are connected by an edge. In this paper we use the state matrix recursion algorithm, developed by Oh, to enumerate independent vertex sets in a grid graph and even further to provide the generating function with respect to the number of vertices. We also enumerate bipartite independent vertex sets in a grid graph. The asymptotic behavior of their growth rates is presented.
Short Proof of Erd\H os Conjecture for Triple Systems
Published
• View Publication
• BIB
In 1965 Erd\H os conjectured that for all $k\ge2$, $s\ge1$ and $n\ge k(s+1)$, an $n$-vertex $k$-uniform hypergraph $\F$ with $ν(\F)=s$ cannot have more than \newline $\max\{\binom{sk+k-1}k,\;\binom nk-\binom{n-s}k\}$ edges. It took almost fifty years to prove it for triple systems. In 2012 we proved the conjecture for all $s$ and all $n\ge4(s+1)$. Then Łuczak and Mieczkowska (2013) proved the conjecture for sufficiently large $s$ and all $n$. Soon after, Frankl proved it for all $s$. Here we present a simpler version of that proof which yields Erd\H os's conjecture for $s\ge33$. Our motivation is to lay down foundations for a possible proof in the much harder case $k=4$, at least for large $s$.
Mirror graphs: graph theoretical characterization of reflection arrangements and finite Coxeter groups
Published
• View Publication
• BIB
Mirror graphs were introduced by Brešar et al. in 2004 as an intriguing class of graphs: vertex-transitive, isometrically embeddable into hypercubes, having a strong connection with regular maps and polytope structure. In this article we settle the structure of mirror graphs by characterizing them as precisely the Cayley graphs of the finite Coxeter groups or equivalently the tope graphs of reflection arrangements - well understood and classified structures. We provide a polynomial algorithm for their recognition.