Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Edge-partitioning a graph into paths: beyond the Barát-Thomassen conjecture
Published
• View Publication
• BIB
The Barát-Thomassen conjecture asserts that there is a function $f$ such that for every fixed tree $T$ with $t$ edges, every graph which is $f(t)$-edge-connected with its number of edges divisible by $t$ has a partition of its edges into copies of $T$. This has been proved in the case of paths of length $2^k$ by Thomassen, and recently shown to be true for all paths by Botler, Mota, Oshiro and Wakabayashi. Our goal in this paper is to propose an alternative proof of the path case with a weaker hypothesis: Namely, we prove that there is a function $f$ such that every $24$-edge-connected graph with minimum degree $f(t)$ has an edge-partition into paths of length $t$ whenever $t$ divides the number of edges. We also show that $24$ can be dropped to $4$ when the graph is eulerian.
Neighborhood degree lists of graphs
Published in Discrete Mathematics, vol. 341 (2018), no. 1, pp. 175-183
• View Publication
• BIB
The neighborhood degree list (NDL) is a graph invariant that refines information given by the degree sequence and joint degree matrix of a graph and is useful in distinguishing graphs having the same degree sequence. We show that the space of realizations of an NDL is connected via a switching operation. We then determine the NDLs that have a unique realization by a labeled graph; the characterization ties these NDLs and their realizations to the threshold graphs and difference graphs.
Condorcet Domains, Median Graphs and the Single Crossing Property
Published
• View Publication
• BIB
Condorcet domains are sets of linear orders with the property that, whenever the preferences of all voters belong to this set, the majority relation has no cycles. We observe that, without loss of generality, such domain can be assumed to be closed in the sense that it contains the majority relation of every profile with an odd number of individuals whose preferences belong to this domain.
We show that every closed Condorcet domain is naturally endowed with the structure of a median graph and that, conversely, every median graph is associated with a closed Condorcet domain (which may not be a unique one). The subclass of those Condorcet domains that correspond to linear graphs (chains) are exactly the preference domains with the classical single crossing property. As a corollary, we obtain that the domains with the so-called `representative voter property' (with the exception of a 4-cycle) are the single crossing domains.
Maximality of a Condorcet domain imposes additional restrictions on the underlying median graph. We prove that among all trees only the chains can induce maximal Condorcet domains, and we characterize the single crossing domains that in fact do correspond to maximal Condorcet domains.
Finally, using Nehring's and Puppe's (2007) characterization of monotone Arrowian aggregation, our analysis yields a rich class of strategy-proof social choice functions on any closed Condorcet domain.
Algorithmic aspects of rotor-routing and the notion of linear equivalence
Published in Discrete Applied Mathematics 236: pp. 428-437. (2018)
• Search Publication
We define the analogue of linear equivalence of graph divisors for the rotor-router model, and use it to prove polynomial time computability of some problems related to rotor-routing. Using the connection between linear equivalence for chip-firing and for rotor-routing, we give a simple proof for the fact that the number of rotor-router unicycle-orbits equals the order of the Picard group. We also show that the rotor-router action of the Picard group on the set of spanning in-arborescences can be interpreted in terms of the linear equivalence.
Revisiting the combinatorics of the 2D Ising model
Published in Ann. Inst. Henri Poincaré (D) Comb. Phys. Interact. (2017), 4 (3), pp. 309--385
• View Publication
• BIB
We provide a concise exposition with original proofs of combinatorial formulas for the 2D Ising model partition function, multi-point fermionic observables, spin and energy density correlations, for general graphs and interaction constants, using the language of Kac-Ward matrices. We also give a brief account of the relations between various alternative formalisms which have been used in the combinatorial study of the planar Ising model: dimers and Grassmann variables, spin and disorder operators, and, more recently, s-holomorphic observables. In addition, we point out that these formulas can be extended to the double-Ising model, defined as a pointwise product of two Ising spin configurations on the same discrete domain, coupled along the boundary.
Distinguishing a truncated random permutation from a random function
An oracle chooses a function $f$ from the set of $n$ bits strings to itself, which is either a randomly chosen permutation or a randomly chosen function. When queried by an $n$-bit string $w$, the oracle computes $f(w)$, truncates the $m$ last bits, and returns only the first $n-m$ bits of $f(w)$. How many queries does a querying adversary need to submit in order to distinguish the truncated permutation from a random function?
In 1998, Hall et al. showed an algorithm for determining (with high probability) whether or not $f$ is a permutation, using $O(2^{\frac{m+n}{2}})$ queries. They also showed that if $m < n/7$, a smaller number of queries will not suffice. For $m > n/7$, their method gives a weaker bound. In this manuscript, we show how a modification of the method used by Hall et al. can solve the porblem completely. It extends the result to essentially every $m$, showing that $Ω(2^{\frac{m+n}{2}})$ queries are needed to get a non-negligible distinguishing advantage. We recently became aware that a better bound for the distinguishing advantage, for every $m<n$, follows from a result of Stam published, in a different context, already in 1978.
On the pseudoachromatic index of the complete graph III
Published in Graphs and Combinatorics-2018
• View Publication
• BIB
Let $ Π_q $ be the projective plane of order $ q $, let $ψ(m):=ψ(L(K_m))$ the pseudoachromatic number of the complete line graph of order $ m $, let $ a\in \{ 3,4,\dots,\tfrac{q}{2}+1 \} $ and $ m_a=(q+1)^2-a $.
In this paper, we improve the upper bound of $ ψ(m) $ given by Araujo-Pardo et al. [J Graph Theory 66 (2011), 89--97] and Jamison [Discrete Math. 74 (1989), 99--115] in the following values: if $ x\geq 2 $ is an integer and $m\in \{4x^2-x,\dots,4x^2+3x-3\}$ then $ψ(m) \leq 2x(m-x-1)$.
On the other hand, if $ q $ is even and there exists $ Π_q $ we give a complete edge-colouring of $ K_{m_a} $ with $(m_a-a)q$ colours. Moreover, using this colouring we extend the previous results for $a=\{-1,0,1,2\}$ given by Araujo-Pardo et al. in [J Graph Theory 66 (2011), 89--97] and [Bol. Soc. Mat. Mex. (2014) 20:17--28] proving that $ψ(m_a)=(m_a-a)q$ for $ a\in \{3,4,\dots,\left\lceil \frac{1+\sqrt{4q+9}}{2}\right\rceil -1 \} $.
Different Volume Computation Methods of Graph Polytopes
The aim of this work is to introduce several different volume computation methods of the graph polytope associated with various type of finite simple graphs. Among them, we obtained the recursive volume formula (RVF) that is fundamental and most useful to compute the volume of the graph polytope for an arbitrary finite simple graph.
Focused Stochastic Local Search and the Lovász Local Lemma
Published
• View Publication
• BIB
We develop tools for analyzing focused stochastic local search algorithms. These are algorithms which search a state space probabilistically by repeatedly selecting a constraint that is violated in the current state and moving to a random nearby state which, hopefully, addresses the violation without introducing many new ones. A large class of such algorithms arise from the algorithmization of the Lovász Local Lemma, a non-constructive tool for proving the existence of satisfying states. Here we give tools that provide a unified analysis of such algorithms and of many more, expressing them as instances of a general framework.
Wilf's "Snake Oil" Method Proves an Identity in The Motzkin Triangle
We give yet-another illustration of using Herb Wilf's Snake Oil Method, by proving a certain identity between the entries of the so-called Motzkin Triangle, that arose in a recent study of enumeration of certain classes of integer partitions. We also briefly illustrate how this method can be applied to general `triangles'.
If $(A+A)/(A+A)$ is small then the ratio set is large
Published
• View Publication
• BIB
In this paper, we consider the sum-product problem of obtaining lower bounds for the size of the set $$\frac{A+A}{A+A}:=\left \{ \frac{a+b}{c+d} : a,b,c,d \in A, c+d \neq 0 \right\},$$ for an arbitrary finite set $A$ of real numbers. The main result is the bound
$$\left| \frac{A+A}{A+A} \right| \gg \frac{|A|^{2+\frac{2}{25}}}{|A:A|^{\frac{1}{25}}\log |A|},$$ where $A:A$ denotes the ratio set of $A$. This improves on a result of Balog and the author (arXiv:1402.5775), provided that the size of the ratio set is subquadratic in $|A|$. That is, we establish that the inequality $$\left| \frac{A+A}{A+A} \right| \ll |A|^{2} \Rightarrow |A:A| \gg \frac{ |A|^2}{\log^{25}|A|} . $$ This extremal result answers a question similar to some conjectures in a recent paper of the author and Zhelezov (arXiv:1410.1156).
On Homeomorphically Irreducible Spanning Trees in Cubic Graphs
Published
• View Publication
• BIB
A spanning tree without a vertex of degree two is called a Hist which is an abbreviation for homeomorphically irreducible spanning tree. We provide a necessary condition for the existence of a Hist in a cubic graph. As one consequence, we answer affirmatively an open question on Hists by Albertson, Berman, Hutchinson and Thomassen.
Cluster duality and mirror symmetry for Grassmannians
In this article we use the cluster structure on the Grassmannian and the combinatorics of plabic graphs to exhibit a new aspect of mirror symmetry for Grassmannians in terms of polytopes. For our $A$-model, we consider the Grassmannian $\mathbb X=Gr_{n-k}(\mathbb{C}^n)$. The $B$-model is a Landau-Ginzburg model $(\check{\mathbb X}^\circ, W_q:\check{\mathbb X}^\circ \to \mathbb{C})$, where $\check{\mathbb X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{\mathbb X} = Gr_k((\mathbb{C}^n)^*)$, and the superpotential $W_q$ has a simple expression in terms of Plücker coordinates, see [MarshRietsch]. From a given plabic graph $G$ we obtain two coordinate systems: using work of Postnikov and Talaska we have a positive chart $Φ_G:(\mathbb{C}^*)^{k(n-k)}\to \mathbb X$ in our $A$-model, and using work of Scott we have a cluster chart $Φ_G^{\vee}:(\mathbb{C}^*)^{k(n-k)}\to \check{\mathbb X}$ in our $B$-model. To each positive chart $Φ_G$ and choice of positive integer $r$, we associate a polytope $NO_G^r$, which we construct as the convex hull of a set of integer lattice points. This polytope is an example of a Newton-Okounkov polytope associated to the line bundle $\mathcal O(r)$ on $\mathbb X$. On the other hand, using the cluster chart $Φ_G^{\vee}$ and the same positive integer $r$, we obtain a polytope $Q_G^r$ -- described in terms of inequalities -- by "tropicalizing" the composition $W_{t^r}\circ Φ_G^{\vee}$. Our main result is that the polytopes $NO_G^r$ and $Q_G^r$ coincide.
Generalized Twisted Gabidulin Codes
Published
• View Publication
• BIB
Let $\mathcal{C}$ be a set of $m$ by $n$ matrices over $\mathbb{F}_q$ such that the rank of $A-B$ is at least $d$ for all distinct $A,B\in \mathcal{C}$. Suppose that $m\leqslant n$. If $\#\mathcal{C}= q^{n(m-d+1)}$, then $\mathcal{C}$ is a maximum rank distance (MRD for short) code. Until 2016, there were only two known constructions of MRD codes for arbitrary $1<d<m-1$. One was found by Delsarte (1978) and Gabidulin (1985) independently, and it was later generalized by Kshevetskiy and Gabidulin (2005). We often call them (generalized) Gabidulin codes. Another family was recently obtained by Sheekey (2016), and its elements are called twisted Gabidulin codes. In the same paper, Sheekey also proposed a generalization of the twisted Gabidulin codes. However the equivalence problem for it is not considered, whence it is not clear whether there exist new MRD codes in this generalization. We call the members of this putative larger family generalized twisted Gabidulin codes. In this paper, we first compute the Delsarte duals and adjoint codes of them, then we completely determine the equivalence between different generalized twisted Gabidulin codes. In particular, it can be proven that, up to equivalence, generalized Gabidulin codes and twisted Gabidulin codes are both proper subsets of this family.
About the spectra of a real nonnegative matrix and its signings
Published
• View Publication
• BIB
For a real matrix $M$, we denote by $sp(M)$ the spectrum of $M$ and by $\left \vert M\right \vert $ its absolute value, that is the matrix obtained from $M$ by replacing each entry of $M$ by its absolute value. Let $A$ be a nonnegative real matrix, we call a \emph{signing} of $A$ every real matrix $B$ such that $\left \vert B\right \vert =A$. In this paper, we study the set of all signings of $A$ such that $sp(B)=αsp(A)$ where $α$ is a complex unit number. Our work generalizes some results obtained in [1, 5, 8].
Bounded-degree spanning trees in randomly perturbed graphs
Published
• View Publication
• BIB
We show that for any fixed dense graph G and bounded-degree tree T on the same number of vertices, a modest random perturbation of G will typically contain a copy of T . This combines the viewpoints of the well-studied problems of embedding trees into fixed dense graphs and into random graphs, and extends a sizeable body of existing research on randomly perturbed graphs. Specifically, we show that there is $c = c(α,Δ)$ such that if G is an n-vertex graph with minimum degree at least $αn$, and T is an n-vertex tree with maximum degree at most $Δ$ , then if we add cn uniformly random edges to G, the resulting graph will contain T asymptotically almost surely (as $n\to\infty$ ). Our proof uses a lemma concerning the decomposition of a dense graph into super-regular pairs of comparable sizes, which may be of independent interest.
Some identities involving polynomial coefficients
Published in Fibonacci Quart.54 (2016), no. 2, 125-136
• View Publication
• BIB
By polynomial (or extended binomial) coefficients, we mean the coefficients in the expansion of integral powers, positive and negative, of the polynomial $1+t +\cdots +t^{m}$; $m\geq 1$ being a fixed integer. We will establish several identities and summation formulæ parallel to those of the usual binomial coefficients.
Complete branching rules for Specht modules
Published
• View Publication
• BIB
We give a combinatorial description for when the Specht module of an arbitrary diagram admits a (complete) branching rule. This description, given in terms of the maximal rectangles of the diagram, generalizes all previously known branching rules for Specht modules, such as those given by Reiner and Shimozono for northwest diagrams and by the present author for forest diagrams.
A Fuss-type family of positive definite sequences
Published in Colloquium Mathematicum, 151(2), 2018, 289-304
• Search Publication
We study a two-parameter family $a_{n}(p,t)$ of deformations of the Fuss numbers. We show a sufficient condition for positive definiteness of $a_n(p,t)$ and prove that some of the corresponding probability measures are infinitely divisible with respect to the additive free convolution.
Perfect Graeco-Latin balanced incomplete block designs and related designs
Main effect plans orthogonal through the block factor (POTB) have been defined and a few series of them have been constructed in Bagchi (2010). These plans are very closely related to the `mutually orthogonal balanced nested row-column designs' of Morgan and Uddin (1996) and many other combinatorial designs in the literature with different names like `BIBDs for two sets of treatment', `Graeco-Latin designs' and `PERGOLAs'. In fact all of them may be viewed as POTBs satisfying one or more additional conditions, making them `optimal'. However, the PERGOLAs are defined to satisfy an additional property, without which also it is optimal. Interestingly, this additional property is satisfied by all the hitherto known examples of POTBs, even when their definitions do not demand it. In this paper we present direct and recursive constructions of POTBs. In the process we have constructed one design which seems to be the first example of an `optimal' two-factor POTB which is not a PERGOLA (see Theorem \ref {POTB2}).