Related papers: A note on scaling arguments in the effective avera…
The log odds ratio is a well-established metric for evaluating the association between binary outcome and exposure variables. Despite its widespread use, there has been limited discussion on how to summarize the log odds ratio as a function…
Action Quality Assessment (AQA) aims to automatically evaluate how well human actions are performed and has been widely applied in sports analysis, skill assessment, and healthcare. However, AQA studies are often developed under…
Automatic amortized resource analysis (AARA) is a type-based technique for inferring concrete (non-asymptotic) bounds on a program's resource usage. Existing work on AARA has focused on bounds that are polynomial in the sizes of the inputs.…
We present time-constrained automata (TCA), a model for hard real-time computation in which agents behaviors are modeled by automata and constrained by time intervals. TCA actions can have multiple start time and deadlines, can be…
We analyze the sharp interface limit for the Allen-Cahn equation with an anisotropic, spatially periodic mobility coefficient and prove that the large-scale behavior of interfaces is determined by mean curvature flow with an effective…
Using the average action defined with a continuum analog of the block spin transformation, we show the presence of gauge symmetry along the Wilsonian renormalization group flow. As a reflection of the gauge symmetry, the average action…
Many regulatory and analytic problems require that a prohibited variable influence a decision only through a designated allowable channel -- a conditional-independence requirement that arises in path-specific fairness, the handling of…
The Calculus of Audited Units (CAU) is a typed lambda calculus resulting from a computational interpretation of Artemov's Justification Logic under the Curry-Howard isomorphism; it extends the simply typed lambda calculus by providing…
In this paper we investigate the convergence of the Policy Iteration Algorithm (PIA) for a class of general continuous-time entropy-regularized stochastic control problems. In particular, instead of employing sophisticated PDE estimates for…
We propose a model of random diffusion to investigate flow fluctuations in complex networks. We derive an analytical law showing that the dependence of fluctuations with the mean traffic in a network is ruled by the delicate interplay of…
The determination of the critical exponents by means of the Exact Renormalizion Group approach is still a topic of debate. The general flow equation is by construction scheme independent, but the use of the truncated derivative expansion…
We lay out the basis of factorization at the amplitude level for processes involving the entire Standard Model. The factorization appears in a generalized eikonal approximation in which we expand around a quasi-soft limit for massive gauge…
Sample average approximation (SAA) replaces an intractable expected objective by an empirical average and is a basic device of modern stochastic optimization. We develop a rate theory for optimal values and empirical…
The AAA algorithm has become a popular tool for data-driven rational approximation of single variable functions, such as transfer functions of a linear dynamical system. In the setting of parametric dynamical systems appearing in many…
We consider ${\cal N} =1$ supersymmetric gauge theories in the conformal window. The running of the gauge coupling is absorbed into the metric by applying a suitable matter superfield- and Weyl-transformation. The computation becomes…
Quantum corrections of certain types and relevant in certain regimes can be summarised in terms of an effective action calculable, in principle, from the underlying theory. The demands of symmetries, local form of terms and dimensional…
Our ability to calculate rates of biochemical processes using molecular dynamics simulations is severely limited by the fact that the time scales for reactions, or changes in conformational state, scale exponentially with the relevant…
For massless $\phi^4$ theory, we explicitly compute the lowest order non-local contributions to the one-loop effective action required for the determination of the trace anomaly. Imposing exact conformal invariance of the local part of the…
Sample-average approximations (SAA) are a practical means of finding approximate solutions of stochastic programming problems involving an extremely large (or infinite) number of scenarios. SAA can also be used to find estimates of a lower…
We use the functional Renormalisation Group (fRG) to describe the in and out of equilibrium dynamics of stochastic processes, governed by an overdamped Langevin equation. Exploiting the connection between Langevin dynamics and…