搜索结果：circus

Political "circuses" may undermine democratic accountability if leaders facing scandal can reliably pull media coverage toward fresh topics and away from substantive investigations or evaluations. We investigate whether politicians strategically alter their messaging during damaging media coverage ("strategic diversion") or maintain consistent provocative communication regardless of scandal coverage ("always-on circus"). Using computational text analysis of Donald Trump's Truth Social posts during the 2025 Epstein revelations, we find that a one-standard-deviation increase in scandal coverage is associated with communication patterns that deviate from baseline by 0.28 standard deviations over a 4-day window. Although these findings do not provide formal causal identification, they are robust to timing placebos and falsification tests, are consistent with the interpretation that leaders may deploy diversionary communication specifically within their own friendly media ecosystem, which has implications for accountability in polarized democracies.

There are now thousands of single-planet systems observed to exhibit transit timing variations (TTVs), yet we largely lack any interpretation of the implied masses responsible for these perturbations. Even when assuming these TTVs are driven by perturbing planets, the solution space is notoriously multi-modal with respect to the perturber's orbital period and there exists no standardized procedure to pinpoint these modes, besides from blind brute force numerical efforts. Using $N$-body simulations with TTVFast and focusing on the dominant periodic signal in the TTVs, we chart out the landscape of these modes and provide analytic predictions for their locations and widths, providing the community with a map for the first time: the TTV circus tent diagram. We then introduce an approach for modeling single-planet TTVs in the low-eccentricity regime, by splitting the orbital period space into a number of uniform prior bins over which there aren't these degeneracies. We show how one can define appropriate orbital period priors for the perturbing planet in order to sufficiently sample the complete parameter space. We demonstrate, analytically, how one can explain the numerical simulation

Model execution allows us to prototype and analyse software engineering models by stepping through their possible behaviours, using techniques like animation and simulation. On the other hand, deductive verification allows us to construct formal proofs demonstrating satisfaction of certain critical properties in support of high-assurance software engineering. To ensure coherent results between execution and proof, we need unifying semantics and automation. In this paper, we mechanise Interaction Trees (ITrees) in Isabelle/HOL to produce an execution and verification framework. ITrees are coinductive structures that allow us to encode infinite labelled transition systems, yet they are inherently executable. We use ITrees to create verification tools for stateful imperative programs, concurrent programs with message passing in the form of the CSP and \Circus languages, and abstract system models in the style of the Z and B methods. We demonstrate how ITrees can account for diverse semantic presentations, such as structural operational semantics, a relational program model, and CSP's failures-divergences trace model. Finally, we demonstrate how ITrees can be executed using the Isabell

Caustics are singularities that occur naturally in optical, hydrodynamic and quantum waves, giving rise to high amplitude patterns that can be described using catastrophe theory. In this paper we study caustics in a statistical field theory setting in the form of the sine-Gordon model that describes a variety of physical systems including coupled 1D superfluids. Specifically, we use classical field simulations to study the dynamics of two ultracold 1D Bose gases (quasi-condensates) that are suddenly coupled to each other and find that the resulting non-equilibrium dynamics are dominated by caustics. Thermal noise is included by sampling the initial states from a Boltzmann distribution for phononic excitations. We find that caustics pile up over time in both the number and phase difference observables leading to a characteristic non-thermal `circus tent' shaped probability distribution at long times.

In this paper, by using the formal language \emph{Circus}, we give a formal specification of an operating system based on ARINC 653 standard. Our specification includes interrupt handling, time and memory management, partition and process scheduling, system call response and related APEX services. Especially, the concurrent behaviours of partitions and processes are also specified.

HD 142527A is one of the most studied Herbig Ae/Be stars with a transitional disk, as it has the largest imaged gap in any protoplanetary disk: the gas is cleared from 30 to 90 AU. The HD142527 system is also unique in that it has a stellar companion with a small mass compared to the mass of the primary star. This factor of ~20 in mass ratio between the two objects makes this binary system different from any other YSO. The HD142527 system could therefore provide a valuable test bed. This low-mass stellar object may be responsible for both the gap and dust trapping observed by ALMA at longer distances. We observed this system with the NACO and GPI instruments using the aperture masking technique. Aperture masking is ideal for providing high dynamic range even at very small angular separations. We present the spectral energy distribution for HD142527A and B. Brightness of the companion is now known from the R band up to the M' band. We also followed the orbital motion of HD 142527B over a period of more than two years. The SED of the companion is compatible with a T=3000+/-100K object in addition to a 1700K blackbody environment (likely a circus-secondary disk). From evolution models

Animals have evolved distinctive survival strategies in response to constant selective pressure. In this review, we highlight how animals exploit complex flow phenomena by manipulating their habitat or by producing complex fluids. In particular, we outline different strategies evolved for movement, defense from predators, attacking of prey, and reproduction and breeding. From the slimy defense of the notorious hagfish to the circus-like mating spectacle of leopard slugs, we unveil remarkable correlations within the flow behavior and biological purpose of biological complex fluids. We discuss recurring phenomena, propose flow behavior for undescribed complex fluids, and put these in context with the animals survival strategy. With this review, we hope to underline the importance of complex fluids and material flow in the animal kingdom.

The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We characterize the subgraphs of $K_{rs+1}$ with this coloring property as follows: they are exactly the subgraphs that contain all the edges of a graph we call the circus tent graph $CT(r,s)$. Additionally, we use similar proof techniques to improve upon some of the bounds on the online ordered size Ramsey number of a path given by Pérez-Giménez, Pralat, and West.

We consider one-sided error property testing of $\mathcal{F}$-minor freeness in bounded-degree graphs for any finite family of graphs $\mathcal{F}$ that contains a minor of $K_{2,k}$, the $k$-circus graph, or the $(k\times 2)$-grid for any $k\in\mathbb{N}$. This includes, for instance, testing whether a graph is outerplanar or a cactus graph. The query complexity of our algorithm in terms of the number of vertices in the graph, $n$, is $\tilde{O}(n^{2/3} / ε^5)$. Czumaj et~al.\ showed that cycle-freeness and $C_k$-minor freeness can be tested with query complexity $\tilde{O}(\sqrt{n})$ by using random walks, and that testing $H$-minor freeness for any $H$ that contains a cycles requires $Ω(\sqrt{n})$ queries. In contrast to these results, we analyze the structure of the graph and show that either we can find a subgraph of sublinear size that includes the forbidden minor $H$, or we can find a pair of disjoint subsets of vertices whose edge-cut is large, which induces an $H$-minor.

We present a network-based recommender system for live shows (concerts, theater, circus, etc) that finds a set of people probably interested in a given, new show. We combine collaborative and content-based filtering to take benefit of past activity of users and of the features of the new show. Indeed, as this show is new we cannot rely on collaborative filtering only. To solve this cold-start problem, we perform network alignment and insert the new show in a way consistent with collaborative filtering. We refine the obtained similarities using spreading in the network. We illustrate the performances of our system on a large scale real-world dataset.