Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Decomposition of a graph into two disjoint odd subgraphs
Published in Discussiones Mathematicae Graph Theory 2020
• View Publication
• BIB
An odd (resp. even) subgraph in a multigraph is its subgraph in which every vertex has odd (resp. even) degree. We say that a multigraph can be decomposed into two odd subgraphs if its edge set can be partitioned into two sets so that both form odd subgraphs. In this paper we give a necessary and sufficient condition for the decomposability of a multigraph into two odd subgraphs. We also present a polynomial time algorithm for finding such a decomposition or showing its non-existence. We also deal with the case of the decomposability into an even subgraph and an odd subgraph.
On the permanent of Sylvester-Hadamard matrices
We prove a conjecture due to Wanless about the permanent of Hadamard matrices in the particular case of Sylvester-Hadamard matrices. Namely we show that for all n greater or equal to 2, the dyadic valuation of the permanent of the Sylvester-Hadamard matrix of order n is equal to the dyadic valuation of n!. As a consequence, the permanent of the Sylvester-Hadamard matrix of order n doesn't vanish for n greater or equal to 2.
Spanned lines and Langer's inequality
We collect some results in combinatorial geometry that follow from an inequality of Langer in algebraic geometry. Langer's inequality gives a lower bound on the number of incidences between a point set and its spanned lines, and was recently used by Han to improve the constant in the weak Dirac conjecture. Here we observe that this inequality also leads to improved constants in Beck's theorem, which states that a finite point set in the real or complex plane has many points on a line or spans many lines. Most of the proofs that we use are not original, and the goal of this note is mainly to carefully record the quantitative results in one place. We also include some discussion of possible further improvements to these statements.
Structure and Supersaturation for Intersecting Families
Published in Electronic Journal of Combinatorics 26(2) (2019), P2.34
• View Publication
• BIB
The extremal problems regarding the maximum possible size of intersecting families of various combinatorial objects have been extensively studied. In this paper, we investigate supersaturation extensions, which in this context ask for the minimum number of disjoint pairs that must appear in families larger than the extremal threshold. We study the minimum number of disjoint pairs in families of permutations and in $k$-uniform set families, and determine the structure of the optimal families. Our main tool is a removal lemma for disjoint pairs. We also determine the typical structure of $k$-uniform set families without matchings of size $s$ when $n \ge 2sk + 38s^4$, and show that almost all $k$-uniform intersecting families on vertex set $[n]$ are trivial when $n\ge (2+o(1))k$.
A note on friezes of type $Λ_p$
Published
• View Publication
• BIB
A frieze is an array of numbers obeying the unimodular rule. Coxeter showed that a frieze with integer entries corresponds to a triangulation. Recently, Holm and Jørgenson introduced friezes of type $Λ_p$ which correspond to $p$-angulations of a polygon. In this paper we explore the connection between these two types of friezes; in particular we show that the friezes of type $Λ_p$ for $p=4$ and $p=6$ contain integral friezes within them. We also consider the relationships with Farey graphs.
Half-space Macdonald processes
Published in Forum of Mathematics, Pi 8 (2020) e11
• View Publication
• BIB
Macdonald processes are measures on sequences of integer partitions built using the Cauchy summation identity for Macdonald symmetric functions. These measures are a useful tool to uncover the integrability of many probabilistic systems, including the Kardar-Parisi-Zhang (KPZ) equation and a number of other models in its universality class. In this paper we develop the structural theory behind half-space variants of these models and the corresponding half-space Macdonald processes. These processes are built using a Littlewood summation identity instead of the Cauchy identity, and their analysis is considerably harder than their full-space counterparts.
We compute moments and Laplace transforms of observables for general half-space Macdonald measures. Introducing new dynamics preserving this class of measures, we relate them to various stochastic processes, in particular the log-gamma polymer in a half-quadrant (they are also related to the stochastic six-vertex model in a half-quadrant and the half-space ASEP). For the polymer model, we provide explicit integral formulas for the Laplace transform of the partition function. Non-rigorous saddle point asymptotics yield convergence of the directed polymer free energy to either the Tracy-Widom GOE, GSE or the Gaussian distribution depending on the average size of weights on the boundary.
Thresholds for vanishing of `Isolated' faces in random Čech and Vietoris-Rips complexes
Published
• View Publication
• BIB
We study combinatorial connectivity for two models of random geometric complexes. These two models - Čech and Vietoris-Rips complexes - are built on a homogeneous Poisson point process of intensity $n$ on a $d$-dimensional torus using balls of radius $r_n$. In the former, the $k$-simplices/faces are formed by subsets of $(k+1)$ Poisson points such that the balls of radius $r_n$ centred at these points have a mutual interesection and in the latter, we require only a pairwise intersection of the balls. Given a (simplicial) complex (i.e., a collection of $k$-simplices for all $k \geq 1$), we can connect $k$-simplices via $(k+1)$-simplices (`up-connectivity') or via $(k-1)$-simplices (`down-connectivity). Our interest is to understand these two combinatorial notions of connectivity for the random Čech and Vietoris-Rips complexes asymptically as $n \to \infty$. In particular, we analyse in detail the threshold radius for vanishing of isolated $k$-faces for up and down connectivity of both types of random geometric complexes. Though it is expected that the threshold radius $r_n = Θ((\frac{\log n}{n})^{1/d})$ in coarse scale, our results give tighter bounds on the constants in the logarithmic scale as well as shed light on the possible second-order correction factors. Further, they also reveal interesting differences between the phase transition in the Čech and Vietoris-Rips cases. The analysis is interesting due to the non-monotonicity of the number of isolated $k$-faces (as a function of the radius) and leads one to consider `monotonic' vanishing of isolated $k$-faces. The latter coincides with the vanishing threshold mentioned above at a coarse scale (i.e., $\log n$ scale) but differs in the $\log \log n$ scale for the Čech complex with $k = 1$ in the up-connected case.
Complete intersection P-partition rings
We present an alternate proof of a result of Féray and Reiner characterizing posets whose $P$-partition rings are complete intersections. This shortened proof relates the complete intersection property to a simple structural property of a graph associated to $P$.
On the quotient set of the distance set
Published in Moscow J. Comb. Number Th. 8 (2019) 103-115
• View Publication
• BIB
Let ${\Bbb F}_q$ be a finite field of order $q.$ We prove that if $d\ge 2$ is even and $E \subset {\Bbb F}_q^d$ with $|E| \ge 9q^{\frac{d}{2}}$ then $$ {\Bbb F}_q=\frac{Δ(E)}{Δ(E)}=\left\{ \frac{a}{b}: a \in Δ(E), b \in Δ(E) \backslash \{0\} \right\},$$ where $$ Δ(E)=\{||x-y||: x,y \in E\}, \ ||x||=x_1^2+x_2^2+\cdots+x_d^2.$$ If the dimension $d$ is odd and $E\subset \mathbb F_q^d$ with $|E|\ge 6q^{\frac{d}{2}},$ then $$ \{0\}\cup\mathbb F_q^+ \subset \frac{Δ(E)}{Δ(E)},$$ where $\mathbb F_q^+$ denotes the set of nonzero quadratic residues in $\mathbb F_q.$ Both results are, in general, best possible, including the conclusion about the nonzero quadratic residues in odd dimensions.
The Rise-Contact involution on Tamari intervals
Published in The Electronic Journal of Combinatorics, Volume 26, Issue 2, P2.32, 2019
• View Publication
• BIB
We describe an involution on Tamari intervals and m-Tamari intervals. This involution switches two sets of statistics known as the "rises" and the "contacts" and so proves an open conjecture from Préville-Ratelle on intervals of the m-Tamari lattice.
The "quantum" Turan problem for operator systems
Published
• View Publication
• BIB
Let V be a linear subspace of M_n(C) which contains the identity matrix and is stable under Hermitian transpose. A "quantum k-clique" for V is a rank k orthogonal projection P in M_n(C) for which dim(PVP) = k^2, and a "quantum k-anticlique" is a rank k orthogonal projection for which dim(PVP) = 1. We give upper and lower bounds both for the largest dimension of V which would ensure the existence of a quantum k-anticlique, and for the smallest dimension of V which would ensure the existence of a quantum k-clique.
The Moduli Space of Polynomial Maps and Their Fixed-Point Multipliers: II. Improvement to the Algorithm and Monic Centered Polynomials
Published in Ergodic Theory and Dynamical Systems, First View (online 03 February 2023), pp.1-19
• View Publication
• BIB
We consider the family $\mathrm{MC}_d$ of monic centered polynomials of one complex variable with degree $d \geq 2$, and study the map $\widehatΦ_d:\mathrm{MC}_d\to \widetildeΛ_d \subset \mathbb{C}^d / \mathfrak{S}_d$ which maps each $f \in \mathrm{MC}_d$ to its unordered collection of fixed-point multipliers. We give an explicit formula for counting the number of elements of each fiber $\widehatΦ_d^{-1}\left(\barλ\right)$ for every $\barλ \in \widetildeΛ_d$ except when the fiber $\widehatΦ_d^{-1}\left(\barλ\right)$ contains polynomials having multiple fixed points. This formula is not a recursive one, and is a drastic improvement of our previous result [T. Sugiyama, The moduli space of polynomial maps and their fixed-point multipliers. Adv. Math. 322 (2017), 132--185] which gave a rather long algorithm with some induction processes.
A framework for cost-constrained genome rearrangement under Double Cut and Join
Published
• View Publication
• BIB
The study of genome rearrangement has many flavours, but they all are somehow tied to edit distances on variations of a multi-graph called the breakpoint graph. We study a weighted 2-break distance on Eulerian 2-edge-colored multi-graphs, which generalizes weighted versions of several Double Cut and Join problems, including those on genomes with unequal gene content. We affirm the connection between cycle decompositions and edit scenarios first discovered with the Sorting By Reversals problem. Using this we show that the problem of finding a parsimonious scenario of minimum cost on an Eulerian 2-edge-colored multi-graph - with a general cost function for 2-breaks - can be solved by decomposing the problem into independent instances on simple alternating cycles. For breakpoint graphs, and a more constrained cost function, based on coloring the vertices, we give a polynomial-time algorithm for finding a parsimonious 2-break scenario of minimum cost, while showing that finding a non-parsimonious 2-break scenario of minimum cost is NP-Hard.
On a problem of Sárközy and Sós for multivariate linear forms
We prove that for pairwise co-prime numbers $k_1,\dots,k_d \geq 2$ there does not exist any infinite set of positive integers $A$ such that the representation function $r_A (n) = \{ (a_1, \dots, a_d) \in A^d : k_1 a_1 + \dots + k_d a_d = n \}$ becomes constant for $n$ large enough. This result is a particular case of our main theorem, which poses a further step towards answering a question of Sárközy and Sós and widely extends a previous result of Cilleruelo and Rué for bivariate linear forms.
An exact extremal result for tournaments and 4-uniform hypergraphs
In this paper, we address the following problem due to Frankl and Füredi (1984). What is the maximum number of hyperedges in an $r$-uniform hypergraph with $n$ vertices, such that every set of $r+1$ vertices contains $0$ or exactly $2$ hyperedges? They solved this problem for $r=3$. For $r=4$, a partial solution is given by Gunderson and Semeraro (2017) when $n=q+1$ for some prime power number $q\equiv3\pmod{4} $. Assuming the existence of skew-symmetric conference matrices for every order divisible by $4$, we give a solution for $n\equiv0\pmod{4} $ and for $n\equiv3\pmod{4}$.
Minimal cut-sets in the power graphs of certain finite non-cyclic groups
Published
• View Publication
• BIB
The power graph of a group is the simple graph with vertices as the group elements, in which two distinct vertices are adjacent if and only if one of them can be obtained as an integral power of the other. We study (minimal) cut-sets of the power graph of a (finite) non-cyclic (nilpotent) group which are associated with its maximal cyclic subgroups. Let $G$ be a finite non-cyclic nilpotent group whose order is divisible by at least two distinct primes. If $G$ has a Sylow subgroup which is neither cyclic nor a generalized quaternion $2$-group and all other Sylow subgroups of $G$ are cyclic, then under some conditions we prove that there is only one minimum cut-set of the power graph of $G$. We apply this result to find the vertex connectivity of the power graphs of certain finite non-cyclic abelian groups whose order is divisible by at most three distinct primes.
A rainbow blow-up lemma
Published
• View Publication
• BIB
We prove a rainbow version of the blow-up lemma of Komlós, Sárközy and Szemerédi for $μn$-bounded edge colourings. This enables the systematic study of rainbow embeddings of bounded degree spanning subgraphs. As one application, we show how our blow-up lemma can be used to transfer the bandwidth theorem of Böttcher, Schacht and Taraz to the rainbow setting. It can also be employed as a tool beyond the setting of $μn$-bounded edge colourings. Kim, Kühn, Kupavskii and Osthus exploit this to prove several rainbow decomposition results. Our proof methods include the strategy of an alternative proof of the blow-up lemma given by Rödl and Ruciński, the switching method, and the partial resampling algorithm developed by Harris and Srinivasan.
Statistics on some classes of knot shadows
The present paper is concerned with the enumeration of the state diagrams for some classes of knot shadows endowed with the usual connected sum operation. We focus on shadows that are recursively generated by knot shadows with up to 3 crossings, and for which the enumeration problem is solved with the help of generating polynomials.
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming
Semidefinite programming can be considered over any real closed field, including fields of Puiseux series equipped with their nonarchimedean valuation. Nonarchimedean semidefinite programs encode parametric families of classical semidefinite programs, for sufficiently large values of the parameter. Recently, a correspondence has been established between nonarchimedean semidefinite programs and stochastic mean payoff games with perfect information. This correspondence relies on tropical geometry. It allows one to solve generic nonarchimedean semidefinite feasibility problems, of large scale, by means of stochastic game algorithms. In this paper, we show that the mean payoff of these games can be interpreted as a condition number for the corresponding nonarchimedean feasibility problems. This number measures how close a feasible instance is from being infeasible, and vice versa. We show that it coincides with the maximal radius of a ball in Hilbert's projective metric, that is included in the feasible set. The geometric interpretation of the condition number relies in particular on a duality theorem for tropical semidefinite feasibility programs. Then, we bound the complexity of the feasibility problem in terms of the condition number. We finally give explicit bounds for this condition number, in terms of the characteristics of the stochastic game. As a consequence, we show that the simplest algorithm to decide whether a stochastic mean payoff game is winning, namely value iteration, has a pseudopolynomial complexity when the number of random positions is fixed.
Cutting Lemma and Union Lemma for the Domination Game
Published
• View Publication
• BIB
Two new techniques are introduced into the theory of the domination game. The cutting lemma bounds the game domination number of a partially dominated graph with the game domination number of suitably modified partially dominated graph. The union lemma bounds the S-game domination number of a disjoint union of paths using appropriate weighting functions. Using these tools a conjecture asserting that the so-called three legged spiders are game domination critical graphs is proved. An extended cutting lemma is also derived and all game domination critical trees on 18, 19, and 20 vertices are listed.