-
Metric Spaces in Which Many Triangles Are Degenerate
Authors:
Vašek Chvátal,
Noé de Rancourt,
Guillermo Gamboa Quintero,
Ida Kantor,
Péter G. N. Szabó
Abstract:
Richmond and Richmond (American Mathematical Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In a metric space on $n$ points, fewer than $7n^2/6$ suitably placed degenerate triangles suffice. Howev…
▽ More
Richmond and Richmond (American Mathematical Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In a metric space on $n$ points, fewer than $7n^2/6$ suitably placed degenerate triangles suffice. However, fewer than $n(n-1)/2$ degenerate triangles, no matter how cleverly placed, never suffice.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Sparse metric hypergraphs
Authors:
Vašek Chvátal,
Guillermo A. Gamboa Quintero.,
Ida Kantor
Abstract:
Given a metric space $(X, ρ)$, we say $y$ is between $x$ and $z$ if $ρ(x,z) = ρ(x,y) + ρ(y,z)$. A metric space gives rise to a 3-uniform hypergraph that has as hyperedges those triples $\{ x,y,z \}$ where $y$ is between $x$ and $z$. Such hypergraphs are called metric and understanding them is key to the study of metric spaces. In this paper, we prove that hypergraphs where small subsets of vertice…
▽ More
Given a metric space $(X, ρ)$, we say $y$ is between $x$ and $z$ if $ρ(x,z) = ρ(x,y) + ρ(y,z)$. A metric space gives rise to a 3-uniform hypergraph that has as hyperedges those triples $\{ x,y,z \}$ where $y$ is between $x$ and $z$. Such hypergraphs are called metric and understanding them is key to the study of metric spaces. In this paper, we prove that hypergraphs where small subsets of vertices induce few edges are metric. Additionally, we adapt the notion of sparsity with respect to monotone increasing functions, classify hypergraphs that exhibit this version of sparsity and prove that they are metric.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Metric spaces in which many triangles are degenerate
Authors:
Vašek Chvátal,
Ida Kantor
Abstract:
Richmond and Richmond (Amer. Math. Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In fact, $Θ(n^2)$ suitably placed degenerate triangles suffice.
Richmond and Richmond (Amer. Math. Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In fact, $Θ(n^2)$ suitably placed degenerate triangles suffice.
△ Less
Submitted 27 October, 2023; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Metric hypergraphs and metric-line equivalences
Authors:
Vašek Chvátal,
Ida Kantor
Abstract:
In a metric space $M=(X,d)$, we say that $v$ is between $u$ and $w$ if $d(u,w)=d(u,v)+d(v,w)$. Taking all triples $\{u,v,w\}$ such that $v$ is between $u$ and $w$, one can associate a 3-uniform hypergraph with each finite metric space $M$. An effort to solve some basic open questions regarding finite metric spaces has motivated an endeavor to better understand these associated hypergraphs. In answ…
▽ More
In a metric space $M=(X,d)$, we say that $v$ is between $u$ and $w$ if $d(u,w)=d(u,v)+d(v,w)$. Taking all triples $\{u,v,w\}$ such that $v$ is between $u$ and $w$, one can associate a 3-uniform hypergraph with each finite metric space $M$. An effort to solve some basic open questions regarding finite metric spaces has motivated an endeavor to better understand these associated hypergraphs. In answer to a question posed in arXiv:1112.0376, we present an infinite family of hypergraphs that are non-metric, i.e., they don't arise from any metric space.
Another basic structure associated with a metric space is a binary equivalence on the vertex set, where two pairs are in the same class if they induce the same line. An equivalence that comes from some metric space is a metric-line equivalence. We present an infinite family of so called obstacles, that is, binary equivalences that prevent an equivalence from being a metric-line equivalence.
△ Less
Submitted 7 September, 2022; v1 submitted 24 July, 2022;
originally announced July 2022.
-
Lines in the plane with the $L_1$ metric
Authors:
Ida Kantor
Abstract:
A well-known theorem in plane geometry states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}.
In this paper, we prove that in the plane with the $L_1$ (also called Manhattan) metric, a non-collinea…
▽ More
A well-known theorem in plane geometry states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}.
In this paper, we prove that in the plane with the $L_1$ (also called Manhattan) metric, a non-collinear set of $n$ points induces at least $\lceil n/2\rceil$ lines. This is an improvement of the previous lower bound of $n/37$, with substantially different proof. As a consequence, we also get the same lower bound for non-collinear point sets in the plane with the $L_{\infty}$ metric.
△ Less
Submitted 14 July, 2021; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Resonant inelastic x-ray scattering of magnetic excitations under pressure
Authors:
Matteo Rossi,
Christian Henriquet,
Jeroen Jacobs,
Christian Donnerer,
Stefano Boseggia,
Ali Al-Zein,
Roberto Fumagalli,
Yi Yao,
James G. Vale,
Emily C. Hunter,
Robin S. Perry,
Innokenty Kantor,
Gaston Garbarino,
Wilson Crichton,
Giulio Monaco,
Desmond F. McMorrow,
Michael Krisch,
Marco Moretti Sala
Abstract:
Resonant inelastic x-ray scattering (RIXS) is an extremely valuable tool for the study of elementary, including magnetic, excitations in matter. Latest developments of this technique mostly aimed at improving the energy resolution and performing polarization analysis of the scattered radiation, with a great impact on the interpretation and applicability of RIXS. Instead, this article focuses on th…
▽ More
Resonant inelastic x-ray scattering (RIXS) is an extremely valuable tool for the study of elementary, including magnetic, excitations in matter. Latest developments of this technique mostly aimed at improving the energy resolution and performing polarization analysis of the scattered radiation, with a great impact on the interpretation and applicability of RIXS. Instead, this article focuses on the sample environment and presents a setup for high-pressure low-temperature RIXS measurements of low-energy excitations. The feasibility of these experiments is proved by probing the magnetic excitations of the bilayer iridate Sr$_3$Ir$_2$O$_7$ at pressures up to 12 GPa.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
On the growth of the Möbius function of permutations
Authors:
Vít Jelínek,
Ida Kantor,
Jan Kynčl,
Martin Tancer
Abstract:
We study the values of the Möbius function $μ$ of intervals in the containment poset of permutations. We construct a sequence of permutations $π_n$ of size $2n-2$ for which $μ(1,π_n)$ is given by a polynomial in $n$ of degree 7. This construction provides the fastest known growth of $|μ(1,π)|$ in terms of $|π|$, improving a previous quadratic bound by Smith.
Our approach is based on a formula ex…
▽ More
We study the values of the Möbius function $μ$ of intervals in the containment poset of permutations. We construct a sequence of permutations $π_n$ of size $2n-2$ for which $μ(1,π_n)$ is given by a polynomial in $n$ of degree 7. This construction provides the fastest known growth of $|μ(1,π)|$ in terms of $|π|$, improving a previous quadratic bound by Smith.
Our approach is based on a formula expressing the Möbius function of an arbitrary permutation interval $[α,β]$ in terms of the number of embeddings of the elements of the interval into $β$.
△ Less
Submitted 6 August, 2019; v1 submitted 15 September, 2018;
originally announced September 2018.
-
Kneser ranks of random graphs and minimum difference representations
Authors:
Zoltán Füredi,
Ida Kantor
Abstract:
Every graph $G=(V,E)$ is an induced subgraph of some Kneser graph of rank $k$, i.e., there is an assignment of (distinct) $k$-sets $v \mapsto A_v$ to the vertices $v\in V$ such that $A_u$ and $A_v$ are disjoint if and only if $uv\in E$. The smallest such $k$ is called the Kneser rank of $G$ and denoted by $f_{\rm Kneser}(G)$. As an application of a result of Frieze and Reed concerning the clique c…
▽ More
Every graph $G=(V,E)$ is an induced subgraph of some Kneser graph of rank $k$, i.e., there is an assignment of (distinct) $k$-sets $v \mapsto A_v$ to the vertices $v\in V$ such that $A_u$ and $A_v$ are disjoint if and only if $uv\in E$. The smallest such $k$ is called the Kneser rank of $G$ and denoted by $f_{\rm Kneser}(G)$. As an application of a result of Frieze and Reed concerning the clique cover number of random graphs we show that for constant $0< p< 1$ there exist constants $c_i=c_i(p)>0$, $i=1,2$ such that with high probability \[ c_1 n/(\log n)< f_{\rm Kneser}(G) < c_2 n/(\log n). \] We apply this for other graph representations defined by Boros, Gurvich and Meshulam. A {\em $k$-min-difference representation} of a graph $G$ is an assignment of a set $A_i$ to each vertex $i\in V(G)$ such that \[ ij\in E(G) \,\, \Leftrightarrow \, \, \min \{|A_i\setminus A_j|,|A_j\setminus A_i| \}\geq k. \] The smallest $k$ such that there exists a $k$-min-difference representation of $G$ is denoted by $f_{\min}(G)$. Balogh and Prince proved in 2009 that for every $k$ there is a graph $G$ with $f_{\min}(G)\geq k$. We prove that there are constants $c''_1, c''_2>0$ such that $c''_1 n/(\log n)< f_{\min}(G) < c''_2n/(\log n)$ holds for almost all bipartite graphs $G$ on $n+n$ vertices.
△ Less
Submitted 28 January, 2017;
originally announced January 2017.
-
Universal amorphous-amorphous transition in GexSe1-x glasses under pressure
Authors:
Can Yildirim,
Matthieu Micoulaut,
Punit Boolchand,
Innokenty Kantor,
Olivier Mathon,
Jean-Pierre Gaspard,
Tetsuo Irifune,
Jean-Yves Raty
Abstract:
Pressure induced structural modifications in vitreous Ge$_{x}$Se$_{100-x}$ (where 10 $\leq$ x $\leq$ 25)are investigated using X-ray absorption spectroscopy (XAS) along with supplementary X-ray diffraction (XRD) experiments and ab initio molecular dynamics (AIMD) simulations. Universal changes in distances and angle distributions are observed when scaled to reduced densities. All compositions are…
▽ More
Pressure induced structural modifications in vitreous Ge$_{x}$Se$_{100-x}$ (where 10 $\leq$ x $\leq$ 25)are investigated using X-ray absorption spectroscopy (XAS) along with supplementary X-ray diffraction (XRD) experiments and ab initio molecular dynamics (AIMD) simulations. Universal changes in distances and angle distributions are observed when scaled to reduced densities. All compositions are observed to remain amorphous under pressure values up to 42 GPa. The Ge-Se interatomic distances extracted from XAS data show a two-step response to the applied pressure; a gradual decrease followed by an increase at around 15-20 GPa, depending on the composition. This increase is attributed to the metallization event that can be traced with the red shift in Ge K edge energy which is also identified by the principal peak position of the structure factor. The densification mechanisms are studied in details by means of AIMD simulations and compared to the experimental results. The evolution of bond angle distributions, interatomic distances and coordination numbers are examined and lead to similar pressure-induced structural changes for any composition.
△ Less
Submitted 7 April, 2016;
originally announced April 2016.
-
Local Structure and Spin Transition in Fe2O3 Hematite at High-Pressure
Authors:
Andrea Sanson,
Innokenty Kantor,
Valerio Cerantola,
Tetsuo Irifune,
Alberto Carnera,
Sakura Pascarelli
Abstract:
The pressure evolution of the local structure of Fe2O3 hematite has been determined for the first time by extended x-ray absorption fine structure up to 79 GPa. The comparison to the different high-pressure forms proposed in the literature suggests that the orthorhombic structure with space group Aba2 is the most probable. The crossover from Fe high-spin to low-spin states with pressure increase h…
▽ More
The pressure evolution of the local structure of Fe2O3 hematite has been determined for the first time by extended x-ray absorption fine structure up to 79 GPa. The comparison to the different high-pressure forms proposed in the literature suggests that the orthorhombic structure with space group Aba2 is the most probable. The crossover from Fe high-spin to low-spin states with pressure increase has been monitored from the pre-edge region of the Fe K-edge absorption spectra. The "simultaneous" comparison with the local structural changes allows us to definitively conclude that it is the electronic transition that drives the structural transition and not viceversa.
△ Less
Submitted 22 February, 2016;
originally announced February 2016.
-
A coding problem for pairs of subsets
Authors:
Bela Bollobas,
Zoltan Furedi,
Ida Kantor,
G. O. H. Katona,
Imre Leader
Abstract:
Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\} $ and $\{B_1,B_2\} $ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\} $. This is the minimum number of…
▽ More
Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\} $ and $\{B_1,B_2\} $ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\} $. This is the minimum number of elements of $A_1\cup A_2$ one has to move to obtain the other pair $\{B_1,B_2\}$. Let $C(n,k,d)$ be the maximum size of a family of pairs of disjoint subsets, such that the distance of any two pairs is at least $d$.
Here we establish a conjecture of Brightwell and Katona concerning an asymptotic formula for $C(n,k,d)$ for $k,d$ are fixed and $n\to \infty$. Also, we find the exact value of $C(n,k,d)$ in an infinite number of cases, by using special difference sets of integers. Finally, the questions discussed above are put into a more general context and a number of coding theory type problems are proposed.
△ Less
Submitted 12 May, 2014; v1 submitted 15 March, 2014;
originally announced March 2014.
-
Towards a de Bruijn-Erd\H os theorem in the $L_1$-metric
Authors:
Ida Kantor,
Balazs Patkos
Abstract:
A well-known theorem of de Bruijn and Erdős states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}.
In this paper, we prove that the answer is affirmative for sets of $n$ points in the plane with th…
▽ More
A well-known theorem of de Bruijn and Erdős states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}.
In this paper, we prove that the answer is affirmative for sets of $n$ points in the plane with the $L_1$ metric, provided that no two points share their $x$- or $y$-coordinate. In this case, either there is a line that contains all $n$ points, or $X$ induces at least $n$ distinct lines.
If points of $X$ are allowed to share their coordinates, then either there is a line that contains all $n$ points, or $X$ induces at least $n/37$ distinct lines.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.
-
List colorings with distinct list sizes, the case of complete bipartite graphs
Authors:
Zoltán Füredi,
Ida Kantor
Abstract:
Let $f:V \rightarrow \mathbb{N}$ be a function on the vertex set of the graph $G=(V,E)$. The graph $G$ is {\em $f$-choosable} if for every collection of lists with list sizes specified by $f$ there is a proper coloring using colors from the lists. The sum choice number, $χ_{sc}(G)$, is the minimum of $\sum f(v)$, over all functions $f$ such that $G$ is $f$-choosable. It is known (Alon 1993, 2000)…
▽ More
Let $f:V \rightarrow \mathbb{N}$ be a function on the vertex set of the graph $G=(V,E)$. The graph $G$ is {\em $f$-choosable} if for every collection of lists with list sizes specified by $f$ there is a proper coloring using colors from the lists. The sum choice number, $χ_{sc}(G)$, is the minimum of $\sum f(v)$, over all functions $f$ such that $G$ is $f$-choosable. It is known (Alon 1993, 2000) that if $G$ has average degree $d$, then the usual choice number $χ_\ell(G)$ is at least $Ω(\log d)$, so they grow simultaneously.
In this paper we show that $χ_{sc}(G)/|V(G)|$ can be bounded while the minimum degree $δ_{\min}(G)\rightarrow \infty$. Our main tool is to give tight estimates for the sum choice number of the unbalanced complete bipartite graph $K_{a,q}$.
△ Less
Submitted 1 November, 2011;
originally announced November 2011.
-
Large B_d-free and union-free subfamilies
Authors:
János Barát,
Zoltán Füredi,
Ida Kantor,
Youn** Kim,
Balázs Patkós
Abstract:
For a property $Γ$ and a family of sets $\cF$, let $f(\cF,Γ)$ be the size of the largest subfamily of $\cF$ having property $Γ$. For a positive integer $m$, let $f(m,Γ)$ be the minimum of $f(\cF,Γ)$ over all families of size $m$. A family $\cF$ is said to be $B_d$-free if it has no subfamily $\cF'=\{F_I: I \subseteq [d]\}$ of $2^d$ distinct sets such that for every $I,J \subseteq [d]$, both…
▽ More
For a property $Γ$ and a family of sets $\cF$, let $f(\cF,Γ)$ be the size of the largest subfamily of $\cF$ having property $Γ$. For a positive integer $m$, let $f(m,Γ)$ be the minimum of $f(\cF,Γ)$ over all families of size $m$. A family $\cF$ is said to be $B_d$-free if it has no subfamily $\cF'=\{F_I: I \subseteq [d]\}$ of $2^d$ distinct sets such that for every $I,J \subseteq [d]$, both $F_I \cup F_J=F_{I \cup J}$ and $F_I \cap F_J = F_{I \cap J}$ hold. A family $\cF$ is $a$-union free if $F_1\cup ... F_a \neq F_{a+1}$ whenever $F_1,..,F_{a+1}$ are distinct sets in $\FF$. We verify a conjecture of Erd\H os and Shelah that $f(m, B_2\text{\rm -free})=Θ(m^{2/3})$. We also obtain lower and upper bounds for $f(m, B_d\text{\rm -free})$ and $f(m,a\text{\rm -union free})$.
△ Less
Submitted 17 December, 2010;
originally announced December 2010.
-
Graded Lie algebras defined by Jordan algebras and their representations
Authors:
Issai Kantor,
Gregory Shpiz
Abstract:
We introduce the notion of a generalized representation of a Jordan algebra with unit. The greneralized representation has the following properties:
(1) Usual representations and Jacobson representations correspond to special cases of generalized representations.
(2) Every simple Jordan algebra has infinitely many nonequivalent generalized representations.
(3) There is a one-to-one corresp…
▽ More
We introduce the notion of a generalized representation of a Jordan algebra with unit. The greneralized representation has the following properties:
(1) Usual representations and Jacobson representations correspond to special cases of generalized representations.
(2) Every simple Jordan algebra has infinitely many nonequivalent generalized representations.
(3) There is a one-to-one correspondence between irreducible generalized representations of a Jordan algebra A and irreducible representations of a graded Lie algebra L(A)=U_{-1}\oplus U_0\oplus U_1 corresponding to A (the Lie algebra L(A) coincides with the TKK construction when A has a unit).
The latter correspondence allows to use the theory of representations of Lie algebras to study generalized representations of Jordan algebras. In particular, one can classify irreducible generalized representations of semisimple Jordan algebras and also obtain classical results about usual representations and Jacobson representations in a simple way.
△ Less
Submitted 10 December, 2004; v1 submitted 9 December, 2004;
originally announced December 2004.
-
A Peirce decomposition for generalized Jordan triple systems of second order
Authors:
Issai Kantor,
Noriaki Kamiya
Abstract:
A tripotent of a generalized triple system of second order defines a decomposition of the space of the space which consist of 10 components. It gives a generalization of the Peirce decomposition n for the Jordan triple system which consists in general of 4 components.
A tripotent of a generalized triple system of second order defines a decomposition of the space of the space which consist of 10 components. It gives a generalization of the Peirce decomposition n for the Jordan triple system which consists in general of 4 components.
△ Less
Submitted 23 June, 2002;
originally announced June 2002.