Showing 1–39 of 39 results for author: Unger, T

Pfister's local-global principle for Azumaya algebras with involution

Authors: Vincent Astier, Thomas Unger

Abstract: We prove Pfister's local-global principle for hermitian forms over Azumaya algebras with involution over semilocal rings, and show in particular that the Witt group of nonsingular hermitian forms is $2$-primary torsion. Our proof relies on a hermitian version of Sylvester's law of inertia, which is obtained from an investigation of the connections between a pairing of hermitian forms extensively s… ▽ More We prove Pfister's local-global principle for hermitian forms over Azumaya algebras with involution over semilocal rings, and show in particular that the Witt group of nonsingular hermitian forms is $2$-primary torsion. Our proof relies on a hermitian version of Sylvester's law of inertia, which is obtained from an investigation of the connections between a pairing of hermitian forms extensively studied by Garrel, signatures of hermitian forms, and positive semidefinite quadratic forms. △ Less

Submitted 18 April, 2023; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: The original title of this preprint was "Hermitian Sylvester and Pfister theorems for Azumaya algebras with involution". We changed it to the current title and corrected a small number of errors

MSC Class: 16H05; 11E39; 13J30; 16W10

Unikernel Linux (UKL)

Authors: Ali Raza, Thomas Unger, Matthew Boyd, Eric Munson, Parul Sohal, Ulrich Drepper, Richard Jones, Daniel Bristot de Oliveira, Larry Woodman, Renato Mancuso, Jonathan Appavoo, Orran Krieger

Abstract: This paper presents Unikernel Linux (UKL), a path toward integrating unikernel optimization techniques in Linux, a general purpose operating system. UKL adds a configuration option to Linux allowing for a single, optimized process to link with the kernel directly, and run at supervisor privilege. This UKL process does not require application source code modification, only a re-link with our, sligh… ▽ More This paper presents Unikernel Linux (UKL), a path toward integrating unikernel optimization techniques in Linux, a general purpose operating system. UKL adds a configuration option to Linux allowing for a single, optimized process to link with the kernel directly, and run at supervisor privilege. This UKL process does not require application source code modification, only a re-link with our, slightly modified, Linux kernel and glibc. Unmodified applications show modest performance gains out of the box, and developers can further optimize applications for more significant gains (e.g. 26% throughput improvement for Redis). UKL retains support for co-running multiple user level processes capable of communicating with the UKL process using standard IPC. UKL preserves Linux's battle-tested codebase, community, and ecosystem of tools, applications, and hardware support. UKL runs both on bare-metal and virtual servers and supports multi-core execution. The changes to the Linux kernel are modest (1250 LOC). △ Less

Submitted 22 June, 2023; v1 submitted 1 June, 2022; originally announced June 2022.

Comments: Added more results in the evaluation section. Improved overall writing and added diagrams to explain the architecture

Journal ref: Proceedings of the Eighteenth European Conference on Computer Systems (EuroSys 23), May 2023, Pages 590 - 605

Slowing Down for Performance and Energy: An OS-Centric Study in Network Driven Workloads

Authors: Han Dong, Sanjay Arora, Yara Awad, Tommy Unger, Orran Krieger, Jonathan Appavoo

Abstract: This paper studies three fundamental aspects of an OS that impact the performance and energy efficiency of network processing: 1) batching, 2) processor energy settings, and 3) the logic and instructions of the OS networking paths. A network device's interrupt delay feature is used to induce batching and processor frequency is manipulated to control the speed of instruction execution. A baremetal… ▽ More This paper studies three fundamental aspects of an OS that impact the performance and energy efficiency of network processing: 1) batching, 2) processor energy settings, and 3) the logic and instructions of the OS networking paths. A network device's interrupt delay feature is used to induce batching and processor frequency is manipulated to control the speed of instruction execution. A baremetal library OS is used to explore OS path specialization. This study shows how careful use of batching and interrupt delay results in 2X energy and performance improvements across different workloads. Surprisingly, we find polling can be made energy efficient and can result in gains up to 11X over baseline Linux. We developed a methodology and a set of tools to collect system data in order to understand how energy is impacted at a fine-grained granularity. This paper identifies a number of other novel findings that have implications in OS design for networked applications and suggests a path forward to consider energy as a focal point of systems research. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Trichotomy for positive cones and a maximality counterexample

Authors: Vincent Astier, Thomas Unger

Abstract: In [4] we developed the theory of positive cones on finite-dimensional simple algebras with involution, inspired by the classical Artin-Schreier theory of orderings on fields, and based on the notion of signatures of hermitian forms [1]. In a subsequent paper [3], we developed the associated "valuation theory", based on Tignol-Wadsworth gauges [7, 8, 9]. In this short note, we present the followin… ▽ More In [4] we developed the theory of positive cones on finite-dimensional simple algebras with involution, inspired by the classical Artin-Schreier theory of orderings on fields, and based on the notion of signatures of hermitian forms [1]. In a subsequent paper [3], we developed the associated "valuation theory", based on Tignol-Wadsworth gauges [7, 8, 9]. In this short note, we present the following two additional results: (1) Whereas positive cones on fields correspond to total order relations, positive cones on algebras with involution only give rise to partial order relations. We show that the order relation defined by a positive cone is as close to total as possible, cf. Theorem 2.5. (2) Positive cones are maximal prepositive cones, which begs the question if there are prepositive cones that are not maximal. We answer this question in the affirmative in Section 3, using techniques that illustrate the interplay between positive cones and gauges. △ Less

Submitted 13 April, 2022; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: Section 3 contains an error that invalidates the example. We think this particular example cannot be made to work at all

Generalizing Emergent Communication

Authors: Thomas A. Unger, Elia Bruni

Abstract: We converted the recently developed BabyAI grid world platform to a sender/receiver setup in order to test the hypothesis that established deep reinforcement learning techniques are sufficient to incentivize the emergence of a grounded discrete communication protocol between generalized agents. This is in contrast to previous experiments that employed straight-through estimation or specialized ind… ▽ More We converted the recently developed BabyAI grid world platform to a sender/receiver setup in order to test the hypothesis that established deep reinforcement learning techniques are sufficient to incentivize the emergence of a grounded discrete communication protocol between generalized agents. This is in contrast to previous experiments that employed straight-through estimation or specialized inductive biases. Our results show that these can indeed be avoided, by instead providing proper environmental incentives. Moreover, they show that a longer interval between communications incentivized more abstract semantics. In some cases, the communicating agents adapted to new environments more quickly than a monolithic agent, showcasing the potential of emergent communication for transfer learning and generalization in general. △ Less

Submitted 14 December, 2020; v1 submitted 6 January, 2020; originally announced January 2020.

Comments: Summary of a master thesis by Thomas A. Unger, supervised by Elia Bruni at the University of Amsterdam from January to August 2019. 9 pages, 6 figures, 2 tables

SEUSS: Rapid serverless deployment using environment snapshots

Authors: James Cadden, Thomas Unger, Yara Awad, Han Dong, Orran Krieger, Jonathan Appavoo

Abstract: Modern FaaS systems perform well in the case of repeat executions when function working sets stay small. However, these platforms are less effective when applied to more complex, large-scale and dynamic workloads. In this paper, we introduce SEUSS (serverless execution via unikernel snapshot stacks), a new system-level approach for rapidly deploying serverless functions. Through our approach, we d… ▽ More Modern FaaS systems perform well in the case of repeat executions when function working sets stay small. However, these platforms are less effective when applied to more complex, large-scale and dynamic workloads. In this paper, we introduce SEUSS (serverless execution via unikernel snapshot stacks), a new system-level approach for rapidly deploying serverless functions. Through our approach, we demonstrate orders of magnitude improvements in function start times and cacheability, which improves common re-execution paths while also unlocking previously-unsupported large-scale bursty workloads. △ Less

Submitted 3 October, 2019; originally announced October 2019.

Measurable realizations of abstract systems of congruences

Authors: Clinton T. Conley, Andrew S. Marks, Spencer T. Unger

Abstract: An abstract system of congruences describes a way of partitioning a space into finitely many pieces satisfying certain congruence relations. Examples of abstract systems of congruences include paradoxical decompositions and $n$-divisibility of actions. We consider the general question of when there are realizations of abstract systems of congruences satisfying various measurability constraints. We… ▽ More An abstract system of congruences describes a way of partitioning a space into finitely many pieces satisfying certain congruence relations. Examples of abstract systems of congruences include paradoxical decompositions and $n$-divisibility of actions. We consider the general question of when there are realizations of abstract systems of congruences satisfying various measurability constraints. We completely characterize which abstract systems of congruences can be realized by nonmeager Baire measurable pieces of the sphere under the action of rotations on the $2$-sphere. This answers a question of Wagon. We also construct Borel realizations of abstract systems of congruences for the action of $\mathsf{PSL}_2(\mathbb{Z})$ on $\mathsf{P}^1(\mathbb{R})$. The combinatorial underpinnings of our proof are certain types of decomposition of Borel graphs into paths. We also use these decompositions to obtain some results about measurable unfriendly colorings. △ Less

Submitted 16 January, 2020; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: minor corrections

Journal ref: Forum of Mathematics, Sigma 8 (2020) e10

Galois extensions, positive involutions and an application to unitary space-time coding

Authors: Vincent Astier, Thomas Unger

Abstract: We show that under certain conditions every maximal symmetric subfield of a central division algebra with positive unitary involution $(B,τ)$ will be a Galois extension of the fixed field of $τ$ and will "real split" $(B,τ)$. As an application we show that a sufficient condition for the existence of positive involutions on certain crossed product division algebras, considered by Berhuy in the cont… ▽ More We show that under certain conditions every maximal symmetric subfield of a central division algebra with positive unitary involution $(B,τ)$ will be a Galois extension of the fixed field of $τ$ and will "real split" $(B,τ)$. As an application we show that a sufficient condition for the existence of positive involutions on certain crossed product division algebras, considered by Berhuy in the context of unitary space-time coding, is also necessary, proving that Berhuy's construction is optimal. △ Less

Submitted 12 October, 2018; v1 submitted 24 September, 2018; originally announced September 2018.

Comments: Difference with previous version: the counterexample was wrong and has been removed

MSC Class: Primary: 12E15; Secondary: 11T71; 16W10; 13J30

Positive cones and gauges on algebras with involution

Authors: Vincent Astier, Thomas Unger

Abstract: We extend the classical links between valuations and orderings on fields to Tignol-Wadsworth gauges and positive cones on finite-dimensional simple algebras with involution. We also study the compatibility of gauges and positive cones, and prove lifting results in the style of the Baer-Krull theorem for fields. We extend the classical links between valuations and orderings on fields to Tignol-Wadsworth gauges and positive cones on finite-dimensional simple algebras with involution. We also study the compatibility of gauges and positive cones, and prove lifting results in the style of the Baer-Krull theorem for fields. △ Less

Submitted 13 May, 2021; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: Final version, accepted for publication. Difference with previous version: some typos corrected (in particular, 14 should be 13 in Ex. 8.10), some text revised. Difference with published version: different layout, but numbering of results and references is the same

MSC Class: Primary 13J30; 16W60; Secondary 16W10; 06F25; 16K20

Journal ref: International Mathematics Research Notices, published on-line 30 December 2020, pages 1-45

Hermitian Morita Theory: a Matrix Approach

Authors: David W. Lewis, Thomas Unger

Abstract: This bundle contains the paper "Hermitian Morita Theory: a Matrix Approach", published in Irish Math. Soc. Bulletin 62 (2008), pp. 37-41 (reproduced with permission of the Irish Mathematical Society), and with abstract "In this note an explicit matrix description of hermitian Morita theory is presented." and a short erratum. This bundle contains the paper "Hermitian Morita Theory: a Matrix Approach", published in Irish Math. Soc. Bulletin 62 (2008), pp. 37-41 (reproduced with permission of the Irish Mathematical Society), and with abstract "In this note an explicit matrix description of hermitian Morita theory is presented." and a short erratum. △ Less

Submitted 18 April, 2018; v1 submitted 8 November, 2017; originally announced November 2017.

Comments: First 5 pages: original published paper. Last 2 pages: unpublished erratum

Journal ref: Irish Math. Soc. Bulletin 62 (2008), pp. 37-41 (first part of bundle only)

Signatures, sums of hermitian squares and positive cones on algebras with involution

Authors: Vincent Astier, Thomas Unger

Abstract: We provide a coherent picture of our efforts thus far in extending real algebra and its links to the theory of quadratic forms over ordered fields in the noncommutative direction, using hermitian forms and "ordered" algebras with involution. We provide a coherent picture of our efforts thus far in extending real algebra and its links to the theory of quadratic forms over ordered fields in the noncommutative direction, using hermitian forms and "ordered" algebras with involution. △ Less

Submitted 18 April, 2018; v1 submitted 5 June, 2017; originally announced June 2017.

Comments: Final version before publication

MSC Class: 13J30; 11E39; 16K20; 16W10

Journal ref: Electron. Res. Announc. Math. Sci. 25 (2018), 16-26

Borel Circle Squaring

Authors: Andrew S. Marks, Spencer T. Unger

Abstract: We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \geq 1$ and $A, B \subseteq \mathbb{R}^k$ are bounded Borel sets with the same positive Lebesgue measure whose boundaries have upper Minkowski dimension less than $k$, then $A$ and $B$ are equidecomposable by translations… ▽ More We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \geq 1$ and $A, B \subseteq \mathbb{R}^k$ are bounded Borel sets with the same positive Lebesgue measure whose boundaries have upper Minkowski dimension less than $k$, then $A$ and $B$ are equidecomposable by translations using Borel pieces. This answers a question of Wagon. Our proof uses ideas from the study of flows in graphs, and a recent result of Gao, Jackson, Krohne, and Seward on special types of witnesses to the hyperfiniteness of free Borel actions of $\mathbb{Z}^d$. △ Less

Submitted 12 June, 2017; v1 submitted 17 December, 2016; originally announced December 2016.

Comments: Minor typos corrected

MSC Class: 03E15; 05C21; 37A20; 52B45

Journal ref: Ann. of Math. 186 (2017), 581-605

Positive cones on algebras with involution

Authors: Vincent Astier, Thomas Unger

Abstract: We introduce positive cones on algebras with involution. These allow us to prove analogues of Artin's solution to Hilbert's 17th problem, the Artin-Schreier theorem characterizing formally real fields, and to define signatures with respect to positive cones. We consider the space of positive cones of an algebra with involution and investigate its topological properties, showing in particular that… ▽ More We introduce positive cones on algebras with involution. These allow us to prove analogues of Artin's solution to Hilbert's 17th problem, the Artin-Schreier theorem characterizing formally real fields, and to define signatures with respect to positive cones. We consider the space of positive cones of an algebra with involution and investigate its topological properties, showing in particular that it is a spectral space. As an application we solve the problem of the existence of positive involutions. △ Less

Submitted 19 December, 2019; v1 submitted 21 September, 2016; originally announced September 2016.

Comments: Accepted manuscript

MSC Class: 13J30; 16W10; 06F25; 16K20; 11E39

Journal ref: Advances in Mathematics 361 (2020) 106954

Signatures of hermitian forms, positivity, and an answer to a question of Procesi and Schacher

Authors: Vincent Astier, Thomas Unger

Abstract: Using the theory of signatures of hermitian forms over algebras with involution, developed by us in earlier work, we introduce a notion of positivity for symmetric elements and prove a noncommutative analogue of Artin's solution to Hilbert's 17th problem, characterizing totally positive elements in terms of weighted sums of hermitian squares. As a consequence we obtain an earlier result of Procesi… ▽ More Using the theory of signatures of hermitian forms over algebras with involution, developed by us in earlier work, we introduce a notion of positivity for symmetric elements and prove a noncommutative analogue of Artin's solution to Hilbert's 17th problem, characterizing totally positive elements in terms of weighted sums of hermitian squares. As a consequence we obtain an earlier result of Procesi and Schacher and give a complete answer to their question about representation of elements as sums of hermitian squares. △ Less

Submitted 27 September, 2016; v1 submitted 19 November, 2015; originally announced November 2015.

Comments: 22 pages, some minor clarifications added to version 2

MSC Class: 16K20; 11E39; 13J30

Stability index for algebras with involution

Authors: Vincent Astier, Thomas Unger

Abstract: In earlier work we developed the theory of signatures of hermitian forms over algebras with involution with respect to orderings on the base field of the algebra and obtained in particular that the total signature of a hermitian form is a continuous function from the space of orderings of that field to $\mathbb{Z}$. In this note we give another presentation of signatures and also introduce and stu… ▽ More In earlier work we developed the theory of signatures of hermitian forms over algebras with involution with respect to orderings on the base field of the algebra and obtained in particular that the total signature of a hermitian form is a continuous function from the space of orderings of that field to $\mathbb{Z}$. In this note we give another presentation of signatures and also introduce and study the stability index of algebras with involution. △ Less

Submitted 20 June, 2016; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: 11 pages; this version replaces the previous one which contained a mistake in the first half

MSC Class: 16K20; 11E39; 13J30

Signatures of hermitian forms and "prime ideals" of Witt groups

Authors: Vincent Astier, Thomas Unger

Abstract: In this paper a further study is made of $H$-signatures of hermitian forms, introduced previously by the authors. It is shown that a tuple of reference forms $H$ may be replaced by a single form and that the $H$-signature is invariant under Morita equivalence of algebras with involution. The "prime ideals" of the Witt group are studied, obtaining results that are analogues of the classification of… ▽ More In this paper a further study is made of $H$-signatures of hermitian forms, introduced previously by the authors. It is shown that a tuple of reference forms $H$ may be replaced by a single form and that the $H$-signature is invariant under Morita equivalence of algebras with involution. The "prime ideals" of the Witt group are studied, obtaining results that are analogues of the classification of prime ideals of the Witt ring by Harrison and Lorenz-Leicht. It follows that $H$-signatures canonically correspond to morphisms into the integers. △ Less

Submitted 26 November, 2015; v1 submitted 14 March, 2013; originally announced March 2013.

Comments: Final version before publicatiom

MSC Class: 16K20; 11E39; 13J30

Journal ref: Adv. Math. 285 (2015), 497-514

Weakly Hyperbolic Involutions

Authors: Karim Johannes Becher, Thomas Unger

Abstract: Pfister's Local-Global Principle states that a quadratic form over a (formally) real field is weakly hyperbolic (i.e. represents a torsion element in the Witt ring) if and only if its total signature is zero. This result extends naturally to the setting of central simple algebras with involution. The present article provides a new proof of this result and extends it to the case of signatures at pr… ▽ More Pfister's Local-Global Principle states that a quadratic form over a (formally) real field is weakly hyperbolic (i.e. represents a torsion element in the Witt ring) if and only if its total signature is zero. This result extends naturally to the setting of central simple algebras with involution. The present article provides a new proof of this result and extends it to the case of signatures at preorderings. Furthermore the quantitative relation between nilpotence and torsion is explored for quadratic forms as well as for central simple algebras with involution. △ Less

Submitted 18 April, 2018; v1 submitted 19 July, 2012; originally announced July 2012.

Comments: Final version before publication

MSC Class: 11E04; 11E10; 11E81; 12D15; 16K20; 16W10

Journal ref: Expo. Math. 36 (2018), 78-97

Reflection and Exclusion of Shear Zones in Inhomogeneous Granular Materials

Authors: Tamas Borzsonyi, Tamas Unger, Balazs Szabo, Sandra Wegner, Frank Angenstein, Ralf Stannarius

Abstract: Shear localization in granular materials is studied experimentally and numerically. The system consists of two material layers with different effective frictions. The presence of the material interface leads to a special type of "total internal reflection" of the shear zone. In a wide range of configurations the reflection is characterized by a fixed angle which is analogous to the critical angle… ▽ More Shear localization in granular materials is studied experimentally and numerically. The system consists of two material layers with different effective frictions. The presence of the material interface leads to a special type of "total internal reflection" of the shear zone. In a wide range of configurations the reflection is characterized by a fixed angle which is analogous to the critical angle of refraction in optics. The zone leaves and reenters the high friction region at this critical angle and in between it stays near the interface in the low friction region. The formalism describing the geometry of the shear zones and that of refracted and reflected light beams is very similar. For the internal visualization of shear localization two independent experimental techniques were used (i) excavation and (ii) Magnetic Resonance Imaging. △ Less

Submitted 17 August, 2011; originally announced August 2011.

Comments: 8 pages, 9 figures; Final version published in Soft Matter (2011)

Collective rheology in quasi static shear flow of granular media

Authors: Tamás Unger

Abstract: This paper is devoted to the basic question of what factors determine the strain field in a quasi static granular flow. It is shown that using stress - strain rate relations is not the proper way to understand quasi static rheology. An alternative approach is discussed where the local deformation is regarded as the cause of deformation in the vicinity. We suggest a continuum model where the local… ▽ More This paper is devoted to the basic question of what factors determine the strain field in a quasi static granular flow. It is shown that using stress - strain rate relations is not the proper way to understand quasi static rheology. An alternative approach is discussed where the local deformation is regarded as the cause of deformation in the vicinity. We suggest a continuum model where the local shear strain is proportional to its Laplacian and the proportionality factor is determined by the local stress. The predicted behavior is tested in a three dimensional shear cell by means of computer simulations. The simplicity of our setup makes it ideal to demonstrate and examine the fundamental open questions of collective granular flows. The observed shear profile is interpreted in the framework of the suggested model. △ Less

Submitted 20 September, 2010; originally announced September 2010.

Comments: 9 pages, 11 figures, submitted to PRE

Space-time block codes from nonassociative division algebras

Authors: Susanne Pumpluen, Thomas Unger

Abstract: Associative division algebras are a rich source of fully diverse space-time block codes (STBCs). In this paper the systematic construction of fully diverse STBCs from nonassociative algebras is discussed. As examples, families of fully diverse $2\times 2$, $2\times 4$ multiblock and $4\x 4$ STBCs are designed, employing nonassociative quaternion division algebras. Associative division algebras are a rich source of fully diverse space-time block codes (STBCs). In this paper the systematic construction of fully diverse STBCs from nonassociative algebras is discussed. As examples, families of fully diverse $2\times 2$, $2\times 4$ multiblock and $4\x 4$ STBCs are designed, employing nonassociative quaternion division algebras. △ Less

Submitted 9 June, 2011; v1 submitted 11 June, 2010; originally announced June 2010.

Comments: 23 pages; final version; to appear in Advances in Mathematics of Communications

MSC Class: 11T71; 68P30; 17A35

Journal ref: Adv. Math. Commun. 5 (2011), no. 3, 449-471

Signatures of hermitian forms and the Knebusch Trace Formula

Authors: Vincent Astier, Thomas Unger

Abstract: Signatures of quadratic forms have been generalized to hermitian forms over algebras with involution. In the literature this is done via Morita theory, which causes sign ambiguities in certain cases. In this paper, a hermitian version of the Knebusch Trace Formula is established and used as a main tool to resolve these ambiguities. The last page is an erratum for the published version. We inadve… ▽ More Signatures of quadratic forms have been generalized to hermitian forms over algebras with involution. In the literature this is done via Morita theory, which causes sign ambiguities in certain cases. In this paper, a hermitian version of the Knebusch Trace Formula is established and used as a main tool to resolve these ambiguities. The last page is an erratum for the published version. We inadvertently (I) gave an incorrect definition of adjoint involutions; (II) omitted dealing with the case $(H\times H, \widehat{\phantom{m}}\,)$. As $W(H\times H, \widehat{\phantom{m}}\,)= W(R\times R, \widehat{\phantom{m}}\,)=0$, the omission does not affect our reasoning or our results. For the sake of completeness we point out where some small changes should be made in the published version. △ Less

Submitted 13 March, 2018; v1 submitted 4 March, 2010; originally announced March 2010.

Comments: This is the final version before publication. The last page is an updated erratum for the published version

MSC Class: 16K20; 11E39; 13J30

Journal ref: Mathematische Annalen (2014), Volume 358, pp. 925-947

Shear zone refraction and deflection in layered granular materials

Authors: Tamas Borzsonyi, Tamas Unger, Balazs Szabo

Abstract: Refraction and deflection of shear zones in layered granular materials was studied experimentally and numerically. We show, that (i) according to a recent theoretical prediction [T. Unger, Phys. Rev. Lett. 98, 018301 (2007)] shear zones refract in layered systems in analogy with light refraction, (ii) zone refraction obeys Snell's law known from geometric optics and (iii) under natural pressure… ▽ More Refraction and deflection of shear zones in layered granular materials was studied experimentally and numerically. We show, that (i) according to a recent theoretical prediction [T. Unger, Phys. Rev. Lett. 98, 018301 (2007)] shear zones refract in layered systems in analogy with light refraction, (ii) zone refraction obeys Snell's law known from geometric optics and (iii) under natural pressure conditions (i.e. in the presence of gravity) the zone can also be deflected by the interface so that the deformation of the high friction material is avoided. △ Less

Submitted 9 December, 2009; v1 submitted 11 June, 2009; originally announced June 2009.

Comments: 5 pages, 5 figures, accepted to Phys. Rev. E (Rap. Comm.)

The Procesi-Schacher conjecture and Hilbert's 17th problem for algebras with involution

Authors: Igor Klep, Thomas Unger

Abstract: In 1976 Procesi and Schacher developed an Artin-Schreier type theory for central simple algebras with involution and conjectured that in such an algebra a totally positive element is always a sum of hermitian squares. In this paper elementary counterexamples to this conjecture are constructed and cases are studied where the conjecture does hold. Also, a Positivstellensatz is established for noncom… ▽ More In 1976 Procesi and Schacher developed an Artin-Schreier type theory for central simple algebras with involution and conjectured that in such an algebra a totally positive element is always a sum of hermitian squares. In this paper elementary counterexamples to this conjecture are constructed and cases are studied where the conjecture does hold. Also, a Positivstellensatz is established for noncommutative polynomials, positive semidefinite on all tuples of matrices of a fixed size. △ Less

Submitted 6 February, 2012; v1 submitted 29 October, 2008; originally announced October 2008.

Comments: Final pre-publication version

MSC Class: 11E25; 13J30 (Primary) 16W10; 16R50 (Secondary)

Journal ref: J. Algebra 324 (2010), no. 2, 256-268

Quadratic Forms and Space-Time Block Codes from Generalized Quaternion and Biquaternion Algebras

Authors: Thomas Unger, Nadya Markin

Abstract: In the context of space-time block codes (STBCs), the theory of generalized quaternion and biquaternion algebras (i.e., tensor products of two quaternion algebras) over arbitrary base fields is presented, as well as quadratic form theoretic criteria to check if such algebras are division algebras. For base fields relevant to STBCs, these criteria are exploited, via Springer's theorem, to construct… ▽ More In the context of space-time block codes (STBCs), the theory of generalized quaternion and biquaternion algebras (i.e., tensor products of two quaternion algebras) over arbitrary base fields is presented, as well as quadratic form theoretic criteria to check if such algebras are division algebras. For base fields relevant to STBCs, these criteria are exploited, via Springer's theorem, to construct several explicit infinite families of (bi-)quaternion division algebras. These are used to obtain new $2\x 2$ and $4\x 4$ STBCs. △ Less

Submitted 11 April, 2011; v1 submitted 1 July, 2008; originally announced July 2008.

Comments: 8 pages, final version

Journal ref: IEEE Trans. Inform. Theory 57 (2011), no. 9, 6148-6156

Extent of force indeterminacy in packings of frictional rigid disks

Authors: M. Reza Shaebani, Tamas Unger, Janos Kertesz

Abstract: Static packings of frictional rigid particles are investigated by means of discrete element simulations. We explore the ensemble of allowed force realizations in the space of contact forces for a given packing structure. We estimate the extent of force indeterminacy with different methods. The indeterminacy exhibits a nonmonotonic dependence on the interparticle friction coefficient. We verify dir… ▽ More Static packings of frictional rigid particles are investigated by means of discrete element simulations. We explore the ensemble of allowed force realizations in the space of contact forces for a given packing structure. We estimate the extent of force indeterminacy with different methods. The indeterminacy exhibits a nonmonotonic dependence on the interparticle friction coefficient. We verify directly that larger force-indeterminacy is accompanied by a more robust behavior against local perturbations. We also investigate the local indeterminacy of individual contact forces. The probability distribution of local indeterminacy changes its shape depending on friction. We find that local indeterminacy tends to be larger on force chains for intermediate friction. This correlation disappears in the large friction limit. △ Less

Submitted 18 April, 2011; v1 submitted 1 July, 2008; originally announced July 2008.

Comments: 5 pages, 6 figures

Journal ref: Phys. Rev. E 79, 052302 (2009)

Unjamming due to local perturbations in granular packings with and without gravity

Authors: M. Reza Shaebani, Tamas Unger, Janos Kertesz

Abstract: We investigate the unjamming response of disordered packings of frictional hard disks with the help of computer simulations. First, we generate jammed configurations of the disks and then force them to move again by local perturbations. We study the spatial distribution of the stress and displacement response and find long range effects of the perturbation in both cases. We record the penetratio… ▽ More We investigate the unjamming response of disordered packings of frictional hard disks with the help of computer simulations. First, we generate jammed configurations of the disks and then force them to move again by local perturbations. We study the spatial distribution of the stress and displacement response and find long range effects of the perturbation in both cases. We record the penetration depth of the displacements and the critical force that is needed to make the system yield. These quantities are tested in two types of systems: in ideal homogeneous packings in zero gravity and in packings settled under gravity. The penetration depth and the critical force are sensitive to the interparticle friction coefficient. Qualitatively, the same nonmonotonic friction dependence is found both with and without gravity, however the location of the extrema are at different friction values. We discuss the role of the connectivity of the contact network and of the pressure gradient in the unjamming response. △ Less

Submitted 20 August, 2008; v1 submitted 1 May, 2008; originally announced May 2008.

Comments: 12 pages, 13 figures

Journal ref: Phys. Rev. E 78, 011308 (2008)

Generation of homogeneous granular packings: Contact dynamics method with coupling to an external pressure bath

Authors: M. Reza Shaebani, Tamas Unger, Janos Kertesz

Abstract: The contact dynamics method (CD) is an efficient simulation technique of dense granular media where unilateral and frictional contact problems for a large number of rigid bodies have to be solved. In this paper we present a modified version of the contact dynamics to generate homogeneous random packings of rigid grains. CD is coupled to an external pressure bath, which allows the variation of the… ▽ More The contact dynamics method (CD) is an efficient simulation technique of dense granular media where unilateral and frictional contact problems for a large number of rigid bodies have to be solved. In this paper we present a modified version of the contact dynamics to generate homogeneous random packings of rigid grains. CD is coupled to an external pressure bath, which allows the variation of the size of a periodically repeated cell. We follow the concept of the Andersen dynamics and show how it can be applied within the framework of the contact dynamics method. The main challenge here is to handle the interparticle interactions properly, which are based on constraint forces in CD. We implement the proposed algorithm, perform test simulations and investigate the properties of the final packings. △ Less

Submitted 18 April, 2011; v1 submitted 25 March, 2008; originally announced March 2008.

Comments: 21 pages, 9 figures

Journal ref: Int J Mod Phys C 20, 847 (2009)

A hermitian analogue of the Broecker-Prestel theorem

Authors: Vincent Astier, Thomas Unger

Abstract: The Broecker-Prestel local-global principle characterizes weak isotropy of quadratic forms over a formally real field in terms of weak isotropy over the henselizations and isotropy over the real closures of that field. A hermitian analogue of this principle is presented for algebras of index at most two. An improved result is also presented for algebras with a decomposable involution, algebras of… ▽ More The Broecker-Prestel local-global principle characterizes weak isotropy of quadratic forms over a formally real field in terms of weak isotropy over the henselizations and isotropy over the real closures of that field. A hermitian analogue of this principle is presented for algebras of index at most two. An improved result is also presented for algebras with a decomposable involution, algebras of pythagorean index at most two, and algebras over SAP and ED fields. △ Less

Submitted 6 February, 2012; v1 submitted 25 July, 2007; originally announced July 2007.

Comments: Final pre-publication version

MSC Class: 16K20; 11E39

Journal ref: Indag. Math. (N.S.) 19 (2008), no. 3, 349-358

Unjamming of Granular Packings due to Local Perturbations: Stability and Decay of Displacements

Authors: M. Reza Shaebani, Tamas Unger, Janos Kertesz

Abstract: We study the mechanical response generated by local deformations in jammed packings of rigid disks. Based on discrete element simulations we determine the critical force of the local perturbation that is needed to break the mechanical equilibrium and examine the generated displacement field. Displacements decay as a power law of the distance from the perturbation point. The decay exponent and th… ▽ More We study the mechanical response generated by local deformations in jammed packings of rigid disks. Based on discrete element simulations we determine the critical force of the local perturbation that is needed to break the mechanical equilibrium and examine the generated displacement field. Displacements decay as a power law of the distance from the perturbation point. The decay exponent and the critical force exhibit nontrivial dependence on the friction: Both quantities are nonmonotonic and have a sharp maximum at the friction coefficient 0.1. We find that the mechanical response properties are closely related to the problem of force-indeterminacy where similar nonmonotonic behavior was observed previously. We establish direct connection between the critical force and the ensemble of static force networks. △ Less

Submitted 9 August, 2007; v1 submitted 17 May, 2007; originally announced May 2007.

Comments: 4 pages, 4 figures

Journal ref: Phys. Rev. E 76, 030301(R) (2007)

Shear zones in granular media: 3D Contact Dynamics simulation

Authors: Alexander Ries, Tamas Unger, Dietrich E. Wolf

Abstract: Shear zone formation is investigated in slow 3D shear flows. We simulate the linear version of the split-bottom shear cell. It is shown that the same type of wide shear zones is achieved in the presence as well as in the absence of gravity. We investigate the relaxation of the material towards a stationary flow and analyze the stress and the velocity fields. We provide the functional form of the… ▽ More Shear zone formation is investigated in slow 3D shear flows. We simulate the linear version of the split-bottom shear cell. It is shown that the same type of wide shear zones is achieved in the presence as well as in the absence of gravity. We investigate the relaxation of the material towards a stationary flow and analyze the stress and the velocity fields. We provide the functional form of the widening of the shear zone inside the bulk. We discuss the growth of the region where the material is in critical state. It is found that the growth of the critical zone is responsible for the initial transient of the shear zone. △ Less

Submitted 25 April, 2007; v1 submitted 18 April, 2007; originally announced April 2007.

Comments: 9 pages

Journal ref: Phys. Rev. E 76, 051301 (2007)

Refraction of shear zones in granular materials

Authors: Tamas Unger

Abstract: We study strain localization in slow shear flow focusing on layered granular materials. A heretofore unknown effect is presented here. We show that shear zones are refracted at material interfaces in analogy with refraction of light beams in optics. This phenomenon can be obtained as a consequence of a recent variational model of shear zones. The predictions of the model are tested and confirmed… ▽ More We study strain localization in slow shear flow focusing on layered granular materials. A heretofore unknown effect is presented here. We show that shear zones are refracted at material interfaces in analogy with refraction of light beams in optics. This phenomenon can be obtained as a consequence of a recent variational model of shear zones. The predictions of the model are tested and confirmed by 3D discrete element simulations. We found that shear zones follow Snell's law of light refraction. △ Less

Submitted 8 January, 2007; v1 submitted 3 October, 2006; originally announced October 2006.

Comments: 4 pages, 3 figures, minor changes, jounal ref. added

Journal ref: Phys. Rev. Lett. 98, 018301 (2007)

Shear Zones in granular materials: Optimization in a self-organized random potential

Authors: J Torok, T. Unger, J. Kertesz, D. E. Wolf

Abstract: We introduce a model to describe the wide shear zones observed in modified Couette cell experiments with granular material. The model is a generalization of the recently proposed approach based on a variational principle. The instantaneous shear band is identified with the surface that minimizes the dissipation in a random potential that is biased by the local velocity difference and pressure. T… ▽ More We introduce a model to describe the wide shear zones observed in modified Couette cell experiments with granular material. The model is a generalization of the recently proposed approach based on a variational principle. The instantaneous shear band is identified with the surface that minimizes the dissipation in a random potential that is biased by the local velocity difference and pressure. The apparent shear zone is the ensemble average of the instantaneous shear bands. The numerical simulation of this model matches excellently with experiments and has measurable predictions. △ Less

Submitted 6 July, 2006; originally announced July 2006.

Comments: 4 pages, 5 figures

Journal ref: Phys. Rev. E 75, 011305 (2007)

The effect of contact torques on porosity of cohesive powders

Authors: Guido Bartels, Tamas Unger, Dirk Kadau, Dietrich E. Wolf, Janos Kertesz

Abstract: The porosity of uniaxially compacted cohesive powders depends on the applied stress (including gravity). The case, where these stresses are weak, is considered. The compaction results in a porosity which is a function of sliding, rolling and torsion friction. By contact dynamics simulations it is shown that the influences of contact torques (static rolling and torsion friction) on the porosity a… ▽ More The porosity of uniaxially compacted cohesive powders depends on the applied stress (including gravity). The case, where these stresses are weak, is considered. The compaction results in a porosity which is a function of sliding, rolling and torsion friction. By contact dynamics simulations it is shown that the influences of contact torques (static rolling and torsion friction) on the porosity are significant and approximately additive. The relevance for nano-powder pressure sintering is discussed. △ Less

Submitted 3 March, 2004; originally announced March 2004.

Comments: 5 pages, 5 figures

Journal ref: Granular Matter, Volume 7, Numbers 2-3, 2005, Pages 139 - 143

Force indeterminacy in the jammed state of hard disks

Authors: Tamas Unger, Janos Kertesz, Dietrich E. Wolf

Abstract: Granular packings of hard discs are investigated by means of contact dynamics which is an appropriate technique to explore the allowed force-realizations in the space of contact forces. Configurations are generated for given values of the friction coefficient, and then an ensemble of equilibrium forces is found for fixed contacts. We study the force fluctuations within this ensemble. In the limi… ▽ More Granular packings of hard discs are investigated by means of contact dynamics which is an appropriate technique to explore the allowed force-realizations in the space of contact forces. Configurations are generated for given values of the friction coefficient, and then an ensemble of equilibrium forces is found for fixed contacts. We study the force fluctuations within this ensemble. In the limit of zero friction the fluctuations vanish in accordance with the isostaticity of the packing. The magnitude of the fluctuations has a non-monotonous friction dependence. The increase for small friction can be attributed to the opening of the angle of the Coulomb cone, while the decrease as friction increases is due to the reduction of connectivity of the contact-network, leading to local, independent clusters of indeterminacy. We discuss the relevance of indeterminacy to packings of deformable particles and to the mechanical response properties. △ Less

Submitted 19 June, 2005; v1 submitted 2 March, 2004; originally announced March 2004.

Comments: 4 pages, 3 figures. Minor changes, journal reference added

Journal ref: Phys. Rev. Lett. 94, 178001 (2005)

Shear band formation in granular media as a variational problem

Authors: T. Unger, J. Torok, J. Kertesz, D. E. Wolf

Abstract: Strain in sheared dense granular material is often localized in a narrow region called shear band. Recent experiments in a modified Couette cell provided localized shear flow in the bulk away from the confining walls. The non-trivial shape of the shear band was measured as the function of the cell geometry. First we present a geometric argument for narrow shear bands which connects the function… ▽ More Strain in sheared dense granular material is often localized in a narrow region called shear band. Recent experiments in a modified Couette cell provided localized shear flow in the bulk away from the confining walls. The non-trivial shape of the shear band was measured as the function of the cell geometry. First we present a geometric argument for narrow shear bands which connects the function of their surface position with the shape in the bulk. Assuming a simple dissipation mechanism we show that the principle of minimum dissipation of energy provides a good description of the shape function. Furthermore, we discuss the possibility and behavior of shear bands which are detached from the free surface and are entirely covered in the bulk. △ Less

Submitted 1 June, 2004; v1 submitted 9 January, 2004; originally announced January 2004.

Comments: 4 pages, 5 figures; minor changes, typos and journal-ref added

Journal ref: Phys. Rev. Lett. 92, 214301 (2004)

The contact dynamics method for granular media

Authors: Tamas Unger, Janos Kertesz

Abstract: In this paper we review the simulation method of the non-smooth contact dynamics. This technique was designed to solve the unilateral and frictional contact problem for a large number of rigid bodies and has proved to be especially valuable in research of dense granular materials during the last decade. We present here the basic principles compared to other methods and the detailed description o… ▽ More In this paper we review the simulation method of the non-smooth contact dynamics. This technique was designed to solve the unilateral and frictional contact problem for a large number of rigid bodies and has proved to be especially valuable in research of dense granular materials during the last decade. We present here the basic principles compared to other methods and the detailed description of a 3D algorithm. We point out an artifact manifesting itself in spurious sound waves and discuss the applicability of the method. △ Less

Submitted 29 November, 2002; originally announced November 2002.

Comments: for the proceedings of the 7th Granada Seminar, 23 pages, 8 figures

Frictional coupling between sliding and spinning motion

Authors: Zeno Farkas, Guido Bartels, Tamas Unger, Dietrich E. Wolf

Abstract: We show that the friction force and torque, acting at a dry contact of two objects moving and rotating relative to each other, are inherently coupled. As a simple test system, a sliding and spinning disk on a horizontal flat surface is considered. We calculate, and also measure, how the disk is slowing down, and find that it always stops its sliding and spinning motion at the same moment. We dis… ▽ More We show that the friction force and torque, acting at a dry contact of two objects moving and rotating relative to each other, are inherently coupled. As a simple test system, a sliding and spinning disk on a horizontal flat surface is considered. We calculate, and also measure, how the disk is slowing down, and find that it always stops its sliding and spinning motion at the same moment. We discuss the impact of this coupling between friction force and torque on the physics of granular materials. △ Less

Submitted 7 October, 2002; originally announced October 2002.

Comments: 4 pages, 5 figures; submitted

Elastic behavior in Contact Dynamics of rigid particles

Authors: Tamas Unger, Lothar Brendel, Dietrich E. Wolf, Janos Kertesz

Abstract: The systematic errors due to the practical implementation of the Contact Dynamics method for simulation of dense granular media are examined. It is shown that, using the usual iterative solver to simulate a chain of rigid particles, effective elasticity and sound propagation with a finite velocity occur. The characteristics of these phenomena are investigated analytically and numerically in orde… ▽ More The systematic errors due to the practical implementation of the Contact Dynamics method for simulation of dense granular media are examined. It is shown that, using the usual iterative solver to simulate a chain of rigid particles, effective elasticity and sound propagation with a finite velocity occur. The characteristics of these phenomena are investigated analytically and numerically in order to assess the limits of applicability of this simulation method and to compare it with soft particle molecular dynamics. △ Less

Submitted 27 March, 2002; originally announced March 2002.

Comments: submitted to PRE, 7 pages, 6 figures

Journal ref: Phys. Rev. E 65, 061305 (2002)

Concentration Profiles and Reaction Fronts in A + B -> C Type Processes: Effect of Background Ions

Authors: T. Unger, Z. Racz

Abstract: Diffusion and reaction of initially separated ions A- and B+ in the presence of counter ions A'+ and B'- is studied. The dynamics is described in terms of reaction-diffusion equations obeying local electroneutrality, and the time-evolution of ion-concentrations is determined. We find that, in the absence of reactions, unequal mobility of ions generate nontrivial features in the macroscopically o… ▽ More Diffusion and reaction of initially separated ions A- and B+ in the presence of counter ions A'+ and B'- is studied. The dynamics is described in terms of reaction-diffusion equations obeying local electroneutrality, and the time-evolution of ion-concentrations is determined. We find that, in the absence of reactions, unequal mobility of ions generate nontrivial features in the macroscopically observable concentration profiles. Switching on the reaction (A-) + (B+) -> C leads to the formation of a localized, diffusive reaction front and one finds that the properties of the front (e.g. effective diffusion constant) are affected by the background ions. The consequences of this effect on the formation of Liesegang patterns is discussed. △ Less

Submitted 9 November, 1999; originally announced November 1999.

Comments: 7 pages, 8 ps figures

Journal ref: Phys. Rev. E 61, 3583 (2000)