arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Tim Hoffmann

50 papers · 1996–2026

1996: 11997: 01998: 01999: 22000: 22001: 22002: 12003: 12004: 02005: 02006: 22007: 02008: 22009: 32010: 02011: 12012: 02013: 02014: 22015: 12016: 02017: 12018: 12019: 12020: 72021: 52022: 12023: 12024: 72025: 22026: 4
1996peak 7 in 20202026

Frequent co-authors

Papers

showing 1–25 of 50 RSS

Minimal surfaces from circle patterns: Geometry from combinatorics

Alexander I. Bobenko, Tim Hoffmann, Boris A. Springborn

math.DG · · cited 153× · arXiv ↗ · more like this ·

We suggest a new definition for discrete minimal surfaces in terms of sphere packings with orthogonally intersecting circles. These discrete minimal surfaces can be constructed from Schramm's circle patterns. We present a variational principle which allows us to construct discrete analogues of some classical minimal surfaces. The data used for the construction are purely combinatorial--the combinatorics of the curvature line pattern. A Weierstrass-type representation and an associated family are derived. We show the convergence to continuous minimal surfaces.

Factorization dynamics and Coxeter-Toda lattices

Tim Hoffmann, Johannes Kellendonk, Nadja Kutz +1 more

solv-int · · cited 68× · arXiv ↗ · more like this ·

It is shown that the factorization relation on simple Lie groups with standard Poisson Lie structure restricted to Coxeter symplectic leaves gives an integrable dynamical system. This system can be regarded as a discretization of the Toda flow. In case of $SL_n$ the integrals of the factorization dynamics are integrals of the relativistic Toda system. A substantial part of the paper is devoted to the study of symplectic leaves in simple complex Lie groups, its Borel subgroups and their doubles.

A discrete version of the Darboux transform for isothermic surfaces

Udo Hertrich-Jeromin, Tim Hoffmann, Ulrich Pinkall

dg-ga · · cited 64× · arXiv ↗ · more like this ·

We study Christoffel and Darboux transforms of discrete isothermic nets in 4-dimensional Euclidean space: definitions and basic properties are derived. Analogies with the smooth case are discussed and a definition for discrete Ribaucour congruences is given. Surfaces of constant mean curvature are special among all isothermic surfaces: they can be characterized by the fact that their parallel constant mean curvature surfaces are Christoffel and Darboux transforms at the same time. This characterization is used to define discrete nets of constant mean curvature. Basic properties of discrete nets of constant mean curvature are derived.

Hexagonal Circle Patterns and Integrable Systems. Patterns with Constant Angles

Alexander I. Bobenko, Tim Hoffmann

math.CV · · cited 56× · arXiv ↗ · more like this ·

Hexagonal circle patterns with constant intersection angles are introduced and studied. It is shown that they are described by discrete integrable systems of Toda type. Conformally symmetric patterns are classified. Circle pattern analogs of holomorphic mappings $z^c$ and $\log z$ are constructed as special isomonodromic solutions. Circle patterns studied in the paper include Schramm's circle patterns with the combinatorics of the square grid as a special case.

matplotlib/matplotlib: REL: v3.3.1

Thomas A Caswell, Michael Droettboom, Antony Lee +9 more

Artificial Intelligence · Zenodo (CERN European Organization for Nuclear Research) · · cited 53× · DOI ↗ · more like this ·

This is the first bugfix release of the 3.3.x series. This release contains several critical bug-fixes: fix docstring import issues when running Python with optimization fix <code>hist</code> with categorical data, such as with Pandas fix install on BSD systems fix nbagg compatibility with Chrome 84+ fix ordering of scatter marker size in 3D plots fix performance regression when plotting <code>Path</code>s fix reading from URL in <code>imread</code> fix several regressions with new date epoch handling fix some bad constrained and tight layout interactions with colorbars fix use of customized toolbars in TkAgg and WXAgg backends

matplotlib/matplotlib: REL: v3.2.1

Thomas A Caswell, Michael Droettboom, Antony Lee +9 more

Computational Theory and Mathematics · Zenodo (CERN European Organization for Nuclear Research) · · cited 53× · DOI ↗ · more like this ·

This is the first bugfix release of the 3.2.x series. This release contains several critical bug-fixes: fix <code>Quiver.set_UVC</code> calls with scalar inputs fix <code>bezier.get_parallels</code> failure from floating point rounding errors fix markers specified as tuples (polygons, stars, or asterisks) fix saving PNGs to file objects in some places fix saving figures using the nbAgg/notebook backend fix saving with tight layout using the PGF backend fix setting custom datapath in rcParams (note: it is still deprecated) fix various issues running setup.py in non-CI environments fix xpdf distiller various minor bug and documentation fixes

Discrete Hashimoto surfaces and a doubly discrete smokering flow

Tim Hoffmann

math.DG · · cited 40× · arXiv ↗ · more like this ·

Bäcklund transformations for smooth and ``space discrete'' Hashimoto surfaces are discussed and a geometric interpretation is given. It is shown that the complex curvature of a discrete space curve evolves with the discrete nonlinear Schrödinger equation (NLSE) of Ablowitz and Ladik, when the curve evolves with the Hashimoto or smoke ring flow. A doubly discrete Hashimoto flow is derived and it is shown, that in this case the complex curvature of the discrete curve obeys Ablovitz and Ladik's doubly discrete NLSE. Elastic curves (curves that evolve by rigid motion only under the Hashimoto flow) in the discrete and doubly discrete case are shown to be the same. There is an online version of this paper, that can be viewed using any recent web browser that has JAVA support enabled. It includes two additional java applets. It can be found at…

matplotlib/matplotlib: REL: v3.3.4

Thomas A Caswell, Michael Droettboom, Antony Lee +9 more

Computational Theory and Mathematics · Zenodo (CERN European Organization for Nuclear Research) · · cited 34× · DOI ↗ · more like this ·

This is the fourth bugfix release of the 3.3.x series. This release contains several critical bug-fixes: Fix WebAgg initialization. Fix parsing <code>QT_API</code> setting with mixed case. Fix build with link-time optimization disabled in environment. Fix test compatibility with Python 3.10. Fix test compatibility with NumPy 1.20. Fix test compatibility with pytest 6.2.

Conformally symmetric circle packings. A generalization of Doyle spirals

Alexander I. Bobenko, Tim Hoffmann

math.CV · · cited 34× · arXiv ↗ · more like this ·

From the geometric study of the elementary cell of hexagonal circle packings --- a flower of 7 circles --- the class of conformally symmetric circle packings is defined. Up to Moebius transformations, this class is a three parameter family, that contains the famous Doyle spirals as a special case. The solutions are given explicitly. It is shown, that these circle packings can be viewed as discretizations of the quotient of two Airy functions. There is an interactive version of this paper that contains JAVA applets that let you experiment with the circle packings directly. It is available at http://www-sfb288.math.tu-berlin.de/Publications/online/

matplotlib/matplotlib: REL: v3.4.3

Thomas A Caswell, Michael Droettboom, Antony Lee +9 more

Information Systems · Zenodo (CERN European Organization for Nuclear Research) · · cited 30× · DOI ↗ · more like this ·

This is the third bugfix release of the 3.4.x series. This release contains several critical bug-fixes: Clarify deprecation of <code>Axes.figbox</code> Disable <code>MultiCursor</code> widget on <code>Axes</code> subplots which it is not tracking Don't simplify path in <code>LineCollection.get_segments</code> Fix DPI in subfigures, affecting tick spacing, and scatter marker size Fix broken EPS output when using Type 42 STIX fonts Fix change in tick behaviour when calling <code>Axes.clear</code> Fix class docstrings for <code>Norm</code>s created from <code>Scale</code>s Fix compatibility with NumPy 1.21.0 Fix crash on broken TrueType fonts Fix incorrect hits from <code>Path.intersects_path</code> Fix leak if affine_transform is passed invalid vertices Fix legends of <code>stackplot</code> with <code>edgecolors='face'</code> Fix plot directive when building in parallel Fix…

Conformally Symmetric Circle Packings: A Generalization of Doyle's Spirals

Alexander I. Bobenko, Tim Hoffmann

Geometry and Topology · Experimental Mathematics · · cited 28× · DOI ↗ · more like this ·

From the geometric study of the elementary cell of hexagonal circle packings—a flower of 7 circles—the class of conformally symmetric circle packings is defined. Up to Möbius transformations, this class is a three parameter family, that contains the famous Doyle spirals as a special case. The solutions are given explicitly. It is shown that these circle packings can be viewed as discretization s of the quotient of two Airy functions. The online version of this paper contains Java applets that let you experiment with the circle packings directly. The applets are found at http:/www-sfb288.math.tu-berlin.de/Publications/online/cscpOnline/Applets.html

matplotlib/matplotlib: REL: v3.4.2

Thomas A Caswell, Michael Droettboom, Antony Lee +9 more

Computational Theory and Mathematics · Zenodo (CERN European Organization for Nuclear Research) · · cited 21× · DOI ↗ · more like this ·

This is the second bugfix release of the 3.4.x series. This release contains several critical bug-fixes: Generate wheels usable on older PyPy7.3.{0,1} Fix compatibility with Python 3.10 Add <code>subplot_mosaic</code> Axes in the order the user gave them to us Correctly handle 'none' <em>facecolors</em> in <code>do_3d_projection</code> Ensure that Matplotlib is importable even if there's no HOME Fix <code>CenteredNorm</code> with <em>halfrange</em> Fix <code>bar_label</code> for bars with NaN values Fix clip paths when zoomed such that they are outside the figure Fix creation of <code>RangeSlider</code> with <em>valinit</em> Fix handling of "d" glyph in backend_ps, fixing EPS output Fix handling of datetime coordinates in <code>pcolormesh</code> with Pandas Fix processing of some <code>errorbar</code> arguments Fix removal of shared polar Axes Fix resetting grid visibility Fix subfigure…

matplotlib/matplotlib: REL: v3.2.2

Thomas A Caswell, Michael Droettboom, Antony Lee +9 more

Artificial Intelligence · Zenodo (CERN European Organization for Nuclear Research) · · cited 20× · DOI ↗ · more like this ·

This is the second bugfix release of the 3.2.x series. This release contains several critical bug-fixes: support fractional HiDPI scaling with Qt backends support new Python and fix syntax errors in legacy Python support new Qt 5 and fix support for Qt 4 fix animation writer fallback fix figure resizing fix handling of large arcs fix issues with tight layout fix saving figures after closing windows or under certain size conditions fix scatter when specifying a single color fix several memory leaks fix unexpected autoscaling behavior fix various issues with usetex various minor bug and documentation fixes

Discrete flat surfaces and linear Weingarten surfaces in hyperbolic 3-space

Tim Hoffmann, Wayne Rossman, Takeshi Sasaki +1 more

math.DG · · cited 20× · arXiv ↗ · more like this ·

We define discrete flat surfaces in hyperbolic 3-space from the perspective of discrete integrable systems and prove properties that justify the definition. We show how these surfaces correspond to previously defined discrete constant mean curvature 1 surfaces in hyperbolic 3-space, and we also describe discrete focal surfaces (discrete caustics) that can be used to define singularities on discrete flat surfaces. We also examine discrete linear Weingarten surfaces of Bryant type in hyperbolic 3-space, and consider an example of a discrete flat surface related to the Airy equation that exhibits swallowtail singularities and a Stokes phenomenon.

Learn to Code Sustainably: An Empirical Study on Green Code Generation

Tina Vartziotis, Ippolyti Dellatolas, George Dasoulas +5 more

Software · DSpace@MIT (Massachusetts Institute of Technology) · · cited 15× · DOI ↗ · more like this ·

The increasing use of information technology has led to a significant share of energy consumption and carbon emissions from data centers. These contributions are expected to rise with the growing demand for big data analytics, increasing digitization, and the development of large artificial intelligence (AI) models. The need to address the environmental impact of software development has led to increased interest in green (sustainable) coding and claims that the use of AI models can lead to energy efficiency gains. Here, we provide an empirical study on green code and an overview of green coding practices, as well as metrics used to quantify the sustainability awareness of AI models. In this framework, we evaluate the sustainability of auto-generated code. The auto-generated code considered in this study is produced by generative commercial AI language models, GitHub Copilot, OpenAI…

jReality

Steffen Weißmann, Charles Gunn, Peter Brinkmann +2 more

Computer Graphics and Computer-Aided Design · · cited 15× · DOI ↗ · more like this ·

We introduce jReality, a Java library for creating real-time interactive audiovisual applications with three-dimensional computer graphics and spatialized audio. Applications written for jReality will run unchanged on software and hardware platforms ranging from desktop machines with a single screen and stereo speakers to immersive virtual environments with motion tracking, multiple screens with 3D stereo projection, and multi-channel audio.

matplotlib/matplotlib: REL: v3.3.3

Thomas A Caswell, Michael Droettboom, Antony Lee +9 more

Computational Theory and Mathematics · Zenodo (CERN European Organization for Nuclear Research) · · cited 13× · DOI ↗ · more like this ·

This is the third bugfix release of the 3.3.x series. This release contains several critical bug-fixes: Fix calls to <code>Axis.grid</code> with argument <code>visible=True</code>. Fix fully masked <code>imshow</code>. Fix inconsistent color mapping in scatter for 3D plots. Fix notebook/nbAgg figures when used with ipywidgets in the same cell. Fix notebook/nbAgg/WebAgg on older (e.g., Firefox ESR) browsers. Fix pcolormesh with <code>datetime</code> coordinates. Fix performance regression with <code>datetime</code>s. Fix singular ticks with small log ranges. Fix timers/animations on wx and notebook backends. Remove certifi as a hard runtime dependency.

matplotlib/matplotlib: REL: v3.3.0

Thomas A Caswell, Michael Droettboom, Antony Lee +9 more

Computer Vision and Pattern Recognition · Zenodo (CERN European Organization for Nuclear Research) · · cited 6× · DOI ↗ · more like this ·

Highlights of this release include: Provisional API for composing semantic axes layouts from text or nested lists New Axes.sharex, Axes.sharey methods Turbo colormap colors.BoundaryNorm supports extend keyword argument Text color for legend labels Pcolor and Pcolormesh now accept shading='nearest' and 'auto' Allow tick formatters to be set with str or function inputs New Axes.axline method Dates use a modern epoch Improved font weight detection Axes3D no longer distorts the 3D plot to match the 2D aspect ratio More consistent toolbar behavior across backends Toolbar icons are now styled for dark themes Cursor text now uses a number of significant digits matching pointing precision Functions to compute a Path's size savefig() gained a backend keyword argument Saving SVG now supports adding metadata Saving PDF metadata via PGF now consistent with PDF backend NbAgg and WebAgg no longer use…

Skew parallelogram nets and universal factorization

Tim Hoffmann, Andrew O. Sageman-Furnas, Jannik Steinmeier

math.DG · · cited 3× · arXiv ↗ · more like this ·

We obtain many objects of discrete differential geometry as reductions of skew parallelogram nets, a system of lattice equations that may be formulated for any unit associative algebra. The Lax representation is linear in the spectral parameter, and paths in the lattice give rise to polynomial dependencies. We prove that generic polynomials in complex two by two matrices factorize, implying that skew parallelogram nets encompass all systems with such a polynomial representation. We demonstrate factorization in the context of discrete curves by constructing pairs of Bäcklund transformations that induce Euclidean motions on discrete elastic rods. More generally, we define a hierarchy of discrete curves by requiring such an invariance after an integer number of Bäcklund transformations. Moreover, we provide the factorization explicitly for discrete constant curvature surfaces and reveal…

Discrete Constant Mean Curvature Surfaces on General Graphs

Tim Hoffmann, Shimpei Kobayashi, Zi Ye

math.DG · · cited 3× · arXiv ↗ · more like this ·

The contribution of this paper is twofold. First, we generalize the definition of discrete isothermic surfaces. Compared with the previous ones, it covers more discrete surfaces, e.g., the associated families of discrete isothermic minimal and non-zero constant mean curvature (CMC in short) surfaces, whose counterpart in smooth case are isothermic surfaces. Second, we show that the discrete isothermic CMC surfaces can be obtained by the discrete holomorphic data (a solution of the additive rational Toda system) via the discrete generalized Weierstrass type representation.

Compact Bonnet Pairs: isometric tori with the same curvatures

Alexander I. Bobenko, Tim Hoffmann, Andrew O. Sageman-Furnas

math.DG · · cited 2× · arXiv ↗ · more like this ·

We explicitly construct a pair of immersed tori in three dimensional Euclidean space that are related by a mean curvature preserving isometry. These Bonnet pair tori are the first examples of compact Bonnet pairs. This resolves a longstanding open problem on whether the metric and mean curvature function determine a unique smooth compact immersion. Moreover, we prove these isometric tori are real analytic. This resolves a second longstanding open problem on whether real analyticity of the metric already determines a unique compact immersion. Our construction uses the relationship between Bonnet pairs and isothermic surfaces. The Bonnet pair tori arise as conformal transformations of an isothermic torus with one family of planar curvature lines. We classify such isothermic tori in our companion paper (arXiv:2312.14956). The above approach stems from computational investigations of a 5x7…

Proof Complexity of Propositional Model Counting

Olaf Beyersdorff, Tim Hoffmann, Luc N. Spachmann

Artificial Intelligence · Journal on Satisfiability Boolean Modeling and Computation · · cited 1× · DOI ↗ · more like this ·

Recently, the proof system MICE for the model counting problem #SAT was introduced by Fichte, Hecher and Roland (SAT’22). As demonstrated by Fichte et al., the system MICE can be used for proof logging for state-of-the-art #SAT solvers. We perform a proof-complexity study of MICE. For this we first simplify the rules of MICE and obtain a calculus MIC E ′ that is polynomially equivalent to MICE. We then establish an exponential lower bound for the number of proof steps in MIC E ′ (and hence also in MICE) for a specific family of CNFs. We also explain a tight connection between MIC E ′ proofs and decision DNNFs.

Learn to Code Sustainably: An Empirical Study on LLM-based Green Code Generation

Tina Vartziotis, Ippolyti Dellatolas, George Dasoulas +5 more

cs.SE · · cited 1× · arXiv ↗ · more like this ·

The increasing use of information technology has led to a significant share of energy consumption and carbon emissions from data centers. These contributions are expected to rise with the growing demand for big data analytics, increasing digitization, and the development of large artificial intelligence (AI) models. The need to address the environmental impact of software development has led to increased interest in green (sustainable) coding and claims that the use of AI models can lead to energy efficiency gains. Here, we provide an empirical study on green code and an overview of green coding practices, as well as metrics used to quantify the sustainability awareness of AI models. In this framework, we evaluate the sustainability of auto-generated code. The auto-generate codes considered in this study are produced by generative commercial AI language models, GitHub Copilot, OpenAI…

Isothermic tori with one family of planar curvature lines and area constrained hyperbolic elastica

Alexander I. Bobenko, Tim Hoffmann, Andrew O. Sageman-Furnas

math.DG · · cited 1× · arXiv ↗ · more like this ·

In 1883, Darboux gave a local classification of isothermic surfaces with one family of planar curvature lines using complex analytic methods. His choice of real reduction cannot contain tori. We classify isothermic tori with one family of planar curvature lines. They are found in the second real reduction of Darboux's description. We give explicit theta function formulas for the family of plane curves. These curves are particular area constrained hyperbolic elastica. With a Euclidean gauge, the Euler--Lagrange equation is lower order than expected. In our companion paper (arXiv:2110.06335) we use such isothermic tori to construct the first examples of compact Bonnet pairs: two isometric tori related by a mean curvature preserving isometry. They are also the first pair of isometric compact immersions that are analytic. Additionally, we study the finite dimensional moduli space…