Curated Hacker News11h ago

A Canonical Generalization of OBDD

https://arxiv.org/abs/2604.05537

#arxiv

A canonical generalization of OBDD

We introduce Tree Decision Diagrams (TDD) as a model for Boolean functions that generalizes OBDD. They can be seen as a restriction of structured d-DNNF; that is, d-DNNF that respect a vtree $T$. We show that TDDs enjoy the same tractability properties as OBDD, such as model counting, enumeration, conditioning, and apply, and are more succinct. In particular, we show that CNF formulas of treewidth $k$ can be represented by TDDs of FPT size, which is known to be impossible for OBDD. We study the complexity of compiling CNF formulas into deterministic TDDs via bottom-up compilation and relate the complexity of this approach with the notion of factor width introduced by Bova and Szeider.

arXiv.org
Curated Hacker News11h ago

The AI Layoff Trap

https://arxiv.org/abs/2603.20617

#ai #arxiv

The AI Layoff Trap

If AI displaces human workers faster than the economy can reabsorb them, it risks eroding the very consumer demand firms depend on. We show that knowing this is not enough for firms to stop it. In a competitive task-based model, demand externalities trap rational firms in an automation arms race, displacing workers well beyond what is collectively optimal. The resulting loss harms both workers and firm owners. More competition and "better" AI amplify the excess; wage adjustments and free entry cannot eliminate it. Neither can capital income taxes, worker equity participation, universal basic income, upskilling, or Coasian bargaining. Only a Pigouvian automation tax can. The results suggest that policy should address not only the aftermath of AI labor displacement but also the competitive incentives that drive it.

arXiv.org
Curated Hacker News14h ago

All elementary functions from a single binary operator

https://arxiv.org/abs/2603.21852

#arxiv

All elementary functions from a single binary operator

A single two-input gate suffices for all of Boolean logic in digital hardware. No comparable primitive has been known for continuous mathematics: computing elementary functions such as sin, cos, sqrt, and log has always required multiple distinct operations. Here I show that a single binary operator, eml(x,y)=exp(x)-ln(y), together with the constant 1, generates the standard repertoire of a scientific calculator. This includes constants such as e, pi, and i; arithmetic operations including addition, subtraction, multiplication, division, and exponentiation as well as the usual transcendental and algebraic functions. For example, exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), and likewise for all other operations. That such an operator exists was not anticipated; I found it by systematic exhaustive search and established constructively that it suffices for the concrete scientific-calculator basis. In EML (Exp-Minus-Log) form, every such expression becomes a binary tree of identical nodes, yielding a grammar as simple as S -> 1 | eml(S,S). This uniform structure also enables gradient-based symbolic regression: using EML trees as trainable circuits with standard optimizers (Adam), I demonstrate the feasibility of exact recovery of closed-form elementary functions from numerical data at shallow tree depths up to 4. The same architecture can fit arbitrary data, but when the generating law is elementary, it may recover the exact formula.

arXiv.org
Hacker News14h ago

All elementary functions from a single binary operator

https://arxiv.org/abs/2603.21852

#HackerNews #elementaryfunctions #binaryoperator #mathresearch #arxiv #innovation #programming

All elementary functions from a single binary operator

A single two-input gate suffices for all of Boolean logic in digital hardware. No comparable primitive has been known for continuous mathematics: computing elementary functions such as sin, cos, sqrt, and log has always required multiple distinct operations. Here I show that a single binary operator, eml(x,y)=exp(x)-ln(y), together with the constant 1, generates the standard repertoire of a scientific calculator. This includes constants such as e, pi, and i; arithmetic operations including addition, subtraction, multiplication, division, and exponentiation as well as the usual transcendental and algebraic functions. For example, exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), and likewise for all other operations. That such an operator exists was not anticipated; I found it by systematic exhaustive search and established constructively that it suffices for the concrete scientific-calculator basis. In EML (Exp-Minus-Log) form, every such expression becomes a binary tree of identical nodes, yielding a grammar as simple as S -> 1 | eml(S,S). This uniform structure also enables gradient-based symbolic regression: using EML trees as trainable circuits with standard optimizers (Adam), I demonstrate the feasibility of exact recovery of closed-form elementary functions from numerical data at shallow tree depths up to 4. The same architecture can fit arbitrary data, but when the generating law is elementary, it may recover the exact formula.

arXiv.org
Michael Busch14h ago

Today on the #arXiv :

Chandra et al. 2026, "The Fate of Frozen Carbonated Water at Europa-like Conditions" - https://arxiv.org/abs/2604.08811 .

Discussing the potential sources of carbon dioxide mixed in with the water ice on the surface of Europa.

The Fate of Frozen Carbonated Water at Europa-like Conditions

We present the results of experiments probing the retention of CO2 in crystalline water ice, frozen sodium chloride (NaCl) brines, and flash-frozen carbonated water using diffuse reflectance infrared spectroscopy. Characteristic absorptions alluding to the formation of clathrate hydrates in crystalline ices and frozen brines are observed. NaCl in frozen brines does not affect qualitatively affect the formation of clathrate hydrates. Generation and stability of clathrates in crystalline ice transiently subjected to pressure-temperature (P-T) conditions in the stability region is observed, despite conditions being unviable at the onset of freezing. Retention of CO2 in flash-frozen carbonated water is observed to be dependent on the temperature of the substrate during freezing. The state of CO2 retained in the resulting ices differs from clathrate hydrates, as inferred from the respective infrared spectra. Both mechanisms of CO2 retention are stable up to 140 K and under evacuated conditions. In the context of Europa, the P-T states traversed by the samples plausibly represent the typical conditions around endogenous CO2 if it is indeed transported from the subsurface ocean to the surface while being retained in ice/frozen brines and/or liquid emerging on the surface. However, the absorptions of CO2 in the laboratory infrared spectra do not match those detected on the leading side of Europa by the NIRSpec instrument on board JWST. Therefore, it is unlikely that the endogenous CO2 observed at the surface of Europa is sourced directly from the ocean, unless additional processes affect the observed bands of CO2 on Europa.

arXiv.org
N-gated Hacker News15h ago
๐Ÿค”๐Ÿ“‰ Ah, the riveting thrill of optimizing 32-bit division on a 64-bit machineโ€”because who wouldn't want to spend their Saturday night wrestling with... constants? Meanwhile, #arXiv slyly slips in a request for #donations, as if any of us have been moved to tears by this mathematical melodrama. ๐Ÿ˜‚๐Ÿ’ธ
https://arxiv.org/abs/2604.07902 #optimizingdivision #64bitmachines #mathhumor #techthrills #codingstruggles #HackerNews #ngated
Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

Granlund and Montgomery proposed an optimization method for unsigned integer division by constants [3]. Their method (called the GM method in this paper) was further improved in part by works such as [1] and [7], and is now adopted by major compilers including GCC, Clang, Microsoft Compiler, and Apple Clang. However, for example, for x/7, the generated code is designed for 32-bit CPUs and therefore does not fully exploit 64-bit capabilities. This paper proposes an optimization method for 32-bit unsigned division by constants targeting 64-bit CPUs. We implemented patches for LLVM/GCC and achieved speedups of 1.67x on Intel Xeon w9-3495X (Sapphire Rapids) and 1.98x on Apple M4 (Apple M-series SoC) in the microbenchmark described later. The LLVM patch has already been merged into llvm:main [6], demonstrating the practical applicability of the proposed method.

arXiv.org
Hacker News15h ago

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

https://arxiv.org/abs/2604.07902

#HackerNews #optimization #unsigneddivision #64bit #computing #arxiv #technews

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

Granlund and Montgomery proposed an optimization method for unsigned integer division by constants [3]. Their method (called the GM method in this paper) was further improved in part by works such as [1] and [7], and is now adopted by major compilers including GCC, Clang, Microsoft Compiler, and Apple Clang. However, for example, for x/7, the generated code is designed for 32-bit CPUs and therefore does not fully exploit 64-bit capabilities. This paper proposes an optimization method for 32-bit unsigned division by constants targeting 64-bit CPUs. We implemented patches for LLVM/GCC and achieved speedups of 1.67x on Intel Xeon w9-3495X (Sapphire Rapids) and 1.98x on Apple M4 (Apple M-series SoC) in the microbenchmark described later. The LLVM patch has already been merged into llvm:main [6], demonstrating the practical applicability of the proposed method.

arXiv.org
Curated Hacker News15h ago

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

https://arxiv.org/abs/2604.07902

#arxiv

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

Granlund and Montgomery proposed an optimization method for unsigned integer division by constants [3]. Their method (called the GM method in this paper) was further improved in part by works such as [1] and [7], and is now adopted by major compilers including GCC, Clang, Microsoft Compiler, and Apple Clang. However, for example, for x/7, the generated code is designed for 32-bit CPUs and therefore does not fully exploit 64-bit capabilities. This paper proposes an optimization method for 32-bit unsigned division by constants targeting 64-bit CPUs. We implemented patches for LLVM/GCC and achieved speedups of 1.67x on Intel Xeon w9-3495X (Sapphire Rapids) and 1.98x on Apple M4 (Apple M-series SoC) in the microbenchmark described later. The LLVM patch has already been merged into llvm:main [6], demonstrating the practical applicability of the proposed method.

arXiv.org
Fabrizio Musacchio20h ago
@arxiv.bsky.social has announced that, from July 1, 2026, it will become an independent #nonprofit. Sounds like a reasonable and probably necessary step for a platform that has long become core research infrastructure ๐Ÿ‘Œ ๐ŸŒ blog.arxiv.org/2026/04/02/a... #arXiv #OpenScience #AcademicPublishing

RE: https://bsky.app/profile/did:plc:c7wc5k55ulsrppsfvsgaojge/post/3mj36ndkckg2q
Fabrizio Musacchio20h ago

#arXiv has announced that, from July 1, 2026, it will become an independent #nonprofit after many years at #CornellUniversity. The stated goals are greater organizational flexibility, faster technological development, broader partnerships, and long-term financial sustainability, while keeping the same mission:

๐ŸŒ https://blog.arxiv.org/2026/04/02/arxiv-is-becoming-an-independent-nonprofit/

Sounds like a reasonable and probably necessary step for a platform that has long become core research infrastructure.

#OpenScience #AcademicPublishing