title: Constructing certain families of $\mathbf{3}$-polytopal graphs

abstract: Let $n\geq 3$ and $r_n$ be a $3$-polytopal graph such that for every $3\leq i\leq n$, $r_n$ has at least one vertex of degree $i$. We find the minimal vertex count for $r_n$. We then describe an algorithm to construct the graphs $r_n$. A dual statement may be formulated for faces of $3$-polytopes. The ideas behind the algorithm generalise readily to solve related problems. Moreover, given a $3$-polytope $t_l$ comprising a vertex of degree $i$ for all $3\leq i\leq l$, $l$ fixed, we define an algorithm to output for $n>l$ a $3$-polytope $t_n$ comprising a vertex of degree $i$, for all $3\leq i\leq n$, and such that the initial $t_l$ is a subgraph of $t_n$. The vertex count of $t_n$ is asymptotically optimal, in the sense that it matches the aforementioned minimal vertex count up to order of magnitude, as $n$ gets large. In fact, we only lose a small quantity on the coefficient of the second highest term, and this quantity may be taken as small as we please, with the tradeoff of first constructing an accordingly large auxiliary graph.


title: Dynamics of Open Quantum Systems II, Markovian Approximation

abstract: A finite-dimensional quantum system is coupled to a bath of oscillators in thermal equilibrium at temperature $T>0$. We show that for fixed, small values of the coupling constant $\lambda$, the true reduced dynamics of the system is approximated by the completely positive, trace preserving Markovian semigroup generated by the Davies-Lindblad generator. The difference between the true and the Markovian dynamics is $O(|\lambda|^{1/4})$ for all times, meaning that the solution of the Gorini-Kossakowski-Sudarshan-Lindblad master equation is approximating the true dynamics to accuracy $O(|\lambda|^{1/4})$ for all times. Our method is based on a recently obtained expansion of the full system-bath propagator. It applies to reservoirs with correlation functions decaying in time as $1/t^{4}$ or faster, which is a significant improvement relative to the previously required exponential decay.


title: Types are Internal $\infty$-Groupoids

abstract: By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully coherent algebraic structures. In particular, our approach leads to a definition of $\infty$-groupoid internal to type theory and we prove that the type of such $\infty$-groupoids is equivalent to the universe of types. That is, every type admits the structure of an $\infty$-groupoid internally, and this structure is unique.


title: Atomic scale control and visualization of topological quantum phase transition in {\pi}-conjugated polymers driven by their length

abstract: Quantum phase transitions, which are driven by quantum fluctuations, mark a frontier between distinct quantum phases of matter. However, our understanding and control of such phenomena is still limited. Here we report an atomic scale control of quantum phase transition between two different topological quantum classes of a well-defined {\pi}-conjugated polymer controlled by their length. We reveal that a pseudo Jahn-Teller effect is the driving mechanism of the phase transition, being activated above a certain polymer chain length. In addition, our theoretical calculations indicate the presence of long-time coherent fluctuations at finite temperature between the two quantum phases of the polymer near the phase transition. This work may pave new ways to achieve atomic scale control of quantum phase transitions, in particular in organic matter.


title: Data Augmentation in High Dimensional Low Sample Size Setting Using a Geometry-Based Variational Autoencoder

abstract: In this paper, we propose a new method to perform data augmentation in a reliable way in the High Dimensional Low Sample Size (HDLSS) setting using a geometry-based variational autoencoder. Our approach combines a proper latent space modeling of the VAE seen as a Riemannian manifold with a new generation scheme which produces more meaningful samples especially in the context of small data sets. The proposed method is tested through a wide experimental study where its robustness to data sets, classifiers and training samples size is stressed. It is also validated on a medical imaging classification task on the challenging ADNI database where a small number of 3D brain MRIs are considered and augmented using the proposed VAE framework. In each case, the proposed method allows for a significant and reliable gain in the classification metrics. For instance, balanced accuracy jumps from 66.3% to 74.3% for a state-of-the-art CNN classifier trained with 50 MRIs of cognitively normal (CN) and 50 Alzheimer disease (AD) patients and from 77.7% to 86.3% when trained with 243 CN and 210 AD while improving greatly sensitivity and specificity metrics.


title: Memory Reduction using a Ring Abstraction over GPU RDMA for Distributed Quantum Monte Carlo Solver

abstract: Scientific applications that run on leadership computing facilities often face the challenge of being unable to fit leading science cases onto accelerator devices due to memory constraints (memory-bound applications). In this work, the authors studied one such US Department of Energy mission-critical condensed matter physics application, Dynamical Cluster Approximation (DCA++), and this paper discusses how device memory-bound challenges were successfully reduced by proposing an effective "all-to-all" communication method -- a ring communication algorithm. This implementation takes advantage of acceleration on GPUs and remote direct memory access (RDMA) for fast data exchange between GPUs. Additionally, the ring algorithm was optimized with sub-ring communicators and multi-threaded support to further reduce communication overhead and expose more concurrency, respectively. The computation and communication were also analyzed by using the Autonomic Performance Environment for Exascale (APEX) profiling tool, and this paper further discusses the performance trade-off for the ring algorithm implementation. The memory analysis on the ring algorithm shows that the allocation size for the authors' most memory-intensive data structure per GPU is now reduced to 1/p of the original size, where p is the number of GPUs in the ring communicator. The communication analysis suggests that the distributed Quantum Monte Carlo execution time grows linearly as sub-ring size increases, and the cost of messages passing through the network interface connector could be a limiting factor.

categories: cs.DC cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con


title: Transport of Protostellar Cosmic Rays in Turbulent Dense Cores

abstract: Recent studies have suggested that low-energy cosmic rays (CRs) may be accelerated inside molecular clouds by the shocks associated with star formation. We use a Monte Carlo transport code to model the propagation of CRs accelerated by protostellar accretion shocks through protostellar cores. We calculate the CR attenuation and energy losses and compute the resulting flux and ionization rate as a function of both radial distance from the protostar and angular position. We show that protostellar cores have non-uniform CR fluxes that produce a broad range of CR ionization rates, with the maximum value being up to two orders of magnitude higher then the radial average at a given distance. In particular, the CR flux is focused in the direction of the outflow cavity, creating a 'flashlight' effect and allowing CRs to leak out of the core. The radially averaged ionization rates are less than the measured value for the Milky Way of $\zeta \approx 10^{-16} \rm s^{-1}$; however, within $r \approx 0.03$ pc from the protostar, the maximum ionization rates exceed this value. We show that variation in the protostellar parameters, particularly in the accretion rate, may produce ionization rates that are a couple of orders of magnitude higher or lower than our fiducial values. Finally, we use a statistical method to model unresolved sub-grid magnetic turbulence in the core. We show that turbulence modifies the CR spectrum and increases the uniformity of the CR distribution but does not significantly affect the resulting ionization rates.


title: Constraining free parameters of a color superconducting non-local Nambu-Jona-Lasinio model using Bayesian analysis of neutron stars mass and radius measurements

abstract: We provide a systematic study of hybrid neutron star equations of state (EoS) consisting of a relativistic density functional for the hadronic phase and a covariant nonlocal Nambu--Jona-Lasinio (nlNJL) model to describe the color superconducting quark matter phase. Changing the values of the two free parameters, the dimensionless vector and diquark coupling strengths $\eta_V$ and $\eta_D$ results in a set of EoS with varying stiffness and deconfinement onset. The favorable parameters are obtained from a systematic Bayesian analysis for which the multi-messenger constraint on the neutron star radius at $1.4~$M$_\odot$ and the combined mass-radius constraint for PSR J0740+6620 from NICER experiment are used as the constraints. Additionally, the transition from hadronic matter to deconfined quark matter is constrained to occur above nuclear saturation density. Hybrid stars modeled with these favorable parameters are compatible with the NICER results for the radius of the highest known mass neutron star, PSR J0740+6620. Three new observations interesting for neutron star phenomenology are reported: 1) We show that the constant sound speed (CSS) EoS provides an excellent fit to that of the nlNJL model which implies the squared speed of sound at high densities to be about $0.5$ for the optimized parameters; 2) we give a simple functional form for the mapping between the parameter spaces of these two models valid for the whole range of relevant chemical potentials and 3) we observe that the special point property of hybrid EoS based on CSS quark matter generalizes to a set of lines consisting of special points when two EoS parameters are varied instead of one. A lower limit for the maximum mass of hybrid stars as a function of the vector coupling strength is obtained.


title: Leveraging Machine Learning to Detect Data Curation Activities

abstract: This paper describes a machine learning approach for annotating and analyzing data curation work logs at ICPSR, a large social sciences data archive. The systems we studied track curation work and coordinate team decision-making at ICPSR. Repository staff use these systems to organize, prioritize, and document curation work done on datasets, making them promising resources for studying curation work and its impact on data reuse, especially in combination with data usage analytics. A key challenge, however, is classifying similar activities so that they can be measured and associated with impact metrics. This paper contributes: 1) a schema of data curation activities; 2) a computational model for identifying curation actions in work log descriptions; and 3) an analysis of frequent data curation activities at ICPSR over time. We first propose a schema of data curation actions to help us analyze the impact of curation work. We then use this schema to annotate a set of data curation logs, which contain records of data transformations and project management decisions completed by repository staff. Finally, we train a text classifier to detect the frequency of curation actions in a large set of work logs. Our approach supports the analysis of curation work documented in work log systems as an important step toward studying the relationship between research data curation and data reuse.


title: Generalizing the normality: a novel towards different estimation methods for skewed information

abstract: Normality is the most often mathematical supposition used in data modeling. Nonetheless, even based on the law of large numbers (LLN), normality is a strong presumption given that the presence of asymmetry and multi-modality in real-world problems is expected. Thus, a flexible modification in the Normal distribution proposed by Elal-Olivero [12] adds a skewness parameter, called Alpha-skew Normal (ASN) distribution, enabling bimodality and fat-tail, if needed, although sometimes not trivial to estimate this third parameter (regardless of the location and scale). This work analyzed seven different statistical inferential methods towards the ASNdistribution on synthetic data and historical data of water flux from 21 rivers (channels) in the Atacama region. Moreover, the contribution of this paper is related to the probability estimation surrounding the rivers' flux level in Copiapo city neighborhood, the most important economic city of the third Chilean region, and known to be located in one of the driest areas on Earth, besides the North and the South Pole


title: Quantum Heat Engines with Singular Interactions

abstract: By harnessing quantum phenomena, quantum devices have the potential to outperform their classical counterparts. Previous work has shown that a bosonic working medium can yield better performance than a fermionic medium. We expand upon this work by incorporating a singular interaction that allows the effective symmetry to be tuned between the bosonic and fermionic limits. In this framework, the particles can be treated as anyons subject to Haldane's generalized exclusion statistics. Solving the dynamics analytically using the framework of "statistical anyons" we explore the interplay between interparticle interactions and wave function symmetry on engine performance.


title: Isolation Without Taxation: Near Zero Cost Transitions for SFI

abstract: Software sandboxing or software-based fault isolation (SFI) is a lightweight approach to building secure systems out of untrusted components. Mozilla, for example, uses SFI to harden the Firefox browser by sandboxing third-party libraries, and companies like Fastly and Cloudflare use SFI to safely co-locate untrusted tenants on their edge clouds. While there have been significant efforts to optimize and verify SFI enforcement, context switching in SFI systems remains largely unexplored: almost all SFI systems use \emph{heavyweight transitions} that are not only error-prone but incur significant performance overhead from saving, clearing, and restoring registers when context switching. We identify a set of \emph{zero-cost conditions} that characterize when sandboxed code has sufficient structured to guarantee security via lightweight \emph{zero-cost} transitions (simple function calls). We modify the Lucet Wasm compiler and its runtime to use zero-cost transitions, eliminating the undue performance tax on systems that rely on Lucet for sandboxing (e.g., we speed up image and font rendering in Firefox by up to 29.7\% and 10\% respectively). To remove the Lucet compiler and its correct implementation of the Wasm specification from the trusted computing base, we (1) develop a \emph{static binary verifier}, VeriZero, which (in seconds) checks that binaries produced by Lucet satisfy our zero-cost conditions, and (2) prove the soundness of VeriZero by developing a logical relation that captures when a compiled Wasm function is semantically well-behaved with respect to our zero-cost conditions. Finally, we show that our model is useful beyond Wasm by describing a new, purpose-built SFI system, SegmentZero32, that uses x86 segmentation and LLVM with mostly off-the-shelf passes to enforce our zero-cost conditions; our prototype performs on-par with the state-of-the-art Native Client SFI system.


title: Exomoons in Systems with a Strong Perturber: Applications to $\alpha$ Cen AB

abstract: The presence of a stellar companion can place constraints on occurrence and orbital evolution of satellites orbiting exoplanets, i.e., exomoons. In this work we revise earlier orbital stability limits for retrograde orbits in the case of a three body system consisting of star-planet-satellite. The latter reads $a_{\rm sat}^{\rm crit} \approx 0.668(1-1.236e_{\rm p})$ for $e_p \leq 0.8$ in units of the Hill Radius and represents the lower critical orbit as a function of the planetary eccentricity $e_{\rm p}$. A similar formula is determined for exomoons hosted by planets in binary star systems, where $e_{\rm p}$ is replaced with the components of free and forced eccentricity from secular orbit evolution theory. By exploring the dynamics of putative exomoons in $\alpha$ Centauri AB we find that the outer stability limit can be much less than half the Hill Radius due to oscillations in the planetary orbital eccentricity caused by the gravitational interaction with the binary star. We show, furthermore, how the resulting truncation of the outer stability limit can affect the outward tidal migration and potential observability of exomoons through transit timing variations (TTVs). Typical TTV (RMS) amplitudes induced by exomoons in binary systems are $\lesssim$10 min and appear more likely for planets orbiting the less massive stellar component. A GitHub repository (saturnaxis/exomoon-in-binaries) is available to reproduce figures.


title: Long-distance quantum key distribution based on the physical loss control

abstract: Existing quantum cryptography is resistant against secrecy-breaking quantum computers but suffers fast decay of the signal at long distances. The various types of repeaters of propagating quantum states have been developed to meet the challenge, but the problem is far from being solved. We step in the breach and put forth long-distance high secrecy optical cryptography, creating the fast quantum key distribution over distances up to 40,000 kilometers. The key element of the proposed protocol is the physical control over the transmission line.


title: Carbon-enhanced stars with short orbital and spin periods

abstract: Many characteristics of dwarf carbon stars are broadly consistent with a binary origin, including mass transfer from an evolved companion. While the population overall appears to have old-disc or halo kinematics, roughly 2$\,$per cent of these stars exhibit H$\alpha$ emission, which in low-mass main-sequence stars is generally associated with rotation and relative youth. Its presence in an older population therefore suggests either irradiation or spin-up. This study presents time-series analyses of photometric and radial-velocity data for seven dwarf carbon stars with H$\alpha$ emission. All are shown to have photometric periods in the range 0.2--5.2$\,$d, and orbital periods of similar length, consistent with tidal synchronisation. It is hypothesised that dwarf carbon stars with emission lines are the result of close-binary evolution, indicating that low-mass, metal-weak or metal-poor stars can accrete substantial material prior to entering a common-envelope phase.


title: Unexpected Short-Period Variability in Dwarf Carbon Stars from the Zwicky Transient Facility

abstract: Dwarf carbon (dC) stars, main sequence stars showing carbon molecular bands, are enriched by mass transfer from a previous asymptotic-giant-branch (AGB) companion, which has since evolved to a white dwarf. While previous studies have found radial-velocity variations for large samples of dCs, there are still relatively few dC orbital periods in the literature and no dC eclipsing binaries have yet been found. Here, we analyze photometric light curves from DR5 of the Zwicky Transient Facility for a sample of 944 dC stars. From these light curves, we identify 34 periodically variable dC stars. Remarkably, of the periodic dCs, 82\% have periods less than two days. We also provide spectroscopic follow-up for four of these periodic systems, measuring radial velocity variations in three of them. Short-period dCs are almost certainly post-common-envelope binary systems, since the periodicity is most likely related to the orbital period, with tidally locked rotation and photometric modulation on the dC either from spots or from ellipsoidal variations. We discuss evolutionary scenarios that these binaries may have taken to accrete sufficient C-rich material while avoiding truncation of the thermally pulsing AGB phase needed to provide such material in the first place. We compare these dCs to common-envelope models to show that dC stars probably cannot accrete enough C-rich material during the common-envelope phase, suggesting another mechanism like wind-Roche lobe overflow is necessary. The periodic dCs in this paper represent a prime sample for spectroscopic follow-up and for comparison to future models of wind-Roche lobe overflow mass transfer.


title: Limit laws for large kth-nearest neighbor balls

abstract: Let $X_1,\ldots,X_n$ be a sequence of independent random points in $\mathbb{R}^d$ with common Lebesgue density $f$. Under some conditions on $f$, we obtain a Poisson limit theorem, as $n \to \infty$, for the number of large probability $k$th-nearest neighbor balls of $X_1,\ldots,X_n$. Our result generalizes Theorem 2. of [10], which refers to the special case $k=1$. Our proof is completely different since it employs the Chen-Stein method instead of the method of moments. Moreover, we obtain a rate of convergence for the Poisson approximation.


title: GPU Acceleration of 3D Agent-Based Biological Simulations

abstract: Researchers in biology are faced with the tough challenge of developing high-performance computer simulations of their increasingly complex agent-based models. BioDynaMo is an open-source agent-based simulation platform that aims to alleviate researchers from the intricacies that go into the development of high-performance computing. Through a high-level interface, researchers can implement their models on top of BioDynaMo's multi-threaded core execution engine to rapidly develop simulations that effectively utilize parallel computing hardware. In biological agent-based modeling, the type of operations that are typically the most compute-intensive are those that involve agents interacting with their local neighborhood. In this work, we investigate the currently implemented method of handling neighborhood interactions of cellular agents in BioDynaMo, and ways to improve the performance to enable large-scale and complex simulations. We propose to replace the kd-tree implementation to find and iterate over the neighborhood of each agent with a uniform grid method that allows us to take advantage of the massively parallel architecture of graphics processing units (GPUs). We implement the uniform grid method in both CUDA and OpenCL to address GPUs from all major vendors and evaluate several techniques to further improve the performance. Furthermore, we analyze the performance of our implementations for models with a varying density of neighboring agents. As a result, the performance of the mechanical interactions method improved by up to two orders of magnitude in comparison to the multithreaded baseline version. The implementations are open-source and publicly available on Github.


title: Nonadiabatic evolution and thermodynamics of a time-dependent open quantum system

abstract: We investigate the dynamic evolution and thermodynamic process of a driven quantum system immersed in a finite-temperature heat bath. A Born-Markovian quantum master equation is formally derived for the time-dependent system with discrete energy levels. This quantum master equation can be applied to situations with a broad range of driving speeds and bath temperatures and thus be used to study the finite-time quantum thermodynamics even when nonadiabatic transition and dissipation coexist. The dissipative Landau-Zener model is analyzed as an example. The population evolution and transition probability of the model reveal the importance of the competition between driving and dissipation beyond the adiabatic regime. Moreover, local maximums of irreversible entropy production occur at intermediate sweep velocity and finite temperature, which the low-dissipation model cannot describe.


title: Towards Certified Analysis of Software Product Line Safety Cases

abstract: Safety-critical software systems are in many cases designed and implemented as families of products, usually referred to as Software Product Lines (SPLs). Products within an SPL vary from each other in terms of which features they include. Applying existing analysis techniques to SPLs and their safety cases is usually challenging because of the potentially exponential number of products with respect to the number of supported features. In this paper, we present a methodology and infrastructure for certified \emph{lifting} of existing single-product safety analyses to product lines. To ensure certified safety of our infrastructure, we implement it in an interactive theorem prover, including formal definitions, lemmas, correctness criteria theorems, and proofs. We apply this infrastructure to formalize and lift a Change Impact Assessment (CIA) algorithm. We present a formal definition of the lifted algorithm, outline its correctness proof (with the full machine-checked proof available online), and discuss its implementation within a model management framework.


title: Revealing the Physical Conditions around Sgr A* using Bayesian Inference -- I. Observations and Radiative Transfer

abstract: We report sub-arcsecond ALMA observations between 272 - 375 GHz towards Sgr A*'s Circumnuclear disk (CND). Our data comprises 8 individual pointings, with significant SiO (8(7) - 7(6)) and SO (7 - 6) emission detected towards 98 positions within these pointings. Additionally, we identify H2CS (9(1,9) - 8(1,8)), OCS (25 - 24) and CH3OH (2(1,1) - 2(0,2)) towards a smaller subset of positions. By using the observed peak line flux density together with a Bayesian Inference technique informed by radiative transfer models, we systematically recover the physical gas conditions towards each of these positions. We estimate that the bulk of the surveyed gas has temperature T < 500 K and density n $\lessapprox 10^{6}$ cm$^{-3}$, consistent with previous studies of similar positions as traced by HCN clumps. However, we identify an uncharacteristically hot (T $\approx 600$ K) and dense (n $\approx 10^{6}$ cm$^{-3}$) source in the Northeastern Arm. This position is found to be approximately consistent with a gravitationally bound region dominated by turbulence. We also identify a nearby cold (T $\approx 60$ K) and extremely dense (n $\approx 10^{7}$ cm$^{-3}$) position that is again potentially bound and dominated by turbulence. We also determine that the total gas mass contained within the CND is M $\approx 4 \times 10^{4}$ $M_{\odot}$. Furthermore, we qualitatively note that the observed chemical enrichment across large scales within the CND is consistent with bulk grain processing, though multiple desorption mechanisms are plausibly responsible. Further chemical modelling is required to identify the physical origin of the grain-processing, as well as the localised H2CS and OCS emission.


title: Submodular Mutual Information for Targeted Data Subset Selection

abstract: With the rapid growth of data, it is becoming increasingly difficult to train or improve deep learning models with the right subset of data. We show that this problem can be effectively solved at an additional labeling cost by targeted data subset selection(TSS) where a subset of unlabeled data points similar to an auxiliary set are added to the training data. We do so by using a rich class of Submodular Mutual Information (SMI) functions and demonstrate its effectiveness for image classification on CIFAR-10 and MNIST datasets. Lastly, we compare the performance of SMI functions for TSS with other state-of-the-art methods for closely related problems like active learning. Using SMI functions, we observe ~20-30% gain over the model's performance before re-training with added targeted subset; ~12% more than other methods.


title: On $(k,l,H)$-kernels by walks and the H-class digraph

abstract: Let $H$ be a digraph possibly with loops and $D$ a digraph without loops whose arcs are colored with the vertices of $H$ ($D$ is said to be an $H-$colored digraph). If $W=(x_{0},\ldots,x_{n})$ is an open walk in $D$ and $i\in \{1,\ldots,n-1\}$, we say that there is an obstruction on $x_{i}$ if $(color(x_{i-1},x_{i}),color(x_{i},x_{i+1}))\notin A(H)$. If $S\subseteq V(D)$, we say that $S$ is a $(k,l,H)$-kernel by walks if for every pair of different vertices in $S$, every walk between them has at least $k-1$ obstructions, and for every $x\in V(D)\setminus S$ there exists an $xS$-walk with at most $l-1$ obstructions. If $D$ is an $H$-colored digraph, an $H$-class partition is a partition $\mathscr{F}$ of $A(D)$ such that, for every $\{(u,v),(v,w)\}\subseteq A(D)$, $(color(u,v),color(v,w))\in A(H)$ iff there exists $F$ in $\mathscr{F}$ such that $\{(u,v),(v,w)\}\subseteq F$. The $H$-class digraph relative to $\mathscr{F}$, denoted by $C_{\mathscr{F}}(D)$, is the digraph such that $V(C_{\mathscr{F}}(D))=\mathscr{F}$, and $(F,G)\in A(C_{\mathscr{F}}(D))$ if and only if there exist $(u,v)\in F$ and $(v,w)\in G$ with $\{u,v,w\}\subseteq V(D)$. We will show sufficient conditions on $\mathscr{F}$ and $C_{\mathscr{F}}(D)$ to guarantee the existence of $(k,l,H)$-kernels by walks in $H$-colored digraphs, and we will show that some conditions are tight. For instance, we will show that if an $H$-colored digraph $D$ has an $H$-class partition in which every class induces a strongly connected digraph, and has an obstruction-free vertex, then for every $k\geq 2$, $D$ has a $(k,k-1,H)$-kernel by walks. Despite the fact that finding $(k,l)$-kernels in arbitrary $H$-colored digraphs is an NP-complete problem, some hypothesis presented in this paper can be verified in polynomial time.


title: Estimation and Selection Properties of the LAD Fused Lasso Signal Approximator

abstract: The fused lasso is an important method for signal processing when the hidden signals are sparse and blocky. It is often used in combination with the squared loss function. However, the squared loss is not suitable for heavy tail error distributions nor is robust against outliers which arise often in practice. The least absolute deviations (LAD) loss provides a robust alternative to the squared loss. In this paper, we study the asymptotic properties of the fused lasso estimator with the LAD loss for signal approximation. We refer to this estimator as the LAD fused lasso signal approximator, or LAD-FLSA. We investigate the estimation consistency properties of the LAD-FLSA and provide sufficient conditions under which the LAD-FLSA is sign consistent. We also construct an unbiased estimator for the degrees of freedom of the LAD-FLSA for any given tuning parameters. Both simulation studies and real data analysis are conducted to illustrate the performance of the LAD-FLSA and the effect of the unbiased estimator of the degrees of freedom.


title: Visco-energetic solutions for a model of crack growth in brittle materials

abstract: Visco-energetic solutions have been recently advanced as a new solution concept for rate-independent systems, alternative to energetic solutions/quasistatic evolutions and balanced viscosity solutions. In the spirit of this novel concept, we revisit the analysis of the variational model proposed by Francfort and Marigo for the quasi-static crack growth in brittle materials, in the case of antiplane shear. In this context, visco-energetic solutions can be constructed by perturbing the time incremental scheme for quasistatic evolutions by means of a viscous correction inspired by the term introduced by Almgren, Taylor, and Wang in the study of mean curvature flows. With our main result we prove the existence of a visco-energetic solution with a given initial crack. We also show that, if the cracks have a finite number of tips evolving smoothly on a given time interval, visco-energetic solutions comply with Griffith's criterion.


title: In-situ Thermal Transport Measurement of Flowing Fluid using Modulated Photothermal Radiometry

abstract: In situ thermal transport measurement of flowing fluid could be useful for the characterization and diagnosis of practical thermal systems such as fluid heat exchangers and thermal energy storage systems. Despite abundant reports on the ex-situ thermal conductivity measurement of stagnant fluids, a suitable technique for the thermal conductivity measurement of flowing fluid has been rarely reported. This paper presents the thermal conductivity measurement of flowing fluid within a pipe using a non-contact modulated photothermal radiometry (MPR) technique, where the surface of the pipe is heated by an intensity-modulated laser and the heat diffuses into the fluid with suitable modulation frequency. We design a tube section with small wall thickness suitable for the MPR measurements to maximize the sensitivity of the thermal response to the fluid properties while minimizing the lateral heat spreading effect. Intrinsic thermal conductivity of different fluids was obtained within a proper range of frequency and flow velocity where the forced convection effect is negligible. The forced convection effect became prominent at high flowing velocity and at low modulation frequency, leading to overestimated thermal conductivity of fluid. It is found that the intrinsic thermal conductivity could be obtained when the flow velocity is less than 100 mm/sec and ReD1/2Pr1/3 < 100 for DI water and Xceltherm oil under the specified experimental conditions, where Re_D is the Reynolds number and Pr is the Prandtl number.


title: Learning fluid physics from highly turbulent data using sparse physics-informed discovery of empirical relations (SPIDER)

abstract: We show how a complete mathematical description of a complicated physical phenomenon can be learned from observational data via a hybrid approach combining three simple and general ingredients: physical assumptions of smoothness, locality, and symmetry, a weak formulation of differential equations, and sparse regression. To illustrate this, we extract a system of governing equations describing flows of incompressible Newtonian fluids -- the Navier-Stokes equation, the continuity equation, and the boundary conditions -- from numerical data describing a highly turbulent channel flow in three dimensions. These relations have the familiar form of partial differential equations, which are easily interpretable and readily provide information about the relative importance of different physical effects as well as insight into the quality of the data, serving as a useful diagnostic tool. The approach described here is remarkably robust, yielding accurate results for very high noise levels, and should thus be well-suited to experimental data.


title: Limit Distributions and Sensitivity Analysis for Empirical Entropic Optimal Transport on Countable Spaces

abstract: For probability measures on countable spaces we derive distributional limits for empirical entropic optimal transport quantities. More precisely, we show that the empirical optimal transport plan weakly converges to a centered Gaussian process and that the empirical entropic optimal transport value is asymptotically normal. The results are valid for a large class of cost functions and generalize distributional limits for empirical entropic optimal transport quantities on finite spaces. Our proofs are based on a sensitivity analysis with respect to norms induced by suitable function classes, which arise from novel quantitative bounds for primal and dual optimizers, that are related to the exponential penalty term in the dual formulation. The distributional limits then follow from the functional delta method together with weak convergence of the empirical process in that respective norm, for which we provide sharp conditions on the underlying measures. As a byproduct of our proof technique, consistency of the bootstrap for statistical applications is shown.


title: Framework elucidating the supersaturation dynamics of nanocrystal growth

abstract: Supersaturation is the fundamental parameter driving crystal formation, yet its dynamics during the growth of colloidal nanocrystals (NCs) are poorly understood. Experimental characterization of supersaturation in colloidal syntheses has been difficult, limiting insight into the phenomena underlying NC growth. Hence, despite significant interest in the topic, how many types of NCs grow remain unclear. Here, we develop a framework to quantitatively characterize supersaturation in situ throughout NC growth. Using this approach, we investigate the seed-mediated synthesis of colloidal Au nanocubes, revealing a triphasic sequence for the supersaturation dynamics: rapid monomer consumption, sustained supersaturation, and then gradual monomer depletion. These NCs undergo different shape evolutions in different phases of the supersaturation dynamics. As shown with the Au nanocubes, we can use the supersaturation profile to theoretically predict the growth profile of NCs. We then apply these insights to rationally modulate shape evolutions, decreasing the yield of impurity NCs. Our findings demonstrate that the supersaturation dynamics of NC growth can be more complex than previously understood. While this study focuses experimentally on Au NCs, our framework is facile and applicable to a broad range of NCs undergoing classical growth. Thus, our methodology facilitates deeper understanding of the phenomena governing nanoscale crystal growth and provides insight towards the rational design of NCs.


title: A note on a PDE approach to option pricing under xVA

abstract: In this paper we study partial differential equations (PDEs) that can be used to model value adjustments. Different value adjustments denoted generally as xVA are nowadays added to the risk-free financial derivative values and the PDE approach allows their easy incorporation. The aim of this paper is to show how to solve the PDE analytically in the Black-Scholes setting to get new semi-closed formulas that we compare to the widely used Monte-Carlo simulations and to the numerical solutions of the PDE. Particular example of collateral taken as the values from the past will be of interest.


title: Long Runs Imply Big Separators in Vector Addition Systems

abstract: Despite recent progress which settled the complexity of the reachability problem for Vector Addition Systems with States (VASSes) as being Ackermann-complete we still lack much understanding for that problem. A striking example is the reachability problem for three-dimensional VASSes (3-VASSes): it is only known to be PSpace-hard and not known to be elementary. One possible approach which turned out to be successful for many VASS subclasses is to prove that to check reachability it suffices to inspect only runs of some bounded length. This approach however has its limitations, it is usually hard to design an algorithm substantially faster than the possible size of finite reachability sets in that VASS subclass. It motivates a search for other techniques, which may be suitable for designing fast algorithms. In 2010 Leroux has proven that non-reachability between two configurations implies separability of the source from the target by some semilinear set, which is an inductive invariant. There can be a reasonable hope that it suffices to look for separators of bounded size, which would deliver an efficient algorithm for VASS reachability. In the paper we show that also this approach meets an obstacle: in VASSes fulfilling some rather natural conditions existence of only long runs between some configurations implies existence of only big separators between some other configurations (and in a slightly modified VASS). Additionally we prove that a few known examples of involved VASSes fulfil the mentioned conditions. Therefore improving the complexity of the reachability problem (for any subclass) using the separators approach may not be simpler than using the short run approach.


title: PositNN: Training Deep Neural Networks with Mixed Low-Precision Posit

abstract: Low-precision formats have proven to be an efficient way to reduce not only the memory footprint but also the hardware resources and power consumption of deep learning computations. Under this premise, the posit numerical format appears to be a highly viable substitute for the IEEE floating-point, but its application to neural networks training still requires further research. Some preliminary results have shown that 8-bit (and even smaller) posits may be used for inference and 16-bit for training, while maintaining the model accuracy. The presented research aims to evaluate the feasibility to train deep convolutional neural networks using posits. For such purpose, a software framework was developed to use simulated posits and quires in end-to-end training and inference. This implementation allows using any bit size, configuration, and even mixed precision, suitable for different precision requirements in various stages. The obtained results suggest that 8-bit posits can substitute 32-bit floats during training with no negative impact on the resulting loss and accuracy.


title: Probability Premium and Attitude Towards Probability

abstract: Employing a generalized definition of Pratt (1964) and Arrow's (1965, 1971) probability premium, we introduce a new concept of attitude towards probability. We illustrate in a problem of risk sharing that whether attitude towards probability is a first-order or second-order phenomenon has important economic applications. By developing a local approximation to the probability premium, we show that the canonical rank-dependent utility model usually exhibits attitude towards probability of first order, whereas under the dual theory with smooth probability weighting functions attitude towards probability is a second-order trait.


title: Perspective: Challenges and Transformative Opportunities in Superconductor Vortex Physics

abstract: In superconductors, the motion of vortices introduces unwanted dissipation that is disruptive to applications. Fortunately, material defects can immobilize vortices, acting as vortex pinning centers, which engenders dramatic improvements in superconductor material properties and device operation. This has motivated decades of research into developing methods of tailoring the disorder landscape in superconductors to increase the strength of vortex pinning. Yet efficacious materials engineering still alludes us. The electromagnetic properties of real (disordered) superconducting materials cannot yet be reliably predicted, such that designing superconductors for applications remains a largely inefficient process of trial and error. This is ultimately due to large gaps in our knowledge of vortex dynamics: the field is challenged by the extremely complex interplay between vortex elasticity, vortex-vortex interactions, and material disorder. In this Perspective, we review obstacles and recent successes in understanding and controlling vortex dynamics in superconducting materials and devices. We further identify major open questions and discuss opportunities for transformative research in the field. This includes improving our understanding of vortex creep, determining and reaching the ceiling for the critical current, advanced microscopy to garner accurate structure-property relationships, frontiers in predictive simulations and the benefits of artificial intelligence, as well as controlling and exploiting vortices in quantum information applications.


title: Anytime Decoding by Monte-Carlo Tree Search

abstract: An anytime decoding algorithm for tree codes using Monte-Carlo tree search is proposed. The meaning of anytime decoding here is twofold: 1) the decoding algorithm is an anytime algorithm, whose decoding performance improves as more computational resource, measured by decoding time, is allowed, and 2) the proposed decoding algorithm can approximate the maximum-likelihood sequence decoding of tree codes, which has the anytime reliability when the code is properly designed. The above anytime properties are demonstrated through experiments. The proposed method may be extended to the decoding of convolutional codes and block codes by Monte-Carlo trellis search, to enable smooth complexity-performance trade-offs in these decoding tasks. Some other extensions and possible improvements are also discussed.


title: Speeding up Python-based Lagrangian Fluid-Flow Particle Simulations via Dynamic Collection Data Structures

abstract: Array-like collection data structures are widely established in Python's scientific computing-ecosystem for high-performance computations. The structure maps well to regular, gridded lattice structures that are common to computational problems in physics and geosciences. High performance is, however, only guaranteed for static computations with a fixed computational domain. We show that for dynamic computations within an actively changing computational domain, the array-like collections provided by NumPy and its derivatives are a bottleneck for large computations. In response, we describe the integration of naturally-dynamic collection data structures (e.g. double-linked lists) into NumPy simulations and \textit{ctypes}-based C-bindings. Our benchmarks verify and quantify the performance increase attributed to the change of the collection data structure. Our application scenario, a Lagrangian (oceanic) fluid-flow particle simulation within the \textit{Parcels} framework, demonstrates the speed-up yield in a realistic setting and demonstrates the novel capabilities that are facilitated by optimised collection data structures.


title: Scattering Properties of Spherical Time-Varying Conductive Shells

abstract: Harmonic generation in the scattered fields produced by a dielectric sphere coated with a time-varying conductive shell is studied using a Mie theory approach hybridized with conversion matrix methods. Analytic results are derived for plane wave incidence as well as in a more general transition matrix setting. An equivalent transmission line approach is also discussed. Numerical examples validate the derived expressions through comparison with purely numerical methods and convergence characteristics are explored. Several additional examples illustrate unique trends in far- and near-field scattering.


title: An analysis of full-size Russian complexly NER labelled corpus of Internet user reviews on the drugs based on deep learning and language neural nets

abstract: We present the full-size Russian complexly NER-labeled corpus of Internet user reviews, along with an evaluation of accuracy levels reached on this corpus by a set of advanced deep learning neural networks to extract the pharmacologically meaningful entities from Russian texts. The corpus annotation includes mentions of the following entities: Medication (33005 mentions), Adverse Drug Reaction (1778), Disease (17403), and Note (4490). Two of them - Medication and Disease - comprise a set of attributes. A part of the corpus has the coreference annotation with 1560 coreference chains in 300 documents. Special multi-label model based on a language model and the set of features is developed, appropriate for presented corpus labeling. The influence of the choice of different modifications of the models: word vector representations, types of language models pre-trained for Russian, text normalization styles, and other preliminary processing are analyzed. The sufficient size of our corpus allows to study the effects of particularities of corpus labeling and balancing entities in the corpus. As a result, the state of the art for the pharmacological entity extraction problem for Russian is established on a full-size labeled corpus. In case of the adverse drug reaction (ADR) recognition, it is 61.1 by the F1-exact metric that, as our analysis shows, is on par with the accuracy level for other language corpora with similar characteristics and the ADR representativnes. The evaluated baseline precision of coreference relation extraction on the corpus is 71, that is higher the results reached on other Russian corpora.


title: Ethical Implementation of Artificial Intelligence to Select Embryos in In Vitro Fertilization

abstract: AI has the potential to revolutionize many areas of healthcare. Radiology, dermatology, and ophthalmology are some of the areas most likely to be impacted in the near future, and they have received significant attention from the broader research community. But AI techniques are now also starting to be used in in vitro fertilization (IVF), in particular for selecting which embryos to transfer to the woman. The contribution of AI to IVF is potentially significant, but must be done carefully and transparently, as the ethical issues are significant, in part because this field involves creating new people. We first give a brief introduction to IVF and review the use of AI for embryo selection. We discuss concerns with the interpretation of the reported results from scientific and practical perspectives. We then consider the broader ethical issues involved. We discuss in detail the problems that result from the use of black-box methods in this context and advocate strongly for the use of interpretable models. Importantly, there have been no published trials of clinical effectiveness, a problem in both the AI and IVF communities, and we therefore argue that clinical implementation at this point would be premature. Finally, we discuss ways for the broader AI community to become involved to ensure scientifically sound and ethically responsible development of AI in IVF.


title: Observing a Quantum Measurement

abstract: With the example of a Stern-Gerlach measurement on a spin-1/2 atom, we show that a superposition of both paths may be observed compatibly with properties attributed to state collapse - for example, the singleness (or mutual exclusivity) of outcomes. This is done by inserting a quantum two-state system (an ancilla) in each path, capable of responding to the passage of the atom, and thus acting as a virtual detector. We then consider real measurements on the compound system of atomic spin and two ancillae. Nondestructive measurements of a set of compatible joint observables can be performed, one for a superposition and others for collapse properties. A novel perspective is given as to why, within unitary quantum theory, ordinary measurements are blind to such superpositions. Implications for the theory of measurement are discussed.


title: Thermal transport evolution due to nanostructural transformations in Ga-doped indium-tin-oxide thin films

abstract: We report on a comprehensive theoretical and experimental investigation of thermal conductivity in indium-tin-oxide (ITO) thin films with various Ga concentrations (0-30 at. %) deposited by spray pyrolysis technique. X-Ray diffraction (XRD) and scanning electron microscopy have shown a structural transformation in the range 15-20 at. % Ga from the nanocrystalline to the amorphous phase. Room temperature femtosecond time domain thermoreflectance measurements showed nonlinear decrease of thermal conductivity in the range 2.0-0.5 W/(m K) depending on Ga doping level. Comparing density functional theory calculations with XRD data it was found that Ga atoms substitute In atoms in the ITO nanocrystals retaining Ia-3 space group symmetry. The calculated phonon dispersion relations revealed that Ga doping leads to the appearance of hybridized metal atom vibrations with avoided-crossing behavior. These hybridized vibrations possess shortened mean free paths and are the main reason behind the thermal conductivity drop in nanocrystalline phase. An evolution from propagative to diffusive phonon thermal transport in ITO:Ga with 15-20 at. % of Ga was established. The suppressed thermal conductivity of ITO:Ga thin films deposited by spray pyrolysis may be crucial for their thermoelectric applications.


title: Vessel and Port Efficiency Metrics through Validated AIS data

abstract: Automatic Identification System (AIS) data represents a rich source of information about maritime traffic and offers a great potential for data analytics and predictive modeling solutions, which can help optimizing logistic chains and to reduce environmental impacts. In this work, we address the main limitations of the validity of AIS navigational data fields, by proposing a machine learning-based data-driven methodology to detect and (to the possible extent) also correct erroneous data. Additionally, we propose a metric that can be used by vessel operators and ports to express numerically their business and environmental efficiency through time and spatial dimensions, enabled with the obtained validated AIS data. We also demonstrate Port Area Vessel Movements (PARES) tool, which demonstrates the proposed solutions.


title: Spectroscopic Confirmation of the Sixth Globular Cluster in the Fornax Dwarf Spheroidal Galaxy

abstract: The Fornax dwarf spheroidal galaxy has an anomalous number of globular clusters, five, for its stellar mass. There is a longstanding debate about a potential sixth globular cluster (Fornax~6) that has recently been `rediscovered' in DECam imaging. We present new Magellan/M2FS spectroscopy of the Fornax~6 cluster and Fornax dSph. Combined with literature data we identify $\sim15-17$ members of the Fornax~6 cluster that this overdensity is indeed a star cluster and associated with the Fornax dSph. The cluster is significantly more metal-rich (mean metallicity of $\overline{\rm [Fe/H]}=-0.71\pm0.05$) than the other five Fornax globular clusters ($-2.5<[Fe/H]<-1.4$) and more metal-rich than the bulk of Fornax. We measure a velocity dispersion of $5.6_{-1.6}^{+2.0}\,{\rm km \, s^{-1}}$ corresponding to anomalously high mass-to-light of 15$<$M/L$<$258 at 90\% confidence when calculated assuming equilibrium. Two stars inflate this dispersion and may be either Fornax field stars or as yet unresolved binary stars. Alternatively the Fornax~6 cluster may be undergoing tidal disruption. Based on its metal-rich nature, the Fornax 6 cluster is likely younger than the other Fornax clusters, with an estimated age of $\sim2$ Gyr when compared to stellar isochrones. The chemodynamics and star formation history of Fornax shows imprints of major events such as infall into the Milky Way, multiple pericenter passages, star formation bursts, and/or potential mergers or interactions. Any of these events may have triggered the formation of the Fornax~6 cluster.


title: Quantum Foundations of Classical Reversible Computing

abstract: The reversible computation paradigm aims to provide a new foundation for general classical digital computing that is capable of circumventing the thermodynamic limits to the energy efficiency of the conventional, non-reversible digital paradigm. However, to date, the essential rationale for and analysis of classical reversible computing (RC) has not yet been expressed in terms that leverage the modern formal methods of non-equilibrium quantum thermodynamics (NEQT). In this paper, we begin developing an NEQT-based foundation for the physics of reversible computing. We use the framework of Gorini-Kossakowski-Sudarshan-Lindblad dynamics (a.k.a. Lindbladians) with multiple asymptotic states, incorporating recent results from resource theory, full counting statistics, and stochastic thermodynamics. Important conclusions include that, as expected: (1) Landauer's Principle indeed sets a strict lower bound on entropy generation in traditional non-reversible architectures for deterministic computing machines when we account for the loss of correlations; and (2) implementations of the alternative reversible computation paradigm can potentially avoid such losses, and thereby circumvent the Landauer limit, potentially allowing the efficiency of future digital computing technologies to continue improving indefinitely. We also outline a research plan for identifying the fundamental minimum energy dissipation of reversible computing machines as a function of speed.


title: Speculation about the black hole final state: resolving singularity by quantum gravity

abstract: The interior of the black hole can be described by anisotropic cosmology. By quantizing the metric function, we can obtain the Wheeler-DeWitt equation for inside the horizon. In order to interpret the wave function consistently, one needs to impose a boundary condition. In this paper, we introduce a prescription for the Euclidean analytic continuation inside the horizon and the corresponding wave function solution.


title: Unsupervised Discriminative Embedding for Sub-Action Learning in Complex Activities

abstract: Action recognition and detection in the context of long untrimmed video sequences has seen an increased attention from the research community. However, annotation of complex activities is usually time consuming and challenging in practice. Therefore, recent works started to tackle the problem of unsupervised learning of sub-actions in complex activities. This paper proposes a novel approach for unsupervised sub-action learning in complex activities. The proposed method maps both visual and temporal representations to a latent space where the sub-actions are learnt discriminatively in an end-to-end fashion. To this end, we propose to learn sub-actions as latent concepts and a novel discriminative latent concept learning (DLCL) module aids in learning sub-actions. The proposed DLCL module lends on the idea of latent concepts to learn compact representations in the latent embedding space in an unsupervised way. The result is a set of latent vectors that can be interpreted as cluster centers in the embedding space. The latent space itself is formed by a joint visual and temporal embedding capturing the visual similarity and temporal ordering of the data. Our joint learning with discriminative latent concept module is novel which eliminates the need for explicit clustering. We validate our approach on three benchmark datasets and show that the proposed combination of visual-temporal embedding and discriminative latent concepts allow to learn robust action representations in an unsupervised setting.


title: Atacama Cosmology Telescope measurements of a large sample of candidates from the Massive and Distant Clusters of WISE Survey: Sunyaev-Zeldovich effect confirmation of MaDCoWS candidates using ACT

abstract: Galaxy clusters are an important tool for cosmology, and their detection and characterization are key goals for current and future surveys. Using data from the Wide-field Infrared Survey Explorer (WISE), the Massive and Distant Clusters of WISE Survey (MaDCoWS) located 2,839 significant galaxy overdensities at redshifts $0.7\lesssim z\lesssim 1.5$, which included extensive follow-up imaging from the Spitzer Space Telescope to determine cluster richnesses. Concurrently, the Atacama Cosmology Telescope (ACT) has produced large area mm-wave maps in three frequency bands along with a large catalog of Sunyaev-Zeldovich (SZ) selected clusters, as part of its Data Release 5 (DR5). Using the maps and cluster catalog from DR5, we explore the scaling between SZ mass and cluster richness. We use complementary radio survey data from the Very Large Array, submillimeter data from Herschel, and ACT 224~GHz data to assess the impact of contaminating sources on the SZ signals. We then use a hierarchical Bayesian model to fit the mass-richness scaling relation. We find that MaDCoWS clusters have submillimeter contamination which is consistent with a gray-body spectrum, while the ACT clusters are consistent with no submillimeter emission on average. We find the best fit ACT SZ mass vs. MaDCoWS richness scaling relation has a slope of $\kappa = 1.84^{+0.15}_{-0.14}$, where the slope is defined as $M\propto \lambda_{15}^{\kappa}$ where $\lambda_{15}$ is the richness. Additionally, we find that the approximate level of in-fill of the ACT and MaDCoWS cluster SZ signals to be at the percent level


title: Unbiased Deterministic Total Ordering of Parallel Simulations with Simultaneous Events

abstract: In the area of discrete event simulation (DES), event simultaneity occurs when any two events are scheduled to happen at the same point in simulated time. Simulation determinism is the expectation that the same semantically configured simulation will be guaranteed to repeatedly reproduce identical results. Since events in DES are the sole mechanism for state change, ensuring consistent real-time event processing order is crucial to maintaining determinism. This is synonymous with finding a consistent total ordering of events. In this work, we extend the concept of virtual time to utilize an arbitrary-length series of tie-breaking values to preserve determinism in parallel, optimistically executed simulations without imposing additional bias influencing the ordering of otherwise incomparable events. Furthermore, by changing the core pseudo-random number generator seed at initialization, different orderings of events incomparable by standard virtual time can be observed, allowing for fair probing of other potential simulation outcomes. We implement and evaluate this extended definition of virtual time in the Rensselaer Optimistic Simulation System (ROSS) with three simulation models and discuss the importance of deterministic event ordering given the existence of event ties.


title: Comparative evaluation of analogue front-end designs for the CMS Inner Tracker at the High Luminosity LHC

abstract: The CMS Inner Tracker, made of silicon pixel modules, will be entirely replaced prior to the start of the High Luminosity LHC period. One of the crucial components of the new Inner Tracker system is the readout chip, being developed by the RD53 Collaboration, and in particular its analogue front-end, which receives the signal from the sensor and digitizes it. Three different analogue front-ends (Synchronous, Linear, and Differential) were designed and implemented in the RD53A demonstrator chip. A dedicated evaluation program was carried out to select the most suitable design to build a radiation tolerant pixel detector able to sustain high particle rates with high efficiency and a small fraction of spurious pixel hits. The test results showed that all three analogue front-ends presented strong points, but also limitations. The Differential front-end demonstrated very low noise, but the threshold tuning became problematic after irradiation. Moreover, a saturation in the preamplifier feedback loop affected the return of the signal to baseline and thus increased the dead time. The Synchronous front-end showed very good timing performance, but also higher noise. For the Linear front-end all of the parameters were within specification, although this design had the largest time walk. This limitation was addressed and mitigated in an improved design. The analysis of the advantages and disadvantages of the three front-ends in the context of the CMS Inner Tracker operation requirements led to the selection of the improved design Linear front-end for integration in the final CMS readout chip.


title: Evaluating Attribution in Dialogue Systems: The BEGIN Benchmark

abstract: Knowledge-grounded dialogue systems powered by large language models often generate responses that, while fluent, are not attributable to a relevant source of information. Progress towards models that do not exhibit this issue requires evaluation metrics that can quantify its prevalence. To this end, we introduce the Benchmark for Evaluation of Grounded INteraction (BEGIN), comprised of 12k dialogue turns generated by neural dialogue systems trained on three knowledge-grounded dialogue corpora. We collect human annotations assessing the extent to which the models' responses can be attributed to the given background information. We then use BEGIN to analyze eight evaluation metrics. We find that these metrics rely on spurious correlations, do not reliably distinguish attributable abstractive responses from unattributable ones, and perform substantially worse when the knowledge source is longer. Our findings underscore the need for more sophisticated and robust evaluation metrics for knowledge-grounded dialogue. We make BEGIN publicly available at https://github.com/google/BEGIN-dataset.


title: First-order and pseudo-first-order transition in the high dimensional $O(N)\otimes O(M)$ model

abstract: Using the renormalization group approach, we consider the $O(N)\otimes O(M)$ model in four and more dimensions. We find that independently on $N$ and $M$, for $N\geq M\geq 2$, a transition can be of both the first and second order. In $d>4$, we also cannot exclude a pseudo-first-order behavior. As specific physically interesting cases, we consider the lattice version of the $O(2)\otimes O(2)$, $O(3)\otimes O(2)$ and $O(3)\otimes O(3)$ sigma models on a four dimensional hypercubic lattice. In all these cases, we find a distinct first-order transition.


title: On Numerical approximations of fractional and nonlocal Mean Field Games

abstract: We construct numerical approximations for Mean Field Games with fractional or nonlocal diffusions. The schemes are based on semi-Lagrangian approximations of the underlying control problems/games along with dual approximations of the distributions of agents. The methods are monotone, stable, and consistent, and we prove convergence along subsequences for (i) degenerate equations in one space dimension and (ii) nondegenerate equations in arbitrary dimensions. We also give results on full convergence and convergence to classical solutions. Numerical tests are implemented for a range of different nonlocal diffusions and support our analytical findings.


title: Flow-Packet Hybrid Traffic Classification for Class-Aware Network Routing

abstract: Network traffic classification using machine learning techniques has been widely studied. Most existing schemes classify entire traffic flows, but there are major limitations to their practicality. At a network router, the packets need to be processed with minimum delay, so the classifier cannot wait until the end of the flow to make a decision. Furthermore, a complicated machine learning algorithm can be too computationally expensive to implement inside the router. In this paper, we introduce flow-packet hybrid traffic classification (FPHTC), where the router makes a decision per packet based on a routing policy that is designed through transferring the learned knowledge from a flow-based classifier residing outside the router. We analyze the generalization bound of FPHTC and show its advantage over regular packet-based traffic classification. We present experimental results using a real-world traffic dataset to illustrate the classification performance of FPHTC. We show that it is robust toward traffic pattern changes and can be deployed with limited computational resource.


title: Applying physics-based loss functions to neural networks for improved generalizability in mechanics problems

abstract: Physics-Informed Machine Learning (PIML) has gained momentum in the last 5 years with scientists and researchers aiming to utilize the benefits afforded by advances in machine learning, particularly in deep learning. With large scientific data sets with rich spatio-temporal data and high-performance computing providing large amounts of data to be inferred and interpreted, the task of PIML is to ensure that these predictions, categorizations, and inferences are enforced by, and conform to the limits imposed by physical laws. In this work a new approach to utilizing PIML is discussed that deals with the use of physics-based loss functions. While typical usage of physical equations in the loss function requires complex layers of derivatives and other functions to ensure that the known governing equation is satisfied, here we show that a similar level of enforcement can be found by implementing more simpler loss functions on specific kinds of output data. The generalizability that this approach affords is shown using examples of simple mechanical models that can be thought of as sufficiently simplified surrogate models for a wide class of problems.

categories: physics.comp-ph cs.CE cs.LG cs.NA math.NA


title: Improving the Accessibility of Scientific Documents: Current State, User Needs, and a System Solution to Enhance Scientific PDF Accessibility for Blind and Low Vision Users

abstract: The majority of scientific papers are distributed in PDF, which pose challenges for accessibility, especially for blind and low vision (BLV) readers. We characterize the scope of this problem by assessing the accessibility of 11,397 PDFs published 2010--2019 sampled across various fields of study, finding that only 2.4% of these PDFs satisfy all of our defined accessibility criteria. We introduce the SciA11y system to offset some of the issues around inaccessibility. SciA11y incorporates several machine learning models to extract the content of scientific PDFs and render this content as accessible HTML, with added novel navigational features to support screen reader users. An intrinsic evaluation of extraction quality indicates that the majority of HTML renders (87%) produced by our system have no or only some readability issues. We perform a qualitative user study to understand the needs of BLV researchers when reading papers, and to assess whether the SciA11y system could address these needs. We summarize our user study findings into a set of five design recommendations for accessible scientific reader systems. User response to SciA11y was positive, with all users saying they would be likely to use the system in the future, and some stating that the system, if available, would become their primary workflow. We successfully produce HTML renders for over 12M papers, of which an open access subset of 1.5M are available for browsing at https://scia11y.org/


title: The Formation of Discs in the Interior of AGB Stars from the Tidal Disruption of Planets and Brown Dwarfs

abstract: A significant fraction of isolated white dwarfs host magnetic fields in excess of a MegaGauss. Observations suggest that these fields originate in interacting binary systems where the companion is destroyed thus leaving a singular, highly-magnetized white dwarf. In post-main-sequence evolution, radial expansion of the parent star may cause orbiting companions to become engulfed. During the common envelope phase, as the orbital separation rapidly decreases, low-mass companions will tidally disrupt as they approach the giant's core. We hydrodynamically simulate the tidal disruption of planets and brown dwarfs, and the subsequent accretion disc formation, in the interior of an asymptotic giant branch star. These dynamically formed discs are commensurate with previous estimates, suggesting strong magnetic fields may originate from these tidal disruption events.


title: Entropy, pressure, ground states and calibrated sub-actions for linear dynamics

abstract: Denote by $X$ a Banach space and by $T : X \to X$ a bounded linear operator with non-trivial kernel satisfying suitable conditions. We consider the concepts of entropy - for $T$-invariant probability measures - and pressure for H\"older continuous potentials. We also prove the existence of ground states (the limit when temperature goes to zero) associated with such class of potentials when the Banach space $X$ is equipped with a Schauder basis. We produce an example concerning weighted shift operators defined on the Banach spaces $c_0(\mathbb{R})$ and $l^p(\mathbb{R})$, $1 \leq p < +\infty$, where our results do apply. In addition, we prove the existence of calibrated sub-actions when the potential satisfies certain regularity conditions using properties of the so-called Ma\~n\'e potential. We also exhibit examples of selection at zero temperature and explicit sub-actions in the class of H\"older continuous potentials.

categories: math.DS cond-mat.stat-mech math-ph math.FA math.MP math.PR


title: Improving Response Quality with Backward Reasoning in Open-domain Dialogue Systems

abstract: Being able to generate informative and coherent dialogue responses is crucial when designing human-like open-domain dialogue systems. Encoder-decoder-based dialogue models tend to produce generic and dull responses during the decoding step because the most predictable response is likely to be a non-informative response instead of the most suitable one. To alleviate this problem, we propose to train the generation model in a bidirectional manner by adding a backward reasoning step to the vanilla encoder-decoder training. The proposed backward reasoning step pushes the model to produce more informative and coherent content because the forward generation step's output is used to infer the dialogue context in the backward direction. The advantage of our method is that the forward generation and backward reasoning steps are trained simultaneously through the use of a latent variable to facilitate bidirectional optimization. Our method can improve response quality without introducing side information (e.g., a pre-trained topic model). The proposed bidirectional response generation method achieves state-of-the-art performance for response quality.


title: Entangling Quantum Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) are one of the most widely adopted semisupervised and unsupervised machine learning methods for high-definition image, video, and audio generation. In this work, we propose a new type of architecture for quantum generative adversarial networks (entangling quantum GAN, EQ-GAN) that overcomes some limitations of previously proposed quantum GANs. Leveraging the entangling power of quantum circuits, EQ-GAN guarantees the convergence to a Nash equilibrium under minimax optimization of the discriminator and generator circuits by performing entangling operations between both the generator output and true quantum data. We show that EQ-GAN has additional robustness against coherent errors and demonstrate the effectiveness of EQ-GAN experimentally in a Google Sycamore superconducting quantum processor. By adversarially learning efficient representations of quantum states, we prepare an approximate quantum random access memory (QRAM) and demonstrate its use in applications including the training of quantum neural networks.


title: Doubly charged vector tetraquark $Z_{\mathrm{V}}^{++}=[cu][\overline{s}\overline{d}]$

abstract: We explore properties of the doubly charged vector tetraquark $Z_{\mathrm{V} }^{++}=[cu][\overline{s}\overline{d}]$ built of four quarks of different flavors using the QCD sum rule methods. The mass and current coupling of $Z_{ \mathrm{V}}^{++}$ are computed in the framework of the QCD two-point sum rule approach by taking into account quark, gluon and mixed vacuum condensates up to dimension $10$. The full width of this tetraquark is saturated by $S$-wave $Z_{\mathrm{V}}^{++} \to \pi ^{+}D_{s1}(2460)^{+},\ \rho^{+}D_{s0}^{\ast }(2317)^{+}$, and $P$-wave $Z_{\mathrm{V}}^{++} \to \pi ^{+}D_{s}^{+},\ K^{+}D^{+}$ decays. Strong couplings required to find partial widths of aforementioned decays are calculated in the context of the QCD light-cone sum rule method and a soft-meson approximation. Our predictions for the mass $m=(3515 \pm 125)~\mathrm{MeV}$ and full width $ \Gamma _{\mathrm{full}}=156_{-30}^{+56}~\mathrm{MeV}$ of $Z_{\mathrm{V} }^{++} $ are useful to search for this exotic meson in various processes. Recently, the LHCb collaboration discovered neutral states $X_{0(1)}(2900)$ as resonance-like peaks in $D^{-}K^{+}$ invariant mass distribution in the decay $B^{+} \to D^{+}D^{-}K^{+}$. We argue that mass distribution of $ D^{+}K^{+}$ mesons in the same $B$ decay can be used to observe the doubly charged scalar $Z_{\mathrm{S}}^{++}$ and vector $Z_{\mathrm{V}}^{++}$ tetraquarks.


title: Most Expected Winner: An Interpretation of Winners over Uncertain Voter Preferences

abstract: It remains an open question how to determine the winner of an election when voter preferences are incomplete or uncertain. One option is to assume some probability space over the voting profile and select the Most Probable Winner (MPW) -- the candidate or candidates with the best chance of winning. In this paper, we propose an alternative winner interpretation, selecting the Most Expected Winner (MEW) according to the expected performance of the candidates. We separate the uncertainty in voter preferences into the generation step and the observation step, which gives rise to a unified voting profile combining both incomplete and probabilistic voting profiles. We use this framework to establish the theoretical hardness of \mew over incomplete voter preferences, and then identify a collection of tractable cases for a variety of voting profiles, including those based on the popular Repeated Insertion Model (RIM) and its special case, the Mallows model. We develop solvers customized for various voter preference types to quantify the candidate performance for the individual voters, and propose a pruning strategy that optimizes computation. The performance of the proposed solvers and pruning strategy is evaluated extensively on real and synthetic benchmarks, showing that our methods are practical.


title: SANDD: A directional antineutrino detector with segmented 6Li-doped pulse-shape-sensitive plastic scintillator

abstract: We present a characterization of a small (9-liter) and mobile 0.1% 6Li-doped pulse-shape-sensitive plastic scintillator antineutrino detector called SANDD (Segmented AntiNeutrino Directional Detector), constructed for the purpose of near-field reactor monitoring with sensitivity to antineutrino direction. SANDD comprises three different types of module. A detailed Monte Carlo simulation code was developed to match and validate the performance of each of the three modules. The combined model was then used to produce a prediction of the performance of the entire detector. Analysis cuts were established to isolate antineutrino inverse beta decay events while rejecting large fraction of backgrounds. The neutron and positron detection efficiencies are estimated to be 34.8% and 80.2%, respectively, while the coincidence detection efficiency is estimated to be 71.7%, resulting in inverse beta decay detection efficiency of 20.05 +/- 0.2%(stat.) +/- 2.1%(syst.). The predicted directional sensitivity of SANDD produces an uncertainty of 20 degree in the azimuthal direction per 100 detected antineutrino events.


title: Uncertainty Quantification of Large-Eddy Simulation Results of Riverine Flows: A Field and Numerical Study

abstract: We present large-eddy simulations (LESs) of riverine flow in a study reach in the Sacramento River, California. The riverbed bathymetry was surveyed in high-resolution using a multibeam echosounder to construct the computational model of the study area, while the topographies were defined using aerial photographs taken by an Unmanned Aircraft System (UAS). In a series of field campaigns, we measured the flow field of the river using the acoustic Doppler current profiler (ADCP) and estimated using large-scale particle velocimetry of the videos taken during the operation UAS. We used the measured data of the river flow field to evaluate the accuracy of the LES-computed hydrodynamics. The propagation of uncertainties in the LES results due to the variations in the effective roughness height of the riverbed and the inflow discharge of the river was studied using uncertainty quantification (UQ) analyses. The polynomial chaos expansion (PCE) method was used to develop a surrogate model, which was randomly sampled sufficiently by the Monte Carlo Sampling (MCS) method to generate confidence intervals for the LES-computed velocity field. Also, Sobol indices derived from the PCE coefficients were calculated to help understand the relative influence of different input parameters on the global uncertainty of the results. The UQ analysis showed that uncertainties of LES results in the shallow near bank regions of the river were mainly related to the roughness, while the variation of inflow discharge leads to uncertainty in the LES results throughout the river, indiscriminately.


title: Guaranteeing Completely Positive Quantum Evolution

abstract: In open quantum systems, it is known that if the system and environment are in a product state, the evolution of the system is given by a linear completely positive (CP) Hermitian map. CP maps are a subset of general linear Hermitian maps, which also include non completely positive (NCP) maps. NCP maps can arise in evolutions such as non-Markovian evolution, where the CP divisibility of the map (writing the overall evolution as a composition of CP maps) usually fails. Positive but NCP maps are also useful as entanglement witnesses. In this paper, we focus on transforming an initial NCP map to a CP map through composition with the asymmetric depolarizing map. We use separate asymmetric depolarizing maps acting on the individual subsystems. Previous work have looked at structural physical approximation (SPA), which is a CP approximation of a NCP map using a mixture of the NCP map with a completely depolarizing map. We prove that the composition can always be made CP without completely depolarizing in any direction. It is possible to depolarize less in some directions. We give the general proof by using the Choi matrix and an isomorphism from a maximally entangled two qudit state to a set of qubits. We also give measures that describe the amount of disturbance the depolarization introduces to the original map. Given our measures, we show that asymmetric depolarization has many advantages over SPA in preserving the structure of the original NCP map. Finally, we give some examples. For some measures and examples, completely depolarizing (while not necessary) in some directions can give a better approximation than keeping the depolarizing parameters bounded by the required depolarization if symmetric depolarization is used.


title: Full Slonczewski-Weiss-McClure parametrization of few-layer twistronic graphene

abstract: We use a hybrid k dot p theory - tight binding (HkpTB) model to describe interlayer coupling simultaneously in both Bernal and twisted graphene structures. For Bernal-aligned interfaces, HkpTB is parametrized using the full Slonczewski-Weiss-McClure (SWMcC) Hamiltonian of graphite, which is then used to refine the commonly used minimal model for twisted interfaces, by deriving additional terms that reflect all details of the full SWMcC model of graphite. We find that these terms introduce some electron-hole asymmetry in the band structure of twisted bilayers, but in twistronic multilayer graphene, they produce only a subtle change of moire miniband spectra, confirming the broad applicability of the minimal model for implementing the twisted interface coupling in such systems.


title: A local trace formula for $p$-adic infinitesimal symmetric spaces: the case of Guo-Jacquet

abstract: We establish an invariant local trace formula for the tangent space of some symmetric spaces over a non-archimedean local field of characteristic zero. These symmetric spaces are studied in Guo-Jacquet trace formulae and our methods are inspired by works of Waldspurger and Arthur. Some other results are given during the proof including a noninvariant local trace formula, Howe's finiteness for weighted orbital integrals and the representability of the Fourier transform of weighted orbital integrals. These local results are prepared for the comparison of regular semi-simple terms, which are weighted orbital integrals, of an infinitesimal variant of Guo-Jacquet trace formulae.


title: Homeostasis and injectivity: a reaction network perspective

abstract: Homeostasis is a mechanism by which a feature can remain invariant with change in external parameters. We adopt the definition of homeostasis in the context of singularity theory. We make a connection between homeostasis and the theory of injective reaction networks. In particular, we show that a reaction network cannot exhibit homeostasis if a modified reaction network (which we call the homeostasis-associated reaction network) is injective. We provide examples of reaction networks which can or cannot exhibit homeostasis by analyzing the injectivity of the homeostasis-associated reaction network.


title: Real-Time Detection and Classification of Astronomical Transient Events: The State-of-the-Art

abstract: In the last years, the need for automated real-time detection and classification of astronomical transients began to be more impelling. Better technologies involve a higher number of detected candidates and an automated classification will allow dealing with this amount of data, every night. The desired state-of-the-art in detection and classification will be presented in its key features and different practical approaches will be introduced, as well. Several ongoing and future surveys will be presented, showing the current situation of Time-Domain Astronomy, and eventually compared with the desired state-of-the-art. The final purpose of this paper is to highlight the general technology readiness level with respect to the level yet to be achieved.


title: Coupling purposes with status-functions in artificial institutions

abstract: In multi-agent systems, the agents may have goals that depend on a social, shared interpretation about the facts occurring in the system. These are the so-called social goals. Artificial institutions provide such a social interpretation by assigning statuses to the concrete elements that compose the system. These statuses are supposed to enable the assignee element to perform functions that are not exclusively inherent to their design features. However, the enabled functions are not explicit in the existing models of artificial institutions. As a consequence, (i) agents may have difficulties to reasoning about how to achieve their own social goals with the help of artificial institutions and (ii) these institutions are not well instrumented to receive incoming agents, in the case of open systems. Considering those problems, this paper proposes a model to express the functions -- or the purposes -- associated with the status-functions helping the agents to reason about their social goals and the institution. We evaluate the model by using it in some scenarios, showing how the agents can use purposes to reason about the satisfaction of their social goals in institutional contexts and how the institution can be flexible enough to support new agents operating in the system.


title: Inductive Power Transfer Through Saltwater

abstract: We investigated inductive power transfer (IPT) through a rectangular slab of saltwater. Our inductively-coupled transmitters and receivers were made from loop-gap resonators (LGRs) having resonant frequencies near 100 MHz. Electric fields are confined within the narrow gaps of the LGRs making it possible to strongly suppress the power dissipation associated with electric fields in a conductive medium. Therefore, the power transfer efficiency in our system was limited by magnetic field dissipation in the conducting medium. We measured the power transfer efficiency as a function of both the conductivity of the water and the resonant frequency of the LGRs. We also present an equivalent circuit model that can be used to model IPT through a conductive medium. Finally, we show that using dividers to partition the saltwater volume provides another means of enhancing power transfer efficiency.


title: Code O-SUKI-N 3D: Upgraded Direct-Drive Fuel Target 3D Implosion Code in Heavy Ion Inertial Fusion

abstract: The Code O-SUKI-N 3D is an upgraded version of the 2D Code O-SUKI (Comput. Phys. Commun. 240, 83 (2019)). Code O-SUKI-N 3D is an integrated 3-dimensional (3D) simulation program system for fuel implosion, ignition and burning of a direct-drive nuclear-fusion pellet in heavy ion beam (HIB) inertial confinement fusion (HIF).The Code O-SUKI-N 3D consists of the three programs of Lagrangian fluid implosion program, data conversion program, and Euler fluid implosion, ignition and burning program. The Code O-SUKI-N 3D can also couple with the HIB illumination and energy deposition program of OK3 (Comput. Phys. Commun. 181, 1332 (2010)). The spherical target implosion 3D behavior is computed by the 3D Lagrangian fluid code until the time just before the void closure of the fuel implosion. After that, all the data by the Lagrangian implosion code are converted to the data for the 3D Eulerian code. In the 3D Euler code, the DT fuel compression at the stagnation, ignition and burning are computed. The Code O-SUKI-N 3D simulation system provides a capability to compute and to study the HIF target implosion dynamics.


title: Energy Efficient Reconfigurable Intelligent Surface Enabled Mobile Edge Computing Networks with NOMA

abstract: Reconfigurable intelligent surface (RIS) has emerged as a promising technology for achieving high spectrum and energy efficiency in future wireless communication networks. In this paper, we investigate an RIS-aided single-cell multi-user mobile edge computing (MEC) system where an RIS is deployed to support the communication between a base station (BS) equipped with MEC servers and multiple single-antenna users. To utilize the scarce frequency resource efficiently, we assume that users communicate with BS based on a non-orthogonal multiple access (NOMA) protocol. Each user has a computation task which can be computed locally or partially/fully offloaded to the BS. We aim to minimize the sum energy consumption of all users by jointly optimizing the passive phase shifters, the size of transmission data, transmission rate, power control, transmission time and the decoding order. Since the resulting problem is non-convex, we use the block coordinate descent method to alternately optimize two separated subproblems. More specifically, we use the dual method to tackle a subproblem with given phase shift and obtain the closed-form solution; and then we utilize penalty method to solve another subproblem for given power control. Moreover, in order to demonstrate the effectiveness of our proposed algorithm, we propose three benchmark schemes: the time-division multiple access (TDMA)-MEC scheme, the full local computing scheme and the full offloading scheme. We use an alternating 1-D search method and the dual method that can solve the TDMA-based transmission problem well. Numerical results demonstrate that the proposed scheme can increase the energy efficiency and achieve significant performance gains over the three benchmark schemes.


title: Frequency and Time Dependence of Linear Polarization in Turbulent Jets of Blazars

abstract: Time-variable polarization is an extremely valuable observational tool to probe the dynamical physical conditions of blazar jets. Since 2008, we have been monitoring the flux and linear polarization of a sample of gamma-ray bright blazars at optical frequencies. Some of the observations were performed on nightly or intra-night time-scales in four optical bands, providing information on the frequency and time dependence of the polarization. The observed behavior is similar to that found in simulations of turbulent plasma in a relativistic jet that contains a standing shock and/or a helical background magnetic field. Similar simulations predict the characteristics of X-ray synchrotron polarization of blazars that will be measured in the future by the Imaging X-ray Polarimetry Explorer (IXPE).


title: Optimized utilization of COMB3 reactive potentials in LAMMPS

abstract: An investigation to optimize the application of the third-generation charge optimized many-body (COMB3) interatomic potential and associated input parameters was carried out through the study of solid-liquid interactions in classical molecular dynamics (MD) simulations. The rates of these molecular interactions are understood though the wetting rates of water nano droplets on a bare copper (111) surface. Implementing the Langevin thermostat, the influence of simulation time step, the number of atoms in the system, the frequency at which charge equilibration is performed, and the temperature relaxation rate are all examined. The results indicate that time steps of 0.4 fs are possible when using longer relaxation times for the system temperature, which is almost double the typical time step used for reactive potentials. The use of the QEq charge equilibration allows for a fewer atomic layers to be used in the Cu slab. In addition, charge equilibrium schemes do not need to be performed every time step to ensure accurate charge transfer. Interestingly, the rate of wetting for the nanodroplets is dominantly dependent on the temperature relaxation time which are predicted to significantly change the viscosity of the water droplets. This work provides a pathway for optimizing simulations using the COMB3 reactive interatomic potential.


title: Constrained dynamics of maximally entangled bipartite system

abstract: The classical and quantum dynamics of two particles constrained on $S^1$ is discussed via Dirac's approach. We show that when state is maximally entangled between two subsystems, the product of dispersion in the measurement reduces. We also quantify the upper bound on the external field $\vec{B}$ such that $\vec{B}\geq\vec{B}_{upper}$ implies no reduction in the product of dispersion pertaining to one subsystem. Further, we report on the cut-off value of the external field $\vec{B}_{cutoff}$, above which the bipartite entanglement is lost and there exists a direct relationship between uncertainty of the composite system and the external field. We note that, in this framework it is possible to tune the external field for entanglement/unentanglement of a bipartite system. Finally, we show that the additional terms arising in the quantum Hamiltonian, due to the requirement of Hermiticity of operators, produce a shift in the energy of the system.


title: Self-supervised Augmentation Consistency for Adapting Semantic Segmentation

abstract: We propose an approach to domain adaptation for semantic segmentation that is both practical and highly accurate. In contrast to previous work, we abandon the use of computationally involved adversarial objectives, network ensembles and style transfer. Instead, we employ standard data augmentation techniques $-$ photometric noise, flipping and scaling $-$ and ensure consistency of the semantic predictions across these image transformations. We develop this principle in a lightweight self-supervised framework trained on co-evolving pseudo labels without the need for cumbersome extra training rounds. Simple in training from a practitioner's standpoint, our approach is remarkably effective. We achieve significant improvements of the state-of-the-art segmentation accuracy after adaptation, consistent both across different choices of the backbone architecture and adaptation scenarios.


title: Quantum Machine Learning with SQUID

abstract: In this work we present the Scaled QUantum IDentifier (SQUID), an open-source framework for exploring hybrid Quantum-Classical algorithms for classification problems. The classical infrastructure is based on PyTorch and we provide a standardized design to implement a variety of quantum models with the capability of back-propagation for efficient training. We present the structure of our framework and provide examples of using SQUID in a standard binary classification problem from the popular MNIST dataset. In particular, we highlight the implications for scalability for gradient-based optimization of quantum models on the choice of output for variational quantum models.


title: On the annihilator ideal in the $bt$-algebra of tensor space

abstract: We study the representation theory of the braids and ties algebra, or the $bt$-algebra, $ \cal E$. Using the cellular basis $\{m_{{\mathfrak s} {\mathfrak t}} \}$ for $ \cal E$ obtained in previous joint work with J. Espinoza we introduce two kinds of permutation modules $M(\lambda)$ and $ M(\Lambda) $ for $\cal E$. We show that the tensor product module $V^{\otimes n}$ for $\cal E$ is a direct sum of $ M(\lambda)$'s. We introduce the dual cellular basis $\{n_{{\mathfrak s} {\mathfrak t}} \}$ for $ \cal E $ and study its action on $ M(\lambda) $ and $ M(\Lambda ) $. We show that the annihilator ideal $ \cal I $ in $ \cal E $ of $ V^{\otimes n } $ enjoys a nice compatibility property with respect to $\{n_{{\mathfrak s} {\mathfrak t}} \}$. We finally study the quotient algebra $ {\cal E}/{\cal I} $, showing in particular that it is a simultaneous generalization of H\"arterich's 'generalized Temperley-Lieb algebra' and Juyumaya's 'partition Temperley-Lieb algebra'.


title: Data-driven Full-waveform Inversion Surrogate using Conditional Generative Adversarial Networks

abstract: In the Oil and Gas industry, estimating a subsurface velocity field is an essential step in seismic processing, reservoir characterization, and hydrocarbon volume calculation. Full-waveform inversion (FWI) velocity modeling is an iterative advanced technique that provides an accurate and detailed velocity field model, although at a very high computational cost due to the physics-based numerical simulations required at each FWI iteration. In this study, we propose a method of generating velocity field models, as detailed as those obtained through FWI, using a conditional generative adversarial network (cGAN) with multiple inputs. The primary motivation of this approach is to circumvent the extremely high cost of full-waveform inversion velocity modeling. Real-world data were used to train and test the proposed network architecture, and three evaluation metrics (percent error, structural similarity index measure, and visual analysis) were adopted as quality criteria. Based on these metrics, the results evaluated upon the test set suggest that the GAN was able to accurately match real FWI generated outputs, enabling it to extract from input data the main geological structures and lateral velocity variations. Experimental results indicate that the proposed method, when deployed, has the potential to increase the speed of geophysical reservoir characterization processes, saving on time and computational resources.