title: Generalising concentratable entanglement for practical applications: mixed, qudit, and optical states

abstract: The controlled SWAP test for detecting and quantifying entanglement applied to pure qubit states is robust to small errors in the states, and efficient for large multi-qubit states [Foulds et al., QST 6 035002, 2021]. We extend this, and the related measure \emph{concentratable entanglement} (CE), to enable important practical applications in quantum information processing. We provide the analytical probability expressions for the test on higher dimensional (qudit) states, determination of entanglement across a bipartite cut in multi-qubit states, and some key types of entangled optical states. We investigate the lower bound of concentratable entanglement given in J. L. Beckey et al., Phys. Rev. A 107, 062425 (2023) and conjecture an upper bound of the mixed state concentrable entanglement that is robust to c-SWAP test errors. Since experimental states are always slightly mixed, our work makes the c-SWAP test and CE measure suitable for application in experiments to characterise entanglement.


title: Quantifying the chemical desorption of H$_2$S and PH$_3$ from amorphous water ice surfaces

abstract: Nonthermal desorption of molecules from icy grain surfaces is required to explain molecular line observations in the cold gas of star-forming regions. Chemical desorption is one of the nonthermal desorption processes and is driven by the energy released by chemical reactions. After an exothermic surface reaction, the excess energy is transferred to products' translational energy in the direction perpendicular to the surface, leading to desorption. The desorption probability of product species, especially that of product species from water ice surfaces, is not well understood. This uncertainty limits our understanding of the interplay between gas-phase and ice surface chemistry. In the present work, we constrain the desorption probability of H$_2$S and PH$_3$ per reaction event on porous amorphous solid water (ASW) by numerically simulating previous laboratory experiments. Adopting the microscopic kinetic Monte Carlo method, we find that the desorption probabilities of H$_2$S and PH$_3$ from porous ASW per hydrogen addition event of the precursor species are $3 \pm 1.5$ % and $4 \pm 2$ %, respectively. These probabilities are consistent with a theoretical model of chemical desorption proposed in the literature if $\sim$7 % of energy released by the reactions is transferred to the translational excitation of the products. As a byproduct, we find that approximately 70 % (40 %) of adsorption sites for atomic H on porous ASW should have a binding energy lower than $\sim$300 K ($\sim$200 K). The astrochemical implications of our findings are briefly discussed.


title: Morphology of small snarks

abstract: The aim of this paper is to classify all snarks up to order $36$ and explain the reasons of their uncolourability. The crucial part of our approach is a computer-assisted structural analysis of cyclically $5$-connected critical snarks, which is justified by the fact that every other snark can be constructed from them by a series of simple operations while preserving uncolourability. Our results reveal that most of the analysed snarks are built up from pieces of the Petersen graph and can be naturally distributed into a small number of classes having the same reason for uncolourability. This sheds new light on the structure of all small snarks. Based on our analysis, we generalise certain individual snarks to infinite families and identify a rich family of cyclically $5$-connected critical snarks.


title: Communication Now and Then: Analyzing the Republic of Letters as a Communication Network

abstract: Huge advances in understanding patterns of human communication, and the underlying social networks where it takes place, have been made recently using massive automatically recorded data sets from digital communication, such as emails and phone calls. However, it is not clear to what extent these results on human behaviour are artefacts of contemporary communication technology and culture and if the fundamental patterns in communication have changed over history. This paper presents an analysis of historical epistolary metadata with the aim of comparing the underlying historical communication patterns with those of contemporary communication. Our work uses a new epistolary dataset containing metadata on over 150 000 letters sent between the 16th and 19th centuries. The analyses indicate striking resemblances between contemporary and epistolary communication network patterns, including dyadic interactions and ego-level behaviour. Despite these positive findings, certain aspects of the letter datasets are insufficient to corroborate other similarities or differences for these communication networks.


title: Pressure-induced dimerization and collapse of antiferromagnetism in the Kitaev material $\alpha$-Li$_2$IrO$_3$

abstract: We present magnetization measurements carried out on polycrystalline and single-crystalline samples of $\alpha$-Li$_2$IrO$_3$ under hydrostatic pressures up to 2 GPa and establish the temperature-pressure phase diagram of this material. The N\'eel temperature ($T_{\rm{N}}$) of $\alpha$-Li$_2$IrO$_3$ is slightly enhanced upon compression with $dT_{\rm{N}}/dp$ = 1.5 K/GPa. Above 1.2 GPa, $\alpha$-Li$_2$IrO$_3$ undergoes a first-order phase transition toward a nonmagnetic dimerized phase, with no traces of the magnetic phase observed above 1.8 GPa at low temperatures. The critical pressure of the structural dimerization is strongly temperature-dependent. This temperature dependence is well reproduced on the ab initio level by taking into account lower phonon entropy in the nonmagnetic phase. We further show that the initial increase in $T_{\rm{N}}$ of the magnetic phase is due to a weakening of the Kitaev interaction $K$ along with the enhancement of the Heisenberg term $J$ and off-diagonal anisotropy $\Gamma$. Our study reveals a common thread in the interplay of magnetism and dimerization in pressured Kitaev materials.


title: Steady-state thermodynamics for population dynamics in fluctuating environments with side information

abstract: Steady-state thermodynamics (SST) is a relatively newly emerging subfield of physics, which deals with transitions between steady states. In this paper, we find an SST-like structure in population dynamics of organisms that can sense their fluctuating environments. As heat is divided into two parts in SST, we decompose population growth into two parts: housekeeping growth and excess growth. Then, we derive the Clausius equality and inequality for excess growth. Using numerical simulations, we demonstrate how the Clausius inequality behaves depending on the magnitude of noise and strategies that organisms employ. Finally, we discuss the novelty of our findings and compare them with a previous study.


title: PageRank for Edges: Axiomatic Characterization

abstract: Edge centrality measures are functions that evaluate the importance of edges in a network. They can be used to assess the role of a backlink for the popularity of a website as well as the importance of a flight in virus spreading. Various node centralities have been translated to apply for edges, including Edge Betweenness, Eigenedge (edge version of Eigenvector centrality) and Edge PageRank. With this paper, we initiate the discussion on the axiomatic properties of edge centrality measures. We do it by proposing an axiomatic characterization of Edge PageRank. Our characterization is the first characterization of any edge centrality measure in the literature.


title: Sharpening the probabilistic Arithmetic-Geometric Mean Inequality

abstract: We consider the $p$-generalized arithmetic-geometric mean inequality for vectors chosen randomly from the $\ell_p^n$-ball in $\mathbb{R}^n$. In this setting the inequality can be improved or reversed up to a respective scalar constant with high probability, and central limit theorems and large deviation results with respect to this constant have been shown. We sharpen these large deviation results in the spirit of Bahadur and Ranga Rao, thereby providing concrete and asymptotically exact estimates on a non-logarithmic scale for the probability of the inequality being improvable or reversible up to a constant, respectively.


title: Dark discrete breather modes in monoaxial chiral helimagnet with easy-plane anisotropy

abstract: Nonlinearity and discreteness are two pivotal factors for an emergence of discrete breather excitations in various media. We argue that these requirements are met in the forced ferromagnetic phase of the monoaxial chiral helimagnet CrNb$_3$S$_6$ due to specific domain structure of the compound. The stationary, time-periodic breather modes appear as the discrete breather lattice solutions whose period mismatches with a system size. Thanks to easy-plane single-ion anisotropy intrinsic to CrNb$_3$S$_6$, these modes are of the dark type with frequencies lying within the linear spin-wave band, close to its bottom edge. They represent cnoidal states of magnetization, similar to the well-known soliton lattice ground state, with differing but limited number of embedded $2\pi$-kinks. Linear stability of these dark breather modes is verified by means of the Floquet analysis. Their energy controlled by two parameters, namely the breather lattice period and amplitude, falls off linearly with a growth of the kink number. These results may pave a new path to design spintronic resonators on the base of chiral helimagnets.

categories: cond-mat.mtrl-sci cond-mat.other math-ph math.MP nlin.SI


title: Micromechanical fatigue experiments for validation of microstructure-sensitive fatigue simulation models

abstract: Crack initiation governs high cycle fatigue life and is susceptible to microstructural details. While corresponding microstructure-sensitive models are available, their validation is difficult. We propose a validation framework where a fatigue test is mimicked in a sub-modeling simulation by embedding the measured microstructure into the specimen geometry and adopting the experimental boundary conditions. Exemplary, a phenomenological crystal plasticity model was applied to predict deformation in ferritic steel (EN1.4003). Hotspots in commonly used fatigue indicator parameter maps are compared with damage segmented from micrographs. Along with the data, the framework is published for benchmarking future micromechanical fatigue models.


title: The Complexity of the Hausdorff Distance

abstract: We investigate the computational complexity of computing the Hausdorff distance. Specifically, we show that the decision problem of whether the Hausdorff distance of two semi-algebraic sets is bounded by a given threshold is complete for the complexity class $\forall\exists_<\mathbb{R}$. This implies that the problem is NP-, co-NP-, $\exists\mathbb{R}$- and $\forall\mathbb{R}$-hard.


title: Does Structure Matter? Leveraging Data-to-Text Generation for Answering Complex Information Needs

abstract: In this work, our aim is to provide a structured answer in natural language to a complex information need. Particularly, we envision using generative models from the perspective of data-to-text generation. We propose the use of a content selection and planning pipeline which aims at structuring the answer by generating intermediate plans. The experimental evaluation is performed using the TREC Complex Answer Retrieval (CAR) dataset. We evaluate both the generated answer and its corresponding structure and show the effectiveness of planning-based models in comparison to a text-to-text model.


title: Burn After Reading: Online Adaptation for Cross-domain Streaming Data

abstract: In the context of online privacy, many methods propose complex privacy and security preserving measures to protect sensitive data. In this paper, we argue that: not storing any sensitive data is the best form of security. Thus we propose an online framework that "burns after reading", i.e. each online sample is immediately deleted after it is processed. Meanwhile, we tackle the inevitable distribution shift between the labeled public data and unlabeled private data as a problem of unsupervised domain adaptation. Specifically, we propose a novel algorithm that aims at the most fundamental challenge of the online adaptation setting--the lack of diverse source-target data pairs. Therefore, we design a Cross-Domain Bootstrapping approach, called CroDoBo, to increase the combined diversity across domains. Further, to fully exploit the valuable discrepancies among the diverse combinations, we employ the training strategy of multiple learners with co-supervision. CroDoBo achieves state-of-the-art online performance on four domain adaptation benchmarks.


title: Effect of the anomalous dispersion in the solar atmosphere on results of magnetic field measurements by the line-ratio method

abstract: On the basis of Stokes parameter calculations for the Fe I 524.7 and 525.0 nm lines and the Holweger-Muller model atmosphere, the effect of the anomalous dispersion on solar magnetic field measurements by the line-ratio method is analyzed. It is shown that with the present-day observational accuracy the anomalous dispersion should be taken into consideration in the line-ratio method only when the following four conditions are fulfilled simultaneously: a) the inclination of the magnetic lines to the line of sight does not exceed 20 degrees; b) the magnetic field strength is larger than 100 mT; c) the cross profile of the magnetic field in subtelescopic flux tubes is rectangular; and d) the parts of the magnetically sensitive line profiles close to the line center (<4 pm) are used.


title: Analytical model of low mass strange stars in 2+1 spacetime

abstract: The low mass compact stars are quite fascinating objects to study for their enigmatic behaviour. In this paper, we have modeled this kind of low mass strange stars based on the Heintzmann ansatz (H. Heintzmann., Zeitschrift f\"ur Physik, vol.228, 489, 1969.) in $(2+1)$ dimension. Attractive anisotropic force plays a significant role to restrict the upper mass limit (which is comparatively low) of the strange star. We have applied our model to some low mass strange stars. Our model could be useful to predict the important parameters of the low mass strange stars.


title: Singlet-octet-glueball mixing of scalar mesons

abstract: The mixing angles between scalar isoscalar resonances and a scalar glueball are determined from their decays into two pseudoscalar mesons. For $f_0(1370)$ and $f_0(1500)$, at most a small glueball component is admitted by the data. The decay modes of $f_0(1710)$, $f_0(1770)$, $f_0(2020)$, and $f_0(2100)$ require significant glueball fractions. Above this mass, the errors in the decay frequencies become too large to extract a glueball component. The summation of all observed glueball fractions up to 2100\,MeV yields (78\er18)\%. The glueball fractions as function of the mass are consistent with a scalar glueball at 1965\,MeV and a width of 370\,MeV as suggested by a measurement of the yield of scalar isoscalar mesons in radiative $J/\psi$ decays.


title: Electric dipole in a magnetic field: some aspects of the problem

abstract: In the paper some regimes of motion of an electric dipole placed in a uniform magnetic field are considered. The motion of both three-dimensional and two-dimensional dipole in the plane perpendicular to the magnetic field is studied. In the case of a two-dimensional dipole is discussed, in particular, the regime of chaotic dipole motion, which arises when, along with the magnetic field, there is an electric field rotating in the plane of motion. The motion of a three-dimensional dipole is discussed in cases that allow for analytical consideration. Finally, the same examples are used to discuss the quantum-mechanical approach to the problem.

categories: cond-mat.str-el cond-mat.mes-hall nlin.CD physics.class-ph quant-ph


title: Transformer based trajectory prediction

abstract: To plan a safe and efficient route, an autonomous vehicle should anticipate future motions of other agents around it. Motion prediction is an extremely challenging task which recently gained significant attention of the research community. In this work, we present a simple and yet strong baseline for uncertainty aware motion prediction based purely on transformer neural networks, which has shown its effectiveness in conditions of domain change. While being easy-to-implement, the proposed approach achieves competitive performance and ranks 1$^{st}$ on the 2021 Shifts Vehicle Motion Prediction Competition.


title: Sentiment Analysis and Effect of COVID-19 Pandemic using College SubReddit Data

abstract: Background: The COVID-19 pandemic has affected our society and human well-being in various ways. In this study, we investigate how the pandemic has influenced people's emotions and psychological states compared to a pre-pandemic period using real-world data from social media. Method: We collected Reddit social media data from 2019 (pre-pandemic) and 2020 (pandemic) from the subreddits communities associated with eight universities. We applied the pre-trained Robustly Optimized BERT pre-training approach (RoBERTa) to learn text embedding from the Reddit messages, and leveraged the relational information among posted messages to train a graph attention network (GAT) for sentiment classification. Finally, we applied model stacking to combine the prediction probabilities from RoBERTa and GAT to yield the final classification on sentiment. With the model-predicted sentiment labels on the collected data, we used a generalized linear mixed-effects model to estimate the effects of pandemic and in-person teaching during the pandemic on sentiment. Results: The results suggest that the odds of negative sentiments in 2020 (pandemic) were 25.7% higher than the odds in 2019 (pre-pandemic) with a $p$-value $<0.001$; and the odds of negative sentiments associated in-person learning were 48.3% higher than with remote learning in 2020 with a $p$-value of 0.029. Conclusions: Our study results are consistent with the findings in the literature on the negative impacts of the pandemic on people's emotions and psychological states. Our study contributes to the growing real-world evidence on the various negative impacts of the pandemic on our society; it also provides a good example of using both ML techniques and statistical modeling and inference to make better use of real-world data.


title: Efficient Data Race Detection of Async-Finish Programs Using Vector Clocks

abstract: Existing data race detectors for task-based programs incur significant run time and space overheads. The overheads arise because of frequent lookups in fine-grained tree data structures to check whether two accesses can happen in parallel. This work shows how to efficiently apply vector clocks for dynamic data race detection of async-finish programs with locks. Our proposed technique, FastRacer, builds on the FastTrack algorithm with per-task and per-variable optimizations to reduce the size of vector clocks. FastRacer exploits the structured parallelism of async-finish programs to use a coarse-grained encoding of the dynamic task inheritance relations to limit the metadata in the presence of many concurrent readers. Our evaluation shows that FastRacer substantially improves time and space overheads over FastTrack, and is competitive with the state-of-the-art data race detectors for async-finish programs with locks.


title: A decoupled numerical method for two-phase flows of different densities and viscosities in superposed fluid and porous layers

abstract: In this article we consider the numerical modeling and simulation via the phase field approach of two-phase flows of different densities and viscosities in superposed fluid and porous layers. The model consists of the Cahn-Hilliard-Navier-Stokes equations in the free flow region and the Cahn-Hilliard-Darcy equations in porous media that are coupled by seven domain interface boundary conditions. We show that the coupled model satisfies an energy law. Based on the ideas of pressure stabilization and artificial compressibility, we propose an unconditionally stable time stepping method that decouples the computation of the phase field variable, the velocity and pressure of free flow, the velocity and pressure of porous media, hence significantly reduces the computational cost. The energy stability of the scheme effected with the finite element spatial discretization is rigorously established. We verify numerically that our schemes are convergent and energy-law preserving. Ample numerical experiments are performed to illustrate the features of two-phase flows in the coupled free flow and porous media setting.


title: The case against entanglement improved measurement precision

abstract: It is widely accepted that quantum entanglement between otherwise independent sensors can yield a measurement precision beyond that achievable when the same resources are employed without entanglement \cite{Helstrom1969, Holevo1973a, Caves1980a, Caves1981, Wootters1981, Yurke1986, Wu1986, Xiao1987, Slusher1987, Shapiro1989, Wineland1992, Polzik1992, Kitagawa1993, Braunstein1994, Wineland1994, Sanders1995, Bollinger1996, Ou1997, Dowling1998,Soerensen1998, Brif1999, Childs2000, Fleischhauer2000, Meyer2001, Geremia2003, Giovannetti2004, Kok2004, Leibfried2004, Leibfried2005, Giovannetti2006, Nagata2007, Appel2009, Gross2010, Leroux2010, Zwierz2010,DemkowiczDobrzanski2012, Zwierz2012,Aasi2013,Pezze2018,Tse2019,Casacio2021}. Here we show that theoretical proofs of entanglement enhanced metrology are based on a misinterpretation of \emph{can't} theorems as \emph{can} theorems. In concert, we dissect claims of an experimental precision beyond the classical limits and detail where comparisons are misleading, incomplete or incorrect to show that the precision of optimised measurements which forgo entanglement has not been surpassed. In doing so, we highlight a significant discrepancy between experimentally reported uncertainties and the current predictions of quantum measurement theory. The discrepancy can be resolved by introducing a simple physical principle which demonstrates better agreement to empirical evidence. We thus provide viable avenues as to where standard interpretations of quantum mechanics should be modified in order to better predict measurement outcomes.


title: COSMIC: fast closed-form identification from large-scale data for LTV systems

abstract: We introduce a closed-form method for identification of discrete-time linear time-variant systems from data, formulating the learning problem as a regularized least squares problem where the regularizer favors smooth solutions within a trajectory. We develop a closed-form algorithm with guarantees of optimality and with a complexity that increases linearly with the number of instants considered per trajectory. The COSMIC algorithm achieves the desired result even in the presence of large volumes of data. Our method solved the problem using two orders of magnitude less computational power than a general purpose convex solver and was about 3 times faster than a Stochastic Block Coordinate Descent especially designed method. Computational times of our method remained in the order of magnitude of the second even for 10k and 100k time instants, where the general purpose solver crashed. To prove its applicability to real world systems, we test with spring-mass-damper system and use the estimated model to find the optimal control path. Our algorithm was applied to both a Low Fidelity and Functional Engineering Simulators for the Comet Interceptor mission, that requires precise pointing of the on-board cameras in a fast dynamics environment. Thus, this paper provides a fast alternative to classical system identification techniques for linear time-variant systems, while proving to be a solid base for applications in the Space industry and a step forward to the incorporation of algorithms that leverage data in such a safety-critical environment.

categories: math.OC astro-ph.IM cs.SY eess.SY stat.ML


title: Inference of electric currents in the solar photosphere

abstract: We aim at demonstrating the capabilities of a newly developed method for determining electric currents in the solar photosphere. We employ three-dimensional radiative magneto-hydrodynamic (MHD) simulations to produce synthetic Stokes profiles in several spectral lines with a spatial resolution similar to what the newly operational 4-meter Daniel K. Inouye Solar Telescope (DKIST) solar telescope should achieve. We apply a newly developed inversion method of the polarized radiative transfer equation with magneto-hydrostatic (MHS) constraints to infer the magnetic field vector in the three-dimensional Cartesian domain, $\mathbf{B}(x,y,z),$ from the synthetic Stokes profiles. We then apply Ampere's law to determine the electric currents, ${\bf j}$, from the inferred magnetic field, $\mathbf{B}(x,y,z),$ and compare the results with the electric currents present in the original MHD simulation. We show that the method employed here is able to attain reasonable reliability (close to 50 % of the cases are within a factor of two, and this increases to 60 %-70 % for pixels with $B\ge300$ G) in the inference of electric currents for low atmospheric heights (optical depths at 500 nm $\tau_{5}\in$[1,0.1]) regardless of whether a small or large number of spectral lines are inverted. Above these photospheric layers, the method's accuracy strongly deteriorates as magnetic fields become weaker and as the MHS approximation becomes less accurate. We also find that the inferred electric currents have a floor value that is related to low-magnetized plasma, where the uncertainty in the magnetic field inference prevents a sufficiently accurate determination of the spatial derivatives. We present a method that allows the inference of the three components of the electric current vector at deep atmospheric layers (photospheric layers) from spectropolarimetric observations.


title: Inhibition of Current-spike Formation Based on Longitudinal Phase Space Manipulation for High-Repetition-Rate X-ray FEL

abstract: The formation of a double-horn current profile is a challenging issue in the achievement of electron bunch with high peak current, especially for high-repetition-rate X-ray free-electron lasers (XFELs) where more nonlinear and intricate beam dynamics propagation is involved. Here, we propose to correct the nonlinear beam longitudinal phase space distortion in the photoinjector section with a dual-mode buncher. In combination with the evolutionary many-objective beam dynamics optimization, this method is shown to be effective in manipulating the longitudinal phase space at the injector exit. Furthermore, the formation of the current spike is avoided after the multi-stage charge density modulation and electron bunch with a peak current of 1.6 kA is achieved for 100-pC bunch charge.Start-to-end simulations based on the Shanghai high-repetition-rate XFEL and extreme light facility demonstrate that the proposed scheme can increase the FEL pulse energy by more than 3 times in a cascading operation of echo-enabled harmonic generation and high-gain harmonic generation. Moreover, this method can also be used for longitudinal phase space shaping of electron beams operating at a high repetition rate to meet the specific demands of different researches.


title: Robust parameter estimation of regression model under weakened moment assumptions

abstract: This paper provides some extended results on estimating parameter matrix of several regression models when the covariate or response possesses weaker moment condition. We study the $M$-estimator of Fan et al. (Ann Stat 49(3):1239--1266, 2021) for matrix completion model with $(1+\epsilon)$-th moment noise. The corresponding phase transition phenomenon is observed. When $1> \epsilon>0$, the robust estimator possesses a slower convergence rate compared with previous literature. For high dimensional multiple index coefficient model, we propose an improved estimator via applying the element-wise truncation method to handle heavy-tailed data with finite fourth moment. The extensive simulation study validates our theoretical results.


title: Ethical and social risks of harm from Language Models

abstract: This paper aims to help structure the risk landscape associated with large-scale Language Models (LMs). In order to foster advances in responsible innovation, an in-depth understanding of the potential risks posed by these models is needed. A wide range of established and anticipated risks are analysed in detail, drawing on multidisciplinary expertise and literature from computer science, linguistics, and social sciences. We outline six specific risk areas: I. Discrimination, Exclusion and Toxicity, II. Information Hazards, III. Misinformation Harms, V. Malicious Uses, V. Human-Computer Interaction Harms, VI. Automation, Access, and Environmental Harms. The first area concerns the perpetuation of stereotypes, unfair discrimination, exclusionary norms, toxic language, and lower performance by social group for LMs. The second focuses on risks from private data leaks or LMs correctly inferring sensitive information. The third addresses risks arising from poor, false or misleading information including in sensitive domains, and knock-on risks such as the erosion of trust in shared information. The fourth considers risks from actors who try to use LMs to cause harm. The fifth focuses on risks specific to LLMs used to underpin conversational agents that interact with human users, including unsafe use, manipulation or deception. The sixth discusses the risk of environmental harm, job automation, and other challenges that may have a disparate effect on different social groups or communities. In total, we review 21 risks in-depth. We discuss the points of origin of different risks and point to potential mitigation approaches. Lastly, we discuss organisational responsibilities in implementing mitigations, and the role of collaboration and participation. We highlight directions for further research, particularly on expanding the toolkit for assessing and evaluating the outlined risks in LMs.


title: Synchronized Front Propagation and Delayed Flame Quenching in Strain G-equation and Time-Periodic Cellular Flows

abstract: G-equations are level-set type Hamilton-Jacobi partial differential equations modeling propagation of flame front along a flow velocity and a laminar velocity. In consideration of flame stretching, strain rate may be added into the laminar speed. We perform finite difference computation of G-equations with the discretized strain term being monotone with respect to one-sided spatial derivatives. Let the flow velocity be the time-periodic cellular flow (modeling Rayleigh-B\'enard advection), we compute the turbulent flame speeds as the asymptotic propagation speeds from a planar initial flame front. In strain G-equation model, front propagation is enhanced by the cellular flow, and flame quenching occurs if the flow intensity is large enough. In contrast to the results in steady cellular flow, front propagation in time periodic cellular flow may be locked into certain spatial-temporal periodicity pattern, and turbulent flame speed becomes a piecewise constant function of flow intensity. Also the disturbed flame front does not cease propagating until much larger flow intensity.


title: Sequentially Cohen-Macaulay binomial edge ideals of closed graphs

abstract: In this paper we provide a full combinatorial characterization of sequentially Cohen-Macaulay binomial edge ideals of closed graphs. In addition, we show that a binomial edge ideal of a closed graph is approximately Cohen-Macaulay if and only if it is almost Cohen-Macaulay.


title: Physics-based Mesh Deformation with Haptic Feedback and Material Anisotropy

abstract: We present a physics-based framework to simulate porous, deformable materials and interactive tools with haptic feedback that can reshape it. In order to allow the material to be moulded non-homogeneously, we propose an algorithm to change the material properties of the object depending on its water content. We present a multi-resolution, multi-timescale simulation framework to enable stable visual and haptic feedback at interactive rates. We test our model for physical consistency, accuracy, interactivity and appeal through a user study and quantitative performance evaluation.


title: Geometry-Aware Fruit Grasping Estimation for Robotic Harvesting in Orchards

abstract: Field robotic harvesting is a promising technique in recent development of agricultural industry. It is vital for robots to recognise and localise fruits before the harvesting in natural orchards. However, the workspace of harvesting robots in orchards is complex: many fruits are occluded by branches and leaves. It is important to estimate a proper grasping pose for each fruit before performing the manipulation. In this study, a geometry-aware network, A3N, is proposed to perform end-to-end instance segmentation and grasping estimation using both color and geometry sensory data from a RGB-D camera. Besides, workspace geometry modelling is applied to assist the robotic manipulation. Moreover, we implement a global-to-local scanning strategy, which enables robots to accurately recognise and retrieve fruits in field environments with two consumer-level RGB-D cameras. We also evaluate the accuracy and robustness of proposed network comprehensively in experiments. The experimental results show that A3N achieves 0.873 on instance segmentation accuracy, with an average computation time of 35 ms. The average accuracy of grasping estimation is 0.61 cm and 4.8$^{\circ}$ in centre and orientation, respectively. Overall, the robotic system that utilizes the global-to-local scanning and A3N, achieves success rate of harvesting ranging from 70\% - 85\% in field harvesting experiments.


title: Generalization Error Bounds for Iterative Recovery Algorithms Unfolded as Neural Networks

abstract: Motivated by the learned iterative soft thresholding algorithm (LISTA), we introduce a general class of neural networks suitable for sparse reconstruction from few linear measurements. By allowing a wide range of degrees of weight-sharing between the layers, we enable a unified analysis for very different neural network types, ranging from recurrent ones to networks more similar to standard feedforward neural networks. Based on training samples, via empirical risk minimization we aim at learning the optimal network parameters and thereby the optimal network that reconstructs signals from their low-dimensional linear measurements. We derive generalization bounds by analyzing the Rademacher complexity of hypothesis classes consisting of such deep networks, that also take into account the thresholding parameters. We obtain estimates of the sample complexity that essentially depend only linearly on the number of parameters and on the depth. We apply our main result to obtain specific generalization bounds for several practical examples, including different algorithms for (implicit) dictionary learning, and convolutional neural networks.


title: Projective representation theory for compact quantum groups and the quantum Baum-Connes assembly map

abstract: We study the theory of projective representations for a compact quantum group $\mathbb{G}$, i.e. actions of $\mathbb{G}$ on $\mathcal{B}(H)$ for some Hilbert space $H$. We show that any such projective representation is inner, and is hence induced by an $\Omega$-twisted representation for some unitary measurable $2$-cocycle $\Omega$ on $\mathbb{G}$. We show that a projective representation is continuous, i.e. restricts to an action on the compact operators $\mathcal{K}(H)$, if and only if the associated $2$-cocycle is regular, and that this condition is automatically satisfied if $\mathbb{G}$ is of Kac type. This allows in particular to characterise the torsion of projective type of $\widehat{\mathbb{G}}$ in terms of the projective representation theory of $\mathbb{G}$. For a given regular unitary $2$-cocycle $\Omega$, we then study $\Omega$-twisted actions on C$^*$-algebras. We define deformed crossed products with respect to $\Omega$, obtaining a twisted version of the Baaj-Skandalis duality and a quantum version of the Packer-Raeburn's trick. As an application, we provide a twisted version of the Green-Julg isomorphism and obtain the quantum Baum-Connes assembly map for permutation torsion-free discrete quantum groups.


title: La mujer a trav\'es de los personajes femeninos en el cine de tem\'atica financiera -- Women through female characters in financial topics films

abstract: Analysis and assessment of female characters in economic financial themes films that have appeared in some thirty relevant films, from the beginning of cinema, selected from various bibliographies. Descriptive, comparative and impartial study. Quantitative techniques are applied to measure the influence of women in terms of protagonism, positive values, negative values, compliance or non-compliance with the Bechdel test, and results are evaluated. It is based on two previous binding publications: Marzal et al. The crisis of the real. Representations of the 2008 financial crisis in contemporary audiovisual (2018) and Mart\'in-de-Santos, Financial administration through cinema. Analytical and critical study of the most interesting films for university education (20219. Realistic film versions are contrasted with actual events today.


title: On visual self-supervision and its effect on model robustness

abstract: Recent self-supervision methods have found success in learning feature representations that could rival ones from full supervision, and have been shown to be beneficial to the model in several ways: for example improving models robustness and out-of-distribution detection. In our paper, we conduct an empirical study to understand more precisely in what way can self-supervised learning - as a pre-training technique or part of adversarial training - affects model robustness to $l_2$ and $l_{\infty}$ adversarial perturbations and natural image corruptions. Self-supervision can indeed improve model robustness, however it turns out the devil is in the details. If one simply adds self-supervision loss in tandem with adversarial training, then one sees improvement in accuracy of the model when evaluated with adversarial perturbations smaller or comparable to the value of $\epsilon_{train}$ that the robust model is trained with. However, if one observes the accuracy for $\epsilon_{test} \ge \epsilon_{train}$, the model accuracy drops. In fact, the larger the weight of the supervision loss, the larger the drop in performance, i.e. harming the robustness of the model. We identify primary ways in which self-supervision can be added to adversarial training, and observe that using a self-supervised loss to optimize both network parameters and find adversarial examples leads to the strongest improvement in model robustness, as this can be viewed as a form of ensemble adversarial training. Although self-supervised pre-training yields benefits in improving adversarial training as compared to random weight initialization, we observe no benefit in model robustness or accuracy if self-supervision is incorporated into adversarial training.


title: Semantic TrueLearn: Using Semantic Knowledge Graphs in Recommendation Systems

abstract: In informational recommenders, many challenges arise from the need to handle the semantic and hierarchical structure between knowledge areas. This work aims to advance towards building a state-aware educational recommendation system that incorporates semantic relatedness between knowledge topics, propagating latent information across semantically related topics. We introduce a novel learner model that exploits this semantic relatedness between knowledge components in learning resources using the Wikipedia link graph, with the aim to better predict learner engagement and latent knowledge in a lifelong learning scenario. In this sense, Semantic TrueLearn builds a humanly intuitive knowledge representation while leveraging Bayesian machine learning to improve the predictive performance of the educational engagement. Our experiments with a large dataset demonstrate that this new semantic version of TrueLearn algorithm achieves statistically significant improvements in terms of predictive performance with a simple extension that adds semantic awareness to the model.


title: Adaptive R-Peak Detection on Wearable ECG Sensors for High-Intensity Exercise

abstract: Objective: Continuous monitoring of biosignals via wearable sensors has quickly expanded in the medical and wellness fields. At rest, automatic detection of vital parameters is generally accurate. However, in conditions such as high-intensity exercise, sudden physiological changes occur to the signals, compromising the robustness of standard algorithms. Methods: Our method, called BayeSlope, is based on unsupervised learning, Bayesian filtering, and non-linear normalization to enhance and correctly detect the R peaks according to their expected positions in the ECG. Furthermore, as BayeSlope is computationally heavy and can drain the device battery quickly, we propose an online design that adapts its robustness to sudden physiological changes, and its complexity to the heterogeneous resources of modern embedded platforms. This method combines BayeSlope with a lightweight algorithm, executed in cores with different capabilities, to reduce the energy consumption while preserving the accuracy. Results: BayeSlope achieves an F1 score of 99.3% in experiments during intense cycling exercise with 20 subjects. Additionally, the online adaptive process achieves an F1 score of 99% across five different exercise intensities, with a total energy consumption of 1.55+-0.54~mJ. Conclusion: We propose a highly accurate and robust method, and a complete energy-efficient implementation in a modern ultra-low-power embedded platform to improve R peak detection in challenging conditions, such as during high-intensity exercise. Significance: The experiments show that BayeSlope outperforms a state-of-the-art algorithm up to 8.4% in F1 score, while our online adaptive method can reach energy savings up to 38.7% on modern heterogeneous wearable platforms.


title: Band-like structures and quartets in deformed N=Z nuclei

abstract: We provide a description of deformed $N=Z$ nuclei in a formalism of $\alpha$-like quartets. Quartets are constructed variationally by resorting to the use of proper intrinsic states. Various types of intrinsic states are introduced which generate different sets of quartets for a given nucleus. Energy spectra are generated via configuration-iteraction calculations in the spaces built with these quartets. The approach has been applied to $^{24}$Mg and $^{28}$Si in the $sd$ shell and to $^{48}$Cr in the $pf$ shell. In all cases a good description of the low-lying spectra has been achieved. As a peculiarity of the approach, a close correspondence is observed between the various sets of quartets employed and the occurrence of well defined band-like structures in the spectra of the systems under study.


title: Eigenfunctions restriction estimates for curves with nonvanishing geodesic curvatures in compact Riemannian surfaces with nonpositive curvature

abstract: For $2\leq p<4$, we study the $L^p$ norms of restrictions of eigenfunctions of the Laplace-Beltrami operator on smooth compact $2$-dimensional Riemannian manifolds. Burq, G\'erard, and Tzvetkov \cite{BurqGerardTzvetkov2007restrictions}, and Hu \cite{Hu2009lp} found the eigenfunction estimates restricted to a curve with nonvanishing geodesic curvatures. We will explain how the proof of the known estimates helps us to consider the case where the given smooth compact Riemannian manifold has nonpositive sectional curvatures. For $p=4$, we will also obtain a logarithmic analogous estimate, by using arguments in Xi and Zhang \cite{XiZhang2017improved}, Sogge \cite{Sogge2017ImprovedCritical}, and Bourgain \cite{Bourgain1991Besicovitch}.


title: On some hyperbolic equations of third order

abstract: We give sufficient conditions for the well-posedness in $\mathcal{C}^\infty$ of the Cauchy problem for third order equations with time dependent coefficients.


title: Stochastic Bounded Confidence Opinion Dynamics: How Far Apart Do Opinions Drift?

abstract: In this era of fast and large-scale opinion formation, a mathematical understanding of opinion evolution, a.k.a. opinion dynamics, is especially important. Linear graph-based dynamics and bounded confidence dynamics are the two most popular models for opinion dynamics in social networks. Recently, stochastic bounded confidence opinion dynamics were proposed as a general framework that incorporates both these dynamics as special cases and also captures the inherent stochasticity and noise (errors) in real-life social exchanges. Although these dynamics are quite general and realistic, their analysis is particularly challenging compared to other opinion dynamics models. This is because these dynamics are nonlinear and stochastic, and belong to the class of Markov processes that have asymptotically zero drift and unbounded jumps. The asymptotic behavior of these dynamics was characterized in prior works. However, they do not shed light on their finite-time behavior, which is often of interest in practice. We take a stride in this direction by analyzing the finite time behavior of a two-agent system, which is fundamental to the understanding of multi-agent dynamics. In particular, we show that the opinion difference between the two agents is well concentrated around zero under the conditions that lead to asymptotic stability of the dynamics.


title: Dependability Engineering in Isabelle

abstract: In this paper, we introduce a process of formal system development supported by interactive theorem proving in a dedicated Isabelle framework. This Isabelle Infrastructure framework implements specification and verification in a cyclic process supported by attack tree analysis closely inter-connected with formal refinement of the specification. The process is cyclic: in a repeated iteration the refinement adds more detail to the system specification. It is a known hard problem how to find the next refinement step: this problem is addressed by the attack based analysis using Kripke structures and CTL logic. We call this cyclic process the Refinement-Risk cycle (RR-cycle). It has been developed for security and privacy of IoT healthcare systems initially but is more generally applicable for safety as well, that is, dependability in general. In this paper, we present the extensions to the Isabelle Infrastructure framework implementing a formal notion of property preserving refinement interleaved with attack tree analysis for the RR-cycle. The process is illustrated on the specification development and privacy analysis of the mobile Corona-virus warning app.


title: Ancilla-Error-Transparent Controlled Beam Splitter Gate

abstract: In hybrid circuit QED architectures containing both ancilla qubits and bosonic modes, a controlled beam splitter gate is a powerful resource. It can be used to create (up to a controlled-parity operation) an ancilla-controlled SWAP gate acting on two bosonic modes. This is the essential element required to execute the `swap test' for purity, prepare quantum non-Gaussian entanglement and directly measure nonlinear functionals of quantum states. It also constitutes an important gate for hybrid discrete/continuous-variable quantum computation. We propose a new realization of a hybrid cSWAP utilizing `Kerr-cat' qubits -- anharmonic oscillators subject to strong two-photon driving. The Kerr-cat is used to generate a controlled-phase beam splitter (cPBS) operation. When combined with an ordinary beam splitter one obtains a controlled beam-splitter (cBS) and from this a cSWAP. The strongly biased error channel for the Kerr-cat has phase flips which dominate over bit flips. This yields important benefits for the cSWAP gate which becomes non-destructive and transparent to the dominate error. Our proposal is straightforward to implement and, based on currently existing experimental parameters, should achieve controlled beam-splitter gates with high fidelities comparable to current ordinary beam-splitter operations available in circuit QED.


title: An atomistic model for the thermal resistance of a liquid-solid interface

abstract: The thermal resistance associated with the interface between a solid and a liquid is analyzed from an atomistic point of view. Partial evaluation of the associated Green-Kubo integral elucidates the various factors governing heat transport across the interface and leads to a quantitative model for the thermal resistance in terms of atomistic-level system parameters. The model is validated using molecular dynamics simulations.


title: From steady-state TASEP model with open boundaries to 1D Ising model at negative fugacity

abstract: We demonstrate here a series of exact mappings between particular cases of four statistical physics models: equilibrium 1-dimensional lattice gas with nearest-neighbor repulsion, $(1+1)$-dimensional combinatorial heap of pieces, random walks on half-plane and totally asymmetric simple exclusion process (TASEP) in one dimension (1D). In particular, we show that generating function of a steady state of one-dimensional TASEP with open boundaries can be interpreted as a quotient of partition functions of 1D hard-core lattice gases with one adsorbing lattice site and negative fugacity. This result is based on the combination of (i) a representation of the steady-state TASEP configurations in terms of $(1+1)$-dimensional heaps of pieces and (ii) a theorem connecting the partition function of $(1+1)$-dimensional heaps of pieces with that of a single layer of pieces, which in this case is a 1D hard-core lattice gas.


title: How do Clifford algebras show the way to the second quantized fermions with unified spins, charges and families, and to the corresponding second quantized vector and scalar gauge fields

abstract: This contribution presents properties of the second quantized not only fermion fields but also boson fields, if the second quantization of both kinds of fields origins in the description of the internal space of fields with the ''basis vectors'' which are the superposition of odd (when describing fermions) or even (when describing bosons) products of the Clifford algebra operators $\gamma^a$'s. The tensor products of the ''basis vectors'' with the basis in ordinary space forming the creation operators manifest the anticommutativty (of fermions) or commutativity (of bosons) of the ''basis vectors'', explaining the second quantization postulates of both kinds of fields. Creation operators of boson fields have all the properties of the gauge fields of the corresponding fermion fields, offering a new understanding of the fermion and boson fields.


title: Player Modeling using Behavioral Signals in Competitive Online Games

abstract: Competitive online games use rating systems to match players with similar skills to ensure a satisfying experience for players. In this paper, we focus on the importance of addressing different aspects of playing behavior when modeling players for creating match-ups. To this end, we engineer several behavioral features from a dataset of over 75,000 battle royale matches and create player models based on the retrieved features. We then use the created models to predict ranks for different groups of players in the data. The predicted ranks are compared to those of three popular rating systems. Our results show the superiority of simple behavioral models over mainstream rating systems. Some behavioral features provided accurate predictions for all groups of players while others proved useful for certain groups of players. The results of this study highlight the necessity of considering different aspects of the player's behavior such as goals, strategy, and expertise when making assignments.


title: Summation rules for the values of the Riemann zeta-function and generalized harmonic numbers obtained using Laurent developments of polygamma functions and their products

abstract: Following the Mellin and inverse Mellin transform techniques presented in our paper arXiv:1606.02150 (NT), we have established close forms of Laurent series expansions of products of bi- and trigamma functions /psi(z)*/psi(-z) and /psi_(1)(z)*/psi_(1)(-z). These series were used to find summation rules which include generalized harmonic numbers of first, second and third powers and values of the Riemann zeta-functions at integers / Bernoulli numbers, for example 2*Sum_(k-1)^(infinity)(H_(k)^((2))/k^3)=6*/zeta(2)*/zeta(3)-9*/zeta(5). Some of these rules were tested numerically.


title: Topology and Geometry of the Third-Party Domains Ecosystem: Measurement and Applications

abstract: Over the years, web content has evolved from simple text and static images hosted on a single server to a complex, interactive and multimedia-rich content hosted on different servers. As a result, a modern website during its loading time fetches content not only from its owner's domain but also from a range of third-party domains providing additional functionalities and services. Here, we infer the network of the third-party domains by observing the domains' interactions within users' browsers from all over the globe. We find that this network possesses structural properties commonly found in complex networks, such as power-law degree distribution, strong clustering, and small-world property. These properties imply that a hyperbolic geometry underlies the ecosystem's topology. We use statistical inference methods to find the domains' coordinates in this geometry, which abstract how popular and similar the domains are. The hyperbolic map we obtain is meaningful, revealing the large-scale organization of the ecosystem. Furthermore, we show that it possesses predictive power, providing us the likelihood that third-party domains are co-hosted; belong to the same legal entity; or merge under the same entity in the future in terms of company acquisition. We also find that complementarity instead of similarity is the dominant force driving future domains' merging. These results provide a new perspective on understanding the ecosystem's organization and performing related inferences and predictions.


title: Dark matter and flavor anomalies in the light of vector-like fermions and scalar leptoquark

abstract: We make a comprehensive study of vector-like fermionic dark matter and flavor anomalies in a simple extension of standard model. The model is added with doublet vector-like fermions of quark and lepton types, and also a $S_1(\bar{\textbf{3}},\textbf{1},1/3)$ scalar leptoquark. An additional lepton type singlet fermion is included, whose admixture with vector-like lepton doublet plays the role of dark matter and is examined in relic density and direct detection perspective. Electroweak precision observables are computed to put constraint on model parameter space. We constrain the new couplings from the branching ratios and angular observables associated with $b \to sll (\nu_l \bar \nu_l)$, $b \to s \gamma$ decays and also from the recent measurement on muon anomalous magnetic moment. We then estimate the branching ratios of the rare lepton flavor vioalting $B_{(s)}$ decay modes such as $B_{(s)} \to l_i^\mp l_j^\pm$, $B_{(s)} \to (K^{(*)}, \phi) l_i^\mp l_j^\pm$.


title: On the EPR paradox and local causality principle

abstract: Formulas for calculating the joint probability of outcomes of measurements performed on mutually non-interacting component systems of a combined system prepared in an entangled state are presented. The formulas are based on non-relativistic quantum mechanics. An interpretation of the joint probability which conforms to the principle of local causality is proposed. The joint probability of outcomes of spin measurements performed on the well-known system of two spatially separated spin-1/2 particles prepared initially in the singlet state is used to illustrate the proposed interpretation of theoretical and experimental results.


title: Reproducing software environments: a prerequisite for reproducible research

abstract: As software has become an integral part of scientific workflows, reproducible research practices must take it into account. In what way? Archiving source code is a necessary but insufficient condition. The ability to redeploy software environments, which at first sight may be viewed as a technical detail, is in fact a requirement. This article explores tools and methods to achieve this goal.


title: Global optimization on a metric space with a graph and an application to PBVP

abstract: In this article we introduce a new type of cyclic contraction mapping on a pair of subsets of a metric space with a graph and prove best proximity points results for the same. Also, we demonstrate that the number of such points is same with the number of connected subgraphs. Hereafter, we introduce a fixed point mapping obtained from the aforesaid cyclic contraction and prove some fixed point theorems which will be used to find a common solution for a system of periodic boundary value problems. Our results unify and subsume many existing results in the literature.


title: Which images to label for few-shot medical landmark detection?

abstract: The success of deep learning methods relies on the availability of well-labeled large-scale datasets. However, for medical images, annotating such abundant training data often requires experienced radiologists and consumes their limited time. Few-shot learning is developed to alleviate this burden, which achieves competitive performances with only several labeled data. However, a crucial yet previously overlooked problem in few-shot learning is about the selection of template images for annotation before learning, which affects the final performance. We herein propose a novel Sample Choosing Policy (SCP) to select "the most worthy" images for annotation, in the context of few-shot medical landmark detection. SCP consists of three parts: 1) Self-supervised training for building a pre-trained deep model to extract features from radiological images, 2) Key Point Proposal for localizing informative patches, and 3) Representative Score Estimation for searching the most representative samples or templates. The advantage of SCP is demonstrated by various experiments on three widely-used public datasets. For one-shot medical landmark detection, its use reduces the mean radial errors on Cephalometric and HandXray datasets by 14.2% (from 3.595mm to 3.083mm) and 35.5% (4.114mm to 2.653mm), respectively.


title: Truth-tracking via Approval Voting: Size Matters

abstract: Epistemic social choice aims at unveiling a hidden ground truth given votes, which are interpreted as noisy signals about it. We consider here a simple setting where votes consist of approval ballots: each voter approves a set of alternatives which they believe can possibly be the ground truth. Based on the intuitive idea that more reliable votes contain fewer alternatives, we define several noise models that are approval voting variants of the Mallows model. The likelihood-maximizing alternative is then characterized as the winner of a weighted approval rule, where the weight of a ballot decreases with its cardinality. We have conducted an experiment on three image annotation datasets; they conclude that rules based on our noise model outperform standard approval voting; the best performance is obtained by a variant of the Condorcet noise model.


title: A graph representation based on fluid diffusion model for data analysis: theoretical aspects and enhanced community detection

abstract: Representing data by means of graph structures identifies one of the most valid approach to extract information in several data analysis applications. This is especially true when multimodal datasets are investigated, as records collected by means of diverse sensing strategies are taken into account and explored. Nevertheless, classic graph signal processing is based on a model for information propagation that is configured according to heat diffusion mechanism. This system provides several constraints and assumptions on the data properties that might be not valid for multimodal data analysis, especially when large scale datasets collected from heterogeneous sources are considered, so that the accuracy and robustness of the outcomes might be severely jeopardized. In this paper, we introduce a novel model for graph definition based on fluid diffusion. The proposed approach improves the ability of graph-based data analysis to take into account several issues of modern data analysis in operational scenarios, so to provide a platform for precise, versatile, and efficient understanding of the phenomena underlying the records under exam, and to fully exploit the potential provided by the diversity of the records in obtaining a thorough characterization of the data and their significance. In this work, we focus our attention to using this fluid diffusion model to drive a community detection scheme, i.e., to divide multimodal datasets into many groups according to similarity among nodes in an unsupervised fashion. Experimental results achieved by testing real multimodal datasets in diverse application scenarios show that our method is able to strongly outperform state-of-the-art schemes for community detection in multimodal data analysis.


title: Mixed membership distribution-free model

abstract: We consider the problem of community detection in overlapping weighted networks, where nodes can belong to multiple communities and edge weights can be finite real numbers. To model such complex networks, we propose a general framework - the mixed membership distribution-free (MMDF) model. MMDF has no distribution constraints of edge weights and can be viewed as generalizations of some previous models, including the well-known mixed membership stochastic blockmodels. Especially, overlapping signed networks with latent community structures can also be generated from our model. We use an efficient spectral algorithm with a theoretical guarantee of convergence rate to estimate community memberships under the model. We also propose the fuzzy weighted modularity to evaluate the quality of community detection for overlapping weighted networks with positive and negative edge weights. We then provide a method to determine the number of communities for weighted networks by taking advantage of our fuzzy weighted modularity. Numerical simulations and real data applications are carried out to demonstrate the usefulness of our mixed membership distribution-free model and our fuzzy weighted modularity.


title: Riemannian Structure imposed on Friedmann and more general spacetimes

abstract: In the paper we consider two Finsler-like Riemannian metrics, which can be in a natural way introduced into general relativity. One of those metrics $\gamma_{ab}$ is degenerate and the second $h_{ab}$ is nondegenerate. We are mainly interested with the metric $h_{ab}$ and comparing the geometric structure determined by this metric $h_{ab}$ with the geometric structure determined by the Lorentzian metric $g_{ab}$ of the underlying spacetime. Full comparison we have given for Friedmann Universis. The preliminary version of the paper was presented by one of us (J.G.) on conference POTOR 6 in Szczecin 2019. We think that the our introduction of the Riemannian metric $h_{ab}$ into spacetime is simpler and more general than to so-called Wick rotation.


title: Covariant Effective Action for Generalized Proca Theories

abstract: We investigate quantum stability of the generalised Proca theories in curved spacetime treating gravity as a dynamical field. To compute the quantum gravitational corrections we evaluate divergent part of the effective action at one loop level. We employ Vilkovisky-DeWitt formalism for this task which gives us a gauge invariant and gauge condition independent effective action. It is shown that the quantum corrections are suppressed by a UV cutoff parametrically higher than the Proca mass if the coupling constants are restricted to lie in a certain range. Furthermore it is shown that the quantum corrections remain suppressed even at scales where classical non-linearities dominate over kinetic terms allowing Vainshtein mechanism to work.


title: Opportunistic Relay Selection over Generalized Fading and Inverse Gamma Composite Fading Mixed Multicast Channels: A Secrecy Tradeoff

abstract: The secrecy performance of realistic wireless multicast scenarios can be significantly deteriorated by the simultaneous occurrence of multipath and shadowing. To resolve this security threat, in this work an opportunistic relaying-based dual-hop wireless multicast framework is proposed in which the source dispatches confidential information to a bunch of receivers via intermediate relays under the wiretapping attempts of multiple eavesdroppers. Two scenarios, i.e. non-line of sight (NLOS) and line of sight (LOS) communications along with the multiplicative and LOS shadowing are considered where the first scenario assumes eta-mu and eta-mu/inverse Gamma (IG) composite fading channels and the latter one follows kappa-mu and kappa-mu/IG composite fading channels as the source to relay and relay to receiver's as well as eavesdropper's links, respectively. Secrecy analysis is accomplished by deriving closed-form expressions of three familiar secrecy measures i.e. secure outage probability for multicasting, probability of non-zero secrecy multicast capacity, and ergodic secrecy multicast capacity. We further capitalize on those expressions to observe the effects of all system parameters which are again corroborated via Monte-Carlo simulations. Our observations indicate that a secrecy tradeoff between the number of relays and number of receivers, eavesdroppers, and shadowing parameters can be established to maintain the admissible security level by decreasing the detrimental influences of fading, shadowing, the number of multicast receivers and eavesdroppers.


title: Optimal Design of Coatings for Mirrors of Gravitational Wave Detectors: Analytic Turbo Solution via Herpin Equivalent Layers

abstract: In this paper, an analytical solution to the problem of optimal dielectric coating design of mirrors for gravitational wave detectors is found. The technique used to solve this problem is based on Herpin's equivalent layers, which provide a simple, constructive, and analytical solution. The performance of the Herpin-type design exceeds that of the periodic design and is almost equal to the performance of the numerical, non-constructive optimized design obtained by brute force. Note that the existence of explicit analytic constructive solutions of a constrained optimization problem is not guaranteed in general, when such a solution is found, we speak of turbo optimal solutions.

categories: gr-qc astro-ph.IM math.OC physics.optics


title: Edge spin transport in the disordered two-dimensional topological insulator WTe$_2$

abstract: The spin conductance of two-dimensional topological insulators (2D TIs) is not expected to be quantized in the presence of perturbations that break the spin-rotational symmetry. However, the deviation from the pristine-limit quantization has yet to be studied in detail. In this paper, we define the spin current operator for the helical edge modes of a 2D TI and introduce a four-terminal setup to measure spin conductances. Using the developed formalism, we consider the effects of disorder terms that break spin-rotational symmetry or give rise to edge-to-edge coupling. We identify a key role played by spin torque in an out-of-equilibrium edge. We then utilize a tight-binding model of topological monolayer WTe$_2$ and scattering matrix formalism to numerically study spin transport in a four-terminal 2D TI device. In particular, we calculate the spin conductances and characteristic spin decay length in the presence of magnetic disorder. In addition, we study the effects of inter-edge scattering in a quantum point contact geometry. We find that the spin Hall conductance is surprisingly robust to spin symmetry-breaking perturbations, as long as time-reversal symmetry is preserved and inter-edge scattering is weak.


title: On anti-stochastic properties of unlabeled graphs

abstract: We study vulnerability of a uniformly distributed random graph to an attack by an adversary who aims for a global change of the distribution while being able to make only a local change in the graph. We call a graph property $A$ anti-stochastic if the probability that a random graph $G$ satisfies $A$ is small but, with high probability, there is a small perturbation transforming $G$ into a graph satisfying $A$. While for labeled graphs such properties are easy to obtain from binary covering codes, the existence of anti-stochastic properties for unlabeled graphs is not so evident. If an admissible perturbation is either the addition or the deletion of one edge, we exhibit an anti-stochastic property that is satisfied by a random unlabeled graph of order $n$ with probability $(2+o(1))/n^2$, which is as small as possible. We also express another anti-stochastic property in terms of the degree sequence of a graph. This property has probability $(2+o(1))/(n\ln n)$, which is optimal up to factor of 2.


title: The Largest Suslin Axiom

abstract: We develop the basic fine structure theory of the minimal model of the Largest Suslin Axiom. In particular, we prove that that the minimal model of the Largest Suslin Axiom satisfies the Mouse Set Conjecture, and that the Proper Forcing Axiom implies the minimal model of the Largest Suslin Axiom exists.


title: Phase tuning of multiple Andreev reflections of Dirac fermions and the Josephson supercurrent in Al-MoTe2-Al junctions

abstract: When a normal metal $N$ is sandwiched between two superconductors, the energy gaps in the latter act as walls that confine electrons in $N$ in a square-well potential. If the voltage $V$ across $N$ is finite, an electron injected into the well undergoes multiple Andreev reflections (MAR) until it gains enough energy to overcome the energy barrier. Because each reflection converts an electron to a hole (or vice versa), while creating (or destroying) a Cooper pair, the MAR process shuttles a stream of pairs across the junction. An interesting question is, given a finite $V$, what percentage of the shuttled pairs end up as a Josephson supercurrent? This fraction does not seem to have been measured. Here we show that, in high-transparency junctions based on the type II Dirac semimetal MoTe$_2$, the MAR leads to a stair-case profile in the current-voltage ($I$-$V$) response, corresponding to pairs shuttled incoherently by the $n^{th}$-order process. By varying the phase $\varphi$ across the junction, we demonstrate that a Josephson supercurrent ${\bf J}_{\rm s}\sim \sin\varphi$ co-exists with the MAR steps, even at large $V$. The observed linear increase in the amplitude of ${\bf J}_{\rm s}$ with $n$ (for small $n$) implies that ${\bf J}_{\rm s}$ originates from the population of pairs that are coherently shuttled. We infer that the MAR steps and the supercurrent are complementary aspects of the Andreev process. The experiment yields the percentage of shuttled pairs that form the supercurrent. At large $V$, the coherent fraction is initially linear in $n$. However, as $V\to 0$ ($n\gg 1$), almost all the pairs end up as the observed Josephson supercurrent.


title: Matching for causal effects via multimarginal unbalanced optimal transport

abstract: Matching on covariates is a well-established framework for estimating causal effects in observational studies. The principal challenge stems from the often high-dimensional structure of the problem. Many methods have been introduced to address this, with different advantages and drawbacks in computational and statistical performance as well as interpretability. This article introduces a natural optimal matching method based on multimarginal unbalanced optimal transport that possesses many useful properties in this regard. It provides interpretable weights based on the distance of matched individuals, can be efficiently implemented via the iterative proportional fitting procedure, and can match several treatment arms simultaneously. Importantly, the proposed method only selects good matches from either group, hence is competitive with the classical k-nearest neighbors approach in terms of bias and variance in finite samples. Moreover, we prove a central limit theorem for the empirical process of the potential functions of the optimal coupling in the unbalanced optimal transport problem with a fixed penalty term. This implies a parametric rate of convergence of the empirically obtained weights to the optimal weights in the population for a fixed penalty term.


title: ATOMIUM: ALMA tracing the origins of molecules in dust forming oxygen rich M-type stars: Motivation, sample, calibration, and initial results

abstract: This overview paper presents ATOMIUM, a Large Programme in Cycle 6 with the Atacama Large Millimeter-submillimeter Array (ALMA). The goal of ATOMIUM is to understand the dynamics and the gas phase and dust formation chemistry in the winds of evolved asymptotic giant branch (AGB) and red supergiant (RSG) stars. A more general aim is to identify chemical processes applicable to other astrophysical environments. 17 oxygen-rich AGB and RSG stars spanning a range in (circum)stellar parameters and evolutionary phases were observed in a homogeneous observing strategy allowing for an unambiguous comparison. Data were obtained between 213.83 and 269.71 GHz at high (0.025-0.050 arcsec), medium (0.13-0.24 arcsec), and low (about 1 arcsec) angular resolution. The sensitivity per 1.3 km/s channel was 1.5-5 mJy/beam. 13 molecules were designated as primary molecules in the survey: CO, SiO, AlO, AlOH, TiO, TiO2, HCN, SO, SO2, SiS, CS, H2O, and NaCl. The scientific motivation, survey design, sample properties, data reduction, and an overview of the data products are described; and we highlight one scientific result - the wind kinematics of the ATOMIUM sources. The ATOMIUM sources often have a slow wind acceleration, and a fraction of the gas reaches a velocity which can be up to a factor of two times larger than previously reported terminal velocities assuming isotropic expansion, and the wind kinematic profiles establish that the radial velocity described by the momentum equation for a spherical wind structure cannot capture the complexity of the velocity field. In 15 sources, some molecular transitions other than 12CO v=0 J=2-1 reach a higher outflow velocity, with a spatial emission zone that is often greater than 30 stellar radii, but much less than the extent of CO. Binary interaction with a (sub)stellar companion might (partly) explain the non-monotonic behaviour of the projected velocity field.


title: Negative magnetoresistance and sign change of the planar Hall effect due to the negative off-diagonal effective-mass in Weyl semimetals

abstract: We theoretically investigated the magnetoresistance (MR) and planar Hall effect (PHE) in Weyl semimetals based on the semiclassical Boltzmann theory, focusing on the fine structure of the band dispersion. We identified that the negative longitudinal MR and sign change in the PHE occur because of the negative off-diagonal effective-mass with no topological effects or chiral anomaly physics. Our results highlight the crucial role of the off-diagonal effective-mass, which can cause anomalous galvanomagnetic effects. We propose that the PHE creates a dip in their temperature dependence, which enables the experimental detection of the Weyl point.


title: FPPN: Future Pseudo-LiDAR Frame Prediction for Autonomous Driving

abstract: LiDAR sensors are widely used in autonomous driving due to the reliable 3D spatial information. However, the data of LiDAR is sparse and the frequency of LiDAR is lower than that of cameras. To generate denser point clouds spatially and temporally, we propose the first future pseudo-LiDAR frame prediction network. Given the consecutive sparse depth maps and RGB images, we first predict a future dense depth map based on dynamic motion information coarsely. To eliminate the errors of optical flow estimation, an inter-frame aggregation module is proposed to fuse the warped depth maps with adaptive weights. Then, we refine the predicted dense depth map using static contextual information. The future pseudo-LiDAR frame can be obtained by converting the predicted dense depth map into corresponding 3D point clouds. Experimental results show that our method outperforms the existing solutions on the popular KITTI benchmark.


title: Thermodynamic optimization of quantum algorithms: On-the-go erasure of qubit registers

abstract: We consider two bottlenecks in quantum computing: limited memory size and noise caused by heat dissipation. Trying to optimize both, we investigate "on-the-go erasure" of quantum registers that are no longer needed for a given algorithm: freeing up auxiliary qubits as they stop being useful would facilitate the parallelization of computations. We study the minimal thermodynamic cost of erasure in these scenarios, applying results on the Landauer erasure of entangled quantum registers. For the class of algorithms solving the Abelian hidden subgroup problem, we find optimal on-the-go erasure protocols. We conclude that there is a trade-off: if we have enough partial information about a problem to build efficient on-the-go erasure, we can use it to instead simplify the algorithm, so that fewer qubits are needed to run the computation in the first place. We provide explicit protocols for these two approaches.


title: Dual-high-frequency VLBI study of blazar-jet brightness-temperature gradients and collimation profiles

abstract: On the kiloparsec scale, extragalactic radio jets show two distinct morphologies related to their power: collimated high-power jets ending in a bright termination shock and low-power jets opening up close to the core and showing a more diffuse surface brightness distribution. The emergence of this morphological dichotomy on the parsec scale at the innermost jet regions can be studied with very-long-baseline interferometry (VLBI) radio observations of blazars in which the jet emission is strongly Doppler boosted due to relativistic bulk motion at small angles between the jet direction and the line of sight. We seek to characterize the geometry and emission profiles of the parsec-scale radio jets of flat-spectrum radio quasars (FSRQs) and BL Lacertae objects (BL Lacs) on parsec scales to derive properties of the magnetic field, environment, and energetics for different classes of extragalactic jets. We analyze the VLBI radio data of 15 FSRQs, 11 BL Lacs, and two radio galaxies contained in both the MOJAVE data archive and the Boston University BU blazar group sample archive at 15 GHz and 43 GHz, repectively. We derived the brightness-temperature and jet-width gradients along the jet axis from parameterizations of the jets using 2D Gaussian brightness distributions. In most BL Lac objects, the diameter and brightness-temperature gradients along the jet axis can generally be described well by single power laws, while the jets of FSRQs show more complex behavior and remain more strongly collimated on larger physical scales. We find evidence for a transition of the global jet geometry from a parabolic to a conical shape in the BL Lac objects 3C 66A, Mrk 421 and BL Lacertae, the radio galaxy 3C 111 and the FSRQs CTA 26, PKS 0528+134,4 C +71.07,4C +29.45, and 3C 279 outside the Bondi sphere.


title: Gaud\'i: Conversational Interactions with Deep Representations to Generate Image Collections

abstract: Based on recent advances in realistic language modeling (GPT-3) and cross-modal representations (CLIP), Gaud\'i was developed to help designers search for inspirational images using natural language. In the early stages of the design process, with the goal of eliciting a client's preferred creative direction, designers will typically create thematic collections of inspirational images called "mood-boards". Creating a mood-board involves sequential image searches which are currently performed using keywords or images. Gaud\'i transforms this process into a conversation where the user is gradually detailing the mood-board's theme. This representation allows our AI to generate new search queries from scratch, straight from a project briefing, following a theme hypothesized by GPT-3. Compared to previous computational approaches to mood-board creation, to the best of our knowledge, ours is the first attempt to represent mood-boards as the stories that designers tell when presenting a creative direction to a client.


title: Improved Distributed Fractional Coloring Algorithms

abstract: We prove new bounds on the distributed fractional coloring problem in the LOCAL model. Fractional $c$-colorings can be understood as multicolorings as follows. For some natural numbers $p$ and $q$ such that $p/q\leq c$, each node $v$ is assigned a set of at least $q$ colors from $\{1,\dots,p\}$ such that adjacent nodes are assigned disjoint sets of colors. The minimum $c$ for which a fractional $c$-coloring of a graph $G$ exists is called the fractional chromatic number $\chi_f(G)$ of $G$. Recently, [Bousquet, Esperet, and Pirot; SIROCCO '21] showed that for any constant $\epsilon>0$, a fractional $(\Delta+\epsilon)$-coloring can be computed in $\Delta^{O(\Delta)} + O(\Delta\cdot\log^* n)$ rounds. We show that such a coloring can be computed in only $O(\log^2 \Delta)$ rounds, without any dependency on $n$. We further show that in $O\big(\frac{\log n}{\epsilon}\big)$ rounds, it is possible to compute a fractional $(1+\epsilon)\chi_f(G)$-coloring, even if the fractional chromatic number $\chi_f(G)$ is not known. That is, this problem can be approximated arbitrarily well by an efficient algorithm in the LOCAL model. For the standard coloring problem, it is only known that an $O\big(\frac{\log n}{\log\log n}\big)$-approximation can be computed in polylogarithmic time in the LOCAL model. We also show that our distributed fractional coloring approximation algorithm is best possible. We show that in trees, which have fractional chromatic number $2$, computing a fractional $(2+\epsilon)$-coloring requires at least $\Omega\big(\frac{\log n}{\epsilon}\big)$ rounds. We finally study fractional colorings of regular grids. In [Bousquet, Esperet, and Pirot; SIROCCO '21], it is shown that in regular grids of bounded dimension, a fractional $(2+\epsilon)$-coloring can be computed in time $O(\log^* n)$. We show that such a coloring can even be computed in $O(1)$ rounds in the LOCAL model.


title: Adapting Procedural Content Generation to Player Personas Through Evolution

abstract: Automatically adapting game content to players opens new doors for game development. In this paper we propose an architecture using persona agents and experience metrics, which enables evolving procedurally generated levels tailored for particular player personas. Using our game, "Grave Rave", we demonstrate that this approach successfully adapts to four rule-based persona agents over three different experience metrics. Furthermore, the adaptation is shown to be specific in nature, meaning that the levels are persona-conscious, and not just general optimizations with regard to the selected metric.


title: Good action of a nilpotent group with regular orbits

abstract: Suppose that $A$ is a finite nilpotent group of odd order acting good in the sense of \cite{EGJ} on the group $G$ of odd order. Under some additional assumptions we prove that the Fitting height of $G$ is bounded above by the sum of the numbers of primes dividing $|A|$ and $|C_G(A)|$ counted with multiplicities.


title: Consistency of Spectral Seriation

abstract: Consider a random graph $G$ of size $N$ constructed according to a \textit{graphon} $w \, : \, [0,1]^{2} \mapsto [0,1]$ as follows. First embed $N$ vertices $V = \{v_1, v_2, \ldots, v_N\}$ into the interval $[0,1]$, then for each $i < j$ add an edge between $v_{i}, v_{j}$ with probability $w(v_{i}, v_{j})$. Given only the adjacency matrix of the graph, we might expect to be able to approximately reconstruct the permutation $\sigma$ for which $v_{\sigma(1)} < \ldots < v_{\sigma(N)}$ if $w$ satisfies the following \textit{linear embedding} property introduced in [Janssen 2019]: for each $x$, $w(x,y)$ decreases as $y$ moves away from $x$. For a large and non-parametric family of graphons, we show that (i) the popular spectral seriation algorithm [Atkins 1998] provides a consistent estimator $\hat{\sigma}$ of $\sigma$, and (ii) a small amount of post-processing results in an estimate $\tilde{\sigma}$ that converges to $\sigma$ at a nearly-optimal rate, both as $N \rightarrow \infty$.


title: The hydrodynamics of slender swimmers near deformable interfaces

abstract: We study the coupled hydrodynamics between a motile slender microswimmer and a deformable interface that separates two Newtonian fluid regions. From the disturbance field generated by the swimming motion, we quantitatively characterize the interface deformation and the manner in which the coupling modifies the microswimmer translation itself. We treat the role of the swimmer type (pushers and pullers), size and model an interface that can deform due to both surface tension and bending elasticity. Our analysis reveals a strong dependence of the hydrodynamics on the swimmer orientation and position. Given the viscosities of the two fluid media, the interface properties and the swimmer type, a swimmer can either migrate towards or away from the interface depending on its configurations. When the swimmer is oriented parallel to the interface, a pusher-type swimmer is repelled from the interface at short times if it is swimming in the more viscous fluid. At long times however, pushers are always attracted to the interface, and pullers are always repelled from it. On the other hand, swimmers oriented orthogonal to the interface exhibit a migration pattern opposite to the parallel swimmers. In consequence, a host of complex migration trajectories emerge for swimmers arbitrarily oriented to the interface. We find that confining a swimmer between a rigid boundary and a deformable interface results in regimes of attraction towards both surfaces depending on the swimmer location in the channel, irrespective viscosity ratio. The differing migration patterns are most prominent in a region of order the swimmer size from the interface, where the slender swimmer model yields a better approximation to the coupled hydrodynamics.


title: Simple Fair Power Allocation for NOMA-Based Visible Light Communication Systems

abstract: Non-orthogonal multiple access (NOMA) in the power-domain has been recognized as a promising technique to overcome the bandwidth limitations of current visible light communication (VLC) systems. In this letter, we investigate the power allocation (PA) problem in an NOMA-VLC system under high signal-to-noise-ratio (SNR) regime. A simple fair power allocation strategy (SFPA) is proposed to ensure equitable allocation of transmission resources in a multi-user scenario. SFPA requires minimal channel state information (CSI), making it less prone to channel estimation errors. Results show that NOMA with SFPA provides fairer and higher achievable rates per user (up to 79.5\% higher in the studied setup), without significantly compromising the overall system performance.


title: Quantum phase estimation in presence of glassy disorder

abstract: We investigate the response to noise, in the form of glassy disorder present in circuit elements, in the success probability of the quantum phase estimation algorithm, a subroutine used to determine the eigenvalue - a phase - corresponding to an eigenvector of a unitary gate. We prove that when a large number of auxiliary qubits are involved in the circuit, the probability does not depend on the actual type of disorder but only on the mean and strength of the disorder. For further analysis, we consider three types of disorder distributions: Haar-uniform with a circular cut-off, Haar-uniform with an elliptical or squeezed cut-off, and spherical normal. There is generally a depreciation of the disorder-averaged success probability in response to the disorder incorporation. Even in the presence of the disorder, increasing the number of auxiliary qubits helps to get a better precision of the phase, albeit to a lesser extent (probability) than that in the clean case. We find a concave to convex transition in the dependence of probability on the strength of disorder, and a log-log dependence is witnessed between the point of inflection and the number of auxiliary qubits used.


title: Post-Quantum Quench Growth of Renyi Entropies in Low Dimensional Continuum Bosonic Systems

abstract: The growth of Renyi entropies after the injection of energy into a correlated system provides a window upon the dynamics of its entanglement properties. We develop here a simulation scheme by which this growth can be determined in Luttinger liquids systems with arbitrary interactions, even those introducing gaps into the liquid. We apply this scheme to an experimentally relevant quench in the sine-Gordon field theory. While for short times we provide an analytic expression for the growth of the second and third Renyi entropy, to access longer times, we combine our scheme with truncated spectrum methods.


title: The spectrally modulated self-coherent camera (SM-SCC): Increasing throughput for focal-plane wavefront sensing

abstract: The detection and characterization of Earth-like exoplanets is one of the major science drivers for the next generation of telescopes. Current direct imaging instruments are limited by evolving non-common path aberrations (NCPAs). The NCPAs must be compensated for by using the science focal-plane image. A promising sensor is the self-coherent camera (SCC). An SCC modifies the Lyot stop in the coronagraph to introduce a probe electric field. However, the SCC has a weak probe electric field due to the requirements on the pinhole separation. A spectrally modulated self-coherent camera (SM-SCC) is proposed as a solution to the throughput problem. The SM-SCC uses a pinhole with a spectral filter and a dichroic beam splitter, which creates images with and without the probe electric field. This allows the pinhole to be placed closer to the pupil edge and increases the throughput. Combining the SM-SCC with an integral field unit (IFU) can be used to apply more complex modulation patterns to the pinhole and the Lyot stop. A modulation scheme with at least three spectral channels (e.g. IFU) can be used to change the pinhole to an arbitrary aperture with higher throughput. Numerical simulations show that the SM-SCC increases the pinhole throughput by a factor of 32, which increases the wavefront sensor sensitivity by a factor of 5.7. The SM-SCC reaches a contrast of $1\cdot10^{-9}$ for bright targets in closed-loop control with the presence of photon noise, phase errors, and amplitude errors. The contrast floor on fainter targets is photon-noise-limited and reaches $1\cdot10^{-7}$. For bright targets, the SM-SCC-IFU reaches a contrast of $3\cdot10^{-9}$ in closed-loop control with photon noise, amplitude errors, and phase errors. The SM-SCC is a promising focal-plane wavefront sensor for systems that use multiband observations, either through integral field spectroscopy or dual-band imaging.


title: Dual Map Framework for Noise Characterization of Quantum Computers

abstract: In order to understand the capabilities and limitations of quantum computers, it is necessary to develop methods that efficiently characterize and benchmark error channels present on these devices. In this paper, we present a method that faithfully reconstructs a marginal (local) approximation of the effective noise (MATEN) channel, that acts as a single layer at the end of the circuit. We first introduce a dual map framework that allows us to analytically derive expectation values of observables with respect to noisy circuits. These findings are supported by numerical simulations of the quantum approximate optimization algorithm (QAOA) that also justify the MATEN, even in the presence of non-local errors that occur during a circuit. Finally, we demonstrate the performance of the method on Rigetti's Aspen-9 quantum computer for QAOA circuits up to six qubits, successfully predicting the observed measurements on a majority of the qubits.


title: On the Ergodic Mutual Information of Keyhole MIMO Channels With Finite-Alphabet Inputs

abstract: This letter studies the ergodic mutual information (EMI) of keyhole multiple-input multiple-output channels having finite-alphabet input signals. The EMI is first investigated for single-stream transmission considering both cases with and without the channel state information at the transmitter. Then, the derived results are extended to the scenario of multi-stream transmission. Asymptotic analyses are performed in the regime of high signal-to-noise ratio (SNR). The high-SNR EMI is shown to converge to a constant with its rate of convergence determined by the diversity order. On this basis, the influence of the keyhole effect on the EMI is discussed. The analytical results are validated by numerical simulations.


title: The periodic complexity function of the Thue-Morse word, the Rudin-Shapiro word, and the period-doubling word

abstract: We revisit the periodic complexity function $h_{\bf w}(n)$ introduced by Mignosi and Restivo. This function gives the average of the first $n$ local periods of a recurrent infinite word ${\bf w}$. We give a different method than that of Mignosi and Restivo for computing the asymptotics of the periodic complexity function of the Thue-Morse word and show how to apply the method to other automatic sequences, like the Rudin-Shapiro word and the period-doubling word.


title: What I Cannot Predict, I Do Not Understand: A Human-Centered Evaluation Framework for Explainability Methods

abstract: A multitude of explainability methods and associated fidelity performance metrics have been proposed to help better understand how modern AI systems make decisions. However, much of the current work has remained theoretical -- without much consideration for the human end-user. In particular, it is not yet known (1) how useful current explainability methods are in practice for more real-world scenarios and (2) how well associated performance metrics accurately predict how much knowledge individual explanations contribute to a human end-user trying to understand the inner-workings of the system. To fill this gap, we conducted psychophysics experiments at scale to evaluate the ability of human participants to leverage representative attribution methods for understanding the behavior of different image classifiers representing three real-world scenarios: identifying bias in an AI system, characterizing the visual strategy it uses for tasks that are too difficult for an untrained non-expert human observer as well as understanding its failure cases. Our results demonstrate that the degree to which individual attribution methods help human participants better understand an AI system varied widely across these scenarios. This suggests a critical need for the field to move past quantitative improvements of current attribution methods towards the development of complementary approaches that provide qualitatively different sources of information to human end-users.


title: Open/closed Correspondence via Relative/local Correspondence

abstract: We establish a correspondence between the disk invariants of a smooth toric Calabi-Yau 3-fold $X$ with boundary condition specified by a framed Aganagic-Vafa outer brane $(L, f)$ and the genus-zero closed Gromov-Witten invariants of a smooth toric Calabi-Yau 4-fold $\widetilde{X}$, proving the open/closed correspondence proposed by Mayr and developed by Lerche-Mayr. Our correspondence is the composition of two intermediate steps: $\circ$ First, a correspondence between the disk invariants of $(X,L,f)$ and the genus-zero maximally-tangent relative Gromov-Witten invariants of a relative Calabi-Yau 3-fold $(Y,D)$, where $Y$ is a toric partial compactification of $X$ by adding a smooth toric divisor $D$. This correspondence can be obtained as a consequence of the topological vertex (Li-Liu-Liu-Zhou) and Fang-Liu where the all-genus open Gromov-Witten invariants of $(X,L,f)$ are identified with the formal relative Gromov-Witten invariants of the formal completion of $(Y,D)$ along the toric 1-skeleton. Here, we present a proof without resorting to formal geometry. $\circ$ Second, a correspondence in genus zero between the maximally-tangent relative Gromov-Witten invariants of $(Y,D)$ and the closed Gromov-Witten invariants of the toric Calabi-Yau 4-fold $\widetilde{X} = \mathcal{O}_Y(-D)$. This can be viewed as an instantiation of the log-local principle of van Garrel-Graber-Ruddat in the non-compact setting.