title: Efficient Rollup Batch Posting Strategy on Base Layer

abstract: We design efficient and robust algorithms for the batch posting of rollup chain calldata on the base layer chain, using tools from operations research. We relate the costs of posting and delaying, by converting them to the same units and adding them up. The algorithm that keeps the average and maximum queued number of batches tolerable enough improves the posting costs of the trivial algorithm, which posts batches immediately when they are created, by 8%. On the other hand, the algorithm that only cares moderately about the batch queue length can improve the trivial algorithm posting costs by 29%. Our findings can be used by layer two projects that post data to the base layer at some regular rate.


title: Making Relational Hoare Logic Alignment Complete

abstract: In relational verification, judicious alignment of computational steps facilitates proof of relations between programs using simple relational assertions. Relational Hoare logics (RHL) provide compositional rules that embody various alignments. Seemingly more flexible alignments can be expressed in terms of product automata based on program transition relations. A RHL can be complete, in the ordinary sense, using a single degenerate alignment rule. The notion of alignment completeness was previously proposed as a more satisfactory measure, based on alignment automata, and some rules were shown to be alignment complete with respect to a few ad hoc forms of alignment automata. Using a rule of semantics-preserving rewrites based on Kleene algebra with tests, an RHL is shown to be alignment complete with respect to a very general class of alignment automata. Besides solving the open problem of general alignment completeness, this result bridges between human-friendly syntax-based reasoning and automata representations that facilitate automated verification.


title: Thermodynamic properties of the noncommutative Dirac oscillator with a permanent electric dipole moment

abstract: In this paper, we investigate the thermodynamic properties of the noncommutative Dirac oscillator with a permanent electric dipole moment in the presence of an electromagnetic field in contact with a heat bath. Using the canonical ensemble, we determine the properties for both relativistic and nonrelativistic cases through the \textit{Euler-MacLaurin} formula in the high temperatures regime. In particular, the main properties are: the Helmholtz free energy, the entropy, the mean energy, and the heat capacity. Next, we analyze via 2D graphs the behavior of the properties as a function of temperature. As a result, we note that the Helmholtz free energy decreases with the temperature and $\omega_\theta$, and increases with $\omega$, $\Tilde{\omega}$, $\omega_\eta$, where $\omega$ is the frequency of the oscillator, $\Tilde{\omega}$ is a type of cyclotron frequency, and $\omega_\theta$ and $\omega_\eta$ are the noncommutative frequencies of position and momentum. With respect to entropy, we note an increase with the temperature and $\omega_\theta$, and a decrease with $\omega$, $\Tilde{\omega}$, $\omega_\eta$. Now, with respect to mean energy, we note that such property increases linearly with the temperature, and their values for the relativistic case are twice that of the nonrelativistic case. As a direct consequence of this, the value of the heat capacity for the relativistic case is also twice that of the nonrelativistic case, and both are constants, thus satisfying the \textit{Dulong-Petit} law. Lastly, we also note that the electric field does not influence the properties in any way.


title: Weakly supervised training of universal visual concepts for multi-domain semantic segmentation

abstract: Deep supervised models have an unprecedented capacity to absorb large quantities of training data. Hence, training on multiple datasets becomes a method of choice towards strong generalization in usual scenes and graceful performance degradation in edge cases. Unfortunately, different datasets often have incompatible labels. For instance, the Cityscapes road class subsumes all driving surfaces, while Vistas defines separate classes for road markings, manholes etc. Furthermore, many datasets have overlapping labels. For instance, pickups are labeled as trucks in VIPER, cars in Vistas, and vans in ADE20k. We address this challenge by considering labels as unions of universal visual concepts. This allows seamless and principled learning on multi-domain dataset collections without requiring any relabeling effort. Our method achieves competitive within-dataset and cross-dataset generalization, as well as ability to learn visual concepts which are not separately labeled in any of the training datasets. Experiments reveal competitive or state-of-the-art performance on two multi-domain dataset collections and on the WildDash 2 benchmark.


title: CoCo: Coherence-Enhanced Machine-Generated Text Detection Under Data Limitation With Contrastive Learning

abstract: Machine-Generated Text (MGT) detection, a task that discriminates MGT from Human-Written Text (HWT), plays a crucial role in preventing misuse of text generative models, which excel in mimicking human writing style recently. Latest proposed detectors usually take coarse text sequences as input and fine-tune pretrained models with standard cross-entropy loss. However, these methods fail to consider the linguistic structure of texts. Moreover, they lack the ability to handle the low-resource problem which could often happen in practice considering the enormous amount of textual data online. In this paper, we present a coherence-based contrastive learning model named CoCo to detect the possible MGT under low-resource scenario. To exploit the linguistic feature, we encode coherence information in form of graph into text representation. To tackle the challenges of low data resource, we employ a contrastive learning framework and propose an improved contrastive loss for preventing performance degradation brought by simple samples. The experiment results on two public datasets and two self-constructed datasets prove our approach outperforms the state-of-art methods significantly. Also, we surprisingly find that MGTs originated from up-to-date language models could be easier to detect than these from previous models, in our experiments. And we propose some preliminary explanations for this counter-intuitive phenomena. All the codes and datasets are open-sourced.


title: Finite-time stabilization and impulse control of heat equation with dynamic boundary conditions

abstract: In this paper, we study the impulse controllability of a multi-dimensional heat equation with dynamic boundary conditions in a bounded smooth domain. Using a recent approach based on finite-time stabilization, we show that the system is impulse null controllable at any positive time via impulse controls supported in a nonempty open subset of the physical domain. Furthermore, we infer an explicit estimate for the exponential decay of the solution. The proof of the main result combines a logarithmic convexity estimate and some spectral properties associated to dynamic boundary conditions. In our setting, the nature of the equations, which couple intern-boundary phenomena, makes it necessary to go into quite sophisticated estimates incorporating several boundary terms.


title: Berlin V2X: A Machine Learning Dataset from Multiple Vehicles and Radio Access Technologies

abstract: The evolution of wireless communications into 6G and beyond is expected to rely on new machine learning (ML)-based capabilities. These can enable proactive decisions and actions from wireless-network components to sustain quality-of-service (QoS) and user experience. Moreover, new use cases in the area of vehicular and industrial communications will emerge. Specifically in the area of vehicle communication, vehicle-to-everything (V2X) schemes will benefit strongly from such advances. With this in mind, we have conducted a detailed measurement campaign that paves the way to a plethora of diverse ML-based studies. The resulting datasets offer GPS-located wireless measurements across diverse urban environments for both cellular (with two different operators) and sidelink radio access technologies, thus enabling a variety of different studies towards V2X. The datasets are labeled and sampled with a high time resolution. Furthermore, we make the data publicly available with all the necessary information to support the onboarding of new researchers. We provide an initial analysis of the data showing some of the challenges that ML needs to overcome and the features that ML can leverage, as well as some hints at potential research studies.


title: A Reduced Inner Product for Kink States

abstract: Solitons in classical field theories correspond to states in quantum field theories. If the spatial dimension is infinite, then momentum eigenstates are not normalizable. This leads to infrared divergences, which are generally regularized via wave packets or by compactification. However, in some applications both possibilities are undesirable. In the present note, we introduce a finite inner product on translation-invariant kink states that allows us to compute probabilities involving these nonnormalizable states. Essentially, it is the quotient of the usual inner product by the translation group. We present a surprisingly simple formula for the reduced inner product, which requires no knowledge of the zero-mode dependence of the states but includes a correction which accounts for the mixing between zero modes and normal modes as the kink moves. As an application, we show that initial and final state corrections to meson multiplication vanish. However, we find that the pole of the subleading term in the initial state requires an infinitesimal imaginary shift.


title: Nonparametric Measure-Transportation-Based Methods for Directional Data

abstract: This paper proposes various nonparametric tools based on measure transportation for directional data. We use optimal transports to define new notions of distribution and quantile functions on the hypersphere, with meaningful quantile contours and regions and closed-form formulas under the classical assumption of rotational symmetry. The empirical versions of our distribution functions enjoy the expected Glivenko-Cantelli property of traditional distribution functions. They provide fully distribution-free concepts of ranks and signs and define data-driven systems of (curvilinear) parallels and (hyper)meridians. Based on this, we also construct a universally consistent test of uniformity and a class of fully distribution-free and universally consistent tests for directional MANOVA which, in simulations, outperform all their existing competitors. A real-data example involving the analysis of sunspots concludes the paper.


title: Does It Affect You? Social and Learning Implications of Using Cognitive-Affective State Recognition for Proactive Human-Robot Tutoring

abstract: Using robots in educational contexts has already shown to be beneficial for a student's learning and social behaviour. For levitating them to the next level of providing more effective and human-like tutoring, the ability to adapt to the user and to express proactivity is fundamental. By acting proactively, intelligent robotic tutors anticipate possible situations where problems for the student may arise and act in advance for preventing negative outcomes. Still, the decisions of when and how to behave proactively are open questions. Therefore, this paper deals with the investigation of how the student's cognitive-affective states can be used by a robotic tutor for triggering proactive tutoring dialogue. In doing so, it is aimed to improve the learning experience. For this reason, a concept learning task scenario was observed where a robotic assistant proactively helped when negative user states were detected. In a learning task, the user's states of frustration and confusion were deemed to have negative effects on the outcome of the task and were used to trigger proactive behaviour. In an empirical user study with 40 undergraduate and doctoral students, we studied whether the initiation of proactive behaviour after the detection of signs of confusion and frustration improves the student's concentration and trust in the agent. Additionally, we investigated which level of proactive dialogue is useful for promoting the student's concentration and trust. The results show that high proactive behaviour harms trust, especially when triggered during negative cognitive-affective states but contributes to keeping the student focused on the task when triggered in these states. Based on our study results, we further discuss future steps for improving the proactive assistance of robotic tutoring systems.


title: On the computation of analytic sensitivities of eigenpairs in isogeometric analysis

abstract: The eigenmodes of resonating structures, e.g., electromagnetic cavities, are sensitive to deformations of their shape. In order to compute the sensitivities of the eigenpair with respect to a scalar parameter, we state the Laplacian and Maxwellian eigenvalue problems and discretize the models using isogeometric analysis. Since we require the derivatives of the system matrices, we differentiate the system matrices for each setting considering the appropriate function spaces for geometry and solution. This approach allows for a straightforward computation of arbitrary higher order sensitivities in a closed-form. In our work, we demonstrate the application in a setting of small geometric deformations, e.g., for the investigation of manufacturing uncertainties of electromagnetic cavities, as well as in an eigenvalue tracking along a shape morphing.


title: Modeling and optimal control of growth, energy, and resource dynamics of Hermetia illucens in mass production environment

abstract: Mass production of Hermetia illucens insect larvae is now being adopted in many countries and is taking an industrial production approach. Despite abundant literature on factors that affect larvae growth and the optimal static parameters identified in laboratory setup, for an industrial production process it is necessary to identify the trajectories such that the growth as well as the production process is optimal. To achieve this in this work, some of the important requirements and challenges involved thereof are identified and objectives of the automation process are formulated within a model based optimal control setup. Mechanistic models necessary for the optimization framework are derived as differential equations that describe the dynamic variation of resources (feed, water, O2 etc.), energy, and larval biomass. In addition, the elevated metabolic activity of larvae corresponding to the final instar development is identified and also modelled based on the observation from experiments. The mass and energy balance approach used in modelling enables the quantification and distinction of the mass and energy flux components in various levels (e.g. larvae body, growing medium, production environment, and external environment) while holding its applicability for both open and closed/reactor based production setups. Finally, the trajectories generated using the synthesized optimal controller are tested under different scenarios showcasing significant reduction in resource consumption compared to a fixed set-point operation of the production setup. Results presented in this work not only showcase the potential of the mechanistic models and their application in identifying the relevant process parameters (e.g. reactor properties such as volume, thermal conductivity, actuator capacities), but most importantly in optimizing the process dynamically and tuning the process objectives as desired.


title: Efficient and all-carbon electrical readout of a NV based quantum sensor

abstract: The spin readout of an ensemble of nitrogen-vacancy (NV) centers in diamond can be realized by a photoconductive detection that is a complementary method to the optical detection of the NV electron spin magnetic resonance. Here, we implement the photoconductive detection through graphitic planar electrodes that collect the photocurrent. Graphitic electrodes are patterned using a xenon Focused-Ion Beam on an Optical-Grade quality diamond crystal containing a nitrogen concentration of ~1 ppm and a NV concentration of a few ppb. Resistance and current-voltage characteristics of the NV-doped diamond junction are investigated tuning the 532 nm pump beam intensity. The junction has an ohmic behavior and under a strong bias field, we observe velocity saturation of the optically-induced carriers in the diamond junction. We perform the photoconductive detection in continuous-wave regime of the magnetic resonance of the NV centers ensemble for a magnetic field applied along the <100> and the <111> direction with a magnitude above 100 mT. This technique enables the realization of all-carbon diamond quantum sensors integrating graphitic microstructures for the electrical readout.


title: On the local metric property in multivariate extremes

abstract: Many multivariate data sets exhibit a form of positive dependence, which can either appear globally between all variables or only locally within particular subgroups. A popular notion of positive dependence that allows for localized positivity is positive association. In this work we introduce the notion of extremal positive association for multivariate extremes from threshold exceedances. Via a sufficient condition for extremal association, we show that extremal association generalizes extremal tree models. For H\"usler--Reiss distributions the sufficient condition permits a parametric description that we call the metric property. As the parameter of a H\"usler--Reiss distribution is a Euclidean distance matrix, the metric property relates to research in electrical network theory and Euclidean geometry. We show that the metric property can be localized with respect to a graph and study surrogate likelihood inference. This gives rise to a two-step estimation procedure for locally metrical H\"usler--Reiss graphical models. The second step allows for a simple dual problem, which is implemented via a gradient descent algorithm. Finally, we demonstrate our results on simulated and real data.


title: The cumulant generating function as a novel observable to cumulate weak lensing information

abstract: Key non-Gaussian properties of cosmological fields can be captured by their one-point statistics, providing a complement to two-point statistical measurements from power spectra or correlation functions. Large deviation theory can robustly predict the one-point statistics of cosmological density fields on mildly non-linear scales from first principles. It provides a direct prediction for the cumulant generating function (CGF) of such fields, from which a prediction for the more commonly used probability density function (PDF) is extracted through an inverse Laplace transform. For joint one-point statistics of multiple fields, the inverse Laplace transform rapidly becomes more cumbersome and computationally expensive. In this work, we demonstrate for the first time that the weak lensing CGF itself can be used as an observable that captures an equal amount of cosmological information to the PDF. While we use the weak-lensing convergence field as a simplistic and instructive example, this work is intended as a first step towards a cosmological analysis based on large deviation theory in the context of a nulling framework, which excludes contributions from small scales to facilitate highly accurate theoretical predictions. In this context, the method should be generally applicable for a multi-scale tomographic analysis of weak lensing and galaxy clustering.


abstract: Target Propagation (TP) is a biologically more plausible algorithm than the error backpropagation (BP) to train deep networks, and improving practicality of TP is an open issue. TP methods require the feedforward and feedback networks to form layer-wise autoencoders for propagating the target values generated at the output layer. However, this causes certain drawbacks; e.g., careful hyperparameter tuning is required to synchronize the feedforward and feedback training, and frequent updates of the feedback path are usually required than that of the feedforward path. Learning of the feedforward and feedback networks is sufficient to make TP methods capable of training, but is having these layer-wise autoencoders a necessary condition for TP to work? We answer this question by presenting Fixed-Weight Difference Target Propagation (FW-DTP) that keeps the feedback weights constant during training. We confirmed that this simple method, which naturally resolves the abovementioned problems of TP, can still deliver informative target values to hidden layers for a given task; indeed, FW-DTP consistently achieves higher test performance than a baseline, the Difference Target Propagation (DTP), on four classification datasets. We also present a novel propagation architecture that explains the exact form of the feedback function of DTP to analyze FW-DTP.


title: Structure of vertices in massless theories

abstract: We characterize the singularity set of massless theories by giving a complete set of the Landau polynomials. We find the general form of Gauss-Manin connection. We show that for massless theories the dependence on momenta decouples from the dependence on coupling and dimension. The latter is completely absorbed into a set of matrices that have no dependence on kinematic variables.


title: Edge Contraction and Line Graphs

abstract: Given a family of graphs $\mathcal{H}$, a graph $G$ is $\mathcal{H}$-free if any subset of $V(G)$ does not induce a subgraph of $G$ that is isomorphic to any graph in $\mathcal{H}$. We present sufficient and necessary conditions for a graph $G$ such that $G/e$ is $\mathcal{H}$-free for any edge $e$ in $E(G)$. Thereafter, we use these conditions to characterize claw-free and line graphs.


title: Optimizing Serially Concatenated Neural Codes with Classical Decoders

abstract: For improving short-length codes, we demonstrate that classic decoders can also be used with real-valued, neural encoders, i.e., deep-learning based codeword sequence generators. Here, the classical decoder can be a valuable tool to gain insights into these neural codes and shed light on weaknesses. Specifically, the turbo-autoencoder is a recently developed channel coding scheme where both encoder and decoder are replaced by neural networks. We first show that the limited receptive field of convolutional neural network (CNN)-based codes enables the application of the BCJR algorithm to optimally decode them with feasible computational complexity. These maximum a posteriori (MAP) component decoders then are used to form classical (iterative) turbo decoders for parallel or serially concatenated CNN encoders, offering a close-to-maximum likelihood (ML) decoding of the learned codes. To the best of our knowledge, this is the first time that a classical decoding algorithm is applied to a non-trivial, real-valued neural code. Furthermore, as the BCJR algorithm is fully differentiable, it is possible to train, or fine-tune, the neural encoder in an end-to-end fashion.


title: Dissecting Transformer Length Extrapolation via the Lens of Receptive Field Analysis

abstract: Length extrapolation permits training a transformer language model on short sequences that preserves perplexities when tested on substantially longer sequences. A relative positional embedding design, ALiBi, has had the widest usage to date. We dissect ALiBi via the lens of receptive field analysis empowered by a novel cumulative normalized gradient tool. The concept of receptive field further allows us to modify the vanilla Sinusoidal positional embedding to create ~\textbf{Sandwich}, the first parameter-free relative positional embedding design that truly length information uses longer than the training sequence. Sandwich shares with KERPLE and T5 the same logarithmic decaying temporal bias pattern with learnable relative positional embeddings; these elucidate future extrapolatable positional embedding design.


title: Thermodynamics of the mono-energetic energy selective Contacts of the hot carrier solar cell

abstract: The hot carrier solar cell (HCSC) has the potential for converting solar energy into electrochemical energy with an efficiency of 85.4%. For this, in addition to an idealized light absorber, the HCSC has to be connected to the external load by means of the so-called \emph{mono-energetic energy selective contacts} (ESCs). However, the thermodynamic properties that these types of contact have to exhibit, such as their electric, thermal conductivity and Seebeck coefficient, have not been explored. This paper aims to fill this gap. In this respect, we model electron transport in non-ideal ESCs using the transport theory proposed by Datta and Landauer which has allowed us to calculate the value of these parameters as a function of the temperature and electrochemical potential of operation. Our findings also reveal that, to preserve the HCSC efficiency above 82%, the ESCs could require in the order of $3 \times 10^{19}$ cm$^{-3}$ electron states. As the ESCs depart from ideality, the temperature of the hot carriers at which optimum efficiency is obtained increases to above 2540 K. The mono-enenergetic selective contact characterized by the highest energy demands an electric, thermal conductivity and Seebeck coefficient that, when combined, are characterized by a high thermoelectric figure of merit $(ZT\approx 8)$. We are not aware of any material exhibiting this figure of merit which illustrates the difficulty in putting the HCSC concept into practice. Conversely, our work supports the idea that pursuing materials capable of transporting electrons ballistically through mono-energetic electron channels can provide the key for achieving materials characterized by high $ZT$


title: Binding Energies for Successive Addition Reaction of .OH with C60 : A Laboratory for Testing Frontier Molecular Orbital Theory

abstract: We study the successive addition reaction of .OH on fullerene C60. We confirm that the lowest energy isomers of C60(OH)n form a belt of hydroxyl groups around the equator of C60, but ask the question of what governs the relative stability of subtitutions at different carbons? Factors concerning regioselectivity are analyzed in terms of conceptual density-functional theory, frontier molecular orbital theory, charge and spin densities, based upon Mulliken population analysis. We confirm that .OH is an electrophilic radical whose successive reaction with C60 is under both charge and orbital control. This is seen to be especially the case for addition to odd .C60(OH)2m+1 fullerenols, but is also seen from a Fukui function and dual descriptor analysis for even C60(OH)2m fullerenols. Of particular interest is the ability of the condensed radical Fukui function f0 to provide information about the reactivity of even C60(OH)2m fullerenols with .OH also when the spin density is zero, and the observation that the interpretation of the sign of the dual descriptor changes depending upon whether a spin-restricted calculation is being performed for even C60(OH)2m fullerenols or a spin-unrestricted calculation is being performed for odd .C60(OH)2m+1 fullerenols.


title: Simultaneous Inference of a Partially Linear Model in Time Series

abstract: We introduce a new methodology to conduct simultaneous inference of the nonparametric component in partially linear time series regression models where the nonparametric part is a multivariate unknown function. In particular, we construct a simultaneous confidence region (SCR) for the multivariate function by extending the high-dimensional Gaussian approximation to dependent processes with continuous index sets. Our results allow for a more general dependence structure compared to previous works and are widely applicable to a variety of linear and nonlinear autoregressive processes. We demonstrate the validity of our proposed methodology by examining the finite-sample performance in the simulation study. Finally, an application in time series, the forward premium regression, is presented, where we construct the SCR for the foreign exchange risk premium from the exchange rate and macroeconomic data.


title: Wrapped M5-branes and AdS$_5$ Black Holes

abstract: We use consistent truncations in supergravity to show that the backreaction of $N$ rotating M5-branes wrapped on a Riemann surface leads to asymptotically AdS$_5$ black hole solutions of 11d supergravity. We discuss the thermodynamic properties of these black holes focusing on their supersymmetric limit. The Bekenstein-Hawking entropy of the supersymmetric black holes scales as $N^3$ and can be reproduced by the superconformal index of the holographically dual 4d $\mathcal{N}=1$ SCFTs of class $\mathcal{S}$.


title: Optical Switching in Tb/Co-Multilayer Based Nanoscale Magnetic Tunnel Junctions

abstract: Magnetic tunnel junctions (MTJs) are elementary units of magnetic memory devices. For high-speed and low-power data storage and processing applications, fast reversal by an ultrashort laser pulse is extremely important. We demonstrate optical switching of Tb/Comultilayer-based nanoscale MTJs by combining optical writing and electrical read-out methods. A 90 fs-long laser pulse switches the magnetization of the storage layer (SL). The change in magnetoresistance between the SL and a reference layer (RL) is probed electrically across the tunnel barrier. Single-shot switching is demonstrated by varying the cell diameter from 300 nm to 20 nm. The anisotropy, magnetostatic coupling, and switching probability exhibit cell-size dependence. By suitable association of laser fluence and magnetic field, successive commutation between high-resistance and low-resistance states is achieved. The switching dynamics in a continuous film is probed with the magneto-optical Kerr effect technique. Our experimental findings provide strong support for the growing interest in ultrafast spintronic devices.


title: Vagus nerve manipulation and microglial plasticity in the prenatal brain

abstract: The efferent and afferent effects of the vagus nerve on the developing brain have remained enigmatic. Here we review the evidence of such effects on microglial plasticity in the sheep model of human fetal development, one of the most recognized and deployed models of human fetal physiology. We show that vagotomy alters microglial phenotype and that this effect is hormetic under conditions of mild systemic inflammation, as may occur antepartum with chorioamnionitis. We present the methodology to assess not only biomarker-based microglial activation but also the morphometric features of the microglia. Together, these assessments provide a more comprehensive toolbox of glial phenotypical characterizations, especially in the context of investigating the locoregional vagal control of glial function. The presented findings support the earlier discoveries in preclinical and clinical models of adult physiology whereby vagotomy appeared neuroprotective for Parkinson disease, explained, at least in part, by the effects on microglia. In addition, we present the approach to measure and the findings on regional cerebral blood flow changes in relation to vagus nerve manipulation. In summary, the body of evidence underscores the importance of both the efferent and the afferent vagal pathways, via the vagus nerve, in the programming of microglial phenotype in the developing brain. The significance of these relationships for developing and treating early susceptibility to neuroinflammatory and neurodegenerative disorders in later life requires further studies.


title: The hadron spectra and pion form factor in dynamical holographic QCD model with anomalous 5D mass of scalar field

abstract: The simplest version of the dynamical holographic QCD model is described by adding the KKSS model action on a dilaton-graviton coupled background, in which the AdS$_5$ metric is deformed by the gluon condensation and further deformed by the chiral condensation. In this framework, both the chiral symmetry breaking and linear confinement can be realized, the light-flavor hadron spectra and the pion form factor were investigated but it was difficult to reconcile the light-flavor hadron spectra and pion form factor. By considering the anomalous 5-dimension mass correction of the scalar field from QCD running coupling, it is found that the light flavor hadron spectra and pion form factor can be described well simultaneously, especially the ground state and lower excitation states of scalar, pseudo scalar and axial vector meson spectra are improved, but the vector meson spectra is not sensitive to the anomalous 5-dimension mass correction of the scalar field.


title: Acoustic scattering from a wave-bearing cavity with flexible inlet and outlet

abstract: In this article, we substantiate the appositeness of the \emph{mode-matching technique} to study the scattering response of bridging elastic plates connecting two flexible duct regions of different heights. We present two different solution schemes to analyze the structure-borne and fluid-borne radiations in the elastic plate-bounded waveguide. The first scheme supplements the mode-matching technique with the so-called \emph{tailored-Galerkin approach} which uses a solution ansatz with homogeneous and integral parts corresponding to the vibrations of the bridging elastic plate and the cavity, respectively. In the second scheme, we supplement the mode-matching technique with the \emph{modal approach} wherein the displacement of the bridging elastic plate is projected onto the eigenmodes of the cavity. To handle the non-orthogonality of the eigenfunctions, we invoke generalized orthogonality relations. An advantage of the proposed mode-matching schemes is that they provide a convenient way of incorporating a variety of edge conditions on the joints of the plates, including clamped, pin-joint, or restraint connections. The numerical analysis of the waveguide scattering problems substantiates that edge connections on the joints have a significant impact on the scattering energies and transmission loss.

categories: physics.class-ph math-ph math.AP math.MP


title: Radon Decays and Their Implications for Elementary Particle Physics

abstract: This paper presents a new analysis of the observations of radon decay in an enclosed environment by the Geological Survey of Israel (GSI) between 2007 and 2012 [4]; for a more complete list of experiments performed by GSI on radon see also references [1-3]. The data exhibit a large peak around local noon followed by an abrupt drop, and by a second peak around 6PM local time. Additionally, there is also a very low amplitude peak occurring before daybreak. The salient features of the GSI radon decay data can be modeled as arising from a change in the radon decay rate, rather than due to the changes in the local concentration of radon (N0). Such a model may provide a clue to long theorized axionic, dark matter, interactions. Finally, new experimentation is suggested that can distinguish between changes in N0 versus changes in decay rate. Should a follow-up experiment show an effect similar to that seen in GSI, this could have significant implications for elementary particle physics.


title: Line bundles on $G$-Bott-Samelson-Demazure-Hansen varieties

abstract: Let $G$ be a semi-simple simply connected algebraic group over an algebraically closed field $k$ of arbitrary characteristic. Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $W$ be the Weyl group of $G$ with respect to $T$. For an arbitrary sequence $w=(s_{i_{1}},s_{i_{2}},\ldots, s_{i_{r}})$ of simple reflections in $W,$ let $Z_{w}$ be the Bott-Samelson-Demazure-Hansen variety (BSDH-variety for short) corresponding to $w.$ Let $\widetilde{Z_{w}}:=G\times^{B}Z_{w}$ denote the fibre bundle over $G/B$ with the fibre over $B/B$ is $Z_{w}.$ In this article, we give necessary and sufficient conditions for the varieties $Z_{w}$ and $\widetilde{Z_{w}}$ to be Fano (weak-Fano). We show that a line bundle on $Z_{w}$ is globally generated if and only if it is nef. We show that Picard group $\text{Pic}(\widetilde{Z_{w}})$ is free abelian and we construct a $\mathcal{O}(1)$-basis. We characterize the nef, globally generated, ample and very ample line bundles on $\widetilde{Z_{w}}$ in terms of the $\mathcal{O}(1)$-basis.


title: Modeling Human Eye Movements with Neural Networks in a Maze-Solving Task

abstract: From smoothly pursuing moving objects to rapidly shifting gazes during visual search, humans employ a wide variety of eye movement strategies in different contexts. While eye movements provide a rich window into mental processes, building generative models of eye movements is notoriously difficult, and to date the computational objectives guiding eye movements remain largely a mystery. In this work, we tackled these problems in the context of a canonical spatial planning task, maze-solving. We collected eye movement data from human subjects and built deep generative models of eye movements using a novel differentiable architecture for gaze fixations and gaze shifts. We found that human eye movements are best predicted by a model that is optimized not to perform the task as efficiently as possible but instead to run an internal simulation of an object traversing the maze. This not only provides a generative model of eye movements in this task but also suggests a computational theory for how humans solve the task, namely that humans use mental simulation.


title: Masked Event Modeling: Self-Supervised Pretraining for Event Cameras

abstract: Event cameras asynchronously capture brightness changes with low latency, high temporal resolution, and high dynamic range. However, annotation of event data is a costly and laborious process, which limits the use of deep learning methods for classification and other semantic tasks with the event modality. To reduce the dependency on labeled event data, we introduce Masked Event Modeling (MEM), a self-supervised framework for events. Our method pretrains a neural network on unlabeled events, which can originate from any event camera recording. Subsequently, the pretrained model is finetuned on a downstream task, leading to a consistent improvement of the task accuracy. For example, our method reaches state-of-the-art classification accuracy across three datasets, N-ImageNet, N-Cars, and N-Caltech101, increasing the top-1 accuracy of previous work by significant margins. When tested on real-world event data, MEM is even superior to supervised RGB-based pretraining. The models pretrained with MEM are also label-efficient and generalize well to the dense task of semantic image segmentation.


title: Two geometric models for graded skew-gentle algebras

abstract: In Part 1, we classify (indecomposable) objects in the perfect derived category $\mathrm{per}\Lambda$ of a graded skew-gentle algebra $\Lambda$, generalizing technique/results of Burban-Drozd and Deng to the graded setting. We also use the usual punctured marked surface $\mathbf{S}^\lambda$ with grading (and a full formal arc system) to give a geometric model for this classification. In Part2, we introduce a new surface $\mathbf{S}^\lambda_*$ with binaries from $\mathbf{S}^\lambda$ by replacing each puncture $P$ by a boundary component $*_P$ (called a binary) with one marked point, and composing an equivalent relation $D_{*_P}^2=\mathrm{id}$, where $D_{*_p}$ is the Dehn twist along $*_P$. Certain indecomposable objects in $\mathrm{per}\Lambda$ can be also classified by graded unknotted arcs on $\mathbf{S}^\lambda_*$. Moreover, using this new geometric model, we show that the intersections between any two unknotted arcs provide a basis of the morphisms between the corresponding arc objects, i.e. formula $\mathrm{Int}=\mathrm{dim}\mathrm{Hom}$ holds.


title: Hopf Physical Reservoir Computer for Reconfigurable Sound Recognition

abstract: The Hopf oscillator is a nonlinear oscillator that exhibits limit cycle motion. This reservoir computer utilizes the vibratory nature of the oscillator, which makes it an ideal candidate for reconfigurable sound recognition tasks. In this paper, the capabilities of the Hopf reservoir computer performing sound recognition are systematically demonstrated. This work shows that the Hopf reservoir computer can offer superior sound recognition accuracy compared to legacy approaches (e.g., a Mel spectrum + machine learning approach). More importantly, the Hopf reservoir computer operating as a sound recognition system does not require audio preprocessing and has a very simple setup while still offering a high degree of reconfigurability. These features pave the way of applying physical reservoir computing for sound recognition in low power edge devices.


title: Exploring gauge theories with adjoint matter on the lattice

abstract: We review our efforts in investigating gauge theories with fermions in the adjoint representation of the gauge group by means of numerical simulations. These theories have applications in possible extensions of the Standard Model of particle physics, being a core part of supersymmetric gauge theories. They also play an important role in uncovering fundamental properties of strongly interacting theories due to distinct features, such as a substantially different phase diagram.


title: Se-ResNet+SVM model: an effective method of searching for hot subdwarfs from LAMOST

abstract: In this paper, we apply the feature-integration idea to fuse the abstract features extracted by Se-ResNet with experience features into hybrid features and input the hybrid features to the Support Vector Machine (SVM) to classify Hot subdwarfs. Based on this idea, we construct a Se-ResNet+SVM model, including a binary classification model and a four-class classification model. The four-class classification model can further screen the hot subdwarf candidates obtained by the binary classification model. The F1 values derived by the binary and the four-class classification model on the test set are 96.17% and 95.64%, respectively. Then, we use the binary classification model to classify 333,534 nonFGK type spectra in the low-resolution spectra of LAMOST DR8 and obtain a catalog of 3,266 hot subdwarf candidates, of which 1223 are newly-determined. Subsequently, the four-class classification model further filtered the 3,266 candidates, 409 and 296 are newly-determined respectively when the thresholds were set at 0.5 and 0.9. Through manual inspection, The true number of hot subdwarfs in the three newly-determined canditates are 176, 63, and 41, the corresponding precision of the classification model in the three cases are 67.94%, 84.88%, and 87.60%, respectively. Finally, we train a Se-ResNet regression model with MAE values of 1212.65 K for Teff, 0.32 dex for log g and 0.24 for [He/H], and predict the atmospheric parameters of these 176 hot subdwarf stars. This provides a certain amount of samples to help for future studies of hot subdwarfs.


title: Bateman-Horn, polynomial Chowla and the Hasse principle with probability 1

abstract: With probability 1, we assess the average behaviour of various arithmetic functions at the values of degree d polynomials f that are ordered by height. This allows us to establish averaged versions of the Bateman-Horn conjecture, the polynomial Chowla conjecture and to address a basic question about the integral Hasse principle for norm form equations. Moreover, we are able to quantify the error term in the asymptotics and the size of the exceptional set of f, both with arbitrary logarithmic power savings.


title: Intrinsic signal optoretinography of dark adaptation abnormality due to rod degeneration

abstract: Significance: Multiple eye diseases such as age-related macular degeneration, diabetic retinopathy, and retinitis pigmentosa can cause photoreceptor dysfunction. Rod photoreceptors are known to be more vulnerable than cone photoreceptors. Therefore, functional assessment of rod photoreceptors is important for early detection of eye diseases. Aim: This study is to demonstrate the feasibility of using intrinsic optical signal (IOS) optoretinography (ORG) for objective detection of dark adaptation (DA) abnormality due to rod photoreceptor degeneration. Approach: Functional optical coherence tomography (OCT) was employed for IOS ORG of wild-type (WT) and retinal degeneration 10 (rd10) mice. Six WT C57BL/6J and eight rd10 B6.CXB1-Pde6brd10/J mice at postnatal day 14 (P14) were used for this study. Dynamic OCT analysis of retinal thickness and brightness changes, corresponding to light to dark transition, was implemented Results: Comparative measurement of the retina under light and dark conditions revealed significant IOS changes within the outer retina. The thickness between external limiting membrane (ELM) and retinal pigment epithelium (RPE) reduced, and the OCT brightness of inner segment ellipsoid zone (EZ) decreased during DA, compared to light adaptation (LA). Relative EZ intensity change was observed to decrease larger in rd10, compared to WT. The relative intensity of the hyporeflective band between ELM and RPE also showed significant decrease in rd10 retinas during DA. Conclusions: DA-IOS abnormalities were observed in rd10, compared to WT at P14. The ORG measurement of DA-IOS kinetics promises valuable information for noninvasive assessment of photoreceptor function.


title: Self-Adaptive In-Context Learning: An Information Compression Perspective for In-Context Example Selection and Ordering

abstract: Despite the surprising few-shot performance of in-context learning (ICL), it is still a common practice to randomly sample examples to serve as context. This paper advocates a new principle for ICL: self-adaptive in-context learning. The self-adaption mechanism is introduced to help each sample find an in-context example permutation (i.e., selection and ordering) that can derive the correct prediction, thus maximizing performance. To validate the effectiveness of self-adaptive ICL, we propose a general select-then-rank framework and instantiate it with new selection and ranking algorithms. Upon extensive evaluation on eight different NLP datasets, our self-adaptive ICL method achieves a 40% relative improvement over the common practice setting. Further analysis reveals the enormous potential of self-adaptive ICL that it might be able to close the gap between ICL and finetuning given more advanced algorithms. Our code is released to facilitate future research in this area: https://github.com/Shark-NLP/self-adaptive-ICL


title: The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

abstract: This report summarizes the 3rd International Verification of Neural Networks Competition (VNN-COMP 2022), held as a part of the 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), which was collocated with the 34th International Conference on Computer-Aided Verification (CAV). VNN-COMP is held annually to facilitate the fair and objective comparison of state-of-the-art neural network verification tools, encourage the standardization of tool interfaces, and bring together the neural network verification community. To this end, standardized formats for networks (ONNX) and specification (VNN-LIB) were defined, tools were evaluated on equal-cost hardware (using an automatic evaluation pipeline based on AWS instances), and tool parameters were chosen by the participants before the final test sets were made public. In the 2022 iteration, 11 teams participated on a diverse set of 12 scored benchmarks. This report summarizes the rules, benchmarks, participating tools, results, and lessons learned from this iteration of this competition.


title: A nonlinear bound for the number of subsequence sums

abstract: We show that a finite zero-sum-free sequence $\alpha$ over an abelian group has at least $c|\alpha|^{4/3}$ distinct subsequence sums, unless $\alpha$ is "controlled" by a small number of its terms; here $|\alpha|$ denotes the number of terms of $\alpha$, and $c>0$ is an absolute constant.


title: Data Curation Alone Can Stabilize In-context Learning

abstract: In-context learning (ICL) enables large language models (LLMs) to perform new tasks by prompting them with a sequence of training examples. However, it is known that ICL is very sensitive to the choice of training examples: randomly sampling examples from a training set leads to high variance in performance. In this paper, we show that carefully curating a subset of training data greatly stabilizes ICL performance without any other changes to the ICL algorithm (e.g., prompt retrieval or calibration). We introduce two methods to choose training subsets -- both score training examples individually, then select the highest-scoring ones. CondAcc scores a training example by its average dev-set ICL accuracy when combined with random training examples, while Datamodels learns linear regressors that estimate how the presence of each training example influences LLM outputs. Across five tasks and two LLMs, sampling from stable subsets selected by CondAcc and Datamodels improves average accuracy over sampling from the entire training set by 7.7% and 6.3%, respectively. Surprisingly, the stable subset examples are not especially diverse in content or low in perplexity, in contrast with other work suggesting that diversity and perplexity are important when prompting LLMs.


title: Strong Pedersen rigidity for coactions of compact groups

abstract: We prove a version of Pedersen's outer conjugacy theorem for coactions of compact groups, which characterizes outer conjugate coactions of a compact group in terms of properties of the dual actions. In fact, we show that every isomorphism of a dual action comes from a unique outer conjugacy of a coaction, which in this context should be called strong Pedersen rigidity. We promote this to a category equivalence.


title: What Are You Token About? Dense Retrieval as Distributions Over the Vocabulary

abstract: Dual encoders are now the dominant architecture for dense retrieval. Yet, we have little understanding of how they represent text, and why this leads to good performance. In this work, we shed light on this question via distributions over the vocabulary. We propose to interpret the vector representations produced by dual encoders by projecting them into the model's vocabulary space. We show that the resulting projections contain rich semantic information, and draw connection between them and sparse retrieval. We find that this view can offer an explanation for some of the failure cases of dense retrievers. For example, we observe that the inability of models to handle tail entities is correlated with a tendency of the token distributions to forget some of the tokens of those entities. We leverage this insight and propose a simple way to enrich query and passage representations with lexical information at inference time, and show that this significantly improves performance compared to the original model in zero-shot settings, and specifically on the BEIR benchmark.


title: To Adapt or to Annotate: Challenges and Interventions for Domain Adaptation in Open-Domain Question Answering

abstract: Recent advances in open-domain question answering (ODQA) have demonstrated impressive accuracy on standard Wikipedia style benchmarks. However, it is less clear how robust these models are and how well they perform when applied to real-world applications in drastically different domains. While there has been some work investigating how well ODQA models perform when tested for out-of-domain (OOD) generalization, these studies have been conducted only under conservative shifts in data distribution and typically focus on a single component (ie. retrieval) rather than an end-to-end system. In response, we propose a more realistic and challenging domain shift evaluation setting and, through extensive experiments, study end-to-end model performance. We find that not only do models fail to generalize, but high retrieval scores often still yield poor answer prediction accuracy. We then categorize different types of shifts and propose techniques that, when presented with a new dataset, predict if intervention methods are likely to be successful. Finally, using insights from this analysis, we propose and evaluate several intervention methods which improve end-to-end answer F1 score by up to 24 points.


title: A World Full of Privacy and Security (Mis)conceptions? Findings of a Representative Survey in 12 Countries

abstract: Misconceptions about digital security and privacy topics in the general public frequently lead to insecure behavior. However, little is known about the prevalence and extent of such misconceptions in a global context. In this work, we present the results of the first large-scale survey of a global population on misconceptions: We conducted an online survey with n = 12, 351 participants in 12 countries on four continents. By investigating influencing factors of misconceptions around eight common security and privacy topics (including E2EE, Wi-Fi, VPN, and malware), we find the country of residence to be the strongest estimate for holding misconceptions. We also identify differences between non-Western and Western countries, demonstrating the need for region-specific research on user security knowledge, perceptions, and behavior. While we did not observe many outright misconceptions, we did identify a lack of understanding and uncertainty about several fundamental privacy and security topics.


title: Charge Kondo circuit as a detector for electron-electron interactions in a Luttinger Liquid

abstract: We investigate the effects of the electron-electron interactions on the quantum transport through a charge Kondo circuit. The setup consists of a quantum dot sandwiched between two leads by two nearly transparent single mode quantum point contacts. The size of the interacting area $L$ in the Luttinger liquid formed in the vicinities of the narrow constrictions is assumed to be much smaller compared to the size of the quantum dot $a$. We predict that the interplay between the electron-electron interactions in the Luttinger liquid and the fingerprints of the non-Fermi liquid behavior in the vicinity of the two channel Kondo intermediate coupling fixed point allows one to determine the interaction strength through the power-law temperature scaling of the electric conductance.


title: Differentiability and Regularization of Parametric Convex Value Functions in Stochastic Multistage Optimization

abstract: In multistage decision problems, it is often the case that an initial strategic decision (such as investment) is followed by many operational ones (operating the investment). Such initial strategic decision can be seen as a parameter affecting a multistage decision problem. More generally, we study in this paper a standard multistage stochastic optimization problem depending on a parameter. When the parameter is fixed, Stochastic Dynamic Programming provides a way to compute the optimal value of the problem. Thus, the value function depends both on the state (as usual) and on the parameter. Our aim is to investigate on the possibility to efficiently compute gradients of the value function with respect to the parameter, when these objects exist. When nondifferentiable, we propose a regularization method based on the Moreau-Yosida envelope. We present a numerical test case from day-ahead power scheduling.


title: High-accuracy thermodynamic properties to the melting point from ab initio calculations aided by machine-learning potentials

abstract: Accurate prediction of thermodynamic properties requires an extremely accurate representation of the free energy surface. Requirements are twofold -- first, the inclusion of the relevant finite-temperature mechanisms, and second, a dense volume-temperature grid on which the calculations are performed. A systematic workflow for such calculations requires computational efficiency and reliability, and has not been available within an ab initio framework so far. Here, we elucidate such a framework involving direct upsampling, thermodynamic integration and machine-learning potentials, allowing us to incorporate, in particular, the full effect of anharmonic vibrations. The improved methodology has a five-times speed-up compared to state-of-the-art methods. We calculate equilibrium thermodynamic properties up to the melting point for bcc Nb, magnetic fcc Ni, fcc Al and hcp Mg, and find remarkable agreement with experimental data. Strong impact of anharmonicity is observed specifically for Nb. The introduced procedure paves the way for the development of ab initio thermodynamic databases.


title: Mechanism of carrier doping induced magnetic phase transitions in two-dimensional materials

abstract: Electrically tuning long-range magnetic orders has been realized in two-dimensional (2D) semiconductors via electrostatic doping. On the other hand, the observations are highly diverse: the transition can be realized by either electrons or holes or both depending on specific materials. Moreover, doped carriers seem to always favor the ferromagnetic (FM) ground state. The mechanism behind those diverse observations remains uncovered. Combining first-principles simulations, we analyze the spin superexchange paths of the correlated d/f orbitals around band edges and assign 2D magnetic semiconductors into three types by their projected density of states (PDOS). We find that each type of PDOS corresponds to a specific carrier-driven magnetic phase transition and the critical doping density and type of carriers can be quantitatively obtained by calculating the superexchange coupling strength. The model results are in good agreements with first-principles calculations and available measurements. After understanding the mechanism, we can design heterostructures to realize the FM to antiferromagnetic transition, which has not been realized before. This model is helpful to understand diverse measurements and expand the degrees of freedom to control long-range magnetic orders in 2D semiconductors.


title: Tuning the Tail Latency of Distributed Queries Using Replication

abstract: Querying graph data with low latency is an important requirement in application domains such as social networks and knowledge graphs. Graph queries perform multiple hops between vertices. When data is partitioned and stored across multiple servers, queries executing at one server often need to hop to vertices stored by another server. Such distributed traversals represent a performance bottleneck for low-latency queries. To reduce query latency, one can replicate remote data to make distributed traversals unnecessary, but replication is expensive and should be minimized. In this paper, we introduce the problem of finding data replication schemes that satisfy arbitrary user-defined query latency constraints with minimal replication cost. We propose a novel workload model to express data access causality, propose a family of heuristics, and introduce non-trivial sufficient conditions for their correctness. Our evaluation on two representative benchmarks show that our algorithms enable fine-tuning query latency with data replication and can find sweet spots in the latency/replication design space.


title: ThreatKG: A Threat Knowledge Graph for Automated Open-Source Cyber Threat Intelligence Gathering and Management

abstract: Despite the increased adoption of open-source cyber threat intelligence (OSCTI) for acquiring knowledge about cyber threats, little effort has been made to harvest knowledge from a large number of unstructured OSCTI reports available in the wild (e.g., security articles, threat reports). These reports provide comprehensive threat knowledge in a variety of entities (e.g., IOCs, threat actors, TTPs) and relations, which, however, are hard to gather due to diverse report formats, large report quantities, and complex structures and nuances in the natural language report text. To bridge the gap, we propose ThreatKG, a system for automated open-source cyber threat knowledge gathering and management. ThreatKG automatically collects a large number of OSCTI reports from various sources, extracts high-fidelity threat knowledge, constructs a threat knowledge graph, and updates the knowledge graph by continuously ingesting new knowledge. To address multiple challenges, ThreatKG provides: (1) a hierarchical ontology for modeling a variety of threat knowledge entities and relations; (2) an accurate deep learning-based pipeline for threat knowledge extraction; (3) a scalable and extensible system architecture for threat knowledge graph construction, persistence, updating, and exploration. Evaluations on a large number of reports demonstrate the effectiveness of ThreatKG in threat knowledge gathering and management


title: Landau-Levich Enhanced Cheerios Effect

abstract: We study the capillary attraction force between two fibers dynamically withdrawn from a bath. We propose an experimental method to measure this force and show that its magnitude strongly increases with the retraction speed by up to a factor ten compared to the static case. We show that this remarkable increase stems from the shape of the dynamical meniscus between the two fibers. We first study the dynamical meniscus around one fiber, and obtain experimental and numerical scaling of its size increase with the capillary number, which is not captured by the classical Landau-Levich-Derjaguin theory. We then show that the shape of the deformed air-liquid interface around two fibers can be inferred from the linear superposition of the interface around a single fiber. These results yield an analytical expression for the attraction which compares well with the experimental data. Our study reveals the critical role of the retraction speed to create stronger capillary interactions, with potential applications in industry or biology.


title: UniDA3D: Unified Domain Adaptive 3D Semantic Segmentation Pipeline

abstract: State-of-the-art 3D semantic segmentation models are trained on off-the-shelf public benchmarks, but they will inevitably face the challenge of recognition accuracy drop when these well-trained models are deployed to a new domain. In this paper, we introduce a Unified Domain Adaptive 3D semantic segmentation pipeline (UniDA3D) to enhance the weak generalization ability, and bridge the point distribution gap between domains. Different from previous studies that only focus on a single adaptation task, UniDA3D can tackle several adaptation tasks in 3D segmentation field, by designing a unified source-and-target active sampling strategy, which selects a maximally-informative subset from both source and target domains for effective model adaptation. Besides, benefiting from the rise of multi-modal 2D-3D datasets, UniDA3D investigates the possibility of achieving a multi-modal sampling strategy, by developing a cross-modality feature interaction module that can extract a representative pair of image and point features to achieve a bi-directional image-point feature interaction for safe model adaptation. Experimentally, UniDA3D is verified to be effective in many adaptation tasks including: 1) unsupervised domain adaptation, 2) unsupervised few-shot domain adaptation; 3) active domain adaptation. Their results demonstrate that, by easily coupling UniDA3D with off-the-shelf 3D segmentation baselines, domain generalization ability of these baselines can be enhanced.


title: Empowering Sentence Encoders with Prompting and Label Retrieval for Zero-shot Text Classification

abstract: With contrastive pre-training, sentence encoders are generally optimized to locate semantically similar samples closer to each other in their embedding spaces. In this work, we focus on the potential of their embedding spaces to be readily adapted to zero-shot text classification, as semantically distinct samples are already well-separated. Our framework, RaLP (Retrieval augmented Label Prompts for sentence encoder), encodes prompted label candidates with a sentence encoder, then assigns the label whose prompt embedding has the highest similarity with the input text embedding. In order to compensate for the potentially poorly descriptive labels in their original format, RaLP retrieves sentences that are semantically similar to the original label prompt from external corpora and use them as additional pseudo-label prompts. RaLP achieves competitive or stronger performance than much larger baselines on various closed-set classification and multiple-choice QA datasets under zero-shot settings. We show that the retrieval component plays a pivotal role in RaLP's success, and its results are robustly attained regardless of verbalizer variations.


title: Debiasing Stance Detection Models with Counterfactual Reasoning and Adversarial Bias Learning

abstract: Stance detection models may tend to rely on dataset bias in the text part as a shortcut and thus fail to sufficiently learn the interaction between the targets and texts. Recent debiasing methods usually treated features learned by small models or big models at earlier steps as bias features and proposed to exclude the branch learning those bias features during inference. However, most of these methods fail to disentangle the ``good'' stance features and ``bad'' bias features in the text part. In this paper, we investigate how to mitigate dataset bias in stance detection. Motivated by causal effects, we leverage a novel counterfactual inference framework, which enables us to capture the dataset bias in the text part as the direct causal effect of the text on stances and reduce the dataset bias in the text part by subtracting the direct text effect from the total causal effect. We novelly model bias features as features that correlate with the stance labels but fail on intermediate stance reasoning subtasks and propose an adversarial bias learning module to model the bias more accurately. To verify whether our model could better model the interaction between texts and targets, we test our model on recently proposed test sets to evaluate the understanding of the task from various aspects. Experiments demonstrate that our proposed method (1) could better model the bias features, and (2) outperforms existing debiasing baselines on both the original dataset and most of the newly constructed test sets.


title: The Circular Velocity Curve of the Milky Way from 5 to 25 kpc using luminous red giant branch star

abstract: We present a sample of 254,882 luminous red giant branch (LRGB) stars selected from the APOGEE and LAMOST surveys. By combining photometric and astrometric information from the 2MASS and Gaia surveys, the precise distances of the sample stars are determined by a supervised machine learning algorithm: the gradient boosted decision trees. To test the accuracy of the derived distances, member stars of globular clusters (GCs) and open clusters (OCs) are used. The tests by cluster member stars show a precision of about 10 per cent with negligible zero-point offsets, for the derived distances of our sample stars. The final sample covers a large volume of the Galactic disk(s) and halo of $0<R<30$ kpc and $|Z|\leqslant15$ kpc. The rotation curve (RC) of the Milky Way across radius of $5\lesssim R\lesssim25$ kpc have been accurately measured with $\sim$ 54,000 stars of the thin disk population selected from the LRGB sample. The derived RC shows a weak decline along $R$ with a gradient of $-1.83\pm0.02$ $({\rm stat.}) \pm 0.07$ $({\rm sys.})$ km s$^{-1}$ kpc$^{-1}$, in excellent agreement with the results measured by previous studies. The circular velocity at the solar position, yielded by our RC, is $234.04\pm0.08$ $({\rm stat.}) \pm 1.36$ $({\rm sys.})$ km s$^{-1}$, again in great consistent with other independent determinations. From the newly constructed RC, as well as constraints from other data, we have constructed a mass model for our Galaxy, yielding a mass of the dark matter halo of $M_{\rm{200}}$ = ($8.05\pm1.15$)$\times$10$^{11} \rm{M_\odot}$ with a corresponding radius of $R_{\rm{200}}$ = $192.37\pm9.24$ kpc and a local dark matter density of $0.39\pm0.03$ GeV cm$^{-3}$.


title: A review on steeply inclined settlers for water clarification

abstract: Steeply inclined settlers (SIS) are solid-liquid separators that feature close, inclined confining elements that allow significant settling enhancement when compared to vertical tanks, resulting in relatively low footprints at equal throughput. The present article reviews the working principle, flow configuration, capacity, and several technological advances related to this kind of equipment. The consistency of the Ponder, Nakamura and Kuroda theory, developed after the discovery of the Boycott effect in~1920, which is essential to the settling enhancement effect, and the engineering approach developed independently for the design of SIS settlers during the late 1960's, based on particle trajectory analysis, is established. A discussion about potential developments for future improvement of the technology is made, with emphasis on three main topical areas: improvements of settling element array, optimization of inlet conditions, and potential improvements of the design of settling elements. The application of the technology to the mining industry is discussed in the context of increasing water scarcity and the progressive ore grade decrease.


title: Reqomp: Space-constrained Uncomputation for Quantum Circuits

abstract: Quantum circuits must run on quantum computers with tight limits on qubit and gate counts. To generate circuits respecting both limits, a promising opportunity is exploiting uncomputation to trade qubits for gates. We present Reqomp, a method to automatically synthesize correct and efficient uncomputation of ancillae while respecting hardware constraints. For a given circuit, Reqomp can offer a wide range of trade-offs between tightly constraining qubit count or gate count. Our evaluation demonstrates that Reqomp can significantly reduce the number of required ancilla qubits by up to 96%. On 80% of our benchmarks, the ancilla qubits required can be reduced by at least 25% while never incurring a gate count increase beyond 28%.


title: A computational analysis of the reaction of atomic oxygen O(3P) with acrylonitrile

abstract: The work is focused on the characterization of a long-range interacting complex in the reaction between atomic oxygen, in its ground state O(3P) and acrylonitrile CH2CHCN, also known as vinyl cyanide or cyano ethylene, through electronic structure calculations. Different ab initio methods have been used in order to understand which functional provides a better description of the long-range interaction. The results of the work suggest that B2PLYPD3 gives the best description of the long-range interaction, while CAM-B3LYP represents the best compromise between chemical accuracy and computational cost.


title: Needle in a Haystack: An Analysis of High-Agreement Workers on MTurk for Summarization

abstract: To prevent the costly and inefficient use of resources on low-quality annotations, we want a method for creating a pool of dependable annotators who can effectively complete difficult tasks, such as evaluating automatic summarization. Thus, we investigate the recruitment of high-quality Amazon Mechanical Turk workers via a two-step pipeline. We show that we can successfully filter out subpar workers before they carry out the evaluations and obtain high-agreement annotations with similar constraints on resources. Although our workers demonstrate a strong consensus among themselves and CloudResearch workers, their alignment with expert judgments on a subset of the data is not as expected and needs further training in correctness. This paper still serves as a best practice for the recruitment of qualified annotators in other challenging annotation tasks.


title: Line defects as brane boxes in Gaiotto-Maldacena geometries

abstract: We construct a new family of $\text{AdS}_2\times S^2\times S^2$ solutions to Type IIA supergravity with 4 supercharges acting with non-Abelian T-duality on the recent class constructed in arXiv:2107.12277. We focus on a particular solution in this class asymptoting locally to an $\text{AdS}_5$ Gaiotto-Maldacena geometry. This solution allows for a line defect interpretation within the 4d $\mathcal{N}=2$ SCFT dual to this geometry, that we study in detail. We show that the defect branes, consisting on a non-trivial intersection of D2-D4-NS5-F1 branes, can be interpreted as baryon vertices within the 4d $\mathcal{N}=2$ SCFT, whose backreaction gives rise to the $\text{AdS}_2$ solution. We construct the explicit quiver quantum mechanics that flows in the IR to the dual SCQM, and show that it can be embedded within the quiver CFT associated to the $\text{AdS}_5$ solution. The quiver quantum mechanics arises from a brane box set-up of D2-branes stretched between perpendicular NS5-branes, that we construct from the $\text{AdS}_2$ solution. We provide non-trivial checks of our proposed duality. Our construction provides one further example of the successful applications of non-Abelian T-duality to holography, in this case in providing a very non-trivial connection between $\text{AdS}_2$ solutions, line defects and brane boxes.


title: A deep learning Attention model to solve the Vehicle Routing Problem and the Pick-up and Delivery Problem with Time Windows

abstract: SNCF, the French public train company, is experimenting to develop new types of transportation services by tackling vehicle routing problems. While many deep learning models have been used to tackle efficiently vehicle routing problems, it is difficult to take into account time related constraints. In this paper, we solve the Capacitated Vehicle Routing Problem with Time Windows (CVRPTW) and the Capacitated Pickup and Delivery Problem with Time Windows (CPDPTW) with a constructive iterative Deep Learning algorithm. We use an Attention Encoder-Decoder structure and design a novel insertion heuristic for the feasibility check of the CPDPTW. Our models yields results that are better than best known learning solutions on the CVRPTW. We show the feasibility of deep learning techniques for solving the CPDPTW but witness the limitations of our iterative approach in terms of computational complexity.


title: Contrastive Learning Reduces Hallucination in Conversations

abstract: Pre-trained language models (LMs) store knowledge in their parameters and can generate informative responses when used in conversational systems. However, LMs suffer from the problem of "hallucination:" they may generate plausible-looking statements that are irrelevant or factually incorrect. To address this problem, we propose a contrastive learning scheme, named MixCL. A novel mixed contrastive objective is proposed to explicitly optimize the implicit knowledge elicitation process of LMs, and thus reduce their hallucination in conversations. We also examine negative sampling strategies of retrieved hard negatives and model-generated negatives. We conduct experiments on Wizard-of-Wikipedia, a public, open-domain knowledge-grounded dialogue benchmark, and assess the effectiveness of MixCL. MixCL effectively reduces the hallucination of LMs in conversations and achieves the highest performance among LM-based dialogue agents in terms of relevancy and factuality. We show that MixCL achieves comparable performance to state-of-the-art KB-based approaches while enjoying notable advantages in terms of efficiency and scalability.


title: Chemical Design of Electronic and Magnetic Energy Scales in Tetravalent Praseodymium

abstract: Lanthanides in the trivalent oxidation state are typically described using an ionic picture that leads to localized magnetic moments. The hierarchical energy scales associated with trivalent lanthanides produce desirable properties for e.g., molecular magnetism, quantum materials, and quantum transduction. Here, we show that this traditional ionic paradigm breaks down for praseodymium in the 4+ oxidation state. Synthetic, spectroscopic, and theoretical tools deployed on several solid-state Pr4+ oxides uncover the unusual participation of 4f orbitals in bonding and the anomalous hybridization of the 4f1 configuration with ligand valence electrons, analogous to transition metals. The resulting competition between crystal-field and spin-orbit-coupling interactions fundamentally transforms the spin-orbital magnetism of Pr4+, which departs from the Jeff =1/2 limit and resembles that of high-valent actinides. Our results show that Pr4+ ions are in a class on their own, where the hierarchy of single-ion energy scales can be tailored to explore new correlated phenomena in quantum materials.


title: Index-Based Concatenated Codes for the Multi-Draw DNA Storage Channel

abstract: We consider error-correcting coding for DNA-based storage. We model the DNA storage channel as a multi-draw IDS channel where the input data is chunked into $M$ short DNA strands, which are copied a random number of times, and the channel outputs a random selection of $N$ noisy DNA strands. The retrieved DNA strands are prone to insertion, deletion, and substitution (IDS) errors. We propose an index-based concatenated coding scheme consisting of the concatenation of an outer code, an index code, and an inner synchronization code, where the latter two tackle IDS errors. We further propose a mismatched joint index-synchronization code maximum a posteriori probability decoder with optional clustering to infer symbolwise a posterior probabilities for the outer decoder. We compute achievable information rates for the outer code and present Monte-Carlo simulations for information-outage probabilities and frame error rates on synthetic and experimental data, respectively.


title: Towards Reasoning in Large Language Models: A Survey

abstract: Reasoning is a fundamental aspect of human intelligence that plays a crucial role in activities such as problem solving, decision making, and critical thinking. In recent years, large language models (LLMs) have made significant progress in natural language processing, and there is observation that these models may exhibit reasoning abilities when they are sufficiently large. However, it is not yet clear to what extent LLMs are capable of reasoning. This paper provides a comprehensive overview of the current state of knowledge on reasoning in LLMs, including techniques for improving and eliciting reasoning in these models, methods and benchmarks for evaluating reasoning abilities, findings and implications of previous research in this field, and suggestions on future directions. Our aim is to provide a detailed and up-to-date review of this topic and stimulate meaningful discussion and future work.


title: Multiphase polarization in ion-intercalation nanofilms: general theory including various surface effects and memory applications

abstract: Ion concentration polarization (CP, current-induced concentration gradient adjacent to a charge-selective interface) has been well studied for single-phase mixed conductors (e.g., liquid electrolyte), but multiphase CP has been rarely addressed in literature. In our recent publication, we proposed that CP above certain threshold currents can flip the phase distribution in multiphase ion-intercalation nanofilms sandwiched by ion-blocking electrodes. We call this phenomenon as multiphase polarization (MP). We then proposed that MP can further lead to nonvolatile interfacial resistive switching (RS) for asymmetric electrodes with ion-modulated electron transfer, which theory can reproduce the experimental results of LTO memristors. In this work, we derive a comprehensive 2D phase-field model for coupled ion-electron transport in ion-intercalation materials, with surface effects including electron transfer kinetics, non-neutral wetting, energy relaxation, and surface charge. Then we use the model to study MP. We present time evolution of phase boundaries, and analyze the switching time, current, energy, and cyclic voltammetry, for various boundary conditions. We find that the switching performance can be improved significantly by manipulating surface conditions and mean concentration. Finally, we discuss the prospects of MP-based memories and possible extensions of the current model.


title: AnnoBERT: Effectively Representing Multiple Annotators' Label Choices to Improve Hate Speech Detection

abstract: Supervised approaches generally rely on majority-based labels. However, it is hard to achieve high agreement among annotators in subjective tasks such as hate speech detection. Existing neural network models principally regard labels as categorical variables, while ignoring the semantic information in diverse label texts. In this paper, we propose AnnoBERT, a first-of-its-kind architecture integrating annotator characteristics and label text with a transformer-based model to detect hate speech, with unique representations based on each annotator's characteristics via Collaborative Topic Regression (CTR) and integrate label text to enrich textual representations. During training, the model associates annotators with their label choices given a piece of text; during evaluation, when label information is not available, the model predicts the aggregated label given by the participating annotators by utilising the learnt association. The proposed approach displayed an advantage in detecting hate speech, especially in the minority class and edge cases with annotator disagreement. Improvement in the overall performance is the largest when the dataset is more label-imbalanced, suggesting its practical value in identifying real-world hate speech, as the volume of hate speech in-the-wild is extremely small on social media, when compared with normal (non-hate) speech. Through ablation studies, we show the relative contributions of annotator embeddings and label text to the model performance, and tested a range of alternative annotator embeddings and label text combinations.


title: GEEPERs: Principal Stratification using Principal Scores and Stacked Estimating Equations

abstract: Principal stratification is a framework for making sense of causal effects conditioned on variables that themselves may have been affected by treatment. Most principal stratification estimators rely on strong structural or modeling assumptions, and many require advanced statistical training to fit and to check. In this paper, we introduce a new M-estimation principal effect estimator for one-way noncompliance based on a binary indicator. Estimates may be computed using conventional regressions (though the standard errors require a specialized sandwich formula) and do not rely on distributional assumptions. We illustrate the new technique in an analysis of student log data from a recent educational technology field experiment.


title: First-principles study of luminescence in hexagonal boron nitride single layer: exciton-phonon coupling and the role of substrate

abstract: Hexagonal boron nitride (hBN) is a wide band gap material with both strong excitonic light emission in the ultraviolet and strong exciton-phonon coupling. Luminescence experiments performed on the recently synthesized monolayer form (m-hBN) present emission spectra that differ from one another, with some suggesting a coexistence between phonon-assisted and direct emission channels. Motivated by these results, we investigated the optical response of (m-hBN) using a new \textit{ab initio} approach that takes into account the effects of atomic vibrations on the luminescence spectra. We construct the dynamical exciton-phonon self-energy, then use it to perturbatively correct the optical response functions and test this approach on bulk hBN as a benchmark. Within our approach we are able to estimate the renormalisation of the direct peak induced by phonon-assisted transitions, and this allows us to accurately describe spectra where both processes are present. We found that the emission signal of m-hBN is strongly dependent on its interaction with the substrate, which changes its nature from direct to indirect material and modifies the screening felt by the electrons. We attribute the m-hBN emission signal to the bright direct excitons and consider the likelihood of phonon replicas appearing.


title: Geographic and Geopolitical Biases of Language Models

abstract: Pretrained language models (PLMs) often fail to fairly represent target users from certain world regions because of the under-representation of those regions in training datasets. With recent PLMs trained on enormous data sources, quantifying their potential biases is difficult, due to their black-box nature and the sheer scale of the data sources. In this work, we devise an approach to study the geographic bias (and knowledge) present in PLMs, proposing a Geographic-Representation Probing Framework adopting a self-conditioning method coupled with entity-country mappings. Our findings suggest PLMs' representations map surprisingly well to the physical world in terms of country-to-country associations, but this knowledge is unequally shared across languages. Last, we explain how large PLMs despite exhibiting notions of geographical proximity, over-amplify geopolitical favouritism at inference time.


title: ClarifyDelphi: Reinforced Clarification Questions with Defeasibility Rewards for Social and Moral Situations

abstract: Context is everything, even in commonsense moral reasoning. Changing contexts can flip the moral judgment of an action; "Lying to a friend" is wrong in general, but may be morally acceptable if it is intended to protect their life. We present ClarifyDelphi, an interactive system that learns to ask clarification questions (e.g., why did you lie to your friend?) in order to elicit additional salient contexts of a social or moral situation. We posit that questions whose potential answers lead to diverging moral judgments are the most informative. Thus, we propose a reinforcement learning framework with a defeasibility reward that aims to maximize the divergence between moral judgments of hypothetical answers to a question. Human evaluation demonstrates that our system generates more relevant, informative and defeasible questions compared to competitive baselines. Our work is ultimately inspired by studies in cognitive science that have investigated the flexibility in moral cognition (i.e., the diverse contexts in which moral rules can be bent), and we hope that research in this direction can assist both cognitive and computational investigations of moral judgments.


title: Thermodynamic origin of the Landau instability of superfluids

abstract: In this work, we revisit the question of the linear stability of superfluid phases of matter. Famously, Landau predicted superfluid Helium would become unstable for large enough superfluid velocities. We demonstrate that this instability simply follows from a thermodynamic argument, by showing that its onset corresponds to a change of sign of one of the eigenvalues of the matrix of second derivatives of the free energy. Turning on dissipation and without any particular assumption on invariance under boosts, we show that a linear dynamical instability also develops, leading to exponential growth in time of perturbations around equilibrium. Specializing to Galilean superfluids and assuming the existence of quasiparticles, our criterion matches Landau's critical velocity. We also verify that it correctly reproduces the onset of the instability in relativistic superfluids constructed using gauge/gravity duality. Our work provides a simple, comprehensive and unified description of the Landau instability for superfluids independently of the microscopic details of the system.


title: DDIPNet and DDIPNet+: Discriminant Deep Image Prior Networks for Remote Sensing Image Classification

abstract: Research on remote sensing image classification significantly impacts essential human routine tasks such as urban planning and agriculture. Nowadays, the rapid advance in technology and the availability of many high-quality remote sensing images create a demand for reliable automation methods. The current paper proposes two novel deep learning-based architectures for image classification purposes, i.e., the Discriminant Deep Image Prior Network and the Discriminant Deep Image Prior Network+, which combine Deep Image Prior and Triplet Networks learning strategies. Experiments conducted over three well-known public remote sensing image datasets achieved state-of-the-art results, evidencing the effectiveness of using deep image priors for remote sensing image classification.


title: Unipotent character sheaves and strata of a reductive group, II

abstract: Let D be a connected component of a reductive group over an algebraically closed field. We define a surjective map from the unipotent character sheaves on D to the set of strata of D, extending an earlier result which applied to connected reductive groups.


title: Observational constraints for an axially symmetric transitioning model with bulk viscosity parameterization

abstract: In this paper, we have analyzed the significance of bulk viscosity in an axially symmetric Bianchi type-I model to study the accelerated expansion of the universe. We have considered four bulk viscosity parameterizations for the matter-dominated cosmological model. The function of the two significant Hubble $H(z)$ and deceleration parameters are discussed in detail. The energy parameters of the universe are computed using the most recent observational Hubble data (57 data points) in the redshift range $0.07 \leq z \leq 2.36)$. In this model, we obtained all feasible solutions with the viscous component and analyzed the universe's expansion history. Finally, we analyzed the statefinder diagnostic and found some interesting results. The outcomes of our developed model now properly align with observational results.


title: Quantifying Extrinsic Curvature in Neural Manifolds

abstract: The neural manifold hypothesis postulates that the activity of a neural population forms a low-dimensional manifold whose structure reflects that of the encoded task variables. In this work, we combine topological deep generative models and extrinsic Riemannian geometry to introduce a novel approach for studying the structure of neural manifolds. This approach (i) computes an explicit parameterization of the manifolds and (ii) estimates their local extrinsic curvature--hence quantifying their shape within the neural state space. Importantly, we prove that our methodology is invariant with respect to transformations that do not bear meaningful neuroscience information, such as permutation of the order in which neurons are recorded. We show empirically that we correctly estimate the geometry of synthetic manifolds generated from smooth deformations of circles, spheres, and tori, using realistic noise levels. We additionally validate our methodology on simulated and real neural data, and show that we recover geometric structure known to exist in hippocampal place cells. We expect this approach to open new avenues of inquiry into geometric neural correlates of perception and behavior.


title: New insights into the pole parameters of the $\Lambda(1380)$, the $\Lambda(1405)$ and the $\Sigma(1385)$

abstract: A coupled-channel S- and P-wave next-to-leading order chiral-unitary approach for strangeness $S=-1$ meson-baryon scattering is extended to include the new data from the KLOE and AMADEUS experiments as well as the $\Lambda\pi$ mass distribution of the $\Sigma(1385)$. The positions of the poles on the second Riemann sheet corresponding to the $\Sigma(1385)$ pole and the $\Lambda(1380)$ and $\Lambda(1405)$ poles as well as the couplings of these states to various channels are calculated. We find that the resonance positions and branching ratios are on average determined with about 20\% higher precision when including the KLOE and AMADEUS data. Additionally, for the first time, the correlations between the parameters of the poles are investigated and shown to be relevant. We also find that the $\Sigma(1385)$ has negligible influence on the properties of the $\Lambda$ states given the available data. Still, we identify isospin-1 cusp structures in the present solution in light of new measurements of $\pi^\pm\Lambda$ line-shapes by the Belle collaboration.


title: Positive Scalar Curvature Meets Ricci Limit Spaces

abstract: We investigate how the positive scalar curvature controls the size of a Ricci limit space when it comes from a sequence of $n$-manifolds with non-negative Ricci curvature and strictly positive scalar curvature lower bound. We prove such a limit space can split off $\mathbb{R}^{n-2}$ at most, and when the maximal splitting happens, the other non-splitting factor has an explicit uniform diameter upper bound. Besides, we study some other consequences of having positive scalar curvature for manifolds using Ricci limit spaces techniques, for instance volume gap estimates and volume growth order estimates.


title: Scene Change Detection Using Multiscale Cascade Residual Convolutional Neural Networks

abstract: Scene change detection is an image processing problem related to partitioning pixels of a digital image into foreground and background regions. Mostly, visual knowledge-based computer intelligent systems, like traffic monitoring, video surveillance, and anomaly detection, need to use change detection techniques. Amongst the most prominent detection methods, there are the learning-based ones, which besides sharing similar training and testing protocols, differ from each other in terms of their architecture design strategies. Such architecture design directly impacts on the quality of the detection results, and also in the device resources capacity, like memory. In this work, we propose a novel Multiscale Cascade Residual Convolutional Neural Network that integrates multiscale processing strategy through a Residual Processing Module, with a Segmentation Convolutional Neural Network. Experiments conducted on two different datasets support the effectiveness of the proposed approach, achieving average overall $\boldsymbol{F\text{-}measure}$ results of $\boldsymbol{0.9622}$ and $\boldsymbol{0.9664}$ over Change Detection 2014 and PetrobrasROUTES datasets respectively, besides comprising approximately eight times fewer parameters. Such obtained results place the proposed technique amongst the top four state-of-the-art scene change detection methods.


title: Probing interfacial effects with thermocapillary flows

abstract: We report on the thinning of supported liquid films driven by thermocapillarity. The liquids are oil films, of initial thicknesses of a few tens of microns. A local and moderate heating of the glass substrate on which they are spread on induces a thermocapillary flow, which allows the formation of ultra-thin films. We show that, within a given time range, the thinning dynamics of submicron thick films is governed by the thermocapillary stress. It results in a simple dependency of the thickness profiles with time, which is evidenced by the collapse of the data onto a master curve. The master curve only depends on the liquid properties and on the thermal gradient, and allows a measurement of the latter. As the films further thin down to thicknesses within the range of molecular interactions, a deviation from the master curve appears. Although all investigated oils are supposedly fully wetting glass, the nature of the deviation differs between alkanes and silicone oils. We attribute the observed behaviors to differing signs of disjoining pressures, and this picture is confirmed by numerical resolution of the thin-film equation. We suggest thermocapillary flows can be used to finely probe molecular interactions.


title: Scalar field evolution at background and perturbation levels for a broad class of potentials

abstract: In this paper, we investigate a non-interacting scalar field cosmology with an arbitrary potential using the $f$-deviser method that relies on the differentiability properties of the potential. Using this alternative mathematical approach, we present a unified dynamical system analysis at a scalar field's background and perturbation levels with arbitrary potentials. For illustration, we consider a monomial and double exponential potential. These two classes of potentials comprise the asymptotic behaviour of several classes of scalar field potentials, and, therefore, they provide the skeleton for the typical behaviour of arbitrary potentials. Moreover, we analyse the linear cosmological perturbations in the matterless case by considering three scalar perturbations: the evolution of the Bardeen potentials, the comoving curvature perturbation, the so-called Sasaki-Mukhanov variable, or the scalar field perturbation in uniform curvature gauge. Finally, an exhaustive dynamical system analysis for each scalar perturbation is presented, including the evolution of Bardeen potentials in the presence of matter.


title: Settling the Reward Hypothesis

abstract: The reward hypothesis posits that, "all of what we mean by goals and purposes can be well thought of as maximization of the expected value of the cumulative sum of a received scalar signal (reward)." We aim to fully settle this hypothesis. This will not conclude with a simple affirmation or refutation, but rather specify completely the implicit requirements on goals and purposes under which the hypothesis holds.


title: Tensor-network-assisted variational quantum algorithm

abstract: Near-term quantum devices generally suffer from shallow circuit depth and hence limited expressivity due to noise and decoherence. To address this, we propose tensor-network-assisted parametrized quantum circuits, which concatenate a classical tensor-network operator with a quantum circuit to effectively increase the circuit's expressivity without requiring a physically deeper circuit. We present a framework for tensor-network-assisted variational quantum algorithms that can solve quantum many-body problems using shallower quantum circuits. We demonstrate the efficiency of this approach by considering two examples of unitary matrix-product operators and unitary tree tensor networks, showing that they can both be implemented efficiently. Through numerical simulations, we show that the expressivity of these circuits is greatly enhanced with the assistance of tensor networks. We apply our method to two-dimensional Ising models and one-dimensional time-crystal Hamiltonian models with up to 16 qubits and demonstrate that our approach consistently outperforms conventional methods using shallow quantum circuits.