Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Characterization of order structures avoiding three-term arithmetic progressions
Published
• View Publication
• BIB
It is known that the set of all nonnegative integers may be equipped with a total order that is chaotic in the sense that there is no monotone three-term arithmetic progressions. Such chaotic order must be so complicated that the resulting ordered set cannot be order isomorphic to the set of all nonnegative integers or the set of all integers with the standard order. In this paper, we completely characterize order structures of chaotic orders on the set of all nonnegative integers, as well as on the set of all integers and on the set of all rational numbers.
A congruential recurrence characterizes the inverses of Sós permutations
In a proof of the three gaps theorem, a class of permutations known as the Sós permutations was introduced. It is known that a Sós permutation, as a sequence, satisfies a certain recurrence (Sós's recurrence), however, whether the converse holds remains unknown. On the other hand, the inverses of Sós permutations have been studied also. It has been reported that such a permutation satisfies a congruential recurrence as a sequence. The converse problem of this fact, i.e., whether a permutation satisfying the congruential recurrence is the inverse of a Sós permutation, is also unsolved, except for a finite number of the degrees of the permutations. This paper relates the set of permutations satisfying the congruential recurrence to other sets of permutations and gives upper bounds for their cardinalities. The upper bounds are in fact tight. In particular, the set of permutations satisfying the congruential recurrence has the same cardinality as that of Sós permutations, giving the affirmative answer to the above unsolved problem as a corollary. As another corollary, it is shown that all permutation, which is regarded as a congruential quasi-progression of diameter 1 in that the set formed by the first order differences modulo the degree of the permutation is a singleton or a set of two successive integers, is the inverse of a Sós permutation with an elementary operation called as shift applied. As an application of these facts, we present a procedure that lifts the set of the inverses of the Sós permutations of a given degree to the set of the same kind with the degree increased by one, without referring to the underlying parameters defining the Sós permutations or the Farey sequence associated to them.
On the structure of EFX orientations on graphs
Published
• View Publication
• BIB
Fair division is the problem of allocating a set of items among agents in a fair manner. One of the most sought-after fairness notions is envy-freeness (EF), requiring that no agent envies another's allocation. When items are indivisible, it ceases to exist, and envy-freeness up to any good (EFX) emerged as one of its strongest relaxations. The existence of EFX allocations is arguably the biggest open question within fair division. Recently, Christodoulou, Fiat, Koutsoupias, and Sgouritsa (EC 2023) showed that EFX allocations exist for the case of graphical valuations where an instance is represented by a graph: nodes are agents, edges are goods, and each agent values only her incident edges. On the other hand, they showed NP-hardness for checking the existence of EFX orientation where every edge is allocated to one of its incident vertices, and asked for a characterization of graphs that exhibit EFX orientation regardless of the assigned valuations. In this paper, we make significant progress toward answering their question. We introduce the notion of strongly EFX orientable graphs -- graphs that have EFX orientations regardless of how much agents value the edges. We show a surprising connection between this property and the chromatic number $χ(G)$ of the graph $G$. In particular, we show that graphs with $χ(G)\le 2$ are strongly EFX orientable, and those with $χ(G)>3$ are not strongly EFX orientable. We provide examples of strongly EFX orientable and non-strongly EFX orientable graphs of $χ(G)=3$ to prove tightness. Finally, we give a complete characterization of strong EFX orientability when restricted to binary valuations.
Domination polynomial and total domination polynomial of zero-divisor graphs of commutative rings
The domination polynomial (the total domination polynomial) of a graph $ G $ of order $ n $ is the generating function of the number of dominating sets (total dominating sets) of $ G $ of any size. In this paper, we study the domination polynomial and the total domination polynomial of zero-divisor graphs of the ring $ \mathbb{Z}_n $ where $ n\in\lbrace 2p, p^2, pq, p^2q, pqr, p^α\rbrace $, and $ p, q, r $ are primes with $ p>q>r>2 $.
Opacity complexity of automatic sequences. The general case
Published
• View Publication
• BIB
In this work we introduce a new notion called opacity complexity to measure the complexity of automatic sequences. We study basic properties of this notion, and exhibit an algorithm to compute it. As applications, we compute the opacity complexity of some well-known automatic sequences, including in particular constant sequences, purely periodic sequences, the Thue-Morse sequence, the period-doubling sequence, the Golay-Shapiro(-Rudin) sequence, the paperfolding sequence, the Baum-Sweet sequence, the Tower of Hanoi sequence, and so on.
Efficiency analysis for the Perron vector of a reciprocal matrix
Published
• View Publication
• BIB
In prioritization schemes, based on pairwise comparisons, such as the Analytical Hierarchy Process, it is necessary to extract a cardinal ranking vector from a reciprocal matrix that is unlikely to be consistent. It is natural to choose such a vector only from efficient ones. One of the most used ranking methods employs the (right) Perron eigenvector of the reciprocal matrix as the vector of weights. It is known that the Perron vector may not be efficient. Here, we focus on extending arbitrary reciprocal matrices and show, constructively, that two different extensions of any fixed size always exist for which the Perron vector is inefficient and for which it is efficient, with the following exception. If B is consistent, any reciprocal matrix obtained from B by adding one row and one column has efficient Perron vector. As a consequence of our results, we obtain families of reciprocal matrices for which the Perron vector is inefficient. These include known classes of such matrices and many more. We also characterize the 4-by-4 reciprocal matrices with inefficient Perron vector. Some prior results are generalized or completed.
Integrability and combinatorics
Published
• View Publication
• BIB
We discuss the use of methods coming from integrable systems to study problems of enumerative and algebraic combinatorics, and develop two examples: the enumeration of Alternating Sign Matrices and related combinatorial objects, and the theory of symmetric polynomials.
Random Gabidulin Codes Achieve List Decoding Capacity in the Rank Metric
Published
• View Publication
• BIB
Gabidulin codes, serving as the rank-metric counterpart of Reed-Solomon codes, constitute an important class of maximum rank distance (MRD) codes. However, unlike the fruitful positive results about the list decoding of Reed-Solomon codes, results concerning the list decodability of Gabidulin codes in the rank metric are all negative so far. For example, in contrast to Reed-Solomon codes, which are always list decodable up to the Johnson bound in the Hamming metric, Raviv and Wachter-Zeh (IEEE TIT, 2016 and 2017) constructed a class of Gabidulin codes that are not even combinatorially list decodable beyond the unique decoding radius in the rank metric. Proving the existence of Gabidulin codes with good combinatorial list decodability in the rank metric has remained a long-standing open problem.
In this paper, we resolve the aforementioned open problem by showing that, with high probability, random Gabidulin codes over sufficiently large alphabets attain the optimal generalized Singleton bound for list decoding in the rank metric. In particular, they achieve list decoding capacity in the rank metric.
Our work is significantly influenced by the recent breakthroughs in the combinatorial list decodability of Reed-Solomon codes, especially the work by Brakensiek, Gopi, and Makam (STOC 2023). Our major technical contributions, which may hold independent interest, consist of the following: (1) We initiate the study of ``higher order MRD codes'' and provide a novel unified theory, which runs parallel to the theory of ``higher order MDS codes'' developed by BGM. (2) We prove a natural analog of the GM-MDS theorem, proven by Lovett (FOCS 2018) and Yildiz and Hassibi (IEEE TIT, 2019), which we call the GM-MRD theorem. In particular, our GM-MRD theorem for Gabidulin codes are strictly stronger than the GM-MDS theorem for Gabidulin codes, proven by Yildiz and Hassibi (IEEE TIT, 2019).
Generalized Turán results for matchings
Given graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the largest number of copies of $H$ in $n$-vertex $F$-free graphs. We study the case when either $H$ or $F$ is a matching. We obtain several asymptotic and exact results.
Induced orthogonality in semilattices with 0 and in pseudocomplemented lattices and posets
Published
• View Publication
• BIB
On an arbitrary meet-semilattice S with 0 we define an orthogonality relation and investigate the lattice Cl(S) of all subsets of S closed under this orthogonality. We show that if S is atomic then Cl(S) is a complete atomic Boolean algebra. If S is a pseudocomplemented lattice, this orthogonality relation can be defined by means of the pseudocomplementation. Finally, we show that if S is a complete pseudocomplemented lattice then Cl(S) is a complete Boolean algebra. For pseudocomplemented posets a similar result holds if the subset of pseudocomplements forms a complete lattice satisfying a certain compatibility condition.
Eigenvalues and graph minors
Let $spex(n,H_{minor})$ denote the maximum spectral radius of $n$-vertex $H$-minor free graphs. The problem on determining this extremal value can be dated back to the early 1990s. Up to now, it has been solved for $n$ sufficiently large and some special minors, such as $\{K_{2,3},K_4\}$, $\{K_{3,3},K_5\}$, $K_r$ and $K_{s,t}$. In this paper, we find some unified phenomena on general minors. Every graph $G$ on $n$ vertices with spectral radius $ρ\geq spex(n,H_{minor})$ contains either an $H$ minor or a spanning book $K_{γ_H}\nabla(n-γ_H)K_1$, where $γ_H=|H|-α(H)-1$. Furthermore, assume that $G$ is $H$-minor free and $Γ^*_s(H)$ is the family of $s$-vertex irreducible induced subgraphs of $H$, then $G$ minus its $γ_H$ dominating vertices is $Γ^*_{α(H)+1}(H)$-minor saturate, and it is further edge-maximal if $Γ^*_{α(H)+1}(H)$ is a connected family. As applications, we obtain some known results on minors mentioned above. We also determine the extremal values for some other minors, such as flowers, wheels, generalized books and complete multi-partite graphs. Our results extend some conjectures on planar graphs, outer-planar graphs and $K_{s,t}$-minor free graphs. To obtain the results, we combine stability method, spectral techniques and structural analyses. Especially, we give an exploration of using absorbing method in spectral extremal problems.
What is a Parking Function?
Published
• View Publication
• BIB
In this expository article I describe classical results in the combinatorics of parking functions. Its English-Spanish translation is included. -- --
En este artículo de difusión matemática describo resultados clásicos en la combinatoria de funciones de parqueo. Su traducción español-inglés está incluida.
Derangement Representation of Graphs
A derangement $k$-representation of a graph $G$ is a map $π$ of $V(G)$ to the symmetric group $S_k$, such that for any two vertices $v$ and $u$ of $V(G)$, $v $ and $u$ are adjacent if and only if $π(v)(i) \neq π(u)(i)$ for each $i \in \{1,2,3,\ldots,k\}$. The derangement representation number of $G$ denoted by $drn(G)$, is the minimum of $k$ such that $G$ has a derangement $k$-representation. In this paper, we prove that any graph has a derangement $k$-representation. Also, we obtain some lower and upper bounds for $drn(G)$, in terms of the basic parameters of $G$. Finally, we determine the exact value or give the better bounds of the derangement representation number of some classes of graphs.
On the weak homotopy types of small finite spaces
We show that a connected finite topological space with $12$ or less points has a weak homotopy type of a wedge of spheres. In other words, we show that the order complex of a connected finite poset with $12$ or less points has a homotopy type of a wedge of spheres.
Haar graphical representations of finite groups and an application to poset representations
Published
• View Publication
• BIB
Let $R$ be a group and let $S$ be a subset of $R$. The Haar graph $\mathrm{Haar}(R,S)$ of $R$ with connection set $S$ is the graph having vertex set $R\times\{-1,1\}$, where two distinct vertices $(x,-1)$ and $(y,1)$ are declared to be adjacent if and only if $yx^{-1}\in S$. The name Haar graph was coined by Tomaž Pisanski in one of the first investigations on this class of graphs.
For every $g\in R$, the mapping $ρ_g:(x,\varepsilon)\mapsto (xg,\varepsilon)$, $\forall (x,\varepsilon)\in R\times\{-1,1\}$, is an automorphism of $\mathrm{Haar}(R,S)$. In particular, the set $\hat{R}:=\{ρ_g\mid g\in R\}$ is a subgroup of the automorphism group of $\mathrm{Haar}(R,S)$ isomorphic to $R$. In the case that the automorphism group of $\mathrm{Haar}(R,S)$ equals $\hat{R}$, the Haar graph $\mathrm{Haar}(R,S)$ is said to be a Haar graphical representation of the group $R$.
Answering a question of Feng, Kovács, Wang, and Yang, we classify the finite groups admitting a Haar graphical representation. Specifically, we show that every finite group admits a Haar graphical representation, with abelian groups and ten other small groups as the only exceptions.
Our work on Haar graphs allows us to improve a 1980 result of Babai concerning representations of groups on posets, achieving the best possible result in this direction. An improvement to Babai's related result on representations of groups on distributive lattices follows.
Best Simultaneous Approximation of Functions and a Generalized Minimax Theorem
Best simultaneous approximation (BSA) for finitely or infinitely many functions are considered under the uniform norm and other important norms. Characterization theorems for a BSA from a finite-dimensional subspace are obtained by a generalized minimax theorem. From the characterization theorem a strong unicity theorem is also deduced for a BSA.
A note on Combinatorial Invariance of Kazhdan--Lusztig polynomials
Published
• View Publication
• BIB
We introduce the concepts of an amazing hypercube decomposition and a double shortcut for it, and use these new ideas to formulate a conjecture implying the Combinatorial Invariance Conjecture of the Kazhdan--Lusztig polynomials for the symmetric group. This conjecture has the advantage of being combinatorial in nature. The appendix by Grant T. Barkley and Christian Gaetz discusses the related notion of double hypercubes and proves an analogous conjecture for these in the case of co-elementary intervals.
Getting to the Root of the Problem: Sums of Squares for Limits of Trees
Published
• View Publication
• BIB
The inducibility of a graph represents its maximum density as an induced subgraph over all possible sequences of graphs of size growing to infinity. This invariant of graphs has been extensively studied since its introduction in $1975$ by Pippenger and Golumbic. In $2017$, Czabarka, Székely and Wagner extended this notion to leaf-labeled rooted binary trees, which are objects widely studied in the field of phylogenetics. They obtain the first results and bounds for the densities and inducibilities of such trees. Following up on their work, we apply Razborov's flag algebra theory to this setting, introducing the flag algebra of rooted leaf-labeled binary trees. This framework allows us to use polynomial optimization methods, based on semidefinite programming, to efficiently obtain new upper bounds for the inducibility of trees and to improve existing ones. Additionally, we obtain the first outer approximations of profiles of trees, which represent all possible simultaneous densities of a pair of trees in a sequence of trees of growing sizes. Finally, we are able to prove the non-convexity of some of these profiles.
Expanding the Katz Index for Link Prediction: A Case Study on a Live Fish Movement Network
In aquaculture, disease spread models often neglect the dynamic interactions between farms, hindering accuracy. This study enhances the Katz index (KI) to incorporate spatial and temporal patterns of fish movement, improving the prediction of farms susceptible to disease via live fish transfers. We modified the Katz index to create models like the Weighted Katz Index (WKI), Edge Weighted Katz Index (EWKI), and combined models (e.g., KIEWKI). These incorporate spatial distances and temporal movement patterns for a comprehensive aquaculture network connection prediction framework. Model performance was evaluated using precision, recall, F1-scores, AUPR, and AUROC. The EWKI model significantly outperformed the traditional KI and other variations. It achieved high precision (0.988), recall (0.712), F1-score (0.827), and AUPR (0.970). Combined models (KIEWKI, WKIEWKI) approached, but couldn't surpass, EWKI performance. This study highlights the value of extending Katz index models to improve disease spread predictions in aquaculture networks. The EWKI model's performance demonstrates an innovative and flexible approach to tackling spatial challenges within network analysis.
Commuting probability for approximate subgroups of a finite group
Published
• View Publication
• BIB
For subsets X,Y of a finite group G, we write Pr(X,Y) for the probability that two random elements x in X and y in Y commute. This paper addresses the relation between the structure of an approximate subgroup A of G and the probabilities Pr(A,G) and Pr(A,A).