Tootfinder

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
Patrick ReinHasso Plattner Institute - University of Potsdam, Germany, Christian FlachHasso Plattner Institute - University of Potsdam, Germany, Stefan RamsonHasso Plattner Institute - University of Potsdam, Germany, Eva KrebsHasso Plattner Institute - University of Potsdam, Germany, Robert HirschfeldHasso Plattner Institute - University of Potsdam, …

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
Live programming provides feedback on run-time behavior by visualizing concrete values of expressions close to the source code. When using such a local perspective on run-time behavior, programmers have to mentally reconstruct the control flow if they want to understand the relation between observed values. As this requires complete and correct knowledge of all relevant code, this reconstruction is impractical for larger programs as well as in the case of unexpected program behavior. In turn, c…

Yeah, keep telling us #ChatGPT isn't GAI, while it elegantly bats away unwanted expressions of affection and learns to speak in an obscure joke dialect from context.
My dudes, we swallowed the Turing Test as an adequate alternative to a definition of intelligence for a long time, and this thing is waaaaaayyyyy past that.

Towards Geometric-Photometric Joint Alignment for Facial Mesh Registration
Xizhi Wang, Yaxiong Wang, Mengjian Li
https://arxiv.org/abs/2403.02629 https://<…

Towards Geometric-Photometric Joint Alignment for Facial Mesh Registration
This paper presents a Geometric-Photometric Joint Alignment(GPJA) method, for accurately aligning human expressions by combining geometry and photometric information. Common practices for registering human heads typically involve aligning landmarks with facial template meshes using geometry processing approaches, but often overlook photometric consistency. GPJA overcomes this limitation by leveraging differentiable rendering to align vertices with target expressions, achieving joint alignment i…

Secret-Key Capacity from MIMO Channel Probing
Yingbo Hua, Ahmed Maksud
https://arxiv.org/abs/2403.02529 https://arxiv.org/pdf/2403.02…

Secret-Key Capacity from MIMO Channel Probing
Revealing expressions of secret-key capacity (SKC) based on data sets from Gaussian MIMO channel probing are presented. It is shown that Maurer's upper and lower bounds on SKC coincide when the used data sets are produced from one-way channel probing. As channel coherence time increases, SKC in bits per probing channel use is always lower bounded by a positive value unless eavesdropper's observations are noiseless, which is unlike SKC solely based on reciprocal channels.

Fill Probabilities in a Limit Order Book with State-Dependent Stochastic Order Flows
Felix Lokin, Fenghui Yu
https://arxiv.org/abs/2403.02572 https://

Fill Probabilities in a Limit Order Book with State-Dependent Stochastic Order Flows
This paper focuses on computing the fill probabilities for limit orders positioned at various price levels within the limit order book, which play a crucial role in optimizing executions. We adopt a generic stochastic model to capture the dynamics of the order book as a series of queueing systems. This generic model is state-dependent and also incorporates stylized factors. We subsequently derive semi-analytical expressions to compute the relevant probabilities within the context of state-depen…

This https://arxiv.org/abs/2310.18408 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Alternative effective mass functions in the modified Mukhanov-Sasaki equation of loop quantum cosmology
Modifications to the Mukhanov-Sasaki equation in loop quantum cosmology (LQC) have been phenomenologically explored using polymerization of the connection and related variables in the classical expressions in order to capture the quantum gravity effects in cosmological perturbations which replace the classical big bang by a big bounce. Examples of this strategy include the dressed metric and the hybrid approaches whose inter-relationship at an effective level was demonstrated by the authors rec…

Lie-algebraic K\"ahler sigma models with the U(1) isotropy
Chao-Hsiang Sheu, Mikhail Shifman
https://arxiv.org/abs/2404.03630 https://

Lie-algebraic Kähler sigma models with the U(1) isotropy
We discuss various questions which emerge in connection with the Lie-algebraic deformation of $\mathbb{CP}^1$ sigma model in two dimensions. First we supersymmetrize the original model endowing it with the minimal ${\cal N}=(0,2)$ and extended ${\cal N}=(2,2)$ supersymmetries. Then we derive the general hypercurrent anomaly in the both cases. In the latter case this anomaly is one-loop but is somewhat different from the standard expressions one can find in the literature because the target mani…

This https://arxiv.org/abs/2402.04905 has been replaced.
link: https://scholar.google.com/scholar?q=a

How much strangeness is needed for the axial-vector form factor of the nucleon?
We consider the axial-vector together with its induced pseudo-scalar form factor of the nucleon as computed from the chiral Lagrangian with nucleon and isobar degrees of freedom. The form factors are evaluated at the one-loop level, where particular emphasis is put on the use of on-shell masses in the loop expressions. Our results are presented in terms of a novel set of basis functions that generalize the Passarino--Veltman scheme to the case where power-counting violating structures are to be…

Lower bounds on expressions dependent on functions $\varphi(n)$, $\psi(n)$ and $\sigma(n)$, II
S. I. Dimitrov
https://arxiv.org/abs/2404.19332 https://

Lower bounds on expressions dependent on functions $φ(n)$, $ψ(n)$ and $σ(n)$, II
In this paper we establish lower bounds on several expressions dependent on functions $φ(n)$, $ψ(n)$ and $σ(n)$.

This https://arxiv.org/abs/2209.04244 has been replaced.
link: https://scholar.google.com/scholar?q=a

Window Expressions for Stream Data Processing
Traditional ways of storing and querying data do not work well in scenarios where data is being generated continuously and quick decisions need to be taken. For example, in hospital intensive care units, signals from multiple devices need to be monitored and the occurrence of any anomaly should raise alarms immediately. A typical design would take the average from a window of say 10 seconds (time-based) or 10 successive (count-based) readings and look for sudden deviations. Existing stream proc…

This https://arxiv.org/abs/2304.09914 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCY_…

The Face of Populism: Examining Differences in Facial Emotional Expressions of Political Leaders Using Machine Learning
Online media has revolutionized the way political information is disseminated and consumed on a global scale, and this shift has compelled political figures to adopt new strategies of capturing and retaining voter attention. These strategies often rely on emotional persuasion and appeal, and as visual content becomes increasingly prevalent in virtual space, much of political communication too has come to be marked by evocative video content and imagery. The present paper offers a novel approach…

Opportunistic User Scheduling for Secure RIS-aided Wireless Communications
Burhan Wafai, Sarbani Ghose, Chinmoy Kundu, Ankit Dubey, Mark F. Flanagan
https://arxiv.org/abs/2403.02963

Opportunistic User Scheduling for Secure RIS-aided Wireless Communications
In this paper, we provide expressions for the secrecy outage probability (SOP) for suboptimal and optimal opportunistic scheduling schemes in a reconfigurable intelligent surface (RIS) aided system with multiple eavesdroppers in approximate closed form. A suboptimal scheduling (SS) scheme is analyzed, which is used when the channel state information (CSI) of the eavesdropping links is unavailable, and the optimal scheduling (OS) scheme is also analyzed, which is used when the global CSI is avai…

Lie-algebraic K\"ahler sigma models with the U(1) isotropy
Chao-Hsiang Sheu, Mikhail Shifman
https://arxiv.org/abs/2404.03630 https://

Lie-algebraic Kähler sigma models with the U(1) isotropy
We discuss various questions which emerge in connection with the Lie-algebraic deformation of $\mathbb{CP}^1$ sigma model in two dimensions. First we supersymmetrize the original model endowing it with the minimal ${\cal N}=(0,2)$ and extended ${\cal N}=(2,2)$ supersymmetries. Then we derive the general hypercurrent anomaly in the both cases. In the latter case this anomaly is one-loop but is somewhat different from the standard expressions one can find in the literature because the target mani…

Bias in Generative AI
Mi Zhou, Vibhanshu Abhishek, Timothy Derdenger, Jaymo Kim, Kannan Srinivasan
https://arxiv.org/abs/2403.02726 https://

Bias in Generative AI
This study analyzed images generated by three popular generative artificial intelligence (AI) tools - Midjourney, Stable Diffusion, and DALLE 2 - representing various occupations to investigate potential bias in AI generators. Our analysis revealed two overarching areas of concern in these AI generators, including (1) systematic gender and racial biases, and (2) subtle biases in facial expressions and appearances. Firstly, we found that all three AI generators exhibited bias against women and A…

This https://arxiv.org/abs/2403.13058 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Perturbative photon escape cones in the Kerr spacetime
We consider the perturbative, fully explicit, analytical behaviour of photon escape cones in the Kerr spacetime. When one conducts the fully general non-perturbative Kerr analysis, one quickly finds that one must at some point appeal to numerical and/or graphical methods. Herein we find that we are able to say much more if we look at the slow rotation limit (i.e., $a \ll m$). Indeed we give explicit and tractable expressions for the first and second order (in $a$) contributions to both the shap…

Im using case_when() quite a lot, case_match() is new to me: #rstats

Join us in Turin on May 25, 2024, for the MWE-UD 2024 Workshop! Dive into a day packed with engaging talks, & poster sessions & dynamic community discussions. Don’t miss out on the insights and innovation, see you there! #MWEUD2024 https://…

Possible Value Analysis based on Symbolic Lattice
Qi Zhan
https://arxiv.org/abs/2405.01369 https://arxiv.org/pdf/2405.01369

Possible Value Analysis based on Symbolic Lattice
We propose a new static program analysis called program behavior analysis. The analysis aims to calculate possible symbolic expressions for every variable at each program point. We design a new lattice, transfer function, and widening operator to accommodate the analysis. Furthermore, we extend the analysis to interprocedural.

Funny quote
Some people, when confronted with a problem, think “I know, I’ll use regular expressions.” Now they have two problems.
From https://opensource.net/painless-regex-apache-groovy-11/

Indiana University’s Bloomington faculty declared no confidence in University President Pamela Whitten and two top academic administrators in a vote held Tuesday.
Faculty cannot remove a leader from the university, and Bloomington Faculty Council President Colin Johnson said the vote is advisory.
“That does not mean that expressions of the faculty's collective will are inconsequential, however,” Johnson said.
“Indeed, as I have already noted, our actions today are highly …

Indiana University faculty vote no confidence in President Whitten, provost
Indiana University’s Bloomington faculty have declared no confidence in President Pamela Whitten, the provost and vice provost.

Rhythm section rehearsal yesterday with my bandmates... 5hrs going over two separate sets of material we'll be performing in Mexico over the next two weeks. Clutch, as always, was #ForScore...
Wondered how the pages on my bass player's iPad were switching in time with the music...
HE WAS USING FACIAL EXPRESSIONS TO TURN THE PAGES
@…

This https://arxiv.org/abs/2306.13556 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_nli…

Amplification in parametrically-driven resonators near instability based on Floquet theory and Green's functions
Here we use Floquet theory to calculate the response of parametrically-driven time-periodic systems near the onset of parametric instability to an added external ac signal or white noise. We provide new estimates, based on the Green's function method, for the response of the system in the frequency domain. Furthermore, we write novel expressions for the power and the noise spectral densities. We validate our theoretical results by comparing our predictions for the specific cases of a single deg…

This https://arxiv.org/abs/2309.08753 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_…

Optimal Fitting and Debiasing for Detectors Read Out Up-the-Ramp
This paper derives the optimal fit to a pixel's count rate in the case of an ideal detector read out nondestructively in the presence of both read and photon noise. The approach is general for any readout scheme, provides closed-form expressions for all quantities, and has a computational cost that is linear in the number of resultants (groups of reads). I also derive the bias of the fit from estimating the covariance matrix and show how to remove it to first order. The ramp-fitting algorithm I…

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
Anupam Das, Abhishek De
https://arxiv.org/abs/2404.16231 https://

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
We investigate the proof theory of regular expressions with fixed points, construed as a notation for (omega-)context-free grammars. Starting with a hypersequential system for regular expressions due to Das and Pous, we define its extension by least fixed points and prove soundness and completeness of its non-wellfounded proofs for the standard language model. From here we apply proof-theoretic techniques to recover an infinitary axiomatisation of the resulting equational theory, complete for i…

Integrated correlators at strong coupling in an orbifold of $\mathcal{N}=4$ SYM
Alessandro Pini, Paolo Vallarino
https://arxiv.org/abs/2404.03466 https://<…

Integrated correlators at strong coupling in an orbifold of $\mathcal{N}=4$ SYM
We consider the $4d$ $\mathcal{N}=2$ superconformal quiver gauge theory obtained by a $\mathbb{Z}_2$ orbifold of $\mathcal{N}=4$ super Yang-Mills (SYM). By exploiting supersymmetric localization, we study the integrated correlator of two Coulomb branch and two moment map operators and the integrated correlator of four moment map operators, determining exact expressions valid for any value of the 't Hooft coupling in the planar limit. Additionally, for the second correlator, we obtain an exact e…

Universal Translational and Rotational Mobility Expressions of Phoretic and Self-phoretic Particles with Arbitrary Interaction Potentials
Arkava Ganguly, Souradeep Roychowdhury, Ankur Gupta
https://arxiv.org/abs/2402.18861

Universal Translational and Rotational Mobility Expressions of Phoretic and Self-phoretic Particles with Arbitrary Interaction Potentials
The mobility of externally-driven phoretic propulsion of particles is evaluated by simultaneously solving the solute conservation equation, interaction potential equation, and the modified Stokes equation. While accurate, this approach is cumbersome, especially when the interaction potential decays slowly compared to the particle size. In contrast to external phoresis, the motion of self-phoretic particles is typically estimated by relating the translation and rotation velocities with the local…

This https://arxiv.org/abs/2403.13058 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Perturbative photon escape cones in the Kerr spacetime
We consider the perturbative, fully explicit, analytical behaviour of photon escape cones in the Kerr spacetime. When one conducts the fully general non-perturbative Kerr analysis, one quickly finds that one must at some point appeal to numerical and/or graphical methods. Herein we find that we are able to say much more if we look at the slow rotation limit (i.e., $a \ll m$). Indeed we give explicit and tractable expressions for the first and second order (in $a$) contributions to both the shap…

Optimized neural forms for solving ordinary differential equations
Adam D. Kypriadis, Isaac E. Lagaris, Aristidis Likas, Konstantinos E. Parsopoulos
https://arxiv.org/abs/2404.19454

Optimized neural forms for solving ordinary differential equations
A critical issue in approximating solutions of ordinary differential equations using neural networks is the exact satisfaction of the boundary or initial conditions. For this purpose, neural forms have been introduced, i.e., functional expressions that depend on neural networks which, by design, satisfy the prescribed conditions exactly. Expanding upon prior progress, the present work contributes in three distinct aspects. First, it presents a novel formalism for crafting optimized neural forms…

This https://arxiv.org/abs/2311.06429 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

The Impact of Load Altering Attacks on Distribution Systems with ZIP Loads
Load-altering attacks (LAAs) pose a significant threat to power systems with Internet of Things (IoT)-controllable load devices. This research examines the detrimental impact of LAAs on the voltage profile of distribution systems, taking into account the realistic load model with constant impedance Z, constant current I, and constant power P (ZIP). We derive closed-form expressions for computing the voltages of buses following LAA by making approximations to the power flow as well as the load m…

Learning to Communicate Functional States with Nonverbal Expressions for Improved Human-Robot Collaboration
Liam Roy, Dana Kulic, Elizabeth Croft
https://arxiv.org/abs/2404.19253 …

"I'm Not Sure, But...": Examining the Impact of Large Language Models' Uncertainty Expression on User Reliance and Trust
Sunnie S. Y. Kim, Q. Vera Liao, Mihaela Vorvoreanu, Stephanie Ballard, Jennifer Wortman Vaughan
https://arxiv.org/abs/2405.00623

"I'm Not Sure, But...": Examining the Impact of Large Language Models' Uncertainty Expression on User Reliance and Trust
Widely deployed large language models (LLMs) can produce convincing yet incorrect outputs, potentially misleading users who may rely on them as if they were correct. To reduce such overreliance, there have been calls for LLMs to communicate their uncertainty to end users. However, there has been little empirical work examining how users perceive and act upon LLMs' expressions of uncertainty. We explore this question through a large-scale, pre-registered, human-subject experiment (N=404) in whic…

Regular Expressions with Backreferences and Lookaheads Capture NLOG
Yuya Uezato
https://arxiv.org/abs/2404.17492 https://arxiv.org/pd…

Regular Expressions with Backreferences and Lookaheads Capture NLOG
Backreferences and lookaheads are vital features to make classical regular expressions (REGEX) practical. Although these features have been widely used, understanding of the unrestricted combination of them has been limited. Practically, most likely no implementation fully supports them. Theoretically, while some studies have addressed these features separately, few have dared to combine them. In those few studies, it has been made clear that the amalgamation of these features renders REGEX sig…

K-Act2Emo: Korean Commonsense Knowledge Graph for Indirect Emotional Expression
Kyuhee Kim, Surin Lee, Sangah Lee
https://arxiv.org/abs/2403.14253 https://…

K-Act2Emo: Korean Commonsense Knowledge Graph for Indirect Emotional Expression
In many literary texts, emotions are indirectly conveyed through descriptions of actions, facial expressions, and appearances, necessitating emotion inference for narrative understanding. In this paper, we introduce K-Act2Emo, a Korean commonsense knowledge graph (CSKG) comprising 1,900 indirect emotional expressions and the emotions inferable from them. We categorize reasoning types into inferences in positive situations, inferences in negative situations, and inferences when expressions do no…

The Inefficiency of Genetic Programming for Symbolic Regression -- Extended Version
Gabriel Kronberger, Fabricio Olivetti de Franca, Harry Desmond, Deaglan J. Bartlett, Lukas Kammerer
https://arxiv.org/abs/2404.17292

The Inefficiency of Genetic Programming for Symbolic Regression -- Extended Version
We analyse the search behaviour of genetic programming for symbolic regression in practically relevant but limited settings, allowing exhaustive enumeration of all solutions. This enables us to quantify the success probability of finding the best possible expressions, and to compare the search efficiency of genetic programming to random search in the space of semantically unique expressions. This analysis is made possible by improved algorithms for equality saturation, which we use to improve t…

Im using case_when() quite a lot, case_match() is new to me: #rstats

This https://arxiv.org/abs/2103.09900 has been replaced.
link: https://scholar.google.com/scholar?q=a

Compact enumeration for scheduling one machine
A Variable Parameter (VP) analysis aims to give precise time complexity expressions of algorithms with exponents appearing solely in terms of variable parameters. A variable parameter is the number of objects with specific properties. Here we describe two VP-algorithms, an implicit enumeration and a polynomial-time approximation scheme for a strongly $NP$-hard problem of scheduling $n$ independent jobs with release and due times on one machine to minimize the maximum job completion time $C_{\ma…

This https://arxiv.org/abs/2311.03817 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Tunable photon-photon correlations in waveguide QED systems with giant atoms
We investigate the scattering processes of two photons in a one-dimensional waveguide coupled to two giant atoms. By adjusting the accumulated phase shifts between the coupling points, we are able to effectively manipulate the characteristics of these scattering photons. Utilizing the Lippmann-Schwinger formalism, we derive analytical expressions for the wave functions describing two-photon interaction in separate, braided, and nested configurations. Based on these wave functions, we also obtai…

Funny quote
Some people, when confronted with a problem, think “I know, I’ll use regular expressions.” Now they have two problems.
From https://opensource.net/painless-regex-apache-groovy-11/

My take on the Google #AI image generator controversy, and bias in AI image generation in general:
When you ask for a generative creation (including LLMs) you WANT the AI to fill in a ton of details. Some of those are fine: backgrounds, textures, expressions, etc. Some can intersect with societal issues like race or gender.
LLMs actually can be vague –a benefit of language – but image genera…

This https://arxiv.org/abs/2304.14885 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

On Closed-Form Expressions for the Fisher-Rao Distance
The Fisher-Rao distance is the geodesic distance between probability distributions in a statistical manifold equipped with the Fisher metric, which is a natural choice of Riemannian metric on such manifolds. It has recently been applied to supervised and unsupervised problems in machine learning, in various contexts. Finding closed-form expressions for the Fisher-Rao distance is generally a non-trivial task, and those are only available for a few families of probability distributions. In this s…

_"If it was your daughter..." hypotheticals are fear-mongering propaganda,
which very successfully get people to STOP thinking rationally.
There is no real discussion after that, just expressions of raw emotion.

Exact closed forms for the transmittance of electromagnetic waves in one-dimensional anisotropic periodic media
Jos\'e Concepci\'on Torres-Guzm\'an, Alfredo D\'iaz-de-Anda, Jes\'us Arriaga
https://arxiv.org/abs/2403.00150

Exact closed forms for the transmittance of electromagnetic waves in one-dimensional anisotropic periodic media
In this work, we obtain closed expressions for the transfer matrix and the transmittance of electromagnetic waves propagating in finite 1D anisotropic periodic stratified media with an arbitrary number of cells. By invoking the Cayley-Hamilton theorem on the transfer matrix for the electromagnetic field in a periodic stratified media formed by N cells, we obtain a fourth-degree recursive relation for the matrix coefficients that defines the so-called Tetranacci Polynomials. In the symmetric cas…

Rhythm section rehearsal yesterday with my bandmates... 5hrs going over two separate sets of material we'll be performing in Mexico over the next two weeks. Clutch, as always, was #ForScore...
Wondered how the pages on my bass player's iPad were switching in time with the music...
HE WAS USING FACIAL EXPRESSIONS TO TURN THE PAGES
@…

Explicit expressions for the gamma vector leading to connections to upper/lower bounds and structural properties
Soohyun Park
https://arxiv.org/abs/2402.13248

Explicit expressions for the gamma vector leading to connections to upper/lower bounds and structural properties
We find an explicit formula for the gamma vector in terms of the input polynomial in a way that extends it to arbitrary polynomials. More specifically, we find explicit linear combination in terms of coefficients of the input polynomial (using Catalan numbers and binomial coefficients) and an expression involving the derivative of the input polynomial. In the case where the input is the $h$-polynomial of a simplicial complex, this gives an interpretation of the gamma vector as a measure of loca…

Action-Angle Variables for Axisymmetric Potentials via Birkhoff Normalization
Sam Hadden
https://arxiv.org/abs/2404.16941 https://arx…

Action-Angle Variables for Axisymmetric Potentials via Birkhoff Normalization
We describe a method for calculating action-angle variables in axisymmetric galactic potentials using Birkhoff normalization, a technique from Hamiltonian perturbation theory. An advantageous feature of this method is that it yields explicit series expressions for both the forward and inverse transformations between the action-angle variables and position-velocity data. It also provides explicit expressions for the Hamiltonian and dynamical frequencies as functions of the action variables. We t…

This https://arxiv.org/abs/2309.08753 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_…

Optimal Fitting and Debiasing for Detectors Read Out Up-the-Ramp
This paper derives the optimal fit to a pixel's count rate in the case of an ideal detector read out nondestructively in the presence of both read and photon noise. The approach is general for any readout scheme, provides closed-form expressions for all quantities, and has a computational cost that is linear in the number of resultants (groups of reads). I also derive the bias of the fit from estimating the covariance matrix and show how to remove it to first order. The ramp-fitting algorithm I…

Words fail me. If this is the understanding of ethics and humanity that pervades tech firms, we’re in for a very bleak period of human history.
Marilyn Monroe AI Chatbot Has 'Realistic Emotions' and Expressions https://variety.com/2024/digital/news/

Marilyn Monroe AI Chatbot Has 'Realistic Emotions' and Expressions
Marilyn Monroe has been reincarnated as a "hyper-real" AI-generated digital avatar that lets fans engage in a conversation with the late actor.

This https://arxiv.org/abs/2312.14362 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Strict Frechet Differentiability of the Metric Projection Operator in Hilbert Spaces
In this paper, we prove strict Frechet differentiability of the metric projection operator onto closed balls in Hilbert spaces and onto positive cones in Euclidean spaces. We find the exact expressions for Frechet derivatives. Since Frechet differentiability implies Gateaux directional differentiability, the results obtained in this paper strengthen the results obtained in [8] and [10] about the directional differentiability of the metric projection operator onto closed balls in Hilbert spaces …

This https://arxiv.org/abs/2212.11190 has been replaced.
link: https://scholar.google.com/scholar?q=a

NNLO subtraction for any massless final state: a complete analytic expression
We use the Local Analytic Sector Subtraction scheme to construct a completely analytic set of expressions implementing a fully local infrared subtraction at NNLO for generic coloured massless final states. The cancellation of all explicit infrared poles appearing in the double-virtual contribution, in the real-virtual correction and in the integrated local infrared counterterms is explicitly verified, and all finite contributions arising from integrated local counterterms are analytically evalu…

Not going to lie. This is going to take some getting used to in #rust coming from the land of #dotnet

This https://arxiv.org/abs/2401.01668 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Combinatory Intensional Logic: Formal foundations
Combinatory Intensional Logic (CIL) is a general framework for a formal theory of natural language meaning and reasoning, including intensional logic. What sets this approach apart is a syntax close to the logico-semantic mechanisms of natural language and being compatible with logical realism, the view that properties, relations and propositions are entities in their own right as well as furnishing the senses of linguistic expressions. CIL models, which formalize a realm of interweavings of …

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
Wojciech R\'o\.zowski
https://arxiv.org/abs/2404.13352 https://…

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
Deterministic automata have been traditionally studied through the point of view of language equivalence, but another perspective is given by the canonical notion of shortest-distinguishing-word distance quantifying the of states. Intuitively, the longer the word needed to observe a difference between two states, then the closer their behaviour is. In this paper, we give a sound and complete axiomatisation of shortest-distinguishing-word distance between regular languages. Our axiomatisation re…

the #CDCsays you have just one problem even when you solve it with regular expressions

Implicit returns are a feature in some languages. They have recently bitten me, so here’s my opinion.
#coding

This https://arxiv.org/abs/2402.12388 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csHC_…

EyeEcho: Continuous and Low-power Facial Expression Tracking on Glasses
In this paper, we introduce EyeEcho, a minimally-obtrusive acoustic sensing system designed to enable glasses to continuously monitor facial expressions. It utilizes two pairs of speakers and microphones mounted on glasses, to emit encoded inaudible acoustic signals directed towards the face, capturing subtle skin deformations associated with facial expressions. The reflected signals are processed through a customized machine-learning pipeline to estimate full facial movements. EyeEcho samples …

Prequantisation from the path integral viewpoint
P A Horvathy
https://arxiv.org/abs/2402.17629 https://arxiv.org/pdf/2402.17629

Prequantisation from the path integral viewpoint
The quantum mechanically admissible definitions of the factor $\exp\big[(i/\hbar)S(γ)\big]$ in the Feynman integral are put in bijection with the prequantisations of Kostant and Souriau. The different allowed expressions of this factor -- the inequivalent prequantisations -- are classified. The theory is illustrated by the Aharonov-Bohm experiment and by identical particles.

This https://arxiv.org/abs/2403.12670 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Driving Animatronic Robot Facial Expression From Speech
Animatronic robots aim to enable natural human-robot interaction through lifelike facial expressions. However, generating realistic, speech-synchronized robot expressions is challenging due to the complexities of facial biomechanics and responsive motion synthesis. This paper presents a principled, skinning-centric approach to drive animatronic robot facial expressions from speech. The proposed approach employs linear blend skinning (LBS) as the core representation to guide tightly integrated i…

Geometric measures of uniaxial solids of revolution in ${\mathbb{R}^{4}}$ and their relation to the second virial coefficient
Markus Kulossa, Joachim Wagner
https://arxiv.org/abs/2404.15092

Geometric measures of uniaxial solids of revolution in ${\mathbb{R}^{4}}$ and their relation to the second virial coefficient
We provide analytical expressions for the second virial coefficients of hard, convex, monoaxial solids of revolution in ${\mathbb{R}^{4}}$. The excluded volume per particle and thus the second virial coefficient is calculated using quermassintegrals and rotationally invariant mixed volumes based on the Brunn-Minkowski theorem. We derive analytical expressions for the mutual excluded volume of four-dimensional hard solids of revolution in dependence on their aspect ratio $ν$ including the limit…

Multi-HMR: Multi-Person Whole-Body Human Mesh Recovery in a Single Shot
Fabien Baradel, Matthieu Armando, Salma Galaaoui, Romain Br\'egier, Philippe Weinzaepfel, Gr\'egory Rogez, Thomas Lucas
https://arxiv.org/abs/2402.14654

Multi-HMR: Multi-Person Whole-Body Human Mesh Recovery in a Single Shot
We present Multi-HMR, a strong single-shot model for multi-person 3D human mesh recovery from a single RGB image. Predictions encompass the whole body, i.e, including hands and facial expressions, using the SMPL-X parametric model and spatial location in the camera coordinate system. Our model detects people by predicting coarse 2D heatmaps of person centers, using features produced by a standard Vision Transformer (ViT) backbone. It then predicts their whole-body pose, shape and spatial locati…

This https://arxiv.org/abs/1809.04347 has been replaced.
link: https://scholar.google.com/scholar?q=a

High-dimensional Bayesian Fourier Analysis For Detecting Circadian Gene Expressions
In genomic applications, there is often interest in identifying genes whose time-course expression trajectories exhibit periodic oscillations with a period of approximately 24 hours. Such genes are usually referred to as circadian, and their identification is a crucial step toward discovering physiological processes that are clock-controlled. It is natural to expect that the expression of gene i at time j might depend to some degree on the expression of the other genes measured at the same time…

Rare events in a stochastic vegetation-water dynamical system based on machine learning
Yang Li, Shenglan Yuan, Shengyuan Xu
https://arxiv.org/abs/2402.18315

Rare events in a stochastic vegetation-water dynamical system based on machine learning
Stochastic vegetation-water dynamical systems play a pivotal role in ecological stability, biodiversity, water resource management, and adaptation to climate change. This research proposes a machine learning-based method for analyzing rare events in stochastic vegetation-water dynamical systems with multiplicative Gaussian noise. Utilizing the Freidlin-Wentzell large deviation theory, we derive the asymptotic expressions for the quasipotential and the mean first exit time. Based on the decompos…

Integrating Heterogeneous Gene Expression Data through Knowledge Graphs for Improving Diabetes Prediction
Rita T. Sousa, Heiko Paulheim
https://arxiv.org/abs/2404.14970

Integrating Heterogeneous Gene Expression Data through Knowledge Graphs for Improving Diabetes Prediction
Diabetes is a worldwide health issue affecting millions of people. Machine learning methods have shown promising results in improving diabetes prediction, particularly through the analysis of diverse data types, namely gene expression data. While gene expression data can provide valuable insights, challenges arise from the fact that the sample sizes in expression datasets are usually limited, and the data from different datasets with different gene expressions cannot be easily combined. This …

Studying Differential Mental Health Expressions in India
Khushi Shelat, Sunny Rai, Devansh R Jain, Young Min Cho, Maitreyi Redkar, Samindara Sawant, Sharath Chandra Guntuku
https://arxiv.org/abs/2402.11477

Studying Differential Mental Health Expressions in India
Psychosocial stressors and the symptomatology of mental disorders are known to vary with socio-cultural environment. Mental health expressions on social media, however, are primarily informed by studies in the WEIRD (Western, Educated, Industrial, Rich, and Democratic) contexts. In this paper, we analyze mental health posts on Reddit made by individuals in India, to identify variations in online depression language specific to the Indian context compared to users from the Rest of the World (ROW…

_"If it was your daughter..." hypotheticals are fear-mongering propaganda,
which very successfully get people to STOP thinking rationally.
There is no real discussion after that, just expressions of raw emotion.

High-energy neutrinos flavour composition as a probe of neutrino magnetic moments
Artem Popov, Alexander Studenikin
https://arxiv.org/abs/2404.02027 https:…

High-energy neutrinos flavour composition as a probe of neutrino magnetic moments
Neutrino propagation in the Galactic magnetic field is considered. To describe neutrino flavour and spin oscillations on the galactic scale baselines an approach using wave packets is developed. Evolution equations for the neutrino wave packets in a uniform and non-uniform magnetic field are derived. Analytical expressions for neutrino flavour and spin oscillations probabilities accounting for damping due to wave packet separation are obtained for the case of uniform magnetic field. It is shown…

Samsung Research China-Beijing at SemEval-2024 Task 3: A multi-stage framework for Emotion-Cause Pair Extraction in Conversations
Shen Zhang, Haojie Zhang, Jing Zhang, Xudong Zhang, Yimeng Zhuang, Jinting Wu
https://arxiv.org/abs/2404.16905

Samsung Research China-Beijing at SemEval-2024 Task 3: A multi-stage framework for Emotion-Cause Pair Extraction in Conversations
In human-computer interaction, it is crucial for agents to respond to human by understanding their emotions. Unraveling the causes of emotions is more challenging. A new task named Multimodal Emotion-Cause Pair Extraction in Conversations is responsible for recognizing emotion and identifying causal expressions. In this study, we propose a multi-stage framework to generate emotion and extract the emotion causal pairs given the target emotion. In the first stage, Llama-2-based InstructERC is uti…

This https://arxiv.org/abs/2403.11281 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Java JIT Testing with Template Extraction
We present LeJit, a template-based framework for testing Java just-in-time (JIT) compilers. Like recent template-based frameworks, LeJit executes a template -- a program with holes to be filled -- to generate concrete programs given as inputs to Java JIT compilers. LeJit automatically generates template programs from existing Java code by converting expressions to holes, as well as generating necessary glue code (i.e., code that generates instances of non-primitive types) to make generated temp…

There is a manner of speaking infesting politics, media and even private conversations that is insulting to both the subject and the listener.
Trump's is the language of evil.
We have seen and heard him (between court appearances) deriding NATO, military service and the entire U.S. system of justice with derisive terms and facial expressions.
And it is not only Trump who is fouling the airwaves. Too many Republican politicians are infected with the fiendish attitude seep…

Trump's language of evil
"When presumably educated, responsible politicians sound as if they are preaching from a bar stool," Phyllis Zagano writes, "what can the rest of us do to remove angry denigration from whatever other pulpit we might be near?" 

This https://arxiv.org/abs/2403.17952 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Mneimneh-type Binomial Sums of Multiple Harmonic-type Sums
In this paper, we establish some expressions of Mneimneh-type binomial sums involving multiple harmonic-type sums in terms of finite sums of Stirling numbers, Bell numbers and some related variables. In particular, we present some new formulas of Mneimneh-type binomial sums involving generalized (alternating) harmonic numbers. Further, we establish a new identity relating the multiple zeta star values $ζ^\star(m+2,\{1\}_{r-1})$ and specific multiple polylogarithms by applying the Toeplitz prin…

Not going to lie. This is going to take some getting used to in #rust coming from the land of #dotnet

This https://arxiv.org/abs/2212.03553 has been replaced.
link: https://scholar.google.com/scholar?q=a

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
SHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics. SHACL expressions can use three fundamental features that are not so common in description logics. These features are equality tests; disjointness tests; and closure constraints. Moreover, SHACL is peculiar in allowing only a restricted form of expressions (so-called targets) on the left-hand side of inc…

Driving Animatronic Robot Facial Expression From Speech
Boren Li, Hang Li, Hangxin Liu
https://arxiv.org/abs/2403.12670 https://arxiv…

Driving Animatronic Robot Facial Expression From Speech
Animatronic robots aim to enable natural human-robot interaction through lifelike facial expressions. However, generating realistic, speech-synchronized robot expressions is challenging due to the complexities of facial biomechanics and responsive motion synthesis. This paper presents a principled, skinning-centric approach to drive animatronic robot facial expressions from speech. The proposed approach employs linear blend skinning (LBS) as the core representation to guide tightly integrated i…

This https://arxiv.org/abs/2401.06259 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hepp…

SIDIS at small $x$ at next-to-leading order: gluon contribution
We calculate the contribution of gluons to single inclusive hadron production at next-to-leading order (NLO) accuracy in Deep Inelastic Scattering (DIS) at small $x$ using the Color Glass Condensate formalism. It is shown that the only divergence present is the standard collinear divergence which is absorbed into evolution of gluon-hadron fragmentation function. Our calculations are performed at finite $N_c$ and we provide general finite $N_c$ expressions for the structure of Wilson lines appea…

Dynamic Explanation Emphasis in Human-XAI Interaction with Communication Robot
Yosuke Fukuchi, Seiji Yamada
https://arxiv.org/abs/2403.14550 https://

Dynamic Explanation Emphasis in Human-XAI Interaction with Communication Robot
Communication robots have the potential to contribute to effective human-XAI interaction as an interface that goes beyond textual or graphical explanations. One of their strengths is that they can use physical and vocal expressions to add detailed nuances to explanations. However, it is not clear how a robot can apply such expressions, or in particular, how we can develop a strategy to adaptively use such expressions depending on the task and user in dynamic interactions. To address this questi…

Expressivity and Speech Synthesis
Andreas Triantafyllopoulos, Bj\"orn W. Schuller
https://arxiv.org/abs/2404.19363 https://arxiv.org/pdf/2404.19363
arXiv:2404.19363v1 Announce Type: new
Abstract: Imbuing machines with the ability to talk has been a longtime pursuit of artificial intelligence (AI) research. From the very beginning, the community has not only aimed to synthesise high-fidelity speech that accurately conveys the semantic meaning of an utterance, but also to colour it with inflections that cover the same range of affective expressions that humans are capable of. After many years of research, it appears that we are on the cusp of achieving this when it comes to single, isolated utterances. This unveils an abundance of potential avenues to explore when it comes to combining these single utterances with the aim of synthesising more complex, longer-term behaviours. In the present chapter, we outline the methodological advances that brought us so far and sketch out the ongoing efforts to reach that coveted next level of artificial expressivity. We also discuss the societal implications coupled with rapidly advancing expressive speech synthesis (ESS) technology and highlight ways to mitigate those risks and ensure the alignment of ESS capabilities with ethical norms.

Trees with flowers: A catalog of integer partition and integer composition trees with their asymptotic analysis
Ricardo G\'omez A\'iza
https://arxiv.org/abs/2402.16111

Trees with flowers: A catalog of integer partition and integer composition trees with their asymptotic analysis
We present families of combinatorial classes described as trees with nodes that can carry one of two types of ``flowers'': integer partitions or integer compositions. Two parameters on the flowers of trees will be considered: the number of ``petals'' in all the flowers (petals' weight) and the number of edges in the petals of all the flowers (flowers' weight). We give explicit expressions of their generating functions and deduce general formulas for the asymptotic growth of their coefficients a…

This https://arxiv.org/abs/2311.13313 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Towards the Intuitive Understanding of Quantum World: Sonification of Rabi Oscillations, Wigner functions, and Quantum Simulators
Recently, there has been considerable interest in "sonifying" scientific data; however, sonifying quantum processes using the newest quantum technologies, including Noise Intermediate Scale Quantum devices and quantum random number generators, is still an emerging area of research. Music technologists and composers employ the growing accessibility to diverse data from quantum mechanics as musical tools in the hope of generating new sound expressions. How different is the quantum world from the …

Dynamic Resolution Guidance for Facial Expression Recognition
Jie Ou, Xu Li, Tianxiang Jiang, Yuanlun Xie
https://arxiv.org/abs/2404.06365 https://<…

Dynamic Resolution Guidance for Facial Expression Recognition
Facial expression recognition (FER) is vital for human-computer interaction and emotion analysis, yet recognizing expressions in low-resolution images remains challenging. This paper introduces a practical method called Dynamic Resolution Guidance for Facial Expression Recognition (DRGFER) to effectively recognize facial expressions in images with varying resolutions without compromising FER model accuracy. Our framework comprises two main components: the Resolution Recognition Network (RRN) an…

Precoding for Multi-Cell ISAC: from Coordinated Beamforming to Coordinated Multipoint and Bi-Static Sensing
Nithin Babu, Christos Masouros, Constantinos B. Papadias, Yonina C. Eldar
https://arxiv.org/abs/2402.18387

Precoding for Multi-Cell ISAC: from Coordinated Beamforming to Coordinated Multipoint and Bi-Static Sensing
This paper proposes a framework for designing robust precoders for a multi-input single-output (MISO) system that performs integrated sensing and communication (ISAC) across multiple cells and users. We use Cramer-Rao-Bound (CRB) to measure the sensing performance and derive its expressions for two multi-cell scenarios, namely coordinated beamforming (CBF) and coordinated multi-point (CoMP). In the CBF scheme, a BS shares channel state information (CSI) and estimates target parameters using mon…

Mneimneh-type Binomial Sums of Multiple Harmonic-type Sums
Ende Pan, Ce Xu
https://arxiv.org/abs/2403.17952 https://arxiv.org/pdf/240…

Mneimneh-type Binomial Sums of Multiple Harmonic-type Sums
In this paper, we establish some expressions of Mneimneh-type binomial sums involving multiple harmonic-type sums in terms of finite sums of Stirling numbers, Bell numbers and some related variables. In particular, we present some new formulas of Mneimneh-type binomial sums involving generalized (alternating) harmonic numbers. Further, we establish a new identity relating the multiple zeta star values $ζ^\star(m+2,\{1\}_{r-1})$ and specific multiple polylogarithms by applying the Toeplitz prin…

Trans-series from condensates
Marcos Marino, Ramon Miravitllas
https://arxiv.org/abs/2402.19356 https://arxiv.org/pdf/2402.19356

Trans-series from condensates
The Shifman--Vainshtein--Zakharov (SVZ) sum rules provide a method to obtain trans-series expansions in many quantum field theories, in which exponentially small corrections are calculated by combining the operator product expansion with the assumption of vacuum condensates. In some solvable models, exact expressions for trans-series can be obtained from non-perturbative results, and this makes it possible to test the SVZ method by comparing its predictions to these exact trans-series. In this …

Attractors of Parikh mapping iterations
Alexander Chunikhin
https://arxiv.org/abs/2402.14932 https://arxiv.org/pdf/2402.14932<…

Attractors of Parikh mapping iterations
Three types of the Parikh mapping are introduced, namely, alphabetic, alphabetic-basis and basis. Explicit expressions for attractors of the k-th order in bases n >= 8, including countable ones, are found. Properties for the alphabetic, alphabetic-basis and basis Parikh vectors are given at each step of the Parikh mapping. The maximum number of iterations leading to attractors of the k-th order in the basis n is determined.

This https://arxiv.org/abs/2310.10136 has been replaced.
link: https://scholar.google.com/scholar?q=a

Mata, a Fast and Simple Finite Automata Library (Technical Report)
Mata is a well-engineered automata library written in C++ that offers a unique combination of speed and simplicity. It is meant to serve in applications such as string constraint solving and reasoning about regular expressions, and as a~reference implementation of automata algorithms. Besides basic algorithms for (non)deterministic automata, it implements a fast simulation reduction and antichain-based language inclusion checking. The simplicity allows a straightforward access to the low-level …

Evaluating Telugu Proficiency in Large Language Models_ A Comparative Analysis of ChatGPT and Gemini
Katikela Sreeharsha Kishore, Rahimanuddin Shaik
https://arxiv.org/abs/2404.19369 https://arxiv.org/pdf/2404.19369
arXiv:2404.19369v1 Announce Type: new
Abstract: The growing prominence of large language models (LLMs) necessitates the exploration of their capabilities beyond English. This research investigates the Telugu language proficiency of ChatGPT and Gemini, two leading LLMs. Through a designed set of 20 questions encompassing greetings, grammar, vocabulary, common phrases, task completion, and situational reasoning, the study delves into their strengths and weaknesses in handling Telugu. The analysis aims to identify the LLM that demonstrates a deeper understanding of Telugu grammatical structures, possesses a broader vocabulary, and exhibits superior performance in tasks like writing and reasoning. By comparing their ability to comprehend and use everyday Telugu expressions, the research sheds light on their suitability for real-world language interaction. Furthermore, the evaluation of adaptability and reasoning capabilities provides insights into how each LLM leverages Telugu to respond to dynamic situations. This comparative analysis contributes to the ongoing discussion on multilingual capabilities in AI and paves the way for future research in developing LLMs that can seamlessly integrate with Telugu-speaking communities.

On reduced expressions for core double cosets
Ben Elias, Hankyung Ko, Nicolas Libedinsky, Leonardo Patimo
https://arxiv.org/abs/2402.08673 https://<…

On reduced expressions for core double cosets
The notion of a reduced expression for a double coset in a Coxeter group was introduced by Williamson, and recent work of Elias and Ko has made this theory more accessible and combinatorial. One result of Elias-Ko is that any coset admits a reduced expression which factors through a reduced expression for a related coset called its core. In this paper we define a class of cosets called atomic cosets, and prove that every core coset admits a reduced expression as a composition of atomic cosets. …

Interplay between Vector-like Lepton and Seesaw Mechanism:Oblique Corrections
Shuyang Han, Zhaofeng Kang, Jiang Zhu
https://arxiv.org/abs/2404.19502 https://arxiv.org/pdf/2404.19502
arXiv:2404.19502v1 Announce Type: new
Abstract: The non-vanishing neutrino mass strongly hints the existence of right-handed neutrinos (RHNs), singlets of the standard model (SM). However, they are highly decoupled from the SM and difficult to probe. In this work, we consider the Majorana RHNs from the type-I seesaw mechanism may well mix with the heavy neutral lepton dwelling in certain vector-like lepton (VLL), thus acquiring a sizable electroweak charge. Such a simple scenario yields many interesting consequences, and the imprint on oblique corrections, well expected from the mass splitting between components of VLL by virtue of VLL-RHN mixing, is our focus here. We analytically calculate the Peskin-Takeuchi parameters S, T and U with full details, carefully treating the Majorana loop to obtain the self consistent expressions free of divergence. Then, we constrain on the VLL-RHN system which only gives a sizable $T$ parameter using the PDG-2021 data and CDF-II data, separately, by imposing $T\lesssim{\cal O}(0.1)$. It is found that for the RHN and VLL below the TeV scale, with a properly large mixing, stands in the frontier of the electroweak precision test such as W-boson mass.

Performance Bounds of Near-Field Sensing with Circular Arrays
Zhaolin Wang, Xidong Mu, Yuanwei Liu
https://arxiv.org/abs/2404.17318 https://

Performance Bounds of Near-Field Sensing with Circular Arrays
The performance bounds of near-field sensing are studied for circular arrays, focusing on the impact of bandwidth and array size. The closed-form Cramer-Rao bound (CRBs) for angle and distance estimation are derived, revealing the scaling laws of the CRBs with bandwidth and array size. Contrary to expectations, enlarging array size does not always enhance sensing performance. Furthermore, the asymptotic CRBs are analyzed under different conditions, unveiling that the derived expressions include…

This https://arxiv.org/abs/2307.09913 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics extending ALC. Our primary objects of interest are ALCreg and ALCvpl, the extensions of with path expressions employing, respectively, regular and visibly-pushdown languages. The first one, ALCreg, is a notational variant of the well-known Propositional Dynamic Logic of Fischer and Ladner. The second one, ALCvpl, was introduced and investigated by Loding an…

This https://arxiv.org/abs/2303.04225 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Feeling Optimistic? Ambiguity Attitudes for Online Decision Making
Due to the complexity of many decision making problems, tree search algorithms often have inadequate information to produce accurate transition models. Robust methods, designed to make safe decisions when faced with these uncertainties, often overlook the impact expressions of uncertainty have on how the decision is made. This work introduces the Ambiguity Attitude Graph Search (AAGS), advocating for more precise representation of ambiguities (uncertainty from a set of plausible models) in deci…

This https://arxiv.org/abs/2312.10140 has been replaced.
link: https://scholar.google.com/scholar?q=a

Determination of the $D\rightarrow ππ$ ratio of penguin over tree diagrams
We study the penguin over tree ratio in $D\rightarrow ππ$ decays. This ratio can serve as a probe for rescattering effects. Assuming the Standard Model and in the isospin limit, we derive expressions that relate both the magnitude and the phase of this ratio to direct CP asymmetries and branching fractions. We find that the current data suggest that rescattering is large. A dedicated experimental analysis with current and future data will be able to significantly reduce the errors on these de…

This https://arxiv.org/abs/2312.03383 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Correlations for an anisotropic polarized stochastic gravitational wave background in pulsar timing arrays
The recent compelling observation of the nanohertz stochastic gravitational wave background has brought to light a new galactic arena to test gravity. In this paper, we derive a formula for the most general expression of the stochastic gravitational wave background correlation that could be tested with pulsar timing and future square kilometer arrays. Our expressions extends the harmonic space analysis, also often referred to as the power spectrum approach, to predict the correlation signatures…

This https://arxiv.org/abs/2402.13248 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Explicit expressions for the gamma vector leading to connections to upper/lower bounds and structural properties
We find an explicit formula for the gamma vector in terms of the input polynomial in a way that extends it to arbitrary polynomials. More specifically, we find explicit linear combination in terms of coefficients of the input polynomial (using Catalan numbers and binomial coefficients) and an expression involving the derivative of the input polynomial. The first expression suggests connections to common Coxeter group/noncrossing partition structures in existing gamma positivity examples. In the…

This https://arxiv.org/abs/2212.03553 has been replaced.
link: https://scholar.google.com/scholar?q=a

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
SHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics. SHACL expressions can use three fundamental features that are not so common in description logics. These features are equality tests; disjointness tests; and closure constraints. Moreover, SHACL is peculiar in allowing only a restricted form of expressions (so-called targets) on the left-hand side of inc…

Induced moduli oscillation by radiation and space expansion in a higher-dimensional model
Hajime Otsuka, Yutaka Sakamura
https://arxiv.org/abs/2402.15547 h…

Induced moduli oscillation by radiation and space expansion in a higher-dimensional model
We investigate the cosmological expansion of the 3D space in a 6D model compactified on a sphere, beyond the 4D effective theory analysis. We focus on a case that the initial temperature is higher than the compactification scale. In such a case, the pressure for the compact space affects the moduli dynamics and induces the moduli oscillation even if they are stabilized at the initial time. Under some plausible assumptions, we derive the explicit expressions for the 3D scale factor and the modul…

Transmissive RIS Transmitter Enabled Spatial Modulation for MIMO Systems
Xusheng Zhu, Qingqing Wu, Wen Chen
https://arxiv.org/abs/2403.19457 https://

Transmissive RIS Transmitter Enabled Spatial Modulation for MIMO Systems
In this paper, we propose a novel transmissive reconfigurable intelligent surface (TRIS) transmitter-enabled spatial modulation (SM) multiple-input multiple-output (MIMO) system. In the transmission phase, a column-wise activation strategy is implemented for the TRIS panel, where the specific column elements are activated per time slot. Concurrently, the receiver employs the maximum likelihood detection technique. Based on this, for the transmit signals, we derive the closed-form expressions fo…

This https://arxiv.org/abs/2212.03553 has been replaced.
link: https://scholar.google.com/scholar?q=a

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
SHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics. SHACL expressions can use three fundamental features that are not so common in description logics. These features are equality tests; disjointness tests; and closure constraints. Moreover, SHACL is peculiar in allowing only a restricted form of expressions (so-called targets) on the left-hand side of inc…

This https://arxiv.org/abs/2402.04307 has been replaced.
link: https://scholar.google.com/scholar?q=a

The fermion self-energy and damping rate in a hot magnetized plasma
We derive a general expression for the fermion self-energy in a hot magnetized plasma by using the Landau-level representation. In the one-loop approximation, the Dirac structure of the self-energy is characterized by five different functions that depend on the Landau-level index $n$ and the longitudinal momentum $p_z$. We derive general expressions for all five functions and obtain closed-form expressions for their imaginary parts. The latter receive contributions from three types of on-shell …

Induced moduli oscillation by radiation and space expansion in a higher-dimensional model
Hajime Otsuka, Yutaka Sakamura
https://arxiv.org/abs/2402.15547 h…

Induced moduli oscillation by radiation and space expansion in a higher-dimensional model
We investigate the cosmological expansion of the 3D space in a 6D model compactified on a sphere, beyond the 4D effective theory analysis. We focus on a case that the initial temperature is higher than the compactification scale. In such a case, the pressure for the compact space affects the moduli dynamics and induces the moduli oscillation even if they are stabilized at the initial time. Under some plausible assumptions, we derive the explicit expressions for the 3D scale factor and the modul…

This https://arxiv.org/abs/2307.09913 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics extending ALC. Our primary objects of interest are ALCreg and ALCvpl, the extensions of with path expressions employing, respectively, regular and visibly-pushdown languages. The first one, ALCreg, is a notational variant of the well-known Propositional Dynamic Logic of Fischer and Ladner. The second one, ALCvpl, was introduced and investigated by Loding an…

Automating Boundary Filling in Cubical Agda
Maximilian Dor\'e, Evan Cavallo, Anders M\"ortberg
https://arxiv.org/abs/2402.12169 https://

Automating Boundary Filling in Cubical Agda
When working in a proof assistant, automation is key to discharging routine proof goals such as equations between algebraic expressions. Homotopy Type Theory allows the user to reason about higher structures, such as topological spaces, using higher inductive types (HITs) and univalence. Cubical Agda is an extension of Agda with computational support for HITs and univalence. A difficulty when working in Cubical Agda is dealing with the complex combinatorics of higher structures, an infinite-dim…