Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A Loop Reversibility and Subdiffusion of the Rotor-Router Walk
Published in J. Phys. A: Math. Theor. 48 (2015) 285203 (11pp)
• View Publication
• BIB
The rotor-router model on a graph describes a discrete-time walk accompanied by the deterministic evolution of configurations of rotors randomly placed on vertices of the graph. We prove the following property: if at some moment of time, the rotors form a closed clockwise contour on the planar graph, then the clockwise rotations of rotors generate a walk which enters into the contour at some vertex $v$, performs a number of steps inside the contour so that the contour formed by rotors becomes anti-clockwise, and then leaves the contour at the same vertex $v$. This property generalizes the previously proved theorem for the case when the rotor configuration inside the contour is a cycle-rooted spanning tree, and all rotors inside the contour perform a full rotation. We use the proven property for an analysis of the sub-diffusive behavior of the rotor-router walk.
Isothermic triangulated surfaces
Published
• View Publication
• BIB
We found a class of triangulated surfaces in Euclidean space which have similar properties as isothermic surfaces in Differential Geometry. We call a surface isothermic if it admits an infinitesimal isometric deformation preserving the mean curvature integrand locally. We show that this class is Möbius invariant. Isothermic triangulated surfaces can be characterized either in terms of circle patterns or based on conformal equivalence of triangle meshes. This definition generalizes isothermic quadrilateral meshes.
A consequence is a discrete analog of minimal surfaces. Here the Weierstrass data needed to construct a discrete minimal surface consist of a triangulated plane domain and a discrete harmonic function.
A characterization of the Artin-Mumford curve
Published
• View Publication
• BIB
Let $\mathcal{M}$ be the Artin-Mumford curve over the finite prime field $\mathbb{F}_p$ with $p>2$. By a result of Valentini and Madan, $\mbox{Aut}_{\mathbb{F}_p}(\mathcal{M})\cong H$ with $H=(C_p\times C_p)\rtimes D_{p-1}$. We prove that if $\mathcal{X}$ is an algebraic curve of genus $g=(p-1)^2$ such that $\mbox{Aut}_{\mathbb{F}_p}(\mathcal{X})$ contains a subgroup isomorphic to $H$ then $\mathcal{X}$ is birationally equivalent over $\mathbb{F}_p$ to the Artin-Mumford curve $\mathcal{M}$.
Finite Dismantlable Semidistributive Lattices are Planar
In this article, we prove that finite semidistributive lattices are dismantlable if and only if they are planar. This extends a well-known result by Kelly and Rival that states the same property for finite distributive lattices. Moreover, we show how the breadth of finite semidistributive lattices can be computed with the help of canonical join representations. We use this result to conclude that the breadth of a finite semidistributive dismantlable lattice cannot exceed $2$.
Trimness of Closed Intervals in Cambrian Semilattices
Published in Comptes Rendus - Mathématique 354 (2016), pages 113-120
• View Publication
• BIB
In this article, we give a short algebraic proof that all closed intervals in a $γ$-Cambrian semilattice $\mathcal{C}_γ$ are trim for any Coxeter group $W$ and any Coxeter element $γ\in W$. This means that if such an interval has length $k$, then there exists a maximal chain of length $k$ consisting of left-modular elements, and there are precisely $k$ join- and $k$ meet-irreducible elements in this interval. Consequently every graded interval in $\mathcal{C}_γ$ is distributive. This problem was open for any Coxeter group that is not a Weyl group.
Graphs with Eulerian unit spheres
d-spheres in graph theory are inductively defined as graphs for which all unit spheres S(x) are (d-1)-spheres and that the removal of one vertex renders the graph contractible. Eulerian d-spheres are geometric d-spheres which are d+1 colorable. We prove here that G is an Eulerian sphere if and only if the degrees of all the (d-2)-dimensional sub-simplices in G are even. This generalizes a Kempe-Heawood result for d=2 and is work related to the conjecture that all d-spheres have chromatic number d+1 or d+2 which is based on the geometric conjecture that every d-sphere can be embedded in an Eulerian (d+1)-sphere. For d=2, such an embedding into an Eulerian 3-sphere would lead to a geometric proof of the 4 color theorem, allowing to see "why 4 colors suffice". To achieve the goal of coloring a d-sphere G with d+2 colors, we hope to embed it into a (d+1)-sphere and refine or thin out the later using special homotopy deformations without touching the embedded sphere. Once rendered Eulerian and so (d+2)-colorable, it colors the embedded graph G. In order to define the degree of a simplex, we introduce a notion of dual graph H' of a subgraph H in a general finite simple graph G. This leads to a natural sphere bundle over the simplex graph. We look at geometric graphs which admit a unique geodesic flow: their unit spheres must be Eulerian. We define Platonic spheres graph theoretically as d-spheres for which all unit spheres S(x) are graph isomorphic Platonic (d-1)-spheres. Gauss-Bonnet allows a classification within graph theory: all spheres are Platonic for d=1, the octahedron and icosahedron are the Platonic 2-spheres, the sixteen and six-hundred cells are the Platonic 3-spheres. The cross polytop is the unique Platonic d-sphere for d>3. It is Eulerian.
Recursive generation of IPR fullerenes
Published
• View Publication
• BIB
We describe a new construction algorithm for the recursive generation of all non-isomorphic IPR fullerenes. Unlike previous algorithms, the new algorithm stays entirely within the class of IPR fullerenes, that is: every IPR fullerene is constructed by expanding a smaller IPR fullerene unless it belongs to limited class of irreducible IPR fullerenes that can easily be made separately. The class of irreducible IPR fullerenes consists of 36 fullerenes with up to 112 vertices and 4 infinite families of nanotube fullerenes. Our implementation of this algorithm is faster than other generators for IPR fullerenes and we used it to compute all IPR fullerenes up to 400 vertices.
The stripping process can be slow: part I
Published
• View Publication
• BIB
Given an integer k, we consider the parallel k-stripping process applied to a hypergraph H: removing all vertices with degree less than k in each iteration until reaching the k-core of H. Take H as H_r(n,m): a random r-uniform hypergraph on n vertices and m hyperedges with the uniform distribution. Fixing k,r\ge 2 with (k,r)\neq (2,2), it has previously been proved that there is a constant c_{r,k} such that for all m=cn with constant c\neq c_{r,k}, with high probability, the parallel k-stripping process takes O(\log n) iterations. In this paper we investigate the critical case when c=c_{r,k}+o(1). We show that the number of iterations that the process takes can go up to some power of n, as long as c approaches c_{r,k} sufficiently fast. A second result we show involves the depth of a non-k-core vertex v: the minimum number of steps required to delete v from H_r(n,m) where in each step one vertex with degree less than k is removed. We will prove lower and upper bounds on the maximum depth over all non-k-core vertices.
Proof of a conjectural supercongruence
Published in Finite Fields Appl. 35(2015), 86-91
• View Publication
• BIB
Let $m>2$ and $q>0$ be integers with $m$ even or $q$ odd. We show the supercongruence
$$\sum_{k=0}^{p-1}(-1)^{km}\binom{p/m-q}{k}^m\equiv0\pmod{p^3}.$$ for any prime $p>mq$. This confirms a conjecture of Sun.
A matrix ring with commuting graph of maximal diameter
Published in JCTA 141 (2016) 127-135
• View Publication
• BIB
The commuting graph of a semigroup is the set of non-central elements; the edges are defined as pairs $(u,v)$ satisfying $uv=vu$. We provide an example of a field $F$ and an integer $n$ such that the commuting graph of $\operatorname{Mat}_n(F)$ has maximal possible diameter, equal to six.
The typical structure of maximal triangle-free graphs
Published
• View Publication
• BIB
Recently, settling a question of Erdős, Balogh and Petříčková showed that there are at most $2^{n^2/8+o(n^2)}$ $n$-vertex maximal triangle-free graphs, matching the previously known lower bound. Here we characterize the typical structure of maximal triangle-free graphs. We show that almost every maximal triangle-free graph $G$ admits a vertex partition $X\cup Y$ such that $G[X]$ is a perfect matching and $Y$ is an independent set.
Our proof uses the Ruzsa-Szemerédi removal lemma, the Erdős-Simonovits stability theorem, and recent results of Balogh-Morris-Samotij and Saxton-Thomason on characterization of the structure of independent sets in hypergraphs. The proof also relies on a new bound on the number of maximal independent sets in triangle-free graphs with many vertex-disjoint $P_3$'s, which is of independent interest.
New polynomial and multidimensional extensions of classical partition results
Published
• View Publication
• BIB
In the 1970s Deuber introduced the notion of $(m,p,c)$-sets in $\mathbb{N}$ and showed that these sets are partition regular and contain all linear partition regular configurations in $\mathbb{N}$. In this paper we obtain enhancements and extensions of classical results on $(m,p,c)$-sets in two directions. First, we show, with the help of ultrafilter techniques, that Deuber's results extend to polynomial configurations in abelian groups. In particular, we obtain new partition regular polynomial configurations in $\mathbb{Z}^d$. Second, we give two proofs of a generalization of Deuber's results to general commutative semigroups. We also obtain a polynomial version of the central sets theorem of Furstenberg, extend the theory of $(m,p,c)$-systems of Deuber, Hindman and Lefmann and generalize a classical theorem of Rado regarding partition regularity of linear systems of equations over $\mathbb{N}$ to commutative semigroups.
Characterization of graphs without even $F$-orientations
A graph $G$ is $1$-extendible if every edge belongs to at least one $1$-factor of $G$. Let $G$ be a graph with a $1$-factor $F$. Then an even $F$-orientation of $G$ is an orientation in which each $F$-alternating cycle has exactly an even number of edges directed in the same fixed direction around the cycle. In this paper, we examine the structure of 1-extendible graphs $G$ which have no even $F$-orientation where $F$ is a fixed $1$-factor of $G$. In the case of graphs of connectivity at least four and k-regular graphs for $k \geq 3$ we give a complete characterization.
A probabilistic Hadwiger-Nelson problem
If you color a table using k colors, and throw a needle randomly on it, for some proper definition, you get a certain probability that the endpoints will fall on different colors. How can one make this probability maximal? This problem is related to finite graphs having unit-length edges, and some bounds on the optimal probability are deduced.
A formulation of a (q+1,8)-cage
Let $q\ge 2$ be a prime power. In this note we present a formulation for obtaining the known $(q+1,8)$-cages which has allowed us to construct small $(k,g)$--graphs for $k=q-1, q$ and $g=7,8$. Furthermore, we also obtain smaller $(q,8)$-graphs for even prime power $q$.
A construction of small (q-1)-regular graphs of girth 8
Published
• View Publication
• BIB
In this note we construct a new infinite family of $(q-1)$-regular graphs of girth $8$ and order $2q(q-1)^2$ for all prime powers $q\ge 16$, which are the smallest known so far whenever $q-1$ is not a prime power or a prime power plus one itself.
Range of magic constant on Hexagonal Tortoise Problem
Hexagonal tortoise problem (HTP), also known as Jisuguimundo or Jisugwimundo, is a magic square variety which was invented by medieval Korean Mathematician and minister Suk-Jung Choi (1646-1715).[1] Choi showed pattern 30 vertices 3 by 3 diagonal shape which has 93 as its magic constant. Unlike magic square, vertices in Jisugwimundo counted one times, twice or three times. This change makes magic constant of Hexagonal Tortoise Problem could be vary. We consider a range of hexagonal sums in various Jisugwimundo. In this paper, we decomposed vertices on Jisugwimundo to some groups. by this way we found the range of magic constant on several HTP.
Minimal nontrivial solutions of the isometry equation
Published
• View Publication
• BIB
In the paper there are described minimal nontrivial solutions of the isometry equation. This equation naturally appears in the coding theory in the study of additive code isometries. The minimal nontrivial solutions correspond to the case of unextendible additive isometries of the shortest code length. Based on this full description, several useful properties of minimal nontrivial solutions were observed.
Recent developments in graph Ramsey theory
Published
• View Publication
• BIB
Given a graph $H$, the Ramsey number $r(H)$ is the smallest natural number $N$ such that any two-colouring of the edges of $K_N$ contains a monochromatic copy of $H$. The existence of these numbers has been known since 1930 but their quantitative behaviour is still not well understood. Even so, there has been a great deal of recent progress on the study of Ramsey numbers and their variants, spurred on by the many advances across extremal combinatorics. In this survey, we will describe some of this progress.
A list version of graph packing
We consider the following generalization of graph packing. Let $G_{1} = (V_{1}, E_{1})$ and $G_{2} = (V_{2}, E_{2})$ be graphs of order $n$ and $G_{3} = (V_{1} \cup V_{2}, E_{3})$ a bipartite graph. A bijection $f$ from $V_{1}$ onto $V_{2}$ is a list packing of the triple $(G_{1}, G_{2}, G_{3})$ if $uv \in E_{2}$ implies $f(u)f(v) \notin E_{2}$ and $vf(v) \notin E_{3}$ for all $v \in V_{1}$. We extend the classical results of Sauer and Spencer and Bollobás and Eldridge on packing of graphs with small sizes or maximum degrees to the setting of list packing. In particular, we extend the well-known Bollobás--Eldridge Theorem, proving that if $Δ(G_{1}) \leq n-2, Δ(G_{2}) \leq n-2, Δ(G_{3}) \leq n-1$, and $|E_1| + |E_2| + |E_3| \leq 2n-3$, then either $(G_{1}, G_{2}, G_{3})$ packs or is one of 7 possible exceptions. Hopefully, the concept of list packing will help to solve some problems on ordinary graph packing, as the concept of list coloring did for ordinary coloring.