Mathematicians and computer scientists have long loved a clean, decisive rule: if you can strip away extra layers of variables from a logical statement, you should be left with something you can decide—one that tells you yes or no, right or wrong. The first-order theory of the integers with addition and order—Presburger arithmetic—delivers that kind…
Transport is the invisible thread stitching together cities, economies, and daily life. It moves people, goods, ideas, and dreams, but it also carries a heavy burden: greenhouse gases, congestion, and the messy, often unpredictable dance of hundreds of systems in motion. The UK, like many places, faces a daunting target: decarbonize a sprawling, fossil-heavy transport…
The universe keeps two colossal secrets, one about the birth of space itself and another about the invisible matter that shapes galaxies. What if they are not separate chapters but two sides of one story, linked by the same physics that tells particles how to behave as energy scales change? A new paper led by…
When physicists want to predict how a quantum system evolves, they face a stubborn bottleneck: the sheer size of the mathematical space. The time evolution of a many-body quantum system, encoded as a unitary operator, swallows memory and computation as the number of quantum bits grows. A new study from the Technical University of Munich…
When you ask a graph neural network to label a node in a sprawling network, you’re not just seeking a single prediction. You’re asking the model to bet on its own certainty. In many real-world settings—medical diagnoses, fraud detection, or network security—that certainty matters as much as the answer itself. Yet researchers have found that…
The latest work from a multinational team centered at the Donostia International Physics Center (DIPC) in Donostia-San Sebastian, Spain, is less a classic physics milestone and more a playful invitation to rethink how we guide light at the smallest scales. Led by Alexey Y. Nikitin, with collaborators across the Basque Country, Madrid, Geneva, and Zaragoza,…
The grid that keeps the lights on is not a single machine but a living choreography of devices, software, power lines, sensors, and people. It is resilient when it hums along through routine shifts and proactive protections, and it falters when a cascade of misconfigurations, failures, and clever intrusions send it off balance. A new…
In bustling warehouses, on crowded city streets, and across sprawling disaster-scene maps, swarms of robots must move at once without colliding. It sounds like chaos, but engineers translate it into a clean question: how do you choreograph hundreds, thousands, or even millions of travelers across a shared space so that each one reaches its goal…
In the AI economy, data is more than a collection of numbers; it’s the soil in which models root themselves. The more diverse, clean, and relevant the soil, the more robust the plant. But unlike gold or real estate, data lives inside the training pipeline, changing with shifts in tasks, models, and even the regulations…
In the world of computer vision, turning a handful of photos into a believable map of the world is like assembling a city skyline from silhouettes. The problem is not just about finding where all the buildings stand, but about knowing what the buildings’ sizes and angles really are. If you don’t know exactly how…
In the business of Islamic finance, a quiet revolution is taking shape not in the form of flashy new instruments, but in a smarter way to distribute profits when two or more parties join forces. A team of researchers from ENSIIE and the Laboratoire de Mathématiques et Modélisation d’Evry (LaMME) at Université Évry Paris-Saclay has…
When the push to train ever larger AI models shifts toward spreading the work across many devices and centers, the instinct is simple: more workers should shave off the time it takes to reach a good solution. In practice, though, the network tends to be the slowest muscle on the body. Data must travel back…
In the messy world of cybersecurity, diagrams called Attack Trees have become a trusty compass. They map a hacker’s goal at the top, then branch into subgoals and leaf steps that a defender could imagine as attack paths. They promise qualitative insight — what must happen for a breach to succeed — and quantitative cues…
In the quiet corners of mathematics where shapes grow teeth and personality, convex lattice polytopes are not just pretty pictures. They are shapes built from the integer grid, with vertices sitting neatly on lattice points. Think of them as geometric fossils shaped by the arithmetic of Z4 or Z3 and so on, where every corner…
The study from Tuvi Etzion at the Technion introduces a new kind of combinatorial object—Steiner systems that ride on a mixed alphabet. Think of a code as a club sandwich of letters, with each column allowed to use a different bread—some slices may use size-2 alphabets, others size-5. And yet, the whole sandwich has a…
In the world of voice that sounds human, the measure of quality has always felt like a human-scale endeavor. Mean Opinion Score, MOS, has long ruled the roost as the gold standard for judging how clean, natural, and pleasant a piece of speech sounds. Yet MOS demands human listeners, time, and careful setup. That makes…
In a cosmos of blazars, the jet is a lighthouse beaming photons and, sometimes, elusive neutrinos toward us. For decades, scientists have wrestled with what exactly powers the bright, bungling glow of these faraway engines, and whether protons, electrons, or a hybrid cocktail lead the dance. A collaboration led by Narine Sahakyan of Bar-Ilan University…
The temperate sub-Neptune K2-18b sits in a gentle stellar glow, far enough from its dim star to keep its upper atmosphere surprisingly cool, yet close enough to make its weather feel real. A new study led by Jiachen Liu and colleagues digs into what that weather looks like in three dimensions, not just as a…
In the quiet world where algebra and geometry meet, a family of polynomials called Perazzo forms hides a geometry that refuses to play by the usual rules. These forms generate shapes with a curious property: their Hessian determinant vanishes identically. The Hessian, a matrix of second derivatives, is a staple diagnostic in geometry—when it vanishes,…
Artificial intelligence has made astonishing leaps by learning patterns from vast oceans of data. Yet when you push it to reason—to derive new conclusions from a few rules, or to check a complex chain of thought—the cracks start to show. A team at Google DeepMind led by András György, Tor Lattimore, Nevena Lazić, and Csaba…