-
Deep learning-based brain segmentation model performance validation with clinical radiotherapy CT
Authors:
Selena Huisman,
Matteo Maspero,
Marielle Philippens,
Joost Verhoeff,
Szabolcs David
Abstract:
Manual segmentation of medical images is labor intensive and especially challenging for images with poor contrast or resolution. The presence of disease exacerbates this further, increasing the need for an automated solution. To this extent, SynthSeg is a robust deep learning model designed for automatic brain segmentation across various contrasts and resolutions. This study validates the SynthSeg…
▽ More
Manual segmentation of medical images is labor intensive and especially challenging for images with poor contrast or resolution. The presence of disease exacerbates this further, increasing the need for an automated solution. To this extent, SynthSeg is a robust deep learning model designed for automatic brain segmentation across various contrasts and resolutions. This study validates the SynthSeg robust brain segmentation model on computed tomography (CT), using a multi-center dataset. An open access dataset of 260 paired CT and magnetic resonance imaging (MRI) from radiotherapy patients treated in 5 centers was collected. Brain segmentations from CT and MRI were obtained with SynthSeg model, a component of the Freesurfer imaging suite. These segmentations were compared and evaluated using Dice scores and Hausdorff 95 distance (HD95), treating MRI-based segmentations as the ground truth. Brain regions that failed to meet performance criteria were excluded based on automated quality control (QC) scores. Dice scores indicate a median overlap of 0.76 (IQR: 0.65-0.83). The median HD95 is 2.95 mm (IQR: 1.73-5.39). QC score based thresholding improves median dice by 0.1 and median HD95 by 0.05mm. Morphological differences related to sex and age, as detected by MRI, were also replicated with CT, with an approximate 17% difference between the CT and MRI results for sex and 10% difference between the results for age. SynthSeg can be utilized for CT-based automatic brain segmentation, but only in applications where precision is not essential. CT performance is lower than MRI based on the integrated QC scores, but low-quality segmentations can be excluded with QC-based thresholding. Additionally, performing CT-based neuroanatomical studies is encouraged, as the results show correlations in sex- and age-based analyses similar to those found with MRI.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Magneto-Stokes Flow in a Shallow Free-Surface Annulus
Authors:
Cy S. David,
Eric W. Hester,
Yufan Xu,
Jonathan M. Aurnou
Abstract:
In this study, we analyse "magneto-Stokes" flow, a fundamental magnetohydrodynamic (MHD) flow that shares the cylindrical-annular geometry of the Taylor-Couette cell, but uses applied electromagnetic forces to circulate a free-surface layer of electrolyte at low Reynolds numbers. The first complete, analytical solution for time-dependent magneto-Stokes flow is presented and validated with coupled…
▽ More
In this study, we analyse "magneto-Stokes" flow, a fundamental magnetohydrodynamic (MHD) flow that shares the cylindrical-annular geometry of the Taylor-Couette cell, but uses applied electromagnetic forces to circulate a free-surface layer of electrolyte at low Reynolds numbers. The first complete, analytical solution for time-dependent magneto-Stokes flow is presented and validated with coupled laboratory and numerical experiments. Three regimes are distinguished (shallow-layer, transitional, and deep-layer flow regimes), and their influence on the efficiency of microscale mixing is clarified. The solution in the shallow-layer limit belongs to a newly-identified class of MHD potential flows, and thus induces mixing without the aid of axial vorticity. We show that these shallow-layer magneto-Stokes flows can still augment mixing in distinct Taylor dispersion and advection-dominated mixing regimes. The existence of enhanced mixing across all three distinguished flow regimes is predicted by asymptotic scaling laws and supported by three-dimensional numerical simulations. Mixing enhancement is initiated with the least electromagnetic forcing in channels with order-unity depth-to-gap-width ratios. If the strength of the electromagnetic forcing is not a constraint, then shallow-layer flows can still yield the shortest mixing times in the advection-dominated limit. Our robust description of momentum evolution and mixing of passive tracers makes the annular magneto-Stokes system fit for use as an MHD reference flow.
△ Less
Submitted 24 June, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Evidence of 3D Dirac conical bands in TlBiSSe by optical and magneto-optical spectroscopy
Authors:
F. Le Mardelé,
J. Wyzula,
I. Mohelsky,
S. Nasrallah,
M. Loh,
S. Ben David,
O. Toledano,
D. Tolj,
M. Novak,
G. Eguchi,
S. Paschen,
N. Barišić,
J. Chen,
A. Kimura,
M. Orlita,
Z. Rukelj,
A. Akrap,
D. Santos-Cottin
Abstract:
TlBiSSe is a rare realization of a 3D semimetal with a conically dispersing band that has an optical response which is well isolated from other contributions in a broad range of photon eneries. We report optical and magneto-optical spectroscopy on this material. When the compound is chemically tuned into a state of the lowest carrier concentration, we find a nearly linear frequency dependence of t…
▽ More
TlBiSSe is a rare realization of a 3D semimetal with a conically dispersing band that has an optical response which is well isolated from other contributions in a broad range of photon eneries. We report optical and magneto-optical spectroscopy on this material. When the compound is chemically tuned into a state of the lowest carrier concentration, we find a nearly linear frequency dependence of the optical conductivity below 0.5~eV. Landau level spectroscopy allows us to describe the system with a massive Dirac model, giving a gap $2Δ=32$~meV and an in-plane velocity parameter $v= 4.0\times 10^5$~m/s. %
Finally, we provide a theoretical recipe to extract all parameters of the anisotropic Dirac band, including the Fermi energy and band degeneracy.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
Information content of note transitions in the music of J. S. Bach
Authors:
Suman Kulkarni,
Sophia U. David,
Christopher W. Lynn,
Dani S. Bassett
Abstract:
Music has a complex structure that expresses emotion and conveys information. Humans process that information through imperfect cognitive instruments that produce a gestalt, smeared version of reality. How can we quantify the information contained in a piece of music? Further, what is the information inferred by a human, and how does that relate to (and differ from) the true structure of a piece?…
▽ More
Music has a complex structure that expresses emotion and conveys information. Humans process that information through imperfect cognitive instruments that produce a gestalt, smeared version of reality. How can we quantify the information contained in a piece of music? Further, what is the information inferred by a human, and how does that relate to (and differ from) the true structure of a piece? To tackle these questions quantitatively, we present a framework to study the information conveyed in a musical piece by constructing and analyzing networks formed by notes (nodes) and their transitions (edges). Using this framework, we analyze music composed by J. S. Bach through the lens of network science and information theory. Regarded as one of the greatest composers in the Western music tradition, Bach's work is highly mathematically structured and spans a wide range of compositional forms, such as fugues and choral pieces. Conceptualizing each composition as a network of note transitions, we quantify the information contained in each piece and find that different kinds of compositions can be grouped together according to their information content and network structure. Moreover, we find that the music networks communicate large amounts of information while maintaining small deviations of the inferred network from the true network, suggesting that they are structured for efficient communication of information. We probe the network structures that enable this rapid and efficient communication of information--namely, high heterogeneity and strong clustering. Taken together, our findings shed new light on the information and network properties of Bach's compositions. More generally, our framework serves as a step** stone for exploring musical complexities, creativity and the structure of information in a range of complex systems.
△ Less
Submitted 4 September, 2023; v1 submitted 2 January, 2023;
originally announced January 2023.
-
On the Greenlees-May Duality and the Matlis-Greenlees-May Equivalence
Authors:
Abebaw Tilahun,
Mamo S. Amanuel,
Ssevviiri David,
Teshome Zelalem
Abstract:
Let A be a commutative unital ring and a an ideal in it. We define and study a-reduced complexes and a-coreduced complexes in both the category of chain complexes of A-modules as well as in the derived category of A-modules. We show that these two types of complexes give rise to variants of the well known Greenlees-May duality and the Matlis-Greenlees-May equivalence in the aforementioned categori…
▽ More
Let A be a commutative unital ring and a an ideal in it. We define and study a-reduced complexes and a-coreduced complexes in both the category of chain complexes of A-modules as well as in the derived category of A-modules. We show that these two types of complexes give rise to variants of the well known Greenlees-May duality and the Matlis-Greenlees-May equivalence in the aforementioned categories.
△ Less
Submitted 11 April, 2024; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Semi-Automatic Labeling and Semantic Segmentation of Gram-Stained Microscopic Images from DIBaS Dataset
Authors:
Chethan Reddy G. P.,
Pullagurla Abhijith Reddy,
Vidyashree R. Kanabur,
Deepu Vijayasenan,
Sumam S. David,
Sreejith Govindan
Abstract:
In this paper, a semi-automatic annotation of bacteria genera and species from DIBaS dataset is implemented using clustering and thresholding algorithms. A Deep learning model is trained to achieve the semantic segmentation and classification of the bacteria species. Classification accuracy of 95% is achieved. Deep learning models find tremendous applications in biomedical image processing. Automa…
▽ More
In this paper, a semi-automatic annotation of bacteria genera and species from DIBaS dataset is implemented using clustering and thresholding algorithms. A Deep learning model is trained to achieve the semantic segmentation and classification of the bacteria species. Classification accuracy of 95% is achieved. Deep learning models find tremendous applications in biomedical image processing. Automatic segmentation of bacteria from gram-stained microscopic images is essential to diagnose respiratory and urinary tract infections, detect cancers, etc. Deep learning will aid the biologists to get reliable results in less time. Additionally, a lot of human intervention can be reduced. This work can be helpful to detect bacteria from urinary smear images, sputum smear images, etc to diagnose urinary tract infections, tuberculosis, pneumonia, etc.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Generalized hypergeometric $G$-functions take linear independent values
Authors:
Sinnou David,
Noriko Hirata-Kohno,
Makoto Kawashima
Abstract:
In this article, we show a new general linear independence criterion related to values of $G$-functions, including the linear independence of values at algebraic points of contiguous hypergeometric functions, which is not known before. Let $K$ be any algebraic number field and $v$ be a place of $K$. Let $r\in\mathbb{Z}$ with $r\ge2$. Consider…
▽ More
In this article, we show a new general linear independence criterion related to values of $G$-functions, including the linear independence of values at algebraic points of contiguous hypergeometric functions, which is not known before. Let $K$ be any algebraic number field and $v$ be a place of $K$. Let $r\in\mathbb{Z}$ with $r\ge2$. Consider $a_1,\ldots,a_{r}, b_1,\ldots,b_{r-1}\in \mathbb{Q}\setminus\{0\}$ not being negative integers. Assume neither $a_k$ nor $a_k+1-b_j$ be strictly positive integers $(1\le k \le r, 1\le j \le r-1)$. Let $α_1,\ldots,α_m\in K\setminus\{0\}$ with $α_1,\ldots,α_m$ pairwise distinct. By choosing sufficiently large $β\in \mathbb{Z}$ depending on $K$ and $v$ such that the points $α_1/β,\ldots,α_m/β$ are closed enough to the origin, we prove that the $rm+1$ numbers~$:$ \begin{align*} &{}_{r}F_{r-1} \biggl(\begin{matrix} a_1,\ldots, a_r\\ b_1, \ldots, b_{r-1} \end{matrix} \biggm| \dfrac{α_i}β\biggr)\enspace, \ \ {}_{r}F_{r-1} \biggl(\begin{matrix} a_1+1,\ldots,\ldots,\ldots,a_r+1\\ b_1+1, \ldots, b_{r-s}+1,b_{r-s+1},\ldots,b_{r-1} \end{matrix} \biggm| \dfrac{α_i}β\biggr)\enspace\\ &(1\le i \le m, 1\le s \le r-1)\end{align*} and $1$ are linearly independent over $K$. The essential ingredient is our term-wise formal construction of type II of Padé approximants together with new non-vanishing argument for the generalized Wronskian.
△ Less
Submitted 28 February, 2022;
originally announced March 2022.
-
Linear independence criteria for generalized polylogarithms with distinct shifts
Authors:
Sinnou David,
Noriko Hirata-Kohno,
Makoto Kawashima
Abstract:
For a given rational number $x$ and an integer $s\geq 1$, let us consider a generalized polylogarithmic function, often called the Lerch function, defined by $$Φ_{s}(x,z)= \sum_{k=0}^{\infty}\frac{z^{k+1}}{(k+x+1)^s}\enspace.$$ We prove the linear independence over any number field $K$ of the numbers $1$ and $Φ_{s_j}(x_j,α_i)$ with any choice of distinct shifts $x_1,\ldots, x_d$ with…
▽ More
For a given rational number $x$ and an integer $s\geq 1$, let us consider a generalized polylogarithmic function, often called the Lerch function, defined by $$Φ_{s}(x,z)= \sum_{k=0}^{\infty}\frac{z^{k+1}}{(k+x+1)^s}\enspace.$$ We prove the linear independence over any number field $K$ of the numbers $1$ and $Φ_{s_j}(x_j,α_i)$ with any choice of distinct shifts $x_1,\ldots, x_d$ with $0\le x_1<\ldots<x_d<1$, as well as any choice of depths $1\leq s_1\leq r_1,\ldots, 1\leq s_d\leq r_d$, at distinct algebraic numbers $α_1,\ldots,α_m\in K$ subject to a metric condition. As is usual in the theory, the points $α_i$ need to be chosen sufficiently close to zero with respect to a given fixed place $v_0$ of $K$, Archimedean or finite.
This is the first linear independence result with distinct shifts $x_1, \ldots, x_d$ that allows values at different points for generalized polylogarithmic functions. Previous criteria were only for the functions with one fixed shift or at one point. Further, we establish another linear independence criterion for values of the generalized polylogarithmic function with cyclic coefficients. Let $q\geq 1$ be an integer and $\boldsymbol{a}=(a_1,\ldots, a_q)\in K^q$ be a $q$-tuple whose coordinates supposed to be cyclic with the period $q$. Consider the generalized polylogarithmc function with coefficients $$Φ_{\boldsymbol{a},s}(x,z)= \sum_{k=0}^{\infty}\frac{a_{k+1\bmod(q)}\cdot z^{k+1}}{(k+x+1)^s}\enspace.$$ Under suitable condition, we show that the values of these functions are linearly independent over $K$. Our key tool is a new non-vanishing property for a generalized Wronskian of Hermite type associated to our explicit constructions of Padé approximants for this family of generalized polylogarithmic function.
△ Less
Submitted 5 January, 2023; v1 submitted 28 February, 2022;
originally announced February 2022.
-
A dataset of mentorship in science with semantic and demographic estimations
Authors:
Qing Ke,
Lizhen Liang,
Ying Ding,
Stephen V. David,
Daniel E. Acuna
Abstract:
Mentorship in science is crucial for topic choice, career decisions, and the success of mentees and mentors. Typically, researchers who study mentorship use article co-authorship and doctoral dissertation datasets. However, available datasets of this type focus on narrow selections of fields and miss out on early career and non-publication-related interactions. Here, we describe MENTORSHIP, a crow…
▽ More
Mentorship in science is crucial for topic choice, career decisions, and the success of mentees and mentors. Typically, researchers who study mentorship use article co-authorship and doctoral dissertation datasets. However, available datasets of this type focus on narrow selections of fields and miss out on early career and non-publication-related interactions. Here, we describe MENTORSHIP, a crowdsourced dataset of 743176 mentorship relationships among 738989 scientists across 112 fields that avoids these shortcomings. We enrich the scientists' profiles with publication data from the Microsoft Academic Graph and "semantic" representations of research using deep learning content analysis. Because gender and race have become critical dimensions when analyzing mentorship and disparities in science, we also provide estimations of these factors. We perform extensive validations of the profile--publication matching, semantic content, and demographic inferences. We anticipate this dataset will spur the study of mentorship in science and deepen our understanding of its role in scientists' career outcomes.
△ Less
Submitted 11 June, 2021;
originally announced June 2021.
-
Impact of gender on the formation and outcome of mentoring relationships in academic research
Authors:
Leah P. Schwartz,
Jean Liénard,
Stephen V. David
Abstract:
Despite increasing representation in graduate training programs, a disproportionate number of women leave academic research before obtaining an independent position. To understand factors underlying this trend, we analyzed a multidisciplinary database of Ph.D. and postdoctoral mentoring relationships covering the years 2000-2020, focusing on data from the life sciences. Student and mentor gender a…
▽ More
Despite increasing representation in graduate training programs, a disproportionate number of women leave academic research before obtaining an independent position. To understand factors underlying this trend, we analyzed a multidisciplinary database of Ph.D. and postdoctoral mentoring relationships covering the years 2000-2020, focusing on data from the life sciences. Student and mentor gender are both associated with differences in rates of student's continuation to independent mentor positions of their own. Although trainees of women mentors are less likely to take on independent positions than trainees of men mentors, this effect is reduced substantially after controlling for several measurements of mentor status. Thus the effect of mentor gender can be explained at least partially by gender disparities in social and financial resources available to mentors. Because trainees and mentors tend to be of the same gender, this association between mentor gender and academic continuation disproportionately impacts women trainees. On average, gender homophily in graduate training is unrelated to mentor status. A notable exception to this trend is the special case of scientists having been granted an outstanding distinction, evidenced by membership in the National Academy of Sciences, being a grantee of the Howard Hughes Medical Institute, or having been awarded the Nobel Prize. This group of mentors trains men graduate students at higher rates than their most successful colleagues. These results suggest that, in addition to other factors that limit career choices for women trainees, gender inequities in mentors' access to resources and prestige contribute to women's attrition from independent research positions.
△ Less
Submitted 4 May, 2022; v1 submitted 15 April, 2021;
originally announced April 2021.
-
Determinants of Financial Performance of Microfinance Banks in Kenya
Authors:
King'ori S. Ngumo,
Kioko W. Collins,
Shikumo H. David
Abstract:
Microfinance provides strength to boost the economic activities of low-income earners and thus contributes to eradication of poverty. However, microfinance institutions face stringent competition from commercial banks; the growth of microloan activities of commercial banks may confront microfinance institutions with increased competition for borrowers. In Kenya, the micro finance sector has extrem…
▽ More
Microfinance provides strength to boost the economic activities of low-income earners and thus contributes to eradication of poverty. However, microfinance institutions face stringent competition from commercial banks; the growth of microloan activities of commercial banks may confront microfinance institutions with increased competition for borrowers. In Kenya, the micro finance sector has extremely high competition indicated by the shifting market share and profitability. This study sought to examine the determinants of financial performance of Microfinance banks in Kenya. The study adopted a descriptive research design and used secondary data from 7 Microfinance banks for a period of 5 years from 2011 to 2015. The data collected was analyzed using correlation and regression analysis. The study found a positive and statistically significant relationship between operational efficiency, capital adequacy, firm size and financial performance of microfinance banks in Kenya. However, the study found an insignificant negative relationship between liquidity risk, credit risk and financial performance of microfinance banks in Kenya. The study concluded that there is direct relationship between operational efficiency, capital adequacy, firm size and financial performance of microfinance banks in Kenya.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
Linear Forms in Polylogarithms
Authors:
Sinnou David,
Noriko Hirata-Kohno,
Makoto Kawashima
Abstract:
Let $r, \,m$ be positive integers. Let $x$ be a rational number with $0 \le x <1$. Consider $Φ_s(x,z) =\displaystyle\sum_{k=0}^{\infty}\frac{z^{k+1}}{{(k+x+1)}^s}$ the $s$-th Lerch function with $s=1, 2, \cdots, r$. When $x=0$, this is a polylogarithmic function. Let $α_1, \cdots, α_m$ be pairwise distinct algebraic numbers of arbitrary degree over the rational number field, with…
▽ More
Let $r, \,m$ be positive integers. Let $x$ be a rational number with $0 \le x <1$. Consider $Φ_s(x,z) =\displaystyle\sum_{k=0}^{\infty}\frac{z^{k+1}}{{(k+x+1)}^s}$ the $s$-th Lerch function with $s=1, 2, \cdots, r$. When $x=0$, this is a polylogarithmic function. Let $α_1, \cdots, α_m$ be pairwise distinct algebraic numbers of arbitrary degree over the rational number field, with $0<|α_j|<1 \,\,\,(1\leq j \leq m)$. In this article, we show a criterion for the linear independence, over an algebraic number field containing $\mathbb{Q}(α_1, \cdots, α_m)$, of all the $rm+1$ numbers : $Φ_1(x,α_1)$, $Φ_2(x,α_1), $ $\cdots , Φ_r(x,α_1)$, $Φ_1(x,α_2)$, $Φ_2(x,α_2), $ $\cdots , Φ_r(x,α_2), \cdots, \cdots, Φ_1(x,α_m)$, $Φ_2(x,α_m)$, $\cdots , Φ_r(x,α_m)$ and $1$. This is the first result that gives a sufficient condition for the linear independence of values of the Lerch functions at several distinct algebraic points, not necessarily lying in the rational number field nor in quadratic imaginary fields. We give a complete proof with refinements and quantitative statements of the main theorem announced in [10], together with a proof in detail on the non-vanishing Wronskian of Hermite type.
△ Less
Submitted 4 January, 2023; v1 submitted 18 October, 2020;
originally announced October 2020.
-
How We Learn About our Networked World
Authors:
Sophia U. David,
Sophie E. Loman,
Christopher W. Lynn,
Ann S. Blevins,
Danielle S. Bassett
Abstract:
When presented with information of any type, from music to language to mathematics, the human mind subconsciously arranges it into a network. A network puts pieces of information like musical notes, syllables or mathematical concepts into context by linking them together. These networks help our minds organize information and anticipate what is coming. Here we present two questions about network b…
▽ More
When presented with information of any type, from music to language to mathematics, the human mind subconsciously arranges it into a network. A network puts pieces of information like musical notes, syllables or mathematical concepts into context by linking them together. These networks help our minds organize information and anticipate what is coming. Here we present two questions about network building. 1) Can humans more easily learn some types of networks than others? 2) Do humans find some links between ideas more surprising than others? The answer to both questions is "Yes," and we explain why. The findings provide much-needed insight into the ways that humans learn about the networked world around them. Moreover, the study paves the way for future efforts seeking to optimize how information is presented to accelerate human learning.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Optical conductivity of the type-II Weyl semimetal TaIrTe$_4$
Authors:
F. Le Mardelé,
D. Santos-Cottin,
E. Martino,
K. Semeniuk,
S. Ben David,
F. Orbanic,
M. Novak,
Z. Rukelj,
C. C. Homes,
Ana Akrap
Abstract:
TaIrTe$_4$ is an example of a candidate Weyl type-II semimetal with a minimal possible number of Weyl nodes. Four nodes are reported to exist a single plane in $k$-space. The existence of a conical dispersion linked to Weyl nodes has yet to be shown experimentally. Here we use optical spectroscopy as a probe of the band structure on a low-energy scale. Studying optical conductivity allows us to pr…
▽ More
TaIrTe$_4$ is an example of a candidate Weyl type-II semimetal with a minimal possible number of Weyl nodes. Four nodes are reported to exist a single plane in $k$-space. The existence of a conical dispersion linked to Weyl nodes has yet to be shown experimentally. Here we use optical spectroscopy as a probe of the band structure on a low-energy scale. Studying optical conductivity allows us to probe intraband and interband transitions with zero momentum. In TaIrTe$_4$, we observe a narrow Drude contribution and an interband conductivity that may be consistent with a tilted linear band dispersion up to 40~meV. The interband conductivity allows us to establish the effective parameters of the conical dispersion; effective velocity $v=1.1\cdot 10^{4}$~m/s and tilt $γ=0.37$. The transport data, Seebeck and Hall coefficients, are qualitatively consistent with conical features in the band structure. Quantitative disagreement may be linked to the multiband nature of TaIrTe$_4$.
△ Less
Submitted 31 March, 2020;
originally announced April 2020.
-
Can polylogarithms at algebraic points be linearly independent?
Authors:
Sinnou David,
Noriko Hirata-Kohno,
Makoto Kawashima
Abstract:
Let $r,m$ be positive integers. Let $0\le x <1$ be a rational number. Let $Φ_s(x,z)$ be the $s$-th Lerch function $\sum_{k=0}^{\infty}\tfrac{z^{k+1}}{(k+x+1)^s}$ with $s=1,2,\ldots ,r$. When $x=0$, this is the polylogarithmic function. Let $α_1,\ldots ,α_m$ be pairwise distinct algebraic numbers with $0<|α_j|<1$ $(1 \le j \le m)$. In this article, we state a linear independence criterion over alge…
▽ More
Let $r,m$ be positive integers. Let $0\le x <1$ be a rational number. Let $Φ_s(x,z)$ be the $s$-th Lerch function $\sum_{k=0}^{\infty}\tfrac{z^{k+1}}{(k+x+1)^s}$ with $s=1,2,\ldots ,r$. When $x=0$, this is the polylogarithmic function. Let $α_1,\ldots ,α_m$ be pairwise distinct algebraic numbers with $0<|α_j|<1$ $(1 \le j \le m)$. In this article, we state a linear independence criterion over algebraic number fields of all the $rm+1$ numbers $:$ $Φ_1(x,α_1),Φ_2(x,α_1),\ldots, Φ_r(x,α_1),Φ_1(x,α_2),Φ_2(x,α_2),\ldots, Φ_r(x,α_2),\ldots,Φ_1(x,α_m),Φ_2(x,α_m),\ldots, Φ_r(x,α_m)$ and $1$. This is the first result that gives a sufficient condition for the linear independence of values of the $r$ Lerch functions $Φ_1(x,z),Φ_2(x,z),\ldots, Φ_r(x,z)$ at $m$ distinct algebraic points without any assumption for $r$ and $m$, even for the case $x=0$, the polylogarithms. We give an outline of our proof and explain basic idea.
△ Less
Submitted 4 January, 2023; v1 submitted 8 December, 2019;
originally announced December 2019.
-
Probing intraband excitations in ZrTe$_5$: a high-pressure infrared and transport study
Authors:
D. Santos-Cottin,
M. Padlewski,
E. Martino,
S. Ben David,
F. Le Mardele,
M. Bachmann,
C. Putzke,
P. J. W. Moll,
R. D. Zhong,
G. D. Gu,
H. Berger,
M. Orlita,
C. C. Homes,
Z. Rukelj,
Ana Akrap
Abstract:
Zirconium pentatetelluride, ZrTe5, shows remarkable sensitivity to hydrostatic pressure. In this work we address the high-pressure transport and optical properties of this compound, on samples grown by flux and charge vapor transport. The high-pressure resistivity is measured up to 2 GPa, and the infrared transmission up to 9 GPa. The dc conductivity anisotropy is determined using a microstructure…
▽ More
Zirconium pentatetelluride, ZrTe5, shows remarkable sensitivity to hydrostatic pressure. In this work we address the high-pressure transport and optical properties of this compound, on samples grown by flux and charge vapor transport. The high-pressure resistivity is measured up to 2 GPa, and the infrared transmission up to 9 GPa. The dc conductivity anisotropy is determined using a microstructured sample. Together, the transport and optical measurements allow us to discern band parameters with and without the hydrostatic pressure, in particular the Fermi level, and the effective mass in the less conducting, out-of-plane direction. The results are interpreted within a simple two-band model characterized by a Dirac-like, linear in-plane band dispersion, and a parabolic out-of-plane dispersion.
△ Less
Submitted 19 December, 2019; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Solvability of Mazes by Blind Robots
Authors:
Stefan David,
Marius Tiba
Abstract:
In this paper we introduce and investigate a new type of automata which turns out to be rich in deep and complex phenomena. For our model, a maze is a countable strongly connected digraph called the board together with a proper colouring of its edges (the edges leaving a vertex have distinct colours) and two special vertices: the origin and the destination. A pointer or robot starts at the origin…
▽ More
In this paper we introduce and investigate a new type of automata which turns out to be rich in deep and complex phenomena. For our model, a maze is a countable strongly connected digraph called the board together with a proper colouring of its edges (the edges leaving a vertex have distinct colours) and two special vertices: the origin and the destination. A pointer or robot starts at the origin of a maze and moves naturally between its vertices, according to a finite or infinite sequence of specific instructions from the set of all colours called an algorithm; if the robot is at a vertex for which there is no out-edge of the colour indicated by the instruction, it remains at that vertex and proceeds to execute the next instruction in the sequence. The central object of study is the existence of algorithms that simultaneously solve, that is guide the robot to visit the destination in, certain large sets of mazes.
One of the most natural and interesting sets of mazes arises from the square lattice $\Z^2$ viewed as a graph with arbitrarily many edges removed (each edge corresponds to a pair of opposite directed edges), together with the suggestive colouring that assigns to each directed edge the corresponding cardinal direction. In this set-up, a research question of Leader and Spink from 2011, which proved to be very profound, asks whether there exists an algorithm which solves this set of mazes.
In this paper we make progress towards this question. We consider the subset of all such mazes which have arbitrarily many horizontal edges removed but only finitely many vertical edges removed in consecutive columns, and construct an algorithm which solves this subset of mazes.
△ Less
Submitted 15 April, 2018;
originally announced April 2018.
-
Holomorphic Structure of Middle Bol Loops
Authors:
Tèmítópé Gbóláhàn Jaíyéolá,
Sunday Peter David,
Emmanuel Ilojide,
Yakub Tunde Oyebo
Abstract:
A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. To every right (left) Bol loop corresponds a middle Bol loop via an isostrophism. In this paper, the structure of the holomorph of a middle Bol loop is explored. For some special types of automorphisms, the holomorph of a commutative loop is shown to be a commutative middl…
▽ More
A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. To every right (left) Bol loop corresponds a middle Bol loop via an isostrophism. In this paper, the structure of the holomorph of a middle Bol loop is explored. For some special types of automorphisms, the holomorph of a commutative loop is shown to be a commutative middle Bol loop if and only if the loop is a middle Bol loop and its automorphism group is abelian and a subgroup of both the group of middle regular map**s and the right multiplication group. It was found that commutativity (flexibility) is a necessary and sufficient condition for holomorphic invariance under the existing isostrophy between middle Bol loops and the corresponding right (left) Bol loops. The right combined holomorph of a middle Bol loop and its corresponding right (left) Bol loop was shown to be equal to the holomorph of the middle Bol loop if and only if the automorphism group is abelian and a subgroup of the multiplication group of the middle Bol loop. The obedience of an identity dependent on automorphisms was found to be a necessary and sufficient condition the left combined holomorph of a middle Bol loop and its corresponding left Bol loop to be equal to the holomorph of the middle Bol loop.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
Strong Ramsey Games in Unbounded Time
Authors:
Stefan David,
Ivailo Hartarsky,
Marius Tiba
Abstract:
For two graphs $B$ and $H$ the strong Ramsey game $\mathcal{R}(B,H)$ on the board $B$ and with target $H$ is played as follows. Two players alternately claim edges of $B$. The first player to build a copy of $H$ wins. If none of the players win, the game is declared a draw. A notorious open question of Beck asks whether the first player has a winning strategy in $\mathcal{R}(K_n,K_k)$ in bounded t…
▽ More
For two graphs $B$ and $H$ the strong Ramsey game $\mathcal{R}(B,H)$ on the board $B$ and with target $H$ is played as follows. Two players alternately claim edges of $B$. The first player to build a copy of $H$ wins. If none of the players win, the game is declared a draw. A notorious open question of Beck asks whether the first player has a winning strategy in $\mathcal{R}(K_n,K_k)$ in bounded time as $n\rightarrow\infty$. Surprisingly, in a recent paper Hefetz et al. constructed a $5$-uniform hypergraph $\mathcal{H}$ for which they proved that the first player does not have a winning strategy in $\mathcal{R}(K_n^{(5)},\mathcal{H})$ in bounded time. They naturally ask whether the same result holds for graphs. In this paper we make further progress in decreasing the rank.
In our first result, we construct a graph $G$ (in fact $G=K_6\setminus K_4$) and prove that the first player does not have a winning strategy in $\mathcal{R}(K_n \sqcup K_n,G)$ in bounded time. As an application of this result we deduce our second result in which we construct a $4$-uniform hypergraph $G'$ and prove that the first player does not have a winning strategy in $\mathcal{R}(K_n^{(4)},G')$ in bounded time. This improves the result in the paper above.
An equivalent formulation of our first result is that the game $\mathcal{R}(K_ω\sqcup K_ω,G)$ is a draw. Another reason for interest on the board $K_ω\sqcup K_ω$ is a folklore result that the disjoint union of two finite positional games both of which are first player wins is also a first player win. An amusing corollary of our first result is that at least one of the following two natural statements is false: (1) for every graph $H$, $\mathcal{R}(K_ω,H)$ is a first player win; (2) for every graph $H$ if $\mathcal{R}(K_ω,H)$ is a first player win, then $\mathcal{R}(K_ω\sqcup K_ω,H)$ is also a first player win.
△ Less
Submitted 25 October, 2019; v1 submitted 26 October, 2017;
originally announced October 2017.
-
Symmetric Chain Decompositions of Products of Posets with Long Chains
Authors:
Stefan David,
Hunter Spink,
Marius Tiba
Abstract:
We ask if there exists a symmetric chain decomposition of the cuboid $Q_k \times n$ such that no chain is "taut", i.e. no chain has a subchain of the form $(a_1,\ldots, a_k,0)\prec \ldots\prec (a_1,\ldots,a_k,n-1)$. In this paper, we show this is true precisely when $k \ge 5$ and $n\ge 3$. This question arises naturally when considering products of symmetric chain decompositions which induce ortho…
▽ More
We ask if there exists a symmetric chain decomposition of the cuboid $Q_k \times n$ such that no chain is "taut", i.e. no chain has a subchain of the form $(a_1,\ldots, a_k,0)\prec \ldots\prec (a_1,\ldots,a_k,n-1)$. In this paper, we show this is true precisely when $k \ge 5$ and $n\ge 3$. This question arises naturally when considering products of symmetric chain decompositions which induce orthogonal chain decompositions --- the existence of the decompositions provided in this paper unexpectedly resolves the most difficult case of previous work by the second author on almost orthogonal symmetric chain decompositions \cite{orth}, making progress on a conjecture of Shearer and Kleitman. In general, we show that for a finite graded poset $P$, there exists a canonical bijection between symmetric chain decompositions of $P \times m$ and $P \times n$ for $m, n\ge \text{rk}(P) + 1$, that preserves the existence of taut chains. If $P$ has a unique maximal and minimal element, then we also produce a canonical $(\text{rk}(P) +1)$ to $1$ surjection from symmetric chain decompositions of $P \times (\text{rk}(P) + 1)$ to symmetric chain decompositions of $P \times \text{rk}(P)$ which sends decompositions with taut chains to decompositions with taut chains.
△ Less
Submitted 27 June, 2017; v1 submitted 26 June, 2017;
originally announced June 2017.
-
Geometric Symmetric Chain Decompositions
Authors:
Stefan David,
Hunter Spink,
Marius Tiba
Abstract:
We create a framework for studying symmetric chain decompositions of families of finite posets based on the geometry of polytopes. Our framework unifies almost all known results regarding symmetric chain decompositions of the Young posets $L(m,n)$ --- arising as cells in the Bruhat decomposition of quotients of $SL_{m+n+1}$ --- and yields unexpected new results. The methods we provide are geometri…
▽ More
We create a framework for studying symmetric chain decompositions of families of finite posets based on the geometry of polytopes. Our framework unifies almost all known results regarding symmetric chain decompositions of the Young posets $L(m,n)$ --- arising as cells in the Bruhat decomposition of quotients of $SL_{m+n+1}$ --- and yields unexpected new results. The methods we provide are geometric in nature, systematic, and totally amenable to human analysis. This allows us to discover new phenomena which are impenetrable to casework and brute force computer search. In particular, our method yields perfect and near perfect decompositions of various families of posets, which are intractable by known methods. A fundamental tool we use is geometrical projection, which in our framework cleanly unifies many different types of induction; as we move a point from which we project between faces of our polytope, we alter the type of induction. Moreover, projection allows us to decrease dimension and therefore obtain a clear geometric intuition. We also provide additional tools for producing decompositions, and discuss how the various decompositions behave under products.
△ Less
Submitted 5 June, 2017; v1 submitted 31 March, 2017;
originally announced March 2017.
-
Fault Tolerance with Bare Ancillae for a [[7,1,3]] Code
Authors:
Muyuan Li,
Mauricio Gutiérrez,
Stanley E. David,
Alonzo Hernandez,
Kenneth R. Brown
Abstract:
We present a [[7, 1, 3]] quantum error-correcting code that is able to achieve fault-tolerant syndrome measurement using one ancillary qubit per stabilizer for an error model of independent single-qubit Pauli errors. All single-qubit Pauli errors on the ancillary qubits propagate to form exclusively correctable errors on the data qubits. The situation changes for error models with two-qubit Pauli…
▽ More
We present a [[7, 1, 3]] quantum error-correcting code that is able to achieve fault-tolerant syndrome measurement using one ancillary qubit per stabilizer for an error model of independent single-qubit Pauli errors. All single-qubit Pauli errors on the ancillary qubits propagate to form exclusively correctable errors on the data qubits. The situation changes for error models with two-qubit Pauli errors. We compare the level-1 logical error rates under two noise models: the standard Pauli symmetric depolarizing error model and an anisotropic error model. The anisotropic model is motivated by control errors on two-qubit gates commonly applied to trapped ion qubits. We find that one ancillary qubit per syndrome measurement is sufficient for fault-tolerance for the anisotropic error, but is not sufficient for the standard depolarizing errors. We then show how to achieve fault tolerance for the standard depolarizing errors by adding flag qubits to check for errors on select ancilary qubits. Our results on this [[7, 1, 3]] code demonstrates how physically motivated noise models may simplify fault-tolerent protocols.
△ Less
Submitted 3 October, 2017; v1 submitted 3 February, 2017;
originally announced February 2017.
-
Toward III-V/Si co-integration by controlling biatomic steps on hydrogenated Si(001)
Authors:
M. Martin,
D. Caliste,
R. Cipro,
R. Alcotte,
J. Moeyaert,
S. David,
F. Bassani,
T. Cerba,
Y. Bogumilowicz,
E. Sanchez,
Z. Ye,
X. Y. Bao,
J. B. Pin,
T. Baron,
P. Pochet
Abstract:
The integration of III-V on silicon is still a hot topic as it will open up a way to co-integrate Si CMOS logic with photonic vices. To reach this aim, several hurdles should be solved, and more particularly the generation of antiphase boundaries (APBs) at the III-V/Si(001) interface. Density functional theory (DFT) has been used to demonstrate the existence of a double-layer steps on nominal Si(0…
▽ More
The integration of III-V on silicon is still a hot topic as it will open up a way to co-integrate Si CMOS logic with photonic vices. To reach this aim, several hurdles should be solved, and more particularly the generation of antiphase boundaries (APBs) at the III-V/Si(001) interface. Density functional theory (DFT) has been used to demonstrate the existence of a double-layer steps on nominal Si(001) which is formed during annealing under proper hydrogen chemical potential. This phenomenon could be explained by the formation of dimer vacancy lines which could be responsible for the preferential and selective etching of one type of step leading to the double step surface creation. To check this hypothesis, different experiments have been carried in an industrial 300 mm MOCVD where the total pressure during the anneal step of Si(001) surface has been varied. Under optimized conditions, an APBs-free GaAs layer was grown on a nominal Si(001) surface paving the way for III-V integration on silicon industrial platform.
△ Less
Submitted 27 January, 2017;
originally announced January 2017.
-
New Algebraic Properties of Middle Bol Loops
Authors:
Temitope Gbolahan Jaiyé\d{o}lá,
Sunday Peter David,
Yakubu Tunde Oyebo
Abstract:
A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. In this paper, some new algebraic properties of a middle Bol loop are established. Four bi-variate map**s $f_i,g_i,~i=1,2$ and four $j$-variate map**s $α_j,β_j,φ_j,ψ_j,~j\in\mathbb{N}$ are introduced and some interesting properties of the former are found. Neccessary a…
▽ More
A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. In this paper, some new algebraic properties of a middle Bol loop are established. Four bi-variate map**s $f_i,g_i,~i=1,2$ and four $j$-variate map**s $α_j,β_j,φ_j,ψ_j,~j\in\mathbb{N}$ are introduced and some interesting properties of the former are found. Neccessary and sufficient conditons in terms of $f_i,g_i,~i=1,2$, for a middle Bol loop to have the elasticity property, RIP, LIP, right alternative property (RAP) and left alternative property (LAP) are establsihed. Also, neccessary and sufficient conditons in terms of $α_j,β_j,φ_j,ψ_j,~j\in\mathbb{N}$, for a middle Bol loop to have power RAP and power LAP are establsihed. Neccessary and sufficient conditons in terms of $f_i,g_i,~i=1,2$ and $α_j,β_j,φ_j,ψ_j,~j\in\mathbb{N}$, for a middle Bol loop to be a group, Moufang loop or extra loop are established. A middle Bol loop is shown to belong to some classes of loops whose identiites are of the J.D. Phillips' RIF-loop and WRIF-loop (generalizations of Moufang and Steiner loops) and WIP power associative conjugacy closed loop types if and only if some identities defined by $g_1$ and $g_2$ are obeyed.
△ Less
Submitted 28 June, 2016;
originally announced June 2016.
-
Measurement and analysis of the Am-243 neutron capture cross section at the n_TOF facility at CERN
Authors:
n_TOF Collaboration,
:,
E. Mendoza,
D. Cano-Ott,
C. Guerrero,
E. Berthoumieux,
U. Abbondanno,
G. Aerts,
F. Alvarez-Velarde,
S. Andriamonje,
J. Andrzejewski,
P. Assimakopoulos,
L. Audouin,
G. Badurek,
J. Balibrea,
P. Baumann,
F. Becvar,
F. Belloni,
F. Calvino,
M. Calviani,
R. Capote,
C. Carrapico,
A. Carrillo de Albornoz,
P. Cennini,
V. Chepel
, et al. (108 additional authors not shown)
Abstract:
Background:The design of new nuclear reactors and transmutation devices requires to reduce the present neutron cross section uncertainties of minor actinides. Purpose: Reduce the $^{243}$Am(n,$γ$) cross section uncertainty. Method: The $^{243}$Am(n,$γ$) cross section has been measured at the n_TOF facility at CERN with a BaF$_{2}$ Total Absorption Calorimeter, in the energy range between 0.7 eV an…
▽ More
Background:The design of new nuclear reactors and transmutation devices requires to reduce the present neutron cross section uncertainties of minor actinides. Purpose: Reduce the $^{243}$Am(n,$γ$) cross section uncertainty. Method: The $^{243}$Am(n,$γ$) cross section has been measured at the n_TOF facility at CERN with a BaF$_{2}$ Total Absorption Calorimeter, in the energy range between 0.7 eV and 2.5 keV. Results: The $^{243}$Am(n,$γ$) cross section has been successfully measured in the mentioned energy range. The resolved resonance region has been extended from 250 eV up to 400 eV. In the unresolved resonance region our results are compatible with one of the two incompatible capture data sets available below 2.5 keV. The data available in EXFOR and in the literature has been used to perform a simple analysis above 2.5 keV. Conclusions: The results of this measurement contribute to reduce the $^{243}$Am(n,$γ$) cross section uncertainty and suggest that this cross section is underestimated up to 25% in the neutron energy range between 50 eV and a few keV in the present evaluated data libraries.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
-
High quality factor nitride-based optical cavities: microdisks with embedded GaN/Al(Ga)N quantum dots
Authors:
Meletios Mexis,
Sylvain Sergent,
Thierry Guillet,
Christelle Brimont,
Thierry Bretagnon,
Bernard Gil,
Fabrice Semond,
Mathieu Leroux,
Delphine Néel,
Sylvain David,
X. Checoury,
Philippe Boucaud
Abstract:
We compare the quality factor values of the whispery gallery modes of microdisks incorporating GaN quantum dots (QDs) grown on AlN and AlGaN barriers by performing room temperature photoluminescence (PL) spectroscopy. The PL measurements show a large number of high Q factor (Q) resonant modes on the whole spectrum which allows us to identify the different radial mode families and to compare them w…
▽ More
We compare the quality factor values of the whispery gallery modes of microdisks incorporating GaN quantum dots (QDs) grown on AlN and AlGaN barriers by performing room temperature photoluminescence (PL) spectroscopy. The PL measurements show a large number of high Q factor (Q) resonant modes on the whole spectrum which allows us to identify the different radial mode families and to compare them with simulations. We report a considerable improvement of the Q factor which reflect the etching quality and the relatively low cavity loss by inserting QDs into the cavity. GaN/AlN QDs based microdisks show very high Q values (Q > 7000) whereas the Q factor is only up to 2000 in microdisks embedding QDs grown on AlGaN barrier layer. We attribute this difference to the lower absorption below bandgap for AlN barrier layers at the energies of our experimental investigation.
△ Less
Submitted 17 October, 2011; v1 submitted 11 January, 2011;
originally announced January 2011.