-
Binary mass transfer in 3D -- Mass Transfer Rate and Morphology
Authors:
T. Ryu,
R. Sari,
S. E. de Mink,
O. David,
R. Valli,
J. -Z. Ma,
S. Justham,
R. Pakmor,
H. Ritter
Abstract:
Mass transfer is crucial in binary evolution, yet its theoretical treatment has long relied on analytic models whose key assumptions remain debated. We present a direct and systematic evaluation of these assumptions using high-resolution 3D hydrodynamical simulations including the Coriolis force. We simulate streams overflowing from both the inner and outer Lagrangian points, quantify mass transfe…
▽ More
Mass transfer is crucial in binary evolution, yet its theoretical treatment has long relied on analytic models whose key assumptions remain debated. We present a direct and systematic evaluation of these assumptions using high-resolution 3D hydrodynamical simulations including the Coriolis force. We simulate streams overflowing from both the inner and outer Lagrangian points, quantify mass transfer rates, and compare them with analytic solutions. We introduce scaling factors, including the overfilling factor, to render the problem dimensionless. The donor-star models are simplified, with either an isentropic initial stratification and adiabatic evolution or an isothermal structure and evolution, but the scalability of this formulation allows us to extend the results for a mass-transferring system to arbitrarily small overfilling factors. We find that the Coriolis force -- often neglected in analytic models -- strongly impacts the stream morphology: breaking axial symmetry, reducing the stream cross section, and shifting its origin toward the donor's trailing side. Contrary to common assumptions, the sonic surface is not flat and does not always intersect the Lagrangian point: instead, it is concave and shifted, particularly toward the accretor's trailing side. Despite these structural asymmetries, mass transfer rates are only mildly suppressed relative to analytic predictions and the deviation is remarkably small -- within a factor of two (ten) for the inner (outer) Lagrangian point over seven orders of magnitude in mass ratio. We use our results to extend the widely-used mass-transfer rate prescriptions by Ritter(1988) and Kolb&Ritter(1990), for both the inner and outer Lagrangian points. These extensions can be readily adopted in stellar evolution codes like MESA, with minimal changes where the original models are already in use.
△ Less
Submitted 28 May, 2025; v1 submitted 23 May, 2025;
originally announced May 2025.
-
Unsupervised Discovery of Formulas for Mathematical Constants
Authors:
Michael Shalyt,
Uri Seligmann,
Itay Beit Halachmi,
Ofir David,
Rotem Elimelech,
Ido Kaminer
Abstract:
Ongoing efforts that span over decades show a rise of AI methods for accelerating scientific discovery, yet accelerating discovery in mathematics remains a persistent challenge for AI. Specifically, AI methods were not effective in creation of formulas for mathematical constants because each such formula must be correct for infinite digits of precision, with "near-true" formulas providing no insig…
▽ More
Ongoing efforts that span over decades show a rise of AI methods for accelerating scientific discovery, yet accelerating discovery in mathematics remains a persistent challenge for AI. Specifically, AI methods were not effective in creation of formulas for mathematical constants because each such formula must be correct for infinite digits of precision, with "near-true" formulas providing no insight toward the correct ones. Consequently, formula discovery lacks a clear distance metric needed to guide automated discovery in this realm.
In this work, we propose a systematic methodology for categorization, characterization, and pattern identification of such formulas. The key to our methodology is introducing metrics based on the convergence dynamics of the formulas, rather than on the numerical value of the formula. These metrics enable the first automated clustering of mathematical formulas. We demonstrate this methodology on Polynomial Continued Fraction formulas, which are ubiquitous in their intrinsic connections to mathematical constants, and generalize many mathematical functions and structures.
We test our methodology on a set of 1,768,900 such formulas, identifying many known formulas for mathematical constants, and discover previously unknown formulas for $π$, $\ln(2)$, Gauss', and Lemniscate's constants. The uncovered patterns enable a direct generalization of individual formulas to infinite families, unveiling rich mathematical structures. This success paves the way towards a generative model that creates formulas fulfilling specified mathematical properties, accelerating the rate of discovery of useful formulas.
△ Less
Submitted 21 December, 2024;
originally announced December 2024.
-
On the rate of convergence of continued fraction statistics of random rationals
Authors:
Ofir David,
Taehyeong Kim,
Ron Mor,
Uri Shapira
Abstract:
We show that the statistics of the continued fraction expansion of a randomly chosen rational in the unit interval, with a fixed large denominator $q$, approaches the Gauss-Kuzmin statistics with polynomial rate in $q$. This improves on previous results giving the convergence without rate. As an application of this effective rate of convergence, we show that the statistics of a randomly chosen rat…
▽ More
We show that the statistics of the continued fraction expansion of a randomly chosen rational in the unit interval, with a fixed large denominator $q$, approaches the Gauss-Kuzmin statistics with polynomial rate in $q$. This improves on previous results giving the convergence without rate. As an application of this effective rate of convergence, we show that the statistics of a randomly chosen rational in the unit interval, with a fixed large denominator $q$ and prime numerator, also approaches the Gauss-Kuzmin statistics. Our results are obtained as applications of improved non-escape of mass and equidistribution statements for the geodesic flow on the space $SL_2(\mathbb{R})/SL_2(\mathbb{Z})$.
△ Less
Submitted 16 November, 2024; v1 submitted 28 January, 2024;
originally announced January 2024.
-
Gemini: A Family of Highly Capable Multimodal Models
Authors:
Gemini Team,
Rohan Anil,
Sebastian Borgeaud,
Jean-Baptiste Alayrac,
Jiahui Yu,
Radu Soricut,
Johan Schalkwyk,
Andrew M. Dai,
Anja Hauth,
Katie Millican,
David Silver,
Melvin Johnson,
Ioannis Antonoglou,
Julian Schrittwieser,
Amelia Glaese,
Jilin Chen,
Emily Pitler,
Timothy Lillicrap,
Angeliki Lazaridou,
Orhan Firat,
James Molloy,
Michael Isard,
Paul R. Barham,
Tom Hennigan,
Benjamin Lee
, et al. (1326 additional authors not shown)
Abstract:
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultr…
▽ More
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI.
△ Less
Submitted 9 May, 2025; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Audience Prospecting for Dynamic-Product-Ads in Native Advertising
Authors:
Eliran Abutbul,
Yohay Kaplan,
Naama Krasne,
Oren Somekh,
Or David,
Omer Duvdevany,
Evgeny Segal
Abstract:
With yearly revenue exceeding one billion USD, Yahoo Gemini native advertising marketplace serves more than two billion impressions daily to hundreds of millions of unique users. One of the fastest growing segments of Gemini native is dynamic-product-ads (DPA), where major advertisers, such as Amazon and Walmart, provide catalogs with millions of products for the system to choose from and present…
▽ More
With yearly revenue exceeding one billion USD, Yahoo Gemini native advertising marketplace serves more than two billion impressions daily to hundreds of millions of unique users. One of the fastest growing segments of Gemini native is dynamic-product-ads (DPA), where major advertisers, such as Amazon and Walmart, provide catalogs with millions of products for the system to choose from and present to users. The subject of this work is finding and expanding the right audience for each DPA ad, which is one of the many challenges DPA presents. Approaches such as targeting various user groups, e.g., users who already visited the advertisers' websites (Retargeting), users that searched for certain products (Search-Prospecting), or users that reside in preferred locations (Location-Prospecting), have limited audience expansion capabilities. In this work we present two new approaches for audience expansion that also maintain predefined performance goals. The Conversion-Prospecting approach predicts DPA conversion rates based on Gemini native logged data, and calculates the expected cost-per-action (CPA) for determining users' eligibility to products and optimizing DPA bids in Gemini native auctions. To support new advertisers and products, the Trending-Prospecting approach matches trending products to users by learning their tendency towards products from advertisers' sites logged events. The tendency scores indicate the popularity of the product and the similarity of the user to those who have previously engaged with this product. The two new prospecting approaches were tested online, serving real Gemini native traffic, demonstrating impressive DPA delivery and DPA revenue lifts while maintaining most traffic within the acceptable CPA range (i.e., performance goal). After a successful testing phase, the proposed approaches are currently in production and serve all Gemini native traffic.
△ Less
Submitted 13 December, 2023; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Algorithm-assisted discovery of an intrinsic order among mathematical constants
Authors:
Rotem Elimelech,
Ofir David,
Carlos De la Cruz Mengual,
Rotem Kalisch,
Wolfgang Berndt,
Michael Shalyt,
Mark Silberstein,
Yaron Hadad,
Ido Kaminer
Abstract:
In recent decades, a growing number of discoveries in fields of mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces that humans would take too long to investigate. As computers and algorithms become more powerful, an intriguing possibility arises - the interplay between human intuition and computer algorithms can lead to discoveries of novel mathem…
▽ More
In recent decades, a growing number of discoveries in fields of mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces that humans would take too long to investigate. As computers and algorithms become more powerful, an intriguing possibility arises - the interplay between human intuition and computer algorithms can lead to discoveries of novel mathematical concepts that would otherwise remain elusive. To realize this perspective, we have developed a massively parallel computer algorithm that discovers an unprecedented number of continued fraction formulas for fundamental mathematical constants. The sheer number of formulas discovered by the algorithm unveils a novel mathematical structure that we call the conservative matrix field. Such matrix fields (1) unify thousands of existing formulas, (2) generate infinitely many new formulas, and most importantly, (3) lead to unexpected relations between different mathematical constants, including multiple integer values of the Riemann zeta function. Conservative matrix fields also enable new mathematical proofs of irrationality. In particular, we can use them to generalize the celebrated proof by Apéry for the irrationality of $ζ(3)$. Utilizing thousands of personal computers worldwide, our computer-supported research strategy demonstrates the power of experimental mathematics, highlighting the prospects of large-scale computational approaches to tackle longstanding open problems and discover unexpected connections across diverse fields of science.
△ Less
Submitted 16 October, 2023; v1 submitted 22 August, 2023;
originally announced August 2023.
-
On Euler polynomial continued fractions
Authors:
Ofir David
Abstract:
In this paper, we introduce the polynomial continued fraction, a close relative of the well-known simple continued fraction expansions which are widely used in number theory and in general. While they may not possess all the intriguing properties of simple continued fractions, polynomial continued fractions have many interesting patterns which can be exploited. Specifically, we explore the Euler c…
▽ More
In this paper, we introduce the polynomial continued fraction, a close relative of the well-known simple continued fraction expansions which are widely used in number theory and in general. While they may not possess all the intriguing properties of simple continued fractions, polynomial continued fractions have many interesting patterns which can be exploited. Specifically, we explore the Euler continued fractions within this framework and present an algorithm for their identification
△ Less
Submitted 1 December, 2023; v1 submitted 3 August, 2023;
originally announced August 2023.
-
The conservative matrix field
Authors:
Ofir David
Abstract:
We present a new structure called the "conservative matrix field", initially developed to elucidate and provide insight into the methodologies employed by Apéry's in his proof of the irrationality of the Riemann zeta function at 3. This framework is also applicable to other well known mathematical constants, such as e, π, ln(2), and more, and can be used to study their properties. Moreover, the co…
▽ More
We present a new structure called the "conservative matrix field", initially developed to elucidate and provide insight into the methodologies employed by Apéry's in his proof of the irrationality of the Riemann zeta function at 3. This framework is also applicable to other well known mathematical constants, such as e, π, ln(2), and more, and can be used to study their properties. Moreover, the conservative matrix field exhibits inherent connections to various ideas and techniques in number theory, thereby indicating promising avenues for further applications and investigations.
△ Less
Submitted 4 December, 2023; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences
Authors:
Ofir Razon,
Yoav Harris,
Shahar Gottlieb,
Dan Carmon,
Ofir David,
Ido Kaminer
Abstract:
Formulas involving fundamental mathematical constants had a great impact on various fields of science and mathematics, for example aiding in proofs of irrationality of constants. However, the discovery of such formulas has historically remained scarce, often perceived as an act of mathematical genius by great mathematicians such as Ramanujan, Euler, and Gauss. Recent efforts to automate the discov…
▽ More
Formulas involving fundamental mathematical constants had a great impact on various fields of science and mathematics, for example aiding in proofs of irrationality of constants. However, the discovery of such formulas has historically remained scarce, often perceived as an act of mathematical genius by great mathematicians such as Ramanujan, Euler, and Gauss. Recent efforts to automate the discovery of formulas for mathematical constants, such as the Ramanujan Machine project, relied on exhaustive search. Despite several successful discoveries, exhaustive search remains limited by the space of options that can be covered and by the need for vast amounts of computational resources. Here we propose a fundamentally different method to search for conjectures on mathematical constants: through analysis of integer sequences. We introduce the Enumerated Signed-continued-fraction Massey Approve (ESMA) algorithm, which builds on the Berlekamp-Massey algorithm to identify patterns in integer sequences that represent mathematical constants. The ESMA algorithm found various known formulas for $e, e^2, tan(1)$, and ratios of values of Bessel functions. The algorithm further discovered a large number of new conjectures for these constants, some providing simpler representations and some providing faster numerical convergence than the corresponding simple continued fractions. Along with the algorithm, we present mathematical tools for manipulating continued fractions. These connections enable us to characterize what space of constants can be found by ESMA and quantify its algorithmic advantage in certain scenarios. Altogether, this work continues in the development of augmenting mathematical intuition by computer algorithms, to help reveal mathematical structures and accelerate mathematical research.
△ Less
Submitted 11 June, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Shearing in the space of adelic lattices
Authors:
Ofir David
Abstract:
In this notes we show how a problem regarding continued fractions of rational numbers, lead to several phenomena in number theory and dynamics, and eventually to the problem of shearing of divergent diagonal orbits in the space of adelic lattices. Finding these ideas quite interesting, the first half of these notes is about explaining theses ideas, the intuition and motivation behind them, and the…
▽ More
In this notes we show how a problem regarding continued fractions of rational numbers, lead to several phenomena in number theory and dynamics, and eventually to the problem of shearing of divergent diagonal orbits in the space of adelic lattices. Finding these ideas quite interesting, the first half of these notes is about explaining theses ideas, the intuition and motivation behind them, and the second contains the details and proofs.
△ Less
Submitted 30 August, 2019;
originally announced September 2019.
-
Graphs with large girth and free groups
Authors:
Ofir David
Abstract:
We use Margulis' construction together with lattice counting arguments to build Cayley graphs on $\mathrm{SL}_{2}\left(\mathbb{F}_{p}\right),\;p\to\infty$ which are d-regular graphs with girth $\geq\frac{2}{3}\frac{\ln\left(n\right)}{\ln\left(d-1\right)+\ln\left(C\right)}$ for some absolute constant C.
We use Margulis' construction together with lattice counting arguments to build Cayley graphs on $\mathrm{SL}_{2}\left(\mathbb{F}_{p}\right),\;p\to\infty$ which are d-regular graphs with girth $\geq\frac{2}{3}\frac{\ln\left(n\right)}{\ln\left(d-1\right)+\ln\left(C\right)}$ for some absolute constant C.
△ Less
Submitted 28 October, 2019; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Local to global property in free groups
Authors:
Ofir David
Abstract:
The local to global property for an equation $ψ$ over a group G asks to show that $ψ$ is solvable in G if and only if it is solvable in every finite quotient of G. In this paper we focus that in order to prove this local to global property for free groups $G=F_k$, it is enough to prove for k less or equal the number of parameters in $ψ$. In particular we use it to show that the local to global pro…
▽ More
The local to global property for an equation $ψ$ over a group G asks to show that $ψ$ is solvable in G if and only if it is solvable in every finite quotient of G. In this paper we focus that in order to prove this local to global property for free groups $G=F_k$, it is enough to prove for k less or equal the number of parameters in $ψ$. In particular we use it to show that the local to global property holds for m-powers in free groups.
△ Less
Submitted 28 October, 2019; v1 submitted 12 July, 2019;
originally announced July 2019.
-
A new graph modelisation for molecule similarity
Authors:
Stéfi Nouleho,
Dominique Barth,
Franck Quessette,
Marc-Antoine Weisser,
Dimitri Watel,
Olivier David
Abstract:
In order to define the process of restrosynthesis of a new organic molecule, it is often necessary to be able to draw inspiration from that of a molecule similar to the target one of which we know such a process. To compute such a similarity, an oftently used approach is to solve a Maximum Common Edge Subgraph (MCES) problem on molecular graphs, but such an approach is limited by computation time…
▽ More
In order to define the process of restrosynthesis of a new organic molecule, it is often necessary to be able to draw inspiration from that of a molecule similar to the target one of which we know such a process. To compute such a similarity, an oftently used approach is to solve a Maximum Common Edge Subgraph (MCES) problem on molecular graphs, but such an approach is limited by computation time and pertinence of similarity measurement. In this paper, we define and analyse here a new graph representation of molecules to algorithmically compare them. The purpose is to model the structure of molecule by a graph smaller than the molecular graph and representing the interconnexion of its elementary cycles. We provide an algorithm to efficiently obtain such a graph of cycles from a molecular graph. Then by solving MCES problems on those graphs, we evaluate the pertinence of using graphs of cycles for molecular similarity on a select set of molecules.
△ Less
Submitted 12 July, 2018;
originally announced July 2018.
-
Equidistribution of divergent orbits of the diagonal group in the space of lattices
Authors:
Ofir David,
Uri Shapira
Abstract:
We consider divergent orbits of the group of diagonal matrices in the space of lattices in Euclidean space. We define two natural numerical invariants of such orbits: The discriminant - an integer - and the type - an integer vector. We then study the question of the limit distributional behaviour of these orbits as the discriminant goes to infinity. Using entropy methods we prove that for divergen…
▽ More
We consider divergent orbits of the group of diagonal matrices in the space of lattices in Euclidean space. We define two natural numerical invariants of such orbits: The discriminant - an integer - and the type - an integer vector. We then study the question of the limit distributional behaviour of these orbits as the discriminant goes to infinity. Using entropy methods we prove that for divergent orbits of a specific type, virtually any sequence of orbits equidistribute as the discriminant goes to infinity. Using measure rigidity for higher rank diagonal actions we complement this result and show that in dimension 3 or higher only very few of these divergent orbits can spend all of their life-span in a given compact set before they diverge.
△ Less
Submitted 14 October, 2017;
originally announced October 2017.
-
Equidistribution of divergent orbits and continued fraction expansion of rationals
Authors:
Ofir David,
Uri Shapira
Abstract:
We establish an equidistribution result for push-forwards of certain locally finite algebraic measures in the adelic extension of the space of lattices in the plane. As an application of our analysis we obtain new results regarding the asymptotic normality of the continued fraction expansions of most rationals with a high denominator as well as an estimate on the length of their continued fraction…
▽ More
We establish an equidistribution result for push-forwards of certain locally finite algebraic measures in the adelic extension of the space of lattices in the plane. As an application of our analysis we obtain new results regarding the asymptotic normality of the continued fraction expansions of most rationals with a high denominator as well as an estimate on the length of their continued fraction expansions. By similar methods we also establish a complementary result to Zaremba's conjecture. Namely, we show that given a bound M, for any large q, the number of rationals $p/q\in [0,1]$ for which the coefficients of the continued fraction expansion of p/q are bounded by M is $o(q^{1-ε})$ for some $ε>0$ which depends on M.
△ Less
Submitted 4 July, 2017; v1 submitted 3 July, 2017;
originally announced July 2017.
-
On statistical learning via the lens of compression
Authors:
Ofir David,
Shay Moran,
Amir Yehudayoff
Abstract:
This work continues the study of the relationship between sample compression schemes and statistical learning, which has been mostly investigated within the framework of binary classification. The central theme of this work is establishing equivalences between learnability and compressibility, and utilizing these equivalences in the study of statistical learning theory.
We begin with the setting…
▽ More
This work continues the study of the relationship between sample compression schemes and statistical learning, which has been mostly investigated within the framework of binary classification. The central theme of this work is establishing equivalences between learnability and compressibility, and utilizing these equivalences in the study of statistical learning theory.
We begin with the setting of multiclass categorization (zero/one loss). We prove that in this case learnability is equivalent to compression of logarithmic sample size, and that uniform convergence implies compression of constant size.
We then consider Vapnik's general learning setting: we show that in order to extend the compressibility-learnability equivalence to this case, it is necessary to consider an approximate variant of compression.
Finally, we provide some applications of the compressibility-learnability equivalences:
(i) Agnostic-case learnability and realizable-case learnability are equivalent in multiclass categorization problems (in terms of sample complexity).
(ii) This equivalence between agnostic-case learnability and realizable-case learnability does not hold for general learning problems: There exists a learning problem whose loss function takes just three values, under which agnostic-case and realizable-case learnability are not equivalent.
(iii) Uniform convergence implies compression of constant size in multiclass categorization problems. Part of the argument includes an analysis of the uniform convergence rate in terms of the graph dimension, in which we improve upon previous bounds.
(iv) A dichotomy for sample compression in multiclass categorization problems: If a non-trivial compression exists then a compression of logarithmic size exists.
(v) A compactness theorem for multiclass categorization problems.
△ Less
Submitted 30 December, 2016; v1 submitted 11 October, 2016;
originally announced October 2016.
-
Shapes of unit lattices and escape of mass
Authors:
Ofir David,
Uri Shapira
Abstract:
We study the collection of points on the modular surface obtained from the logarithm embeddings of the groups of units in totally real cubic number fields. We conjecture that this set is dense and show that its closure contains countably many explicit curves and give a strategy to show that it has non-empty interior. The results are obtained by constructing explicit families of orders (generalizin…
▽ More
We study the collection of points on the modular surface obtained from the logarithm embeddings of the groups of units in totally real cubic number fields. We conjecture that this set is dense and show that its closure contains countably many explicit curves and give a strategy to show that it has non-empty interior. The results are obtained by constructing explicit families of orders (generalizing the so called simplest cubic fields) and calculating their groups of units. We also address the question of escape of mass for the compact orbits of the diagonal group associated to these orders.
△ Less
Submitted 14 July, 2016;
originally announced July 2016.
-
Efficient Generation of Stable Planar Cages for Chemistry
Authors:
Dominique Barth,
Olivier David,
Franck Quessette,
Vincent Reinhard,
Yann Strozecki,
Sandrine Vial
Abstract:
In this paper we describe an algorithm which generates all colored planar maps with a good minimum sparsity from simple motifs and rules to connect them. An implementation of this algorithm is available and is used by chemists who want to quickly generate all sound molecules they can obtain by mixing some basic components.
In this paper we describe an algorithm which generates all colored planar maps with a good minimum sparsity from simple motifs and rules to connect them. An implementation of this algorithm is available and is used by chemists who want to quickly generate all sound molecules they can obtain by mixing some basic components.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
On group gradings on PI-algebras
Authors:
Eli Aljadeff,
Ofir David
Abstract:
We show that there exists a constant K such that for any PI- algebra W and any nondegenerate G-grading on W where G is any group (possibly infinite), there exists an abelian subgroup U of G with $[G : U] \leq exp(W)^K$. A G-grading $W = \bigoplus_{g \in G}W_g$ is said to be nondegenerate if $W_{g_1}W_{g_2}... W_{g_r} \neq 0$ for any $r \geq 1$ and any $r$ tuple $(g_1, g_2,..., g_r)$ in $G^r$.
We show that there exists a constant K such that for any PI- algebra W and any nondegenerate G-grading on W where G is any group (possibly infinite), there exists an abelian subgroup U of G with $[G : U] \leq exp(W)^K$. A G-grading $W = \bigoplus_{g \in G}W_g$ is said to be nondegenerate if $W_{g_1}W_{g_2}... W_{g_r} \neq 0$ for any $r \geq 1$ and any $r$ tuple $(g_1, g_2,..., g_r)$ in $G^r$.
△ Less
Submitted 22 October, 2014; v1 submitted 2 March, 2014;
originally announced March 2014.
-
The center of the generic G-crossed product
Authors:
Ofir David
Abstract:
Let G be a finite group and let F be a field of characteristic zero. In this paper we construct a generic G-crossed product over F using generic graded matrices. The center of this generic G-crossed product, denoted by F(G), is then the invariant field of a suitable G action on a field of rational functions in several indeterminates. The main goal of this paper is to study the extensions F(G)/F gi…
▽ More
Let G be a finite group and let F be a field of characteristic zero. In this paper we construct a generic G-crossed product over F using generic graded matrices. The center of this generic G-crossed product, denoted by F(G), is then the invariant field of a suitable G action on a field of rational functions in several indeterminates. The main goal of this paper is to study the extensions F(G)/F given that F contains enough roots of unity and determine how close they are to being purely transcendental.
In particular we show that F(G)/F is a stably rational extension for $G = C_2 \times C_{2n}$ where n is odd and for $G=<σ,τ | σ^n = τ^{2m} = e, τστ^{-1}=σ^{-1}>$ where $gcd(n, 2m) = 1$. Furthermore, we prove that if H, K are groups of coprime orders, then $F(H \times K)$ is the fraction field of $F(H) \otimes F(K)$.
△ Less
Submitted 22 April, 2015; v1 submitted 19 January, 2014;
originally announced January 2014.
-
In Vivo Quantification of Clot Formation in Extracorporeal Circuits
Authors:
Omid David,
Rabin Gerrah
Abstract:
Clot formation is a common complication in extracorporeal circuits. In this paper we describe a novel method for clot formation analysis using image processing. We assembled a closed extracorporeal circuit and circulated blood at varying speeds. Blood filters were placed in downstream of the flow, and clotting agents were added to the circuit. Digital images of the filter were subsequently taken,…
▽ More
Clot formation is a common complication in extracorporeal circuits. In this paper we describe a novel method for clot formation analysis using image processing. We assembled a closed extracorporeal circuit and circulated blood at varying speeds. Blood filters were placed in downstream of the flow, and clotting agents were added to the circuit. Digital images of the filter were subsequently taken, and image analysis was applied to calculate the density of the clot. Our results show a significant correlation between the cumulative size of the clots, the density measure of the clot based on image analysis, and flow duration in the system.
△ Less
Submitted 21 December, 2012;
originally announced December 2012.
-
On regular G-grading
Authors:
Eli Aljadeff,
Ofir David
Abstract:
Let A be an associative algebra over an algebraically closed field F of characteristic zero and let G be a finite abelian group. Regev and Seeman introduced the notion of a regular G-grading on A, namely a grading A= Σ_{g in G} A_g that satisfies the following two conditions:
(1) for every integer n>=1 and every n-tuple (g_1,g_2,...,g_n) in G^n, there are elements, a_i in A_{g_i}, i=1,...,n, suc…
▽ More
Let A be an associative algebra over an algebraically closed field F of characteristic zero and let G be a finite abelian group. Regev and Seeman introduced the notion of a regular G-grading on A, namely a grading A= Σ_{g in G} A_g that satisfies the following two conditions:
(1) for every integer n>=1 and every n-tuple (g_1,g_2,...,g_n) in G^n, there are elements, a_i in A_{g_i}, i=1,...,n, such that a_1*a_2*...*a_n != 0.
(2) for every g,h in G and for every a_g in A_g,b_h in A_h, we have a_{g}b_{h}=theta(g,h)b_{h}a_{g}.
Then later, Bahturin and Regev conjectured that if the grading on A is regular and minimal, then the order of the group G is an invariant of the algebra. In this article we prove the conjecture by showing that ord(G) coincides with an invariant of A which appears in PI theory, namely exp(A) (the exponent of A). Moreover, we extend the whole theory to (finite) nonabelian groups and show that the above result holds also in that case.
△ Less
Submitted 8 March, 2013; v1 submitted 3 December, 2012;
originally announced December 2012.
-
Graded Embeddings of Finite Dimensional Simple Graded Algebras
Authors:
Ofir David
Abstract:
Let A,B be finite dimensional G-graded algebras over an algebraically closed field K with char(K)=0, where G is an abelian group, and let Id_G(A) be the set of graded identities of A (res. Id_G(B)). We show that if A,B are G-simple then there is a graded embedding of A in B iff Id_G(B) is contained in Id_G(A). We also give a weaker generalization for the case where A is G-semisimple and B is arbit…
▽ More
Let A,B be finite dimensional G-graded algebras over an algebraically closed field K with char(K)=0, where G is an abelian group, and let Id_G(A) be the set of graded identities of A (res. Id_G(B)). We show that if A,B are G-simple then there is a graded embedding of A in B iff Id_G(B) is contained in Id_G(A). We also give a weaker generalization for the case where A is G-semisimple and B is arbitrary.
△ Less
Submitted 2 March, 2012; v1 submitted 22 December, 2011;
originally announced December 2011.
-
Inference for Partially Observed Multitype Branching Processes and Ecological Applications
Authors:
Catherine Laredo,
Olivier David,
Aurélie Garnier
Abstract:
Multitype branching processes with immigration in one type are used to model the dynamics of stage-structured plant populations. Parametric inference is first carried out when count data of all types are observed. Statistical identifiability is proved together with derivation of consistent and asymptotically Gaussian estimators for all the parameters ruling the population dynamics model. However…
▽ More
Multitype branching processes with immigration in one type are used to model the dynamics of stage-structured plant populations. Parametric inference is first carried out when count data of all types are observed. Statistical identifiability is proved together with derivation of consistent and asymptotically Gaussian estimators for all the parameters ruling the population dynamics model. However, for many ecological data, some stages (i.e. types) cannot be observed in practice. We study which mechanisms can still be estimated given the model and the data available in this context. Parametric inference is investigated in the case of Poisson distributions. We prove that identifiability holds for only a subset of the parameter set depend- ing on the number of generations observed, together with consistent and asymptotic properties of estimators. Finally, simulations are performed to study the behaviour of the estimators when the model is no longer Poisson. Quite good results are obtained for a large class of models with distributions having mean and variance within the same order of magnitude, leading to some stability results with respect to the Poisson assumption.
△ Less
Submitted 26 February, 2009;
originally announced February 2009.
