搜索结果：Terence

Many matching markets feature unknown, dynamic arrivals of agents that must match immediately. A caseworker must match an abused child to a foster home, a hospital must assign a patient in critical condition to a room, or a city must place a homeless individual into a shelter. We design an online matching algorithm -- the Sequential Equilibrium Mechanism (SEM) -- that approximates large market equilibria to match arriving agents to objects. SEM is asymptotically efficient, fair, and strategy-proof with probability one. Our application plans to deploy a lab-in-the-field experiment where real caseworkers match vulnerable children to host homes, and we provide simulation evidence that SEM can substantially improve welfare.

Recommendation systems have become essential in modern music streaming platforms, due to the vast amount of content available. A common approach in recommendation systems is collaborative filtering, which suggests content to users based on the preferences of others with similar patterns. However, this method performs poorly in domains where interactions are sparse, such as music. Content-based filtering is an alternative approach that examines the qualities of the items themselves. Prior work has explored a range of content-filtering techniques for music, including genre classification, instrument detection, and lyrics analysis. In the literature review component of this work, we examine these methods in detail. Music emotion recognition is a type of content-based filtering that is less explored but has significant potential. Since a user's emotional state influences their musical choices, incorporating user mood into recommendation systems is an alternative way to personalize the listening experience. In this study, we explore a mood-assisted recommendation system that suggests songs based on the desired mood using the energy-valence spectrum. Single-blind experiments are conducte

Serpentinization of ultramafic rocks is a naturally occurring mineralogical process that can generate molecular hydrogen through the oxidation of ferrous iron during water-rock reaction. Although the resource potential is large, the natural reaction is kinetically limited, and practical hydrogen recovery requires methods that can accelerate conversion without imposing an energy penalty that exceeds the value of the hydrogen produced. This short communication reports a preliminary atmospheric-pressure microwave serpentinization experiment using a water-saturated 2 g crushed olivine sample. Microwave irradiation produced a rapid increase in measured hydrogen concentration compared with conventional hot-plate heating under otherwise similar conditions. The preliminary experiment showed approximately a 12-fold increase in hydrogen concentration and an apparent rate increase from about 2 ppb s$^{-1}$ for conventional heating to about 10 ppb s$^{-1}$ during microwave exposure. These results suggest that electromagnetic stimulation can enhance serpentinization kinetics, likely through rapid volumetric heating, selective coupling to iron-bearing phases, and localized thermal gradients. The

The dimension of Kakeya sets can be bounded using sum-difference exponents $\SD(R;s)$ for various sets of rational slopes $R$ and output slope $s$; the arithmetic Kakeya conjecture, which implies the Kakeya conjecture in all dimensions, asserts that the infimum of such exponents is $1$. The best upper bound on this infimum currently is $1.67513\dots$. In this note, inspired by numerical explorations from the tool \texttt{AlphaEvolve}, we study the regime where the cardinality of the set of slopes $R$ is bounded. In this regime, we establish that these exponents converge to $2$ at a rate controlled by the \emph{rational complexity} of $s$ relative to $R$, which measures how efficiently $s$ can be expressed as a rational combination of slopes in $R$.

Caseworkers in foster care systems match waiting children to adoptive homes. We use dynamic matching market design to characterize a class of mechanisms that incentivize expedient matches that homes can accept or decline. We design mechanisms satisfying fairness and limited strategy-proofness. They also avoid costly patience. Our empirically-based simulations suggest the mechanisms could increase adoptions by at least 25% versus the status quo. A naive dynamic extension of Deferred Acceptance does not attain these benefits. Our mechanisms sidestep direct preference elicitation by predicting preferences, and they are robust to prediction error.

The dead internet theory is a conspiracy theory that states that all interactions and posts on social media are no longer being made by real people, but rather by autonomous bots. While the theory is obviously not true, an increasing amount of posts on social media have been made by bots optimised to gain followers and drive engagement on social media platforms. This paper looks at the recent phenomenon of these bots, analysing their behaviour through the lens of computational creativity to investigate the question: is computational creativity flourishing on the dead internet?

We study the problem of an organization that matches agents to objects where agents have preference rankings over objects and the organization uses algorithms to construct a ranking over objects on behalf of each agent. Our new framework carries the interpretation that the organization and its agents may be misaligned in pursuing some underlying matching goal. We design matching mechanisms that integrate agent decision-making and the algorithm by prioritizing matches that are unanimously agreeable between the two parties. Our mechanisms also satisfy restricted efficiency properties. Subsequently, we prove that no unanimous mechanism is strategy-proof but that ours can be non-obviously manipulable. We generalize our framework to allow for any preference aggregation rules and extend the famed Gibbard-Satterthwaite Theorem to our setting. We apply our framework to place foster children in foster homes to maximize welfare. Using a machine learning model that predicts child welfare in placements and a novel "elicited preferences" experiment that extracts real caseworkers' preferences, we empirically demonstrate that there are important match-specific welfare gains that our mechanisms ex

We obtain bounds on the distribution of normalized gaps of eigenvalues of $N \times N$ GUE matrix in the bulk, that do not lose logarithmic factors of $N$ in the limit $N \to \infty$. As an application, we obtain fixed index universality results for the GUE minor process, which in turn are useful for establishing limiting results for random hives with GUE boundary data.

We show that for any large $n$, there exists a set of $n$ points in the plane with $O(n^2/\sqrt{\log n})$ distinct distances, such that any four points in the set determine at least five distinct distances. This answers (in the negative) a question of Erdős. The proof combines an analysis by Dumitrescu of forbidden four-point patterns with an algebraic construction of Thiele and Dumitrescu (to eliminate parallelograms), as well as a randomized transformation of that construction (to eliminate most other forbidden patterns).

A prototype Metaverse experience was created in which users could explore hierarchical cybersecurity data. A small group of participants were surveyed on their attitudes to the Metaverse. They then completed a short series of tasks in the environment. Questions were asked to assess if they were suffering from Cybersickness. After completing further tasks, their attitudes were surveyed regarding future uses of the metaverse in the organisation. A second cohort of participants attended an online seminar. They completed a survey about their attitudes to the Metaverse. They then watched a short video of the Metaverse experience. Afterwards, they answered questions related to their attitudes towards future uses of the metaverse in the organisation. The results of these questionnaires were assessed to see whether participants were receptive to the idea of working with data inside the Metaverse in the future.

A well known open problem of Meir and Moser asks if the squares of sidelength $1/n$ for $n \geq 2$ can be packed perfectly into a square of area $\sum_{n=2}^\infty \frac{1}{n^2} = \frac{π^2}{6}-1$. In this paper we show that for any $1/2 < t < 1$, and any $n_0$ that is sufficiently large depending on $t$, the squares of sidelength $n^{-t}$ for $n \geq n_0$ can be packed perfectly into a square of area $\sum_{n=n_0}^\infty \frac{1}{n^{2t}}$. This was previously known (if one packs a rectangle instead of a square) for $1/2 < t \leq 2/3$ (in which case one can take $n_0=1$).

The statistical properties of local alignment algorithms with gaps are analyzed theoretically for uncorrelated and correlated DNA sequences. In the vicinity of the log-linear phase transition, the statistics of alignment with gaps is shown to be characteristically different from that of gapless alignment. The optimal scores obtained for uncorrelated sequences obey certain robust scaling laws. Deviation from these scaling laws signals sequence homology, and can be used to guide the empirical selection of scoring parameters for the optimal detection of sequence similarities. This can be accomplished in a computationally efficient way by using a novel approach focusing on the score landscape. Furthermore, by assuming a few gross features characterizing the statistics of underlying sequence-sequence correlations, quantitative criteria are obtained for the choice of optimal scoring parameters: Optimal similarity detection is most likely to occur in a region close to the log side of the log-linear phase transition.

Recently Wolff obtained a nearly sharp $L^2$ bilinear restriction theorem for bounded subsets of the cone in general dimension. We obtain the endpoint of Wolff's estimate and generalize to the case when one of the subsets is large. As a consequence, we are able to deduce some nearly-sharp $L^p$ null form estimates.

Multiparticle production at high energies is described in terms of color strings stretched between the projectile and target. As the string density increases, overlap in the transverse plane leads to cluster formation. At some critical density a macroscopic cluster appears, spanning the entire system. This marks the percolation phase transition. Data from $\sqrt{s_{NN}}$ = 200 GeV p+p, d+Au and Au+Au collisions at RHIC has been analyzed using the STAR detector to obtain the percolation density parameter, $η$. The particle p$_{T}$ spectrum from 200 GeV p+p data is parameterized using a power law. Values of the fit parameters are used in the d+Au and Au+Au analysis. For 200 GeV Au+Au collisions, the value of $η$ is found to lie above the critical percolation threshold, while for other collision systems and energies, it is below the critical value. This supports the idea of string percolation, which at high enough string density is a possible mechanism to explore the hadronic phase transition to a quark-gluon plasma.

The basic examples of functions defining non-isolated hypersurface singularities are the A(d) singularities and the D(q,p) singularities. The A(d) singularities, up to analytic equivalence, are the product of a Morse function and the zero map, while the simplest D(q,p) singularity is the Whitney umbrella. These are the basic examples, because they correspond to stable germs of functions in the study of germs of functions with non-isolated singularities. Given a germ of a function which defines a non-isolated hypersurface singularity at the origin, which in the appropriate sense, has finite codimension in the set of such germs, the singularity type of such germs away from the origin is A(d) or D(q,p). In this note we calculate the homotopy type of the Milnor fiber of germs of type D(q,p), as well as their Lê numbers. The calculation of the Lê numbers involves the use of an incidence variety which may be useful for studying germs of finite codimension. The calculation shows that the set of symmetric matrices of kernel rank greater than or equal to 1 is an example of a hypersurface singularity with a Whitney stratification (given by the rank of the matrices) in which only one singular

In this work we present a method for fine-tuning pre-trained GANs with features from different datasets, resulting in the transformation of the output distribution into a new distribution with novel characteristics. The weights of the generator are updated using the weighted sum of the losses from a cross-dataset classifier and the frozen weights of the pre-trained discriminator. We discuss details of the technical implementation and share some of the visual results from this training process.

For F, a finite extension of Q2, and E a quadratic extension of F, I compute the stabilizer in SL(2,F} of a point in the Bruhat-Tits tree of SL(2,E).

The Kaluza and Klein versions of Kaluza-Klein theory are reviewed and compared. The differences in the field equations of the two theories are related to the transformation properties of the metrics employed. Based on this comparison a modified version of the Kaluza theory is proposed, in which the different sectors of the metric which describe gravitation, electromagnetism and the scalar field are considered to be partially separate entities, with distinct coordinate transformation properties. In addition, the cylinder condition is relaxed, so that it only affects the 4-D sector of the metric. This results in a theory in which the gravitational and electromagnetic fields are restricted to a four-dimensional brane, and the scalar field is restricted to the 5-D bulk.