Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Lattices from Hermitian function fields
Published in J. Algebra 447 (2016) 560-579
• Search Publication
We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.
Some enumerations of binary digital images
The topology of digital images has been studied much in recent years, but no attempt has been made to exhaustively catalog the structure of binary images of small numbers of points. We produce enumerations of several classes of digital images up to isomorphism and decide which among them are homotopy equivalent to one another. Noting some patterns in the results, we make some conjectures about digital images which are irreducible but not rigid.
Zero-divisor graph with seven vertices
Inspired by the work in \cite{sauer} regarding the classification of all the zero-divisor graphs with six vertices, we obtain all the zero-divisor graphs with seven vertices. Hence we classify all the zero-divisor commutative semigroups with 8 elements. We also obtain all the connected graphs with seven vertices which satisfies the necessary condition $\star$ of zero-divisor graphs given in \cite{fl} but are not the zero-divisor graphs.
The Shortest Path Problem for the Distant Graph of the Projective Line Over the Ring of Integers
Published
• View Publication
• BIB
The distant graph $G = G(\mathbb{P}(Z),\triangle)$ of the projective line over the ring of integers is considered. The shortest path problem in this graph is solved by use of Klein's geometric interpretation of Euclidean continued fractions. In case the minimal path is non-unique, all the possible splitting are described which allows us to give necessary and sufficient conditions for existence of a unique shortest path.
Generating functions of bipartite maps on orientable surfaces
Published in Electron. J. Combin. 23 (2016), no. 3, Paper 3.31, 37 pp
• View Publication
• BIB
We compute, for each genus $g\geq 0$, the generating function $L_g\equiv L_g(t;p_1,p_2,\dots)$ of (labelled) bipartite maps on the orientable surface of genus $g$, with control on all face degrees. We exhibit an explicit change of variables such that for each $g$, $L_g$ is a rational function in the new variables, computable by an explicit recursion on the genus. The same holds for the generating function $F_g$ of rooted bipartite maps. The form of the result is strikingly similar to the Goulden/Jackson/Vakil and Goulden/Guay-Paquet/Novak formulas for the generating functions of classical and monotone Hurwitz numbers respectively, which suggests stronger links between these models. Our result complements recent results of Kazarian and Zograf, who studied the case where the number of faces is bounded, in the equivalent formalism of dessins d'enfants. Our proofs borrow some ideas from Eynard's "topological recursion" that he applied in particular to even-faced maps (unconventionally called "bipartite maps" in his work). However, the present paper requires no previous knowledge of this topic and comes with elementary (complex-analysis-free) proofs written in the perspective of formal power series.
Changing of the domination number of a graph: edge multisubdivision and edge removal
Published
• View Publication
• BIB
For a graphical property $\mathcal{P}$ and a graph $G$, a subset $S$ of vertices of $G$ is a $\mathcal{P}$-set if the subgraph induced by $S$ has the property $\mathcal{P}$. The domination number with respect to the property $\mathcal{P}$, denoted by $γ_{\mathcal{P}} (G)$, is the minimum cardinality of a dominating $\mathcal{P}$-set. We define the domination multisubdivision number with respect to $\mathcal{P}$,denoted by $msd_{\mathcal{P}}(G)$, as a minimum positive integer $k$ such that there exists an edge which must be subdivided $k$ times to change $γ_\mathcal{P} (G)$. In this paper (a) we present necessary and sufficient conditions for a change of $γ_{\mathcal{P}}(G)$ after subdividing an edge of $G$ once, (b) we prove that if $e$ is an edge of a graph $G$ then $γ_\mathcal{P} (G_{e,1}) < γ_\mathcal{P} (G)$ if and only if $γ_\mathcal{P} (G-e) < γ_\mathcal{P} (G)$ ($G_{e,t}$ denote the graph obtained from $G$ by subdivision of $e$ with $t$ vertices), (c) we also prove that for every edge of a graph $G$ is fulfilled $γ_{\mathcal{P}}(G-e) \leq γ_{\mathcal{P}}(G_{e,3}) \leq γ_{\mathcal{P}}(G-e) + 1$, and (d) we show that $msd_{\mathcal{P}}(G) \leq 3$, where $\mathcal{P}$ is hereditary and closed under union with $K_1$.
Combinatorial Restrictions on the Tree Class of the Auslander-Reiten Quiver of a Triangulated Category
Published
• View Publication
• BIB
We show that if a connected, Hom-finite, Krull-Schmidt triangulated category has an Auslander-Reiten quiver component with Dynkin tree class then the category has Auslander-Reiten triangles and that component is the entire quiver. This is an analogue for triangulated categories of a theorem of Auslander, and extends a previous result of Scherotzke. We also show that if there is a quiver component with extended Dynkin tree class, then other components must also have extended Dynkin class or one of a small set of infinite trees, provided there is a non-zero homomorphism between the components. The proofs use the theory of additive functions.
A cut-invariant law of large numbers for random heaps
Published
• View Publication
• BIB
Heap monoids equipped with Bernoulli measures are a model of probabilistic asynchronous systems. We introduce in this framework the notion of asynchronous stopping time, which is analogous to the notion of stopping time for classical probabilistic processes. A Strong Bernoulli property is proved. A notion of cut-invariance is formulated for convergent ergodic means. Then a version of the Strong law of large numbers is proved for heap monoids with Bernoulli measures. Finally, we study a sub-additive version of the Law of large numbers in this framework based on Kingman sub-additive Ergodic Theorem.
Tropical curves in sandpile models
Published
• View Publication
• BIB
A sandpile is a cellular automaton on a graph that evolves by the following toppling rule: if the number of grains at a vertex is at least its valency, then this vertex sends one grain to each of its neighbors.
In the study of pattern formation in sandpiles on large subgraphs of the standard square lattice, S. Caracciolo, G. Paoletti, and A. Sportiello experimentally observed that the result of the relaxation of a small perturbation of the maximal stable state contains a clear visible thin balanced graph formed by its deviation (less than maximum) set. Such graphs are known as tropical curves.
During the early stage of our research, we have noticed that these tropical curves are approximately scale-invariant, that is the deviation set mimics an extremal tropical curve depending on the domain on the plane and the positions of the perturbation points, but not on the mesh of the lattice.
In this paper, we rigorously formulate these two facts in the form of a scaling limit theorem and prove it. We rely on the theory of tropical analytic series, which is used to describe the global features of the sandpile dynamic, and on the theory of smoothings of discrete superharmonic functions, which handles local questions.
Ménage Numbers and Ménage Permutations
In this paper, we study the combinatorial structures of straight and ordinary ménage permutations. Based on these structures, we prove four formulas. The first two formulas define a relationship between the ménage numbers and the Catalan numbers. The other two formulas count the ménage permutations by number of cycles.
The CI problem for infinite groups
Published
• View Publication
• BIB
A finite group $G$ is a DCI-group if, whenever $S$ and $S'$ are subsets of $G$ with the Cayley graphs Cay$(G,S)$ and Cay$(G,S')$ isomorphic, there exists an automorphism $\varphi$ of $G$ with $\varphi(S)=S'$. It is a CI-group if this condition holds under the restricted assumption that $S=S^{-1}$. We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly (D)CI$_f$-group if the same condition holds under the restricted assumption that $S$ is finite; and an infinite group is a (D)CI$_f$-group if the same condition holds whenever $S$ is both finite and generates $G$.
We prove that an infinite (D)CI-group must be a torsion group that is not locally-finite. We find infinite families of groups that are (D)CI$_f$-groups but not strongly (D)CI$_f$-groups, and that are strongly (D)CI$_f$-groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely characterise the locally-finite DCI-graphs on $\mathbb Z^n$. We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CI-group exists.
Unimodular Binary Hierarchical Models
Published
• View Publication
• BIB
Associated to each simplicial complex is a binary hierarchical model. We classify the simplicial complexes that yield unimodular binary hierarchical models. Our main theorem provides both a construction of all unimodular binary hierarchical models, together with a characterization in terms of excluded minors, where our definition of a minor allows the taking of links and induced complexes. A key tool in the proof is the lemma that the class of unimodular binary hierarchical models is closed under the Alexander duality operation on simplicial complexes.
A $q$-enumeration of lozenge tilings of a hexagon with three dents
Published
• View Publication
• BIB
We $q$-enumerate lozenge tilings of a hexagon with three bowtie-shaped regions have been removed from three non-consecutive sides. The unweighted version of the result generalizes a problem posed by James Propp on enumeration of lozenge tilings of a hexagon of side-lengths $2n,2n+3,2n,2n+3,2n,2n+3$ (in cyclic order) with the central unit triangles on the $(2n+3)$-sides removed.
Rotor-routing orbits in directed graphs and the Picard group
In [5], Holroyd, Levine, Mészáros, Peres, Propp and Wilson characterize recurrent chip-and-rotor configurations for strongly connected digraphs. However, the number of steps needed to recur, and the number of orbits is left open for general digraphs. Recently, these questions were answered by Pham [6], using linear algebraic methods. We give new, purely combinatorial proofs for these formulas. We also relate rotor-router orbits to the chip-firing game: The number of recurrent rotor-router unicycle-orbits equals the order of the Picard group of the graph, defined in the sense of [1], and during a period, the same chip-moves happen, as during firing the period vector in the chip-firing game.
Brief introduction to tropical geometry
The paper consists of lecture notes for a mini-course given by the authors at the Gökova Geometry \& Topology conference in May 2014. We start the exposition with tropical curves in the plane and their applications to problems in classical enumerative geometry, and continue with a look at more general tropical varieties and their homology theories.
The Parametric Frobenius Problem
Published in Electronic Journal of Combinatorics 22 (2015), #P2.36
• View Publication
• BIB
Given relatively prime positive integers a_1,...,a_n, the Frobenius number is the largest integer that cannot be written as a nonnegative integer combination of the a_i. We examine the parametric version of this problem: given a_i=a_i(t) as functions of t, compute the Frobenius number as a function of t. A function f is a quasi-polynomial if there exists a period m and polynomials f_0,...,f_{m-1} such that f(t)=f_{t mod m}(t) for all positive integers t. We conjecture that, if the a_i(t) are polynomials (or quasi-polynomials) in t, then the Frobenius number agrees with a quasi-polynomial, for sufficiently large t. We prove this in the case where the a_i(t) are linear functions, and also prove it in the case where n (the number of generators) is at most 3.
Novel structures in Stanley sequences
Published in Discrete Mathematics, 339 (2), 689-698 (2016)
• View Publication
• BIB
Given a set of integers with no three in arithmetic progression, we construct a Stanley sequence by adding integers greedily so that no arithmetic progression is formed. This paper offers two main contributions to the theory of Stanley sequences. First, we characterize well-structured Stanley sequences as solutions to constraints in modular arithmetic, defining the modular Stanley sequences. Second, we introduce the basic Stanley sequences, where elements arise as the sums of subsets of a basis sequence, which in the simplest case is the powers of 3. Applications of our results include the construction of Stanley sequences with arbitrarily large gaps between terms, answering a weak version of a problem by Erdős et al. Finally, we generalize many results about Stanley sequences to $p$-free sequences, where $p$ is any odd prime.
A note on the shameful conjecture
Published
• View Publication
• BIB
Let $P_G(q)$ denote the chromatic polynomial of a graph $G$ on $n$ vertices. The `shameful conjecture' due to Bartels and Welsh states that, $$\frac{P_G(n)}{P_G(n-1)} \geq \frac{n^n}{(n-1)^n}.$$ Let $μ(G)$ denote the expected number of colors used in a uniformly random proper $n$-coloring of $G$. The above inequality can be interpreted as saying that $μ(G) \geq μ(O_n)$, where $O_n$ is the empty graph on $n$ nodes. This conjecture was proved by F. M. Dong, who in fact showed that, $$\frac{P_G(q)}{P_G(q-1)} \geq \frac{q^n}{(q-1)^n}$$ for all $q \geq n$. There are examples showing that this inequality is not true for all $q \geq 2$. In this paper, we show that the above inequality holds for all $q \geq 36D^{3/2}$, where $D$ is the largest degree of $G$. It is also shown that the above inequality holds true for all $q \geq 2$ when $G$ is a claw-free graph.
Vanishing ideals over finite fields
Published in Math. Notes 105 (2019), no. 3, 429--438
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field, let $\mathbb{X}$ be a subset of a projective space ${\mathbb P}^{s-1}$, over the field $\mathbb{F}_q$, parameterized by rational functions, and let $I(\mathbb{X})$ be the vanishing ideal of $\mathbb{X}$. The main result of this paper is a formula for $I(\mathbb{X})$ that will allows us to compute: (i) the algebraic invariants of $I(\mathbb{X})$, and (ii) the basic parameters of the corresponding Reed-Muller-type code.
Topological model for h"-vectors of simplicial manifolds
Published in Bol. Soc. Mat. Mexicana (2016), 1-9
• View Publication
• BIB
Any manifold with boundary gives rise to a Poincare duality algebra in a natural way. Given a simplicial poset $S$ whose geometric realization is a closed orientable homology manifold, and a characteristic function, we construct a manifold with boundary such that graded components of its Poincare duality algebra have dimensions $h_k"(S)$. This gives a clear topological evidence for two well-known facts about simplicial manifolds: the nonnegativity of $h"$-numbers (Novik--Swartz theorem) and the symmetry $h"_k=h"_{n-k}$ (generalized Dehn--Sommerville relations).