title: $K$-selective percolation: A simple model leading to a rich repertoire of phase transitions

abstract: We propose the $K$-selective percolation process as a model for the iterative removals of nodes with the specific intermediate degree in complex networks. In the model, a random node with degree $K$ is deactivated one by one until no more nodes with degree $K$ remain. The non-monotonic response of the giant component size on various synthetic and real-world networks implies a conclusion that a network can be more robust against such selective attack by removing further edges. In the theoretical perspective, the $K$-selective percolation process exhibits a rich repertoire of phase transitions, including double transitions of hybrid and continuous, as well as reentrant transitions. Notably, we observe a tricritical-like point on Erd\H{o}s-R\'enyi networks. We also examine a discontinuous transition with unusual order parameter fluctuation and distribution on simple cubic lattices, which does not appear in other percolation models with cascade processes. Finally, we perform finite-size scaling analysis to obtain critical exponents on various transition points, including those exotic ones.


title: Holography, Supergravity, and the Weak Gravity Conjecture

abstract: This dissertation represents work on three different subjects relating to quantum gravity and the AdS/CFT correspondence. First, we review a holographic computation of the one-loop corrections to the Weyl anomaly on Ricci flat backgrounds in six dimensions. This allows us to determine the correction to one linear combination of the anomaly coefficients. Then, we will show that these corrections may be obtained from the six-dimensional superconformal index. The second section covers consistent truncations on the Lunin-Maldacena background. We show how to restore minimal supersymmetry to this background by determining the reduction ansatz which includes the graviton and a gauge field of 5d $\mathcal{N} = 2$ supergravity. We also discuss our previously unpublished attempt to construct a truncation which includes a scalar field corresponding to the $\beta$-deformation parameter of the dual field theory. We show that if such a solution exists, it must differ drastically from the LM background. Finally, we discuss higher-derivative corrections to black hole solutions and the weak gravity conjecture in a few settings. First we compute higher-derivative corrections to the extremality bounds for black holes which are charged under an arbitrary number of $U(1)$ gauge fields, and determine the constraints implied by the WGC. Next we consider the higher-derivative corrections to thermodynamic quantities for charged black holes in Anti-de Sitter space. We confirm and clarify a previously noted relationship between the shift to the extremality bound and the shift to the Wald entropy. We also show that if the shift in the Wald entropy is assumed to be positive, then the coefficient of the $R_{\mu \nu \rho \sigma} R^{\mu \nu \rho \sigma}$ term in the effective Lagrangian must be positive as well.


title: A chip-based superconducting magnetic trap for levitating superconducting microparticles

abstract: Magnetically-levitated superconducting microparticles have been recently proposed as a promising platform for performing quantum experiments with particles in the picogram regime. Here, we demonstrate the superconducting technology to achieve chip-based magnetic levitation of superconducting microparticles. We simulate and fabricate a chip-based magnetic trap capable of levitating superconducting particles with diameters from 0.5$\,\mu$m to 200$\,\mu$m. The trap consists of two stacked silicon chips, each patterned with a planar multi-winding superconducting coil made of niobium. The two coils generate a magnetic field resembling a quadrupole near the trap center, in which we demonstrate trapping of a spherical 50\,$\mu$m diameter SnPb microparticle at temperatures of 4\,K and 40\,mK.


title: Galilean and relativistic Doppler/aberration effects deduced from spherical and ellipsoidal wavefronts respectively

abstract: The diagram showing off-center nested spheres which is traditionally used to illustrate the Doppler effect, is misleading and its trigonometric analysis leads to errors concerning light, because electromagnetic Doppler and aberration effects conform to a wavefront surface that is not a sphere but an ellipsoid stretched along the trajectory of the source. The Cartesian and polar equations of the spherical and ellipsoidal wavefronts are compared here and related to their respective angular Doppler functions. As wavefront surfaces directly link inter-frame coordinate transformations to the aberrations they generate, the simple analysis of their geometry is sufficient to find exact results of special relativity and incidentally to revise the classical aberration formula.


title: Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines

abstract: In this paper, we analyze the problem of finding the minimum dimension $n$ such that a closed-form analytic map/ordinary differential equation can simulate a Turing machine over $\mathbb{R}^{n}$ in a way that is robust to perturbations. We show that one-dimensional closed-form analytic maps are sufficient to robustly simulate Turing machines; but the minimum dimension for the closed-form analytic ordinary differential equations to robustly simulate Turing machines is two, under some reasonable assumptions. We also show that any Turing machine can be simulated by a two-dimensional $C^{\infty}$ ordinary differential equation on the compact sphere $\mathbb{S}^{2}$.


title: Lotka-Volterra competition-diffusion system: the critical competition case

abstract: We consider the reaction-diffusion competition system in the so-called {\it critical competition case}. The associated ODE system then admits infinitely many equilibria, which makes the analysis intricate. We first prove the non-existence of {\it ultimately monotone} traveling waves by applying the phase plane analysis. Next, we study the large time behavior of the solution of the Cauchy problem with a compactly supported initial datum. We not only reveal that the "faster" species excludes the "slower" one (with a known {\it spreading speed}), but also provide a sharp description of the profile of the solution, thus shedding light on a new {\it{bump phenomenon}}.


title: Polaritonic Hofstadter Butterfly and Cavity-Control of the Quantized Hall Conductance

abstract: In a previous work [Phys. Rev. Lett. 123, 047202 (2019)] a translationally invariant framework called quantum-electrodynamical Bloch (QED-Bloch) theory was introduced for the description of periodic materials in homogeneous magnetic fields and strongly coupled to the quantized photon field in the optical limit. For such systems, we show that QED-Bloch theory predicts the existence of fractal polaritonic spectra as a function of the cavity coupling strength. In addition, for the energy spectrum as a function of the relative magnetic flux we find that a terahertz cavity can modify the standard Hofstadter butterfly. In the limit of no quantized photon field, QED-Bloch theory captures the well-known fractal spectrum of the Hofstadter butterfly and can be used for the description of 2D materials in strong magnetic fields, which are of great experimental interest. As a further application, we consider Landau levels under cavity confinement and show that the cavity alters the quantized Hall conductance and that the Hall plateaus are modified as $\sigma_{xy}=e^2\nu/h(1+\eta^2)$ by the light-matter coupling $\eta$. Most of the aforementioned phenomena should be experimentally accessible and corresponding implications are discussed.


title: The joint distribution of value and local time of simple random walk and reflected simple random walk

abstract: The joint distribution of value and local time for Brownian Motion has been reported by Borodin and Salminen. Its asymptotic behavior for recurrent random walk has been presented by Jain and Pruitt. Motivated by the need for queue size control during a pandemic (Hassin, Meilijson and Perlman), the current study presents closed form formulas for random walk and reflected random walk with $\pm 1$ increments, not necessarily fair.


title: D retention and material defects probed using Raman microscopy in JET limiter samples and beryllium-based synthesized samples

abstract: We report on the detection by means of Raman spectroscopy of amorphous beryllium deuteride, BeD 2 , in magnetron sputtered deposits synthesized in two different laboratories and containing about 20 at.% of deuterium. In contrast, this signature has not been found for the JET limiter samples studied coming from the inner, outer or upper limiters, even when coming from a deposition zone of the limiters. We give a way to disentangle that BeD 2 signature from other signatures falling in the same spectroscopic range and mainly related to other phenomena. We also analyze the Raman characteristics of the JET sample defects. These results could help in the interpretation of D thermal desorption spectra and in future analyses of JET thick Be deposit divertor tiles.


title: Infinitesimal gauge transformations induced by Lie algebroid connections, in the context of Yang-Mills-Higgs gauge theory

abstract: There is the notion of action Lie algebroids, containing information about Lie algebras and their actions, which is why it is natural to generalise gauge theories to a formulation using Lie algebroids; these allow structure functions in general. This is for example done in the formulation of curved Yang-Mills-Higgs gauge theory, formulated by Alexei Kotov and Thomas Strobl. We will discuss how to formulate infinitesimal gauge transformations using Lie algebroids in such a way that these close as algebra. For this we are going to generalise infinitesimal gauge transformations of Yang-Mills-Higgs gauge theories to derivations on vector bundle $V$-valued functionals. In the context of gauge theory, we will motivate that those vector bundles $V$ will be the pullback of another bundle $W$, and the gauge transformations as derivations will be induced by a Lie algebroid connection on $W$, using a more general notion of pullback connections. This also supports the usage of arbitrary types of connections on $W$ in the definition of the infinitesimal gauge transformation, not just canonical flat ones as in the classical formulation. As usual, these derivations are parametrised and their parameters have to be generalised to functionals, especially the parameters themselves can have a non-trivial gauge transformation. We then discuss under which conditions this algebra of derivations gives a closed algebra, also by providing a natural Lie bracket on the space of parameters, and we are going to see that closure is strongly related to the vanishing of a tensor known as the basic curvature.


title: Asimov's Foundation -- turning a data story into an NFT artwork

abstract: In this piece, we overview Isaac Asimov's most iconic work, the Foundation series, with two primary goals: to provide quantitative insights about the novels and bridge data science with digital art. First, we rely on data science and text processing tools to describe certain properties of Asimov's career and the novels, focusing on the different worlds in Asimov's universe. Then we transform the books' texts into a network centered around Asimov's planets and their semantic context. Finally, we introduce the world of crypto art and non-fungible tokens (NFTs) by transforming the visualized network into a high-end digital piece of art minted as an NFT. Additionally, to pay tribute to Asimov's devotion to robotics and artificial intelligence, we use OpenAI's Generative Pre-trained Transformer 3 (GPT-3) to draft several paragraphs of this paper.


title: Robustness of non-computability

abstract: Turing computability is the standard computability paradigm which captures the computational power of digital computers. To understand whether one can create physically realistic devices which have super-Turing power, one needs to understand whether it is possible to obtain systems with super-Turing capabilities which also have other desirable properties such as robustness to perturbations. In this paper we introduce a framework for analyzing whether a non-computability result is robust over continuous spaces. Then we use this framework to study the degree of robustness of several non-computability results which involve the wave equation, differentiation, and basins of attraction.


title: Hydrodynamic attractors in heavy ion collisions: a review

abstract: A review of the recent progress of relativistic hydrodynamic attractors is presented, with a focus on applications in heavy ion collisions and the quark gluon plasma. Pedagogical introductions to the effective descriptions relevant for attractors in high energy physics, namely hydrodynamics, holography and kinetic theory, are followed by highlights of some recent advances.


title: Towards Efficient Post-training Quantization of Pre-trained Language Models

abstract: Network quantization has gained increasing attention with the rapid growth of large pre-trained language models~(PLMs). However, most existing quantization methods for PLMs follow quantization-aware training~(QAT) that requires end-to-end training with full access to the entire dataset. Therefore, they suffer from slow training, large memory overhead, and data security issues. In this paper, we study post-training quantization~(PTQ) of PLMs, and propose module-wise quantization error minimization~(MREM), an efficient solution to mitigate these issues. By partitioning the PLM into multiple modules, we minimize the reconstruction error incurred by quantization for each module. In addition, we design a new model parallel training strategy such that each module can be trained locally on separate computing devices without waiting for preceding modules, which brings nearly the theoretical training speed-up (e.g., $4\times$ on $4$ GPUs). Experiments on GLUE and SQuAD benchmarks show that our proposed PTQ solution not only performs close to QAT, but also enjoys significant reductions in training time, memory overhead, and data consumption.


title: Synthetic exposure: a simplified and accurate acquisition scheme for multiple exposure speckle imaging of blood flow

abstract: Speckle contrast imaging is an established technique to obtain relative blood maps over wide field of views. Currently, its most accurate implementation relies on the acquisition of raw speckle images at different exposure times but requires modulation of a laser pulse in duration and intensity and precise synchronization with camera. This complex instrumentation has limited the use of multiple exposure speckle imaging. We evaluate here a simplified approach based on synthetic exposure images created from the sum of successive frames acquired with a 1 ms exposure time. Both methods have been applied to evaluate controlled flows in micro-channels. The contribution of noises to the speckle contrast have been quantified and compared. Dark, readout and shot noise contributions to the total contrast remains constant for modulated exposure, while all these contributions decrease with increasing exposure time for synthetic exposure. The relative contribution of noises to speckle contrast depends on the level of illumination, the exposure time and the flows that are imaged. Guidelines for accurate flow measurements in the synthetic exposure acquisition scheme are provided. The synthetic exposure method is simple to implement and should facilitate the translation of multiple exposure speckle imaging to clinical setups .


title: Exploring Metastable States in UO$_2$ using Hybrid Functionals and Dynamical Mean Field Theory

abstract: A detailed exploration of the $f$-atomic orbital occupancy space for UO$_2$ is performed using a first principles approach based on density functional theory (DFT), employing a full hybrid functional within a systematic basis set. Specifically, the PBE0 functional is combined with an occupancy biasing scheme implemented in a wavelet-based algorithm which is adapted to large supercells. The results are compared with previous DFT+U calculations reported in the literature, while dynamical mean field theory (DMFT) is also performed to provide a further base for comparison. This work shows that the computational complexity of the energy landscape of a correlated $f$-electron oxide is much richer than has previously been demonstrated. The resulting calculations provide evidence of the existence of multiple previously unexplored metastable electronic states of UO$_2$, including those with energies which are lower than previously reported ground states.


title: Electric dipole moments at one-loop in the dimension-6 SMEFT

abstract: In this paper we present the complete expressions of the lepton and neutron electric dipole moments (EDMs) in the Standard Model Effective Field Theory (SMEFT), up to 1-loop and dimension-6 level and including both RG running contributions and finite corrections. The latter play a fundamental role in the cases of operators that do not renormalize the dipoles, but there are also classes of operators for which they provide an important fraction, $10-20\%$, of the total 1-loop contribution, if the new physics scale is around $\Lambda=5$ TeV. We present the full set of bounds on each individual Wilson coefficient contributing to the EDMs using both the current experimental constraints, as well as those from future experiments, which are expected to improve by at least an order of magnitude.


title: Key Point Analysis via Contrastive Learning and Extractive Argument Summarization

abstract: Key point analysis is the task of extracting a set of concise and high-level statements from a given collection of arguments, representing the gist of these arguments. This paper presents our proposed approach to the Key Point Analysis shared task, collocated with the 8th Workshop on Argument Mining. The approach integrates two complementary components. One component employs contrastive learning via a siamese neural network for matching arguments to key points; the other is a graph-based extractive summarization model for generating key points. In both automatic and manual evaluation, our approach was ranked best among all submissions to the shared task.


title: Testing leptogenesis at the LHC and future muon colliders: a $Z'$ scenario

abstract: If the masses of at least two generations of right-handed neutrinos (RHNs) are near-degenerate, the scale of leptogenesis can be as low as $\sim$ 100 GeV. In this work, we study probing such resonant leptogenesis in the $B-L$ model at the LHC and future multi-TeV muon colliders via the process $Z'\to NN\to\ell^\pm\ell^\pm+{\rm jets}$, with $Z'$ the $U(1)_{B-L}$ gauge boson and $N$ the RHN. The same-sign dilepton feature of the signal makes it almost background-free, while the event number difference between positive and negative leptons is a hint for $CP$ violation, which is a key ingredient of leptogenesis. We found that resonant leptogenesis can be tested at the HL-LHC for $M_{Z'}$ up to 12 TeV, while at a 10 (30) TeV muon collider the reach can be up to $M_{Z'}\sim28~(100)$ TeV via the off-shell production of $Z'$.


title: An Efficient Probe-based Routing for Content-Centric Networking

abstract: With the development of new technologies and applications, such as the Internet of Things, smart cities, 5G, and edge computing, traditional Internet Protocol-based (IP-based) networks have been exposed as having many problems. Information-Centric Networking (ICN), Named Data Networking (NDN), and Content-Centric Networking (CCN) are therefore proposed as an alternative for future networks. However, unlike IP-based networks, CCN routing is nondeterministic and difficult to optimize due to frequent in-network caching replacement. This paper presents a novel probe-based routing algorithm that explores real-time in-network caching to ensure the routing table storing the optimal paths to the nearest content provider is up-to-date. Effective probe-selections, Pending Interest Table (PIT) probe, and Forwarding Information Base (FIB) probe are discussed and analyzed by simulation with different performance measurements. Compared with the basic CCN, in terms of qualitative analysis, the additional computational overhead of our approach is O(*) and O(*) on processing interest packets and data packets, respectively. However, in terms of quantitative analysis, our approach reduces the number of timeout interests by 6% and the average response time by 0.6 s. Furthermore, although basic CCN and our approach belong to the same Quality of Service category, our approach outperforms basic CCN in terms of real values. Additionally, our probe-based approach performs better than * and *. Owing to speedup FIB updating by probes, our approach provides more reliable interest packet routing when accounting for router failures. In summary, the results demonstrate that compared to basic CCN, our probe-based routing approach raises FIB accuracy and reduces network congestion and response time, resulting in efficient routing.


title: Biologically Plausible Training Mechanisms for Self-Supervised Learning in Deep Networks

abstract: We develop biologically plausible training mechanisms for self-supervised learning (SSL) in deep networks. Specifically, by biological plausible training we mean (i) All updates of weights are based on current activities of pre-synaptic units and current, or activity retrieved from short term memory of post synaptic units, including at the top-most error computing layer, (ii) Complex computations such as normalization, inner products and division are avoided (iii) Asymmetric connections between units, (iv) Most learning is carried out in an unsupervised manner. SSL with a contrastive loss satisfies the third condition as it does not require labelled data and it introduces robustness to observed perturbations of objects, which occur naturally as objects or observer move in 3d and with variable lighting over time. We propose a contrastive hinge based loss whose error involves simple local computations satisfying (ii), as opposed to the standard contrastive losses employed in the literature, which do not lend themselves easily to implementation in a network architecture due to complex computations involving ratios and inner products. Furthermore we show that learning can be performed with one of two more plausible alternatives to backpropagation that satisfy conditions (i) and (ii). The first is difference target propagation (DTP) and the second is layer-wise learning (LL), where each layer is directly connected to a layer computing the loss error. Both methods represent alternatives to the symmetric weight issue of backpropagation. By training convolutional neural networks (CNNs) with SSL and DTP, LL, we find that our proposed framework achieves comparable performance to standard BP learning downstream linear classifier evaluation of the learned embeddings.


title: Self-Adjusting Packet Classification

abstract: This paper is motivated by the vision of more efficient packet classification mechanisms that self-optimize in a demand-aware manner. At the heart of our approach lies a self-adjusting linear list data structure, where unlike in the classic data structure, there are dependencies, and some items must be in front of the others; for example, to correctly classify packets by rules arranged in a linked list, each rule must be in front of lower priority rules that overlap with it. After each access we can rearrange the list, similarly to Move-To-Front, but dependencies need to be respected. We present a 4-competitive online rearrangement algorithm, whose cost is at most four times worse than the optimal offline algorithm; no deterministic algorithm can be better than 3-competitive. The algorithm is simple and attractive, especially for memory-limited systems, as it does not require any additional memory (e.g., neither timestamps nor frequency statistics). Our approach can simply be deployed as a drop-in replacement for a static datastructure, potentially benefitting many existing networks. We evaluate our self-adjusting list packet classifier on realistic ruleset and traffic instances. We find that our classifier performs similarly to a static list for low-locality traffic, but significantly outperforms Efficuts (by a factor 7x), CutSplit (3.6x), and the static list (14x) for high locality and small rulesets. Memory consumption is 10x lower on average compared to Efficuts and CutSplit.


title: Subcarrier Number and Indices-Based KeyGeneration for Future Wireless Networks

abstract: Physical layer key generation from the wireless channel is an emerging area of interest to provide confidentiality and authentication. One of the main challenges in this domain is to increase the length of the secret key while maintaining its randomness and uniformity. In this work, new dimensions for wireless channel-based key generation are proposed for orthogonal frequency division multiplexing (OFDM) systems. The novel perspective of the proposed work lies in the generation of key bits not only from the magnitudes of OFDM subchannels as it has conventionally been done but also from the number and positions of those subchannels whose channel gains are above the mean of the respective subblock. The effectiveness of the proposed algorithms is evaluated in terms of key generation rate and key mismatch rate. Additionally, a statistical test suite offered by the National Institute of Standards and Technology is used to evaluate the randomness of the generated key bits. It is shown in the simulation results that the involvement of the proposed dimensions can double the key generation rate compared to conventional algorithms.


title: Robust Multi-Domain Mitosis Detection

abstract: Domain variability is a common bottle neck in developing generalisable algorithms for various medical applications. Motivated by the observation that the domain variability of the medical images is to some extent compact, we propose to learn a target representative feature space through unpaired image to image translation (CycleGAN). We comprehensively evaluate the performanceand usefulness by utilising the transformation to mitosis detection with candidate proposal and classification. This work presents a simple yet effective multi-step mitotic figure detection algorithm developed as a baseline for the MIDOG challenge. On the preliminary test set, the algorithm scoresan F1 score of 0.52.


title: Crypto Experts Advise What They Adopt

abstract: Previous studies have shown that developers regularly seek advice on online forums to resolve their cryptography issues. We investigated whether users who are active in cryptography discussions also use cryptography in practice. We collected the top 1% of responders who have participated in crypto discussions on Stack Overflow, and we manually analyzed their crypto contributions to open source projects on GitHub. We could identify 319 GitHub profiles that belonged to such crypto responders and found that 189 of them used cryptography in their projects. Further investigation revealed that the majority of analyzed users (i.e., 85%) use the same programming languages for crypto activity on Stack Overflow and crypto contributions on GitHub. Moreover, 90% of the analyzed users employed the same concept of cryptography in their projects as they advised about on Stack Overflow.


title: A novel class of fixed-time consensus protocols for multi-agent systems with simple dynamics

abstract: This paper investigates the fixed-time consensus problem for a class of multi-agent systems with simple dynamics. Unlike the traditional way to realize fixed-time convergence, a novel strategy using the property of periodic functions is proposed to achieve fixed-time convergence. On this basis, novel protocols for achieving fixed-time consensus and fixed-time average consensus are then given, where the upper bound of the consensus time is independent of initial conditions. Moreover, the result of fixed-time average consensus is extended to a more general case, where the weights of different states can be allocated in advance. Finally, the fixed-time consensus in the presence of disturbances is derived with the help of sliding mode control, where a fixed-time sliding manifold and fixed-time reaching law are designed. All the conclusions are demonstrated by dedicated simulation examples.


title: Third Time's Not a Charm: Exploiting SNMPv3 for Router Fingerprinting

abstract: In this paper, we show that adoption of the SNMPv3 network management protocol standard offers a unique -- but likely unintended -- opportunity for remotely fingerprinting network infrastructure in the wild. Specifically, by sending unsolicited and unauthenticated SNMPv3 requests, we obtain detailed information about the configuration and status of network devices including vendor, uptime, and the number of restarts. More importantly, the reply contains a persistent and strong identifier that allows for lightweight Internet-scale alias resolution and dual-stack association. By launching active Internet-wide SNMPv3 scan campaigns, we show that our technique can fingerprint more than 4.6 million devices of which around 350k are network routers. Not only is our technique lightweight and accurate, it is complementary to existing alias resolution, dual-stack inference, and device fingerprinting approaches. Our analysis not only provides fresh insights into the router deployment strategies of network operators worldwide, but also highlights potential vulnerabilities of SNMPv3 as currently deployed.


title: Money Creation and Banking: Theory and Evidence

abstract: This paper studies the role of banks' money creation in monetary transmission. I develop a monetary-search model where demand for the monetary base and the money multiplier are endogenously determined through banks' money creation. The model and data show that reserves are not independent of interest rate policy, even with ample reserves. Furthermore, short-term rates and interest on reserves play distinct roles in monetary transmission. I evaluate the theory by matching it with data, and the calibrated model can account for the evolution of reserves, excess reserves, and the money multiplier


title: The Role of Bio-Inspired Modularity in General Learning

abstract: One goal of general intelligence is to learn novel information without overwriting prior learning. The utility of learning without forgetting (CF) is twofold: first, the system can return to previously learned tasks after learning something new. In addition, bootstrapping previous knowledge may allow for faster learning of a novel task. Previous approaches to CF and bootstrapping are primarily based on modifying learning in the form of changing weights to tune the model to the current task, overwriting previously tuned weights from previous tasks.However, another critical factor that has been largely overlooked is the initial network topology, or architecture. Here, we argue that the topology of biological brains likely evolved certain features that are designed to achieve this kind of informational conservation. In particular, we consider that the highly conserved property of modularity may offer a solution to weight-update learning methods that adheres to the learning without catastrophic forgetting and bootstrapping constraints. Final considerations are then made on how to combine these two learning objectives in a dynamical, general learning system.


title: Deep Homography Estimation in Dynamic Surgical Scenes for Laparoscopic Camera Motion Extraction

abstract: Current laparoscopic camera motion automation relies on rule-based approaches or only focuses on surgical tools. Imitation Learning (IL) methods could alleviate these shortcomings, but have so far been applied to oversimplified setups. Instead of extracting actions from oversimplified setups, in this work we introduce a method that allows to extract a laparoscope holder's actions from videos of laparoscopic interventions. We synthetically add camera motion to a newly acquired dataset of camera motion free da Vinci surgery image sequences through a novel homography generation algorithm. The synthetic camera motion serves as a supervisory signal for camera motion estimation that is invariant to object and tool motion. We perform an extensive evaluation of state-of-the-art (SOTA) Deep Neural Networks (DNNs) across multiple compute regimes, finding our method transfers from our camera motion free da Vinci surgery dataset to videos of laparoscopic interventions, outperforming classical homography estimation approaches in both, precision by 41%, and runtime on a CPU by 43%.


title: PP-LCNet: A Lightweight CPU Convolutional Neural Network

abstract: We propose a lightweight CPU network based on the MKLDNN acceleration strategy, named PP-LCNet, which improves the performance of lightweight models on multiple tasks. This paper lists technologies which can improve network accuracy while the latency is almost constant. With these improvements, the accuracy of PP-LCNet can greatly surpass the previous network structure with the same inference time for classification. As shown in Figure 1, it outperforms the most state-of-the-art models. And for downstream tasks of computer vision, it also performs very well, such as object detection, semantic segmentation, etc. All our experiments are implemented based on PaddlePaddle. Code and pretrained models are available at PaddleClas.


title: Klein tunneling through double barrier in ABC-trilayer graphene

abstract: Klein tunneling and conductance for Dirac fermions in ABC-stacked trilayer graphene (ABC-TLG) through symmetric and asymmetric double potential barriers are investigated using the two and six-band continuum model. Numerical results for our system show that the transport is sensitive to the height, the width and the distance between the two barriers. Klein paradox at normal incidence and resonant features at non-normal incidence in the transmission result from resonant electron states in the wells or hole states in the barriers and strongly influence the ballistic conductance of the structures.


title: Compositional generalization in semantic parsing with pretrained transformers

abstract: Large-scale pretraining instills large amounts of knowledge in deep neural networks. This, in turn, improves the generalization behavior of these models in downstream tasks. What exactly are the limits to the generalization benefits of large-scale pretraining? Here, we report observations from some simple experiments aimed at addressing this question in the context of two semantic parsing tasks involving natural language, SCAN and COGS. We show that language models pretrained exclusively with non-English corpora, or even with programming language corpora, significantly improve out-of-distribution generalization in these benchmarks, compared with models trained from scratch, even though both benchmarks are English-based. This demonstrates the surprisingly broad transferability of pretrained representations and knowledge. Pretraining with a large-scale protein sequence prediction task, on the other hand, mostly deteriorates the generalization performance in SCAN and COGS, suggesting that pretrained representations do not transfer universally and that there are constraints on the similarity between the pretraining and downstream domains for successful transfer. Finally, we show that larger models are harder to train from scratch and their generalization accuracy is lower when trained up to convergence on the relatively small SCAN and COGS datasets, but the benefits of large-scale pretraining become much clearer with larger models.


title: Fake It Till You Make It: Face analysis in the wild using synthetic data alone

abstract: We demonstrate that it is possible to perform face-related computer vision in the wild using synthetic data alone. The community has long enjoyed the benefits of synthesizing training data with graphics, but the domain gap between real and synthetic data has remained a problem, especially for human faces. Researchers have tried to bridge this gap with data mixing, domain adaptation, and domain-adversarial training, but we show that it is possible to synthesize data with minimal domain gap, so that models trained on synthetic data generalize to real in-the-wild datasets. We describe how to combine a procedurally-generated parametric 3D face model with a comprehensive library of hand-crafted assets to render training images with unprecedented realism and diversity. We train machine learning systems for face-related tasks such as landmark localization and face parsing, showing that synthetic data can both match real data in accuracy as well as open up new approaches where manual labelling would be impossible.


title: Scalable Rule-Based Representation Learning for Interpretable Classification

abstract: Rule-based models, e.g., decision trees, are widely used in scenarios demanding high model interpretability for their transparent inner structures and good model expressivity. However, rule-based models are hard to optimize, especially on large data sets, due to their discrete parameters and structures. Ensemble methods and fuzzy/soft rules are commonly used to improve performance, but they sacrifice the model interpretability. To obtain both good scalability and interpretability, we propose a new classifier, named Rule-based Representation Learner (RRL), that automatically learns interpretable non-fuzzy rules for data representation and classification. To train the non-differentiable RRL effectively, we project it to a continuous space and propose a novel training method, called Gradient Grafting, that can directly optimize the discrete model using gradient descent. An improved design of logical activation functions is also devised to increase the scalability of RRL and enable it to discretize the continuous features end-to-end. Exhaustive experiments on nine small and four large data sets show that RRL outperforms the competitive interpretable approaches and can be easily adjusted to obtain a trade-off between classification accuracy and model complexity for different scenarios. Our code is available at: https://github.com/12wang3/rrl.


title: Solving the time-independent Schr\"odinger equation for chains of coupled excitons and phonons using tensor trains

abstract: We demonstrate how to apply the tensor-train format to solve the time-independent Schr\"{o}dinger equation for quasi one-dimensional excitonic chain systems with and without periodic boundary conditions. The coupled excitons and phonons are modeled by Frenkel-Holstein type Hamiltonians with on-site and nearest-neighbor interactions only. We reduce the memory consumption as well as the computational costs significantly by employing efficient decompositions to construct low rank tensor-train representations, thus mitigating the curse of dimensionality. In order to compute also higher quantum states, we introduce an approach which directly incorporates the Wielandt deflation technique into the alternating linear scheme for the solution of eigenproblems. Besides systems with coupled excitons and phonons, we also investigate uncoupled problems for which (semi-)analytical results exist. There, we find that in case of homogeneous systems the tensor-train ranks of state vectors only marginally depend on the chain length which results in a linear growth of the storage consumption. However, the CPU time increases slightly faster with the chain length than the storage consumption because the alternating linear scheme adopted in our work requires more iterations to achieve convergence for longer chains and a given rank. Finally, we demonstrate that the tensor-train approach to the quantum treatment of coupled excitons and phonons makes it possible to directly tackle the phenomenon of mutual self-trapping. We are able to confirm the main results of the Davydov theory, i.e., the dependence of the wavepacket width and the corresponding stabilization energy on the exciton-phonon coupling strength, though only for a certain range of that parameter. In future work, our approach will allow calculations also beyond the restrictions of the Frenkel-Holstein type Hamiltonians.


title: Wormhole geometries in $f(Q)$ gravity and the energy conditions

abstract: Following the recent theory of $f(Q)$ gravity, we continue to investigate the possible existence of wormhole geometries, where $Q$ is the non-metricity scalar. Recently, the non-metricity scalar and the corresponding field equations have been studied for some spherically symmetric configurations in [ Phys. Lett. B 821, 136612 (2021) and Phys. Rev. D 103, 124001 (2021) ]. One can note that field equations are different in these two studies. Following [Phys. Rev. D 103, 124001 (2021)], we systematically study the field equations for wormhole solutions and found the violation of null energy conditions in the throat neighborhood. More specifically, considering specific choices for the $f(Q)$ form and for constant redshift with different shape functions, we present a class of solutions for static and spherically symmetric wormholes. Our survey indicates that wormhole solutions could not exist for specific form function $f(Q)= Q+ \alpha Q^2$. To summarize, exact wormhole models can be constructed with violation of the null energy condition throughout the spacetime while being $\rho \geq 0$ and vice versa.


title: Capturing transient plasma flows and jets in the solar corona

abstract: Intensity bursts in ultraviolet (UV) to X-ray wavelengths and plasma jets are typical signatures of magnetic reconnection and the associated impulsive heating of the solar atmospheric plasma. To gain new insights into the process, high-cadence observations are required to capture the rapid response of plasma to magnetic reconnection as well as the highly dynamic evolution of jets. Here, we report the first 2 s cadence extreme-UV observations recorded by the 174 {\AA} High Resolution Imager of the Extreme Ultraviolet Imager on board the Solar Orbiter mission. These observations, covering a quiet-Sun coronal region, reveal the onset signatures of magnetic reconnection as localized heating events. These localized sources then exhibit repeated plasma eruptions or jet activity. Our observations show that this spatial morphological change from localized sources to jet activity could occur rapidly on timescales of about 20 s. The jets themselves are intermittent and are produced from the source region on timescales of about 20 s. In the initial phases of these events, plasma jets are observed to exhibit speeds, as inferred from propagating intensity disturbances, in the range of 100 km s$^{-1}$ to 150 km s$^{-1}$. These jets then propagate to lengths of about 5 Mm. We discuss examples of bidirectional and unidirectional jet activity observed to have been initiated from the initially localized bursts in the corona. The transient nature of coronal bursts and the associated plasma flows or jets along with their dynamics could provide a benchmark for magnetic reconnection models of coronal bursts and jets.


title: CrossAug: A Contrastive Data Augmentation Method for Debiasing Fact Verification Models

abstract: Fact verification datasets are typically constructed using crowdsourcing techniques due to the lack of text sources with veracity labels. However, the crowdsourcing process often produces undesired biases in data that cause models to learn spurious patterns. In this paper, we propose CrossAug, a contrastive data augmentation method for debiasing fact verification models. Specifically, we employ a two-stage augmentation pipeline to generate new claims and evidences from existing samples. The generated samples are then paired cross-wise with the original pair, forming contrastive samples that facilitate the model to rely less on spurious patterns and learn more robust representations. Experimental results show that our method outperforms the previous state-of-the-art debiasing technique by 3.6% on the debiased extension of the FEVER dataset, with a total performance boost of 10.13% from the baseline. Furthermore, we evaluate our approach in data-scarce settings, where models can be more susceptible to biases due to the lack of training data. Experimental results demonstrate that our approach is also effective at debiasing in these low-resource conditions, exceeding the baseline performance on the Symmetric dataset with just 1% of the original data.


title: Federated Learning in ASR: Not as Easy as You Think

abstract: With the growing availability of smart devices and cloud services, personal speech assistance systems are increasingly used on a daily basis. Most devices redirect the voice recordings to a central server, which uses them for upgrading the recognizer model. This leads to major privacy concerns, since private data could be misused by the server or third parties. Federated learning is a decentralized optimization strategy that has been proposed to address such concerns. Utilizing this approach, private data is used for on-device training. Afterwards, updated model parameters are sent to the server to improve the global model, which is redistributed to the clients. In this work, we implement federated learning for speech recognition in a hybrid and an end-to-end model. We discuss the outcomes of these systems, which both show great similarities and only small improvements, pointing to a need for a deeper understanding of federated learning for speech recognition.


title: Heavy flavour production and spectroscopy

abstract: Latest results on the heavy flavour production and spectroscopy at the LHC are reviewed. These include measurements of production rates of the charmed and beauty hadrons, and observations of new excited charmed and beauty hadrons and exotic states.


title: Deep Hawkes Process for High-Frequency Market Making

abstract: High-frequency market making is a liquidity-providing trading strategy that simultaneously generates many bids and asks for a security at ultra-low latency while maintaining a relatively neutral position. The strategy makes a profit from the bid-ask spread for every buy and sell transaction, against the risk of adverse selection, uncertain execution and inventory risk. We design realistic simulations of limit order markets and develop a high-frequency market making strategy in which agents process order book information to post the optimal price, order type and execution time. By introducing the Deep Hawkes process to the high-frequency market making strategy, we allow a feedback loop to be created between order arrival and the state of the limit order book, together with self- and cross-excitation effects. Our high-frequency market making strategy accounts for the cancellation of orders that influence order queue position, profitability, bid-ask spread and the value of the order. The experimental results show that our trading agent outperforms the baseline strategy, which uses a probability density estimate of the fundamental price. We investigate the effect of cancellations on market quality and the agent's profitability. We validate how closely the simulation framework approximates reality by reproducing stylised facts from the empirical analysis of the simulated order book data.


title: SsAG: Summarization and sparsification of Attributed Graphs

abstract: We present SsAG, an efficient and scalable lossy graph summarization method that retains the essential structure of the original graph. SsAG computes a sparse representation (summary) of the input graph and also caters to graphs with node attributes. The summary of a graph $G$ is stored as a graph on supernodes (subsets of vertices of $G$), and a weighted superedge connects two supernodes. The proposed method constructs a summary graph on $k$ supernodes that minimize the reconstruction error (difference between the original graph and the graph reconstructed from the summary) and maximum homogeneity with respect to attributes. We construct the summary by iteratively merging a pair of nodes. We derive a closed-form expression to efficiently compute the reconstruction error after merging a pair and approximate this score in constant time. To reduce the search space for selecting the best pair for merging, we assign a weight to each supernode that closely quantifies the contribution of the node in the score of the pairs containing it. We choose the best pair for merging from a random sample of supernodes selected with probability proportional to their weights. A logarithmic-sized sample yields a comparable summary based on various quality measures with weighted sampling. We propose a sparsification step for the constructed summary to reduce the storage cost to a given target size with a marginal increase in reconstruction error. Empirical evaluation on several real-world graphs and comparison with state-of-the-art methods shows that SsAG is up to $5\times$ faster and generates summaries of comparable quality.


title: Interpretability in Safety-Critical FinancialTrading Systems

abstract: Sophisticated machine learning (ML) models to inform trading in the financial sector create problems of interpretability and risk management. Seemingly robust forecasting models may behave erroneously in out of distribution settings. In 2020, some of the world's most sophisticated quant hedge funds suffered losses as their ML models were first underhedged, and then overcompensated. We implement a gradient-based approach for precisely stress-testing how a trading model's forecasts can be manipulated, and their effects on downstream tasks at the trading execution level. We construct inputs -- whether in changes to sentiment or market variables -- that efficiently affect changes in the return distribution. In an industry-standard trading pipeline, we perturb model inputs for eight S&P 500 stocks. We find our approach discovers seemingly in-sample input settings that result in large negative shifts in return distributions. We provide the financial community with mechanisms to interpret ML forecasts in trading systems. For the security community, we provide a compelling application where studying ML robustness necessitates that one capture an end-to-end system's performance rather than study a ML model in isolation. Indeed, we show in our evaluation that errors in the forecasting model's predictions alone are not sufficient for trading decisions made based on these forecasts to yield a negative return.


title: Learning generalized Nash equilibria in monotone games: A hybrid adaptive extremum seeking control approach

abstract: In this paper, we solve the problem of learning a generalized Nash equilibrium (GNE) in merely monotone games. First, we propose a novel continuous semi-decentralized solution algorithm without projections that uses first-order information to compute a GNE with a central coordinator. As the second main contribution, we design a gain adaptation scheme for the previous algorithm in order to alleviate the problem of improper scaling of the cost functions versus the constraints. Third, we propose a data-driven variant of the former algorithm, where each agent estimates their individual pseudogradient via zeroth-order information, namely, measurements of their individual cost function values. Finally, we apply our method to a perturbation amplitude optimization problem in oil extraction engineering.


title: A Generalized Kalman Filter Augmented Deep-Learning based Approach for Autonomous Landing in MAVs

abstract: Autonomous landing systems for Micro Aerial Vehicles (MAV) have been proposed using various combinations of GPS-based, vision, and fiducial tag-based schemes. Landing is a critical activity that a MAV performs and poor resolution of GPS, degraded camera images, fiducial tags not meeting required specifications and environmental factors pose challenges. An ideal solution to MAV landing should account for these challenges and for operational challenges which could cause unplanned movements and landings. Most approaches do not attempt to solve this general problem but look at restricted sub-problems with at least one well-defined parameter. In this work, we propose a generalized end-to-end landing site detection system using a two-stage training mechanism, which makes no pre-assumption about the landing site. Experimental results show that we achieve comparable accuracy and outperform existing methods for the time required for landing.


title: Black hole flares: ejection of accreted magnetic flux through 3D plasmoid-mediated reconnection

abstract: Magnetic reconnection can power bright, rapid flares originating from the inner magnetosphere of accreting black holes. We conduct extremely high resolution ($5376\times2304\times2304$ cells) general-relativistic magnetohydrodynamics simulations, capturing plasmoid-mediated reconnection in a 3D magnetically arrested disk for the first time. We show that an equatorial, plasmoid-unstable current sheet forms in a transient, non-axisymmetric, low-density magnetosphere within the inner few Schwarzschild radii. Magnetic flux bundles escape from the event horizon through reconnection at the universal plasmoid-mediated rate in this current sheet. The reconnection feeds on the highly-magnetized plasma in the jets and heats the plasma that ends up trapped in flux bundles to temperatures proportional to the jet's magnetization. The escaped flux bundles can complete a full orbit as low-density hot spots, consistent with Sgr A$^{*}$ observations by the GRAVITY interferometer. Reconnection near the horizon produces sufficiently energetic plasma to explain flares from accreting black holes, such as the TeV emission observed from M87. The drop in mass accretion rate during the flare, and the resulting low-density magnetosphere make it easier for very high energy photons produced by reconnection-accelerated particles to escape. The extreme resolution results in a converged plasmoid-mediated reconnection rate that directly determines the timescales and properties of the flare.


title: On the Holt-Klee Property for Oriented Matroid Programming

abstract: The Holt-Klee theorem says that the graph of a $d$-polytope, with edges oriented by a linear function on $P$ that is not constant on any edge, admits $d$ independent monotone paths from the source to the sink. We prove that the digraphs obtained from oriented matroid programs of rank $d+1$ on $n+2$ elements, which include those from $d$-polytopes with $n$ facets, admit $d$ independent monotone paths from source to sink if $d \le 4$. This was previously only known to hold for $d\le 3$ and $n\le 6$.


title: Monotone-Value Neural Networks: Exploiting Preference Monotonicity in Combinatorial Assignment

abstract: Many important resource allocation problems involve the combinatorial assignment of items, e.g., auctions or course allocation. Because the bundle space grows exponentially in the number of items, preference elicitation is a key challenge in these domains. Recently, researchers have proposed ML-based mechanisms that outperform traditional mechanisms while reducing preference elicitation costs for agents. However, one major shortcoming of the ML algorithms that were used is their disregard of important prior knowledge about agents' preferences. To address this, we introduce monotone-value neural networks (MVNNs), which are designed to capture combinatorial valuations, while enforcing monotonicity and normality. On a technical level, we prove that our MVNNs are universal in the class of monotone and normalized value functions, and we provide a mixed-integer linear program (MILP) formulation to make solving MVNN-based winner determination problems (WDPs) practically feasible. We evaluate our MVNNs experimentally in spectrum auction domains. Our results show that MVNNs improve the prediction performance, they yield state-of-the-art allocative efficiency in the auction, and they also reduce the run-time of the WDPs. Our code is available on GitHub: https://github.com/marketdesignresearch/MVNN.


title: Overview of the CLEF-2019 CheckThat!: Automatic Identification and Verification of Claims

abstract: We present an overview of the second edition of the CheckThat! Lab at CLEF 2019. The lab featured two tasks in two different languages: English and Arabic. Task 1 (English) challenged the participating systems to predict which claims in a political debate or speech should be prioritized for fact-checking. Task 2 (Arabic) asked to (A) rank a given set of Web pages with respect to a check-worthy claim based on their usefulness for fact-checking that claim, (B) classify these same Web pages according to their degree of usefulness for fact-checking the target claim, (C) identify useful passages from these pages, and (D) use the useful pages to predict the claim's factuality. CheckThat! provided a full evaluation framework, consisting of data in English (derived from fact-checking sources) and Arabic (gathered and annotated from scratch) and evaluation based on mean average precision (MAP) and normalized discounted cumulative gain (nDCG) for ranking, and F1 for classification. A total of 47 teams registered to participate in this lab, and fourteen of them actually submitted runs (compared to nine last year). The evaluation results show that the most successful approaches to Task 1 used various neural networks and logistic regression. As for Task 2, learning-to-rank was used by the highest scoring runs for subtask A, while different classifiers were used in the other subtasks. We release to the research community all datasets from the lab as well as the evaluation scripts, which should enable further research in the important tasks of check-worthiness estimation and automatic claim verification.


title: Improved statistical machine translation using monolingual paraphrases

abstract: We propose a novel monolingual sentence paraphrasing method for augmenting the training data for statistical machine translation systems "for free" -- by creating it from data that is already available rather than having to create more aligned data. Starting with a syntactic tree, we recursively generate new sentence variants where noun compounds are paraphrased using suitable prepositions, and vice-versa -- preposition-containing noun phrases are turned into noun compounds. The evaluation shows an improvement equivalent to 33%-50% of that of doubling the amount of training data.


title: SUper Team at SemEval-2016 Task 3: Building a feature-rich system for community question answering

abstract: We present the system we built for participating in SemEval-2016 Task 3 on Community Question Answering. We achieved the best results on subtask C, and strong results on subtasks A and B, by combining a rich set of various types of features: semantic, lexical, metadata, and user-related. The most important group turned out to be the metadata for the question and for the comment, semantic vectors trained on QatarLiving data and similarities between the question and the comment for subtasks A and C, and between the original and the related question for Subtask B.


title: Feature-Rich Named Entity Recognition for Bulgarian Using Conditional Random Fields

abstract: The paper presents a feature-rich approach to the automatic recognition and categorization of named entities (persons, organizations, locations, and miscellaneous) in news text for Bulgarian. We combine well-established features used for other languages with language-specific lexical, syntactic and morphological information. In particular, we make use of the rich tagset annotation of the BulTreeBank (680 morpho-syntactic tags), from which we derive suitable task-specific tagsets (local and nonlocal). We further add domain-specific gazetteers and additional unlabeled data, achieving F1=89.4%, which is comparable to the state-of-the-art results for English.


title: Linear Differential Games for Cooperative Behavior Planning of Autonomous Vehicles Using Mixed-Integer Programming

abstract: Cooperatively planning for multiple agents has been proposed as a promising method for strategic and motion planning for automated vehicles. By taking into account the intent of every agent, the ego agent can incorporate future interactions with human-driven vehicles into its planning. The problem is often formulated as a multi-agent game and solved using iterative algorithms operating on a discretized action or state space. Even if converging to a Nash equilibrium, the result will often be only sub-optimal. In this paper, we define a linear differential game for a set of interacting agents and solve it to optimality using mixed-integer programming. A disjunctive formulation of the orientation allows us to formulate linear constraints to prevent agent-to-agent collision while preserving the non-holonomic motion properties of the vehicle model. Soft constraints account for prediction errors. We then define a joint cost function, where a cooperation factor can adapt between altruistic, cooperative, and egoistic behavior. We study the influence of the cooperation factor to solve scenarios, where interaction between the agents is necessary to solve them successfully. The approach is then evaluated in a racing scenario, where we show the applicability of the formulation in a closed-loop receding horizon replanning fashion. By accounting for inaccuracies in the cooperative assumption and the actual behavior, we can indeed successfully plan an optimal control strategy interacting closely with other agents.


title: Demystifying Algorithmic Complexities and Geometric Review of the 'h'-Index

abstract: The current discourse delves into the effectiveness of h-index as an author level metric. It further reviews and explains the algorithmic complexity of calculating h-index through algebraic method. To conduct the algebraic analysis propositional algebra, algorithm and coding techniques have been used. Some use cases have been identified with a finite-data-set/set-of-array to demonstrate the coding techniques and for further analysis. Finally, the explanation and calculative complexities to determine the index have been further simplified through geometric method of calculating the h-index using the similar use cases that was used for coding. It is concluded that determination of the h-index using Euclidean geometric method with Cartesian frame of reference provides a through and visual clarification. Finally, a set of postulates has been proposed at the end of the paper, based on the case studies.


title: A Radon-Nikod\'ym theorem for local completely positive invariant multilinear maps

abstract: In this article, we introduce local completely positive $k$-linear maps between locally $C^{\ast}$-algebras and obtain Stinespring type representation by adopting the notion of "invariance" defined by J. Heo for $k$-linear maps between $C^{\ast}$-algebras. Also, we supply the minimality condition to make certain that minimal representation is unique up to unitary equivalence. As a consequence, we prove Radon-Nikod\'{y}m theorem for unbounded operator-valued local completely positive invariant $k$-linear maps. The obtained Radon-Nikod\'{y}m derivative is a positive contraction on some Hilbert space with several reducing subspaces.


title: Visualisation to Explain Personal Health Trends in Smart Homes

abstract: An ambient sensor network is installed in Smart Homes to identify low-level events taking place by residents, which are then analysed to generate a profile of activities of daily living. These profiles are compared to both the resident's typical profile and to known "risky" profiles to support recommendation of evidence-based interventions. Maintaining trust presents an XAI challenge because the recommendations are not easily interpretable. Trust in the system can be improved by making the decision-making process more transparent. We propose a visualisation workflow which presents the data in clear, colour-coded graphs.


title: A Frequency-Domain Approach to Nonlinear Negative Imaginary Systems Analysis

abstract: In this study, we extend the theory of negative imaginary (NI) systems to a nonlinear framework using a frequency-domain approach. The extended notion is completely characterized via a finite-frequency integration over a "kernel function" on energy-bounded input and output signal pairs. The notion is closely related to and carefully contrasted with the well-studied extension of negative imaginariness -- the theory of counterclockwise dynamics. A condition for feedback stability of the proposed nonlinear NI systems is then developed based on the technique of integral quadratic constraints. Examples and simulations on feedback interconnections of typical nonlinear systems are provided to demonstrate the effectiveness.


title: Real-Time Multi-Level Neonatal Heart and Lung Sound Quality Assessment for Telehealth Applications

abstract: Digital stethoscopes in combination with telehealth allow chest sounds to be easily collected and transmitted for remote monitoring and diagnosis. Chest sounds contain important information about a newborn's cardio-respiratory health. However, low-quality recordings complicate the remote monitoring and diagnosis. In this study, a new method is proposed to objectively and automatically assess heart and lung signal quality on a 5-level scale in real-time and to assess the effect of signal quality on vital sign estimation. For the evaluation, a total of 207 10s long chest sounds were taken from 119 preterm and full-term babies. Thirty of the recordings from ten subjects were obtained with synchronous vital signs from the Neonatal Intensive Care Unit (NICU) based on electrocardiogram recordings. As reference, seven annotators independently assessed the signal quality. For automatic quality classification, 400 features were extracted from the chest sounds. After feature selection using minimum redundancy and maximum relevancy algorithm, class balancing, and hyper-parameter optimization, a variety of multi-class and ordinal classification and regression algorithms were trained. Then, heart rate and breathing rate were automatically estimated from the chest sounds using adapted pre-existing methods. The results of subject-wise leave-one-out cross-validation show that the best-performing models had a mean squared error (MSE) of 0.49 and 0.61, and balanced accuracy of 57% and 51% for heart and lung qualities, respectively. The best-performing models for real-time analysis (<200ms) had MSE of 0.459 and 0.67, and balanced accuracy of 57% and 46%, respectively. Our experimental results underscore that increasing the signal quality leads to a reduction in vital sign error, with only high-quality recordings having a mean absolute error of less than 5 beats per minute, as required for clinical usage.


title: First-principles analysis of the optical properties of lead halide perovskite solution precursors

abstract: Lead halide perovskites (LHPs) are promising materials for opto-electronics and photovoltaics, thanks to favorable characteristics and low manufacturing costs enabled by solution processing. In light of this, it is crucial to assess the impact of solvent-solute interactions on the electronic and optical properties of LHPs and of their solution precursors. In a first-principles work based on time-dependent density-functional theory coupled with the polarizable continuum model, we investigate the electronic and optical properties of a set of charge-neutral compounds with chemical formula, PbX$_2$(Sol)$_4$, where X=Cl, Br, and I, and Sol are the six common solvents. We find that single-particle energies and optical gaps depend on the halogen species as well as on the solvent molecules, which also affect the energy and the spatial distribution of the molecular orbitals, thereby impacting on the excitations. We clarify that dark states at the absorption onset are promoted by electron-withdrawing solvents, and we show the correlation between oscillator strength and HOMO$\rightarrow$LUMO contribution to the excitations. Our results provide microscopic insight into the electronic and optical properties of LHP solution precursors, complementing ongoing experimental research on these systems and on their evolution to photovoltaic thin films.


title: Convolution-Free Waveform Transformers for Multi-Lead ECG Classification

abstract: We present our entry to the 2021 PhysioNet/CinC challenge - a waveform transformer model to detect cardiac abnormalities from ECG recordings. We compare the performance of the waveform transformer model on different ECG-lead subsets using approximately 88,000 ECG recordings from six datasets. In the official rankings, team prna ranked between 9 and 15 on 12, 6, 4, 3 and 2-lead sets respectively. Our waveform transformer model achieved an average challenge metric of 0.47 on the held-out test set across all ECG-lead subsets. Our combined performance across all leads placed us at rank 11 out of 39 officially ranking teams.


title: Motion-aware Contrastive Video Representation Learning via Foreground-background Merging

abstract: In light of the success of contrastive learning in the image domain, current self-supervised video representation learning methods usually employ contrastive loss to facilitate video representation learning. When naively pulling two augmented views of a video closer, the model however tends to learn the common static background as a shortcut but fails to capture the motion information, a phenomenon dubbed as background bias. Such bias makes the model suffer from weak generalization ability, leading to worse performance on downstream tasks such as action recognition. To alleviate such bias, we propose \textbf{F}oreground-b\textbf{a}ckground \textbf{Me}rging (FAME) to deliberately compose the moving foreground region of the selected video onto the static background of others. Specifically, without any off-the-shelf detector, we extract the moving foreground out of background regions via the frame difference and color statistics, and shuffle the background regions among the videos. By leveraging the semantic consistency between the original clips and the fused ones, the model focuses more on the motion patterns and is debiased from the background shortcut. Extensive experiments demonstrate that FAME can effectively resist background cheating and thus achieve the state-of-the-art performance on downstream tasks across UCF101, HMDB51, and Diving48 datasets. The code and configurations are released at https://github.com/Mark12Ding/FAME.


title: Vertex F-algebra structures on the complex oriented homology of H-spaces

abstract: We give a topological construction of graded vertex F-algebras that generalizes Joyce's vertex algebra to complex-oriented homology. Given an H-space X with a BU(1)-action, a certain choice of K-theory class, and a complex oriented homology theory E, we build a graded vertex F-algebra structure on the homology $E_*(X)$ where F is the formal group law associated with E.


title: Timelike nucleon electromagnetic form factors: All about interference of isospin amplitudes

abstract: A striking feature of the timelike nucleon electromagnetic form factors, investigated in $e^+e^- \to N\bar N$ annihilation reactions, is the modulation by local structures of small magnitude and oscillatory form, showing up above $N\bar N$ threshold. Starting from an isospin decomposition of the proton and neutron form factors it is shown that such structures are the natural consequence of the interference of a large and a small amplitudes, resulting in a sinusoidal behavior as a function of the "invariant energy" if the relative phase shift varies with energy. Thus, periodic oscillations superimposed on a smooth background will be observed. In this scenario, an equal size of the modulation for neutron and proton discovered by recent BESIII data evidently implies the particular isoscalar or isovector nature of these local structures, or their orthogonal interference, hence specifies their origin as excited vector mesons whose widths are tied to the modulation frequency.We clarify that the phase difference of modulation between neutron and proton as BESIII data found, but not the modulation itself, is the evidence of an imaginary part of the timelike nucleon electromagnetic form factors, which is associated with the rescattering processes.


title: Least-Squares Finite Element Method for Ordinary Differential Equations

abstract: We consider the least-squares finite element method (lsfem) for systems of nonlinear ordinary differential equations and establish an optimal error estimate for this method when piecewise linear elements are used. The main assumptions are that the vector field is sufficiently smooth and that the local Lipschitz constant, as well as the operator norm of the Jacobian matrix associated with the nonlinearity, are sufficiently small when restricted to a suitable neighborhood of the true solution for the considered initial value problem. This theoretic optimality is further illustrated numerically, along with evidence of possible extension to higher-order basis elements. Examples are also presented to show the advantages of lsfem compared with finite difference methods in various scenarios. Suitable modifications for adaptive time-stepping are discussed as well.


title: Variational Marginal Particle Filters

abstract: Variational inference for state space models (SSMs) is known to be hard in general. Recent works focus on deriving variational objectives for SSMs from unbiased sequential Monte Carlo estimators. We reveal that the marginal particle filter is obtained from sequential Monte Carlo by applying Rao-Blackwellization operations, which sacrifices the trajectory information for reduced variance and differentiability. We propose the variational marginal particle filter (VMPF), which is a differentiable and reparameterizable variational filtering objective for SSMs based on an unbiased estimator. We find that VMPF with biased gradients gives tighter bounds than previous objectives, and the unbiased reparameterization gradients are sometimes beneficial.


title: A simple Sign-Bit Probabilistic Shaping Scheme

abstract: We propose a new shaping scheme for the Gaussian channel whose complexity is approximately half the one of a binary distribution matcher (DM). The result is obtained as follows: We first show that most of the shaping gain can be obtained via a simplified version of sign-bit shaping, which uses only two non-uniform binary sources. This is achieved by considering a stepwise Maxwell-Boltzmann-like distribution of the symbols. One of the two binary sources has a parameter $p$ close to 0. Hence, we then describe a binary DM which explicitly takes advantage of this aspect and has a negligible complexity. Since the two binary sources are used alternately with equal probability, the complexity of the proposed shaping scheme is half the one of the second binary DM.


title: Transfer Learning Based Multi-Objective Genetic Algorithm for Dynamic Community Detection

abstract: Dynamic community detection is the hotspot and basic problem of complex network and artificial intelligence research in recent years. It is necessary to maximize the accuracy of clustering as the network structure changes, but also to minimize the two consecutive clustering differences between the two results. There is a trade-off relationship between these two objectives. In this paper, we propose a Feature Transfer Based Multi-Objective Optimization Genetic Algorithm (TMOGA) based on transfer learning and traditional multi-objective evolutionary algorithm framework. The main idea is to extract stable features from past community structures, retain valuable feature information, and integrate this feature information into current optimization processes to improve the evolutionary algorithms. Additionally, a new theoretical framework is proposed in this paper to analyze community detection problem based on information theory. Then, we exploit this framework to prove the rationality of TMOGA. Finally, the experimental results show that our algorithm can achieve better clustering effects compared with the state-of-the-art dynamic network community detection algorithms in diverse test problems.


title: On the Bergman kernel in weighted monogenic Bargmann-Fock spaces

abstract: In this paper, we study the Bergman kernel $B_\varphi(x,y)$ of generalized Bargmann-Fock spaces in the setting of Clifford algebra. The versions of $L^2$-estimate method and weighted subharmonic inequality for Clifford algebra are established. Consequently we show the existence of $B_\varphi(x,y)$ and then give some estimates on and off the diagonal. As a by-product, we also obtain an upper estimate of the weighted harmonic Bergman kernel.


title: Revealing hidden defects through stored energy measurements of radiation damage

abstract: With full knowledge of a material's atomistic structure, it is possible to predict any macroscopic property of interest. In practice, this is hindered by limitations of the chosen characterisation techniques. For example, electron microscopy is unable to detect the smallest and most numerous defects in irradiated materials. Instead of spatial characterisation, we propose to detect and quantify defects through their excess energy. Differential scanning calorimetry (DSC) of irradiated Ti measures defect densities 5 times greater than those determined using transmission electron microscopy (TEM). Our experiments also reveal two energetically-distinct processes where the established annealing model predicts one. Molecular dynamics (MD) simulations discover the defects responsible and inform a new mechanism for the recovery of irradiation-induced defects. The combination of annealing experiments and simulations can reveal defects hidden to other characterisation techniques, and has the potential to uncover new mechanisms behind the evolution of defects in materials.


title: High-Availability Clusters: A Taxonomy, Survey, and Future Directions

abstract: The delivery of key services in domains ranging from finance and manufacturing to healthcare and transportation is underpinned by a rapidly growing number of mission-critical enterprise applications. Ensuring the continuity of these complex applications requires the use of software-managed infrastructures called high-availability clusters (HACs). HACs employ sophisticated techniques to monitor the health of key enterprise application layers and of the resources they use, and to seamlessly restart or relocate application components after failures. In this paper, we first describe the manifold uses of HACs to protect essential layers of a critical application and present the architecture of high availability clusters. We then propose a taxonomy that covers all key aspects of HACs -- deployment patterns, application areas, types of cluster, topology, cluster management, failure detection and recovery, consistency and integrity, and data synchronisation; and we use this taxonomy to provide a comprehensive survey of the end-to-end software solutions available for the HAC deployment of enterprise applications. Finally, we discuss the limitations and challenges of existing HAC solutions, and we identify opportunities for future research in the area.


title: From Schwinger to Wightman: all conformal 3-point functions in momentum space

abstract: All conformal correlation functions of 3 scalar primary operators are constructed in an axiomatic way, relying only on conformal symmetry and causality. The construction makes use of the R-product and its analyticity properties in Minkowski momentum space. The R-product is completely determined by a system of partial differential equations (the Ward identities for conformal transformations) and a boundary condition (permutation symmetry), up to an OPE coefficient. Wightman functions and time-ordered products are then derived from the R-product using operator identities, and the Schwinger function is recovered after a Wick rotation to Euclidean space. This construction does not rely on the Fourier transform of position-space correlation functions.


title: Predicting Code Review Completion Time in Modern Code Review

abstract: Context. Modern Code Review (MCR) is being adopted in both open source and commercial projects as a common practice. MCR is a widely acknowledged quality assurance practice that allows early detection of defects as well as poor coding practices. It also brings several other benefits such as knowledge sharing, team awareness, and collaboration. Problem. In practice, code reviews can experience significant delays to be completed due to various socio-technical factors which can affect the project quality and cost. For a successful review process, peer reviewers should perform their review tasks in a timely manner while providing relevant feedback about the code change being reviewed. However, there is a lack of tool support to help developers estimating the time required to complete a code review prior to accepting or declining a review request. Objective. Our objective is to build and validate an effective approach to predict the code review completion time in the context of MCR and help developers better manage and prioritize their code review tasks. Method. We formulate the prediction of the code review completion time as a learning problem. In particular, we propose a framework based on regression models to (i) effectively estimate the code review completion time, and (ii) understand the main factors influencing code review completion time.


title: Redesigning the Transformer Architecture with Insights from Multi-particle Dynamical Systems

abstract: The Transformer and its variants have been proven to be efficient sequence learners in many different domains. Despite their staggering success, a critical issue has been the enormous number of parameters that must be trained (ranging from $10^7$ to $10^{11}$) along with the quadratic complexity of dot-product attention. In this work, we investigate the problem of approximating the two central components of the Transformer -- multi-head self-attention and point-wise feed-forward transformation, with reduced parameter space and computational complexity. We build upon recent developments in analyzing deep neural networks as numerical solvers of ordinary differential equations. Taking advantage of an analogy between Transformer stages and the evolution of a dynamical system of multiple interacting particles, we formulate a temporal evolution scheme, TransEvolve, to bypass costly dot-product attention over multiple stacked layers. We perform exhaustive experiments with TransEvolve on well-known encoder-decoder as well as encoder-only tasks. We observe that the degree of approximation (or inversely, the degree of parameter reduction) has different effects on the performance, depending on the task. While in the encoder-decoder regime, TransEvolve delivers performances comparable to the original Transformer, in encoder-only tasks it consistently outperforms Transformer along with several subsequent variants.


title: MCS Adaptation within the Cellular V2X Sidelink

abstract: Adaptation of the Modulation and Coding Scheme (MCS) within the Cellular Vehicle-To-Everything (C-V2X) sidelink has the potential for a wide range of applications including congestion control, support of variable packet sizes, density aware rate adaptation and improved support of unicast transmissions. However, the practical implementation of MCS adaptation presents a wide range of implications for the C-V2X radio resources, bandwidth, computation of power levels and operation of the scheduling mechanism. This paper presents the first study that provides a detailed analysis and an implemented model highlighting the implications of MCS adaptation on the operation of the Sensing-Based Semi-Persistent Scheduling (SB-SPS) mechanism within the C-V2X sidelink. To showcase the use of MCS adaptation for a particular purpose, a detailed analysis of its performance for distributed congestion control is undertaken, while considering different vehicular densities. The results indicate that MCS adaptation can be useful to reduce channel congestion by decreasing resource occupation but may not improve the overall packet delivery rate unless subchannel occupation is reduced. Finally, this study provides the foundation for other applications of MCS adaptation within the C-V2X sidelink.


title: A Review of Text Style Transfer using Deep Learning

abstract: Style is an integral component of a sentence indicated by the choice of words a person makes. Different people have different ways of expressing themselves, however, they adjust their speaking and writing style to a social context, an audience, an interlocutor or the formality of an occasion. Text style transfer is defined as a task of adapting and/or changing the stylistic manner in which a sentence is written, while preserving the meaning of the original sentence. A systematic review of text style transfer methodologies using deep learning is presented in this paper. We point out the technological advances in deep neural networks that have been the driving force behind current successes in the fields of natural language understanding and generation. The review is structured around two key stages in the text style transfer process, namely, representation learning and sentence generation in a new style. The discussion highlights the commonalities and differences between proposed solutions as well as challenges and opportunities that are expected to direct and foster further research in the field.


title: Inequalities for Plane Partitions

abstract: Inequalities are important features in the context of sequences of numbers and polynomials. The Bessenrodt--Ono inequality for partition numbers and Nekrasov--Okounkov polynomials has only recently been discovered. In this paper we study the log-concavity (Tur\'{a}n inequality) and Bessenrodt--Ono inequality for plane partitions and their polynomization.


title: The anatomy of social dynamics in escape rooms

abstract: From sport and science production to everyday life, higher-level pursuits demand collaboration. Despite an increase in the number of data-driven studies on human behavior, the social dynamics of collaborative problem solving are still largely unexplored with network science and other computational and quantitative tools. Here we introduce escape rooms as a non-interventional and minimally biased social laboratory, which allows us to capture at a high resolution real-time communications in small project teams. Our analysis portrays a nuanced picture of different dimensions of social dynamics. We reveal how socio-demographic characteristics impact problem solving and the importance of prior relationships for enhanced interactions. We extract key conversation rules from motif analysis, and discuss turn-usurping gendered behavior, a phenomenon particularly strong in male dominated teams. We investigate the temporal evolution of signed and group interactions, finding that a minimum level of tense communication might be beneficial for collective problem solving, and revealing differences in the behavior of successful and failed teams. Our work unveils the innovative potential of escape rooms to study teams in their complexity, contributing to a deeper understanding of the micro-dynamics of collaborative team processes.


title: Reinforcement Learning with Information-Theoretic Actuation

abstract: Reinforcement Learning formalises an embodied agent's interaction with the environment through observations, rewards and actions. But where do the actions come from? Actions are often considered to represent something external, such as the movement of a limb, a chess piece, or more generally, the output of an actuator. In this work we explore and formalize a contrasting view, namely that actions are best thought of as the output of a sequence of internal choices with respect to an action model. This view is particularly well-suited for leveraging the recent advances in large sequence models as prior knowledge for multi-task reinforcement learning problems. Our main contribution in this work is to show how to augment the standard MDP formalism with a sequential notion of internal action using information-theoretic techniques, and that this leads to self-consistent definitions of both internal and external action value functions.


title: A polynomial resultant approach to algebraic construction of extremal graphs

abstract: The Tur\'{a}n problem asks for the largest number of edges ex$(n,H)$ in an $n$-vertex graph not containing a fixed forbidden subgraph $H$, which is one of the most important problems in extremal graph theory. However the order of magnitude of ex$(n,H)$ for bipartite graphs is known only in a handful of cases. In particular, giving explicit constructions of extremal graphs is very challenging in this field. In this paper, we develop a polynomail resultant approach to algebraic construction of explicit extremal graphs, which can efficiently decide whether a specified structure exists. A key insight in our approach is the multipolynomial resultant, which is a fundamental tool of computational algebraic geometry. Our main results include the matched lowers bounds for Tur\'{a}n number of $1$-subdivision of $K_{3,t_{1}}$ and linear Tur\'{a}n number of Berge theta hyerpgraph $\Theta_{3,t_{2}}^{B}$ with $t_{1}=25$ and $t_{2}=217$. Moreover, the constant $t_{1}$ improves the random algebraic construction of Bukh and Conlon~[Rational exponents in extremal graph theory, J. Eur. Math. Soc. 20 (2018), 1747-1757] and makes progress on the known estimation for the smallest value of $t_{1}$ concerning a problem posed by Conlon, Janzer and Lee ~[More on the extremal number of subdivisions, Combinatorica, to appear], while the constant $t_{2}$ improves a result of He and Tait~[Hypergraphs with few berge paths of fixed length between vertices, SIAM J. Discrete Math., 33(3), 1472-1481].


title: Deep Embedded K-Means Clustering

abstract: Recently, deep clustering methods have gained momentum because of the high representational power of deep neural networks (DNNs) such as autoencoder. The key idea is that representation learning and clustering can reinforce each other: Good representations lead to good clustering while good clustering provides good supervisory signals to representation learning. Critical questions include: 1) How to optimize representation learning and clustering? 2) Should the reconstruction loss of autoencoder be considered always? In this paper, we propose DEKM (for Deep Embedded K-Means) to answer these two questions. Since the embedding space generated by autoencoder may have no obvious cluster structures, we propose to further transform the embedding space to a new space that reveals the cluster-structure information. This is achieved by an orthonormal transformation matrix, which contains the eigenvectors of the within-class scatter matrix of K-means. The eigenvalues indicate the importance of the eigenvectors' contributions to the cluster-structure information in the new space. Our goal is to increase the cluster-structure information. To this end, we discard the decoder and propose a greedy method to optimize the representation. Representation learning and clustering are alternately optimized by DEKM. Experimental results on the real-world datasets demonstrate that DEKM achieves state-of-the-art performance.


title: A polyurethane-urea elastomer at low to extreme strain rates

abstract: A finite strain nonlinear constitutive model is presented to study the extreme mechanical behavior of a polyurethane-urea well suited for many engineering applications. The micromechanically- and thermodynamically based constitutive model captures salient features in resilience and dissipation in the material at low to high strain rate. The extreme deformation features are further elucidated by laser-induced micro-particle impact tests for the material, where an ultrafast strain rate ($>10^6$ s$^{-1}$) incurs. Numerical simulations for the strongly inhomogeneous deformation events are in good agreement with the experimental data, supporting the predictive capabilities of the constitutive model for the extreme deformation features of the PUU material over at least 9 orders of magnitude in strain rates ($10^{-3}$ to $10^{6}$ s$^{-1}$).


title: Weak-strong uniqueness for measure-valued solutions to the equations of quasiconvex adiabatic thermoelasticity

abstract: This article studies the equations of adiabatic thermoelasticity endowed with an internal energy satisfying an appropriate quasiconvexity assumption which is associated to the symmetrisability condition for the system. A G{\aa}rding-type inequality for these quasiconvex functions is proved and used to establish a weak-strong uniqueness result for a class of dissipative measure-valued solutions.


title: Liquid Structures: a novel Computational Fluid Dynamics (CFD) inspired metamaterial

abstract: We present a theoretical framework for new structural metamaterials we refer to as liquid structures: a topology of bistable mechanisms made up of a high number of cells that are sub-mechanisms composed of pseudo-rigid links and joints. The name liquid structures comes from the similarities they present with the kinematics of the constant flow of incompressible fluids they are inspired by in a limited domain. The layout of the cells are obtained through a two-step process where: (i) the node displacements are computed by means of a Computational Fluid Dynamics tool feeding and (ii) the kinematic synthesis of each cell that is subsequently performed. We report two illustrative examples where star- and diamond-type cells are employed. The paper concludes with a detailed discussion about future theoretical and manufacturing challenges arising from this new metamaterial paradigm.


title: Multi-Modal Sarcasm Detection Based on Contrastive Attention Mechanism

abstract: In the past decade, sarcasm detection has been intensively conducted in a textual scenario. With the popularization of video communication, the analysis in multi-modal scenarios has received much attention in recent years. Therefore, multi-modal sarcasm detection, which aims at detecting sarcasm in video conversations, becomes increasingly hot in both the natural language processing community and the multi-modal analysis community. In this paper, considering that sarcasm is often conveyed through incongruity between modalities (e.g., text expressing a compliment while acoustic tone indicating a grumble), we construct a Contras-tive-Attention-based Sarcasm Detection (ConAttSD) model, which uses an inter-modality contrastive attention mechanism to extract several contrastive features for an utterance. A contrastive feature represents the incongruity of information between two modalities. Our experiments on MUStARD, a benchmark multi-modal sarcasm dataset, demonstrate the effectiveness of the proposed ConAttSD model.


title: Causal Matrix Completion

abstract: Matrix completion is the study of recovering an underlying matrix from a sparse subset of noisy observations. Traditionally, it is assumed that the entries of the matrix are "missing completely at random" (MCAR), i.e., each entry is revealed at random, independent of everything else, with uniform probability. This is likely unrealistic due to the presence of "latent confounders", i.e., unobserved factors that determine both the entries of the underlying matrix and the missingness pattern in the observed matrix. For example, in the context of movie recommender systems -- a canonical application for matrix completion -- a user who vehemently dislikes horror films is unlikely to ever watch horror films. In general, these confounders yield "missing not at random" (MNAR) data, which can severely impact any inference procedure that does not correct for this bias. We develop a formal causal model for matrix completion through the language of potential outcomes, and provide novel identification arguments for a variety of causal estimands of interest. We design a procedure, which we call "synthetic nearest neighbors" (SNN), to estimate these causal estimands. We prove finite-sample consistency and asymptotic normality of our estimator. Our analysis also leads to new theoretical results for the matrix completion literature. In particular, we establish entry-wise, i.e., max-norm, finite-sample consistency and asymptotic normality results for matrix completion with MNAR data. As a special case, this also provides entry-wise bounds for matrix completion with MCAR data. Across simulated and real data, we demonstrate the efficacy of our proposed estimator.


title: A critical discussion of different methods and models in Casimir effect

abstract: The Casimir-Lifhitz force acts between neutral material bodies and is due to the fluctuations (around zero) of the electrical polarizations of the bodies. This force is a macroscopic manifestation of the van der Waals forces between atoms and molecules. In addition to being of fundamental interest, the Casimir-Lifshitz force plays an important role in surface physics, nanotechnology and biophysics. There are two different approaches in the theory of this force. One is centered on the fluctuations inside the bodies, as the source of the fluctuational electromagnetic fields and forces. The second approach is based on finding the eigenmodes of the field, while the material bodies are assumed to be passive and non-fluctuating. In spite of the fact that both approaches have a long history, there are still some misconceptions in the literature. In particular, there are claims that (hypothetical) materials with a strictly real dielectric function $\varepsilon(\omega)$ can give rise to fluctuational Casimir-Lifshitz forces. We review and compare the two approaches, using the simple example of the force in the absence of retardation. We point out that also in the second (the "field-oriented") approach one cannot avoid introducing an infinitesimal imaginary part into the dielectric function, i.e. introducing some dissipation. Furthermore, we emphasize that the requirement of analyticity of $ \varepsilon(\omega)$ in the upper half of the complex $\omega$ plane is not the only one for a viable dielectric function. There are other requirements as well. In particular, models that use a strictly real $\varepsilon(\omega)$ (for all real positive $\omega)$ are inadmissible and lead to various contradictions and inconsistencies. Specifically, we present a critical discussion of the "dissipation-less plasma model".