title: Higher amalgamation properties in measured structures

abstract: Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable in the sense of Macpherson and Steinhorn, but which is not generally true in structures which are supersimple of finite SU-rank. We use this to show that some of Hrushovski's non-locally-modular, supersimple $\omega$-categorical structures are not MS-measurable.


title: Path of Destruction: Learning an Iterative Level Generator Using a Small Dataset

abstract: We propose a new procedural content generation method which learns iterative level generators from a dataset of existing levels. The Path of Destruction method, as we call it, views level generation as repair; levels are created by iteratively repairing from a random starting level. The first step is to generate an artificial dataset from the original set of levels by introducing many different sequences of mutations to existing levels. In the generated dataset, features are observations of destroyed levels and targets are the specific actions that repair the mutated tile in the middle of the observations. Using this dataset, a convolutional network is trained to map from observations to their respective appropriate repair actions. The trained network is then used to iteratively produce levels from random starting maps. We demonstrate this method by applying it to generate unique and playable tile-based levels for several 2D games (Zelda, Danger Dave, and Sokoban) and vary key hyperparameters.


title: OSegNet: Operational Segmentation Network for COVID-19 Detection using Chest X-ray Images

abstract: Coronavirus disease 2019 (COVID-19) has been diagnosed automatically using Machine Learning algorithms over chest X-ray (CXR) images. However, most of the earlier studies used Deep Learning models over scarce datasets bearing the risk of overfitting. Additionally, previous studies have revealed the fact that deep networks are not reliable for classification since their decisions may originate from irrelevant areas on the CXRs. Therefore, in this study, we propose Operational Segmentation Network (OSegNet) that performs detection by segmenting COVID-19 pneumonia for a reliable diagnosis. To address the data scarcity encountered in training and especially in evaluation, this study extends the largest COVID-19 CXR dataset: QaTa-COV19 with 121,378 CXRs including 9258 COVID-19 samples with their corresponding ground-truth segmentation masks that are publicly shared with the research community. Consequently, OSegNet has achieved a detection performance with the highest accuracy of 99.65% among the state-of-the-art deep models with 98.09% precision.


title: Analytic Solutions for Wheeled Mobile Manipulator Supporting Forces

abstract: When a mobile manipulator's wheel loses contact with the ground, tipping-over may occur, causing material damage, and in the worst case, it can put human lives in danger. The tip-over stability of wheeled mobile manipulators must not be overlooked at any stage of a mobile manipulator's life, starting from the design phase, continuing through the commissioning period and extending to the operational phase. Many tip-over stability criteria formulated throughout the years do not explicitly consider the normal wheel loads, with most of them relying on prescribed stability margins in terms of overturning moments. In these formulations, it is commonly argued that overturning will occur about one of the axes connecting adjacent manipulator's contact points with the ground. This claim may not always be valid and is certainly restrictive. Explicit expressions for the manipulator supporting forces provide the best insight into relevant affecting terms which contribute to the tip-over (in)stability. They also remove the necessity for thinking about which axis the manipulator could tip over and simultaneously enable the formulation of more intuitive stability margins and on-line tip-over prevention techniques. The present study presents a general dynamics modelling approach in the Newton--Euler framework using 6D vectors and gives normal wheel load equations in a typical 4-wheeled mobile manipulator negotiating a slope. The given expressions are expected to become standard in wheeled mobile manipulators and to provide a basis for effective tip-over stability criteria and tip-over avoidance techniques. Based on the presented results, specific improvements of the state-of-the-art criteria are discussed.


title: Learning Multiple Explainable and Generalizable Cues for Face Anti-spoofing

abstract: Although previous CNN based face anti-spoofing methods have achieved promising performance under intra-dataset testing, they suffer from poor generalization under cross-dataset testing. The main reason is that they learn the network with only binary supervision, which may learn arbitrary cues overfitting on the training dataset. To make the learned feature explainable and more generalizable, some researchers introduce facial depth and reflection map as the auxiliary supervision. However, many other generalizable cues are unexplored for face anti-spoofing, which limits their performance under cross-dataset testing. To this end, we propose a novel framework to learn multiple explainable and generalizable cues (MEGC) for face anti-spoofing. Specifically, inspired by the process of human decision, four mainly used cues by humans are introduced as auxiliary supervision including the boundary of spoof medium, moir\'e pattern, reflection artifacts and facial depth in addition to the binary supervision. To avoid extra labelling cost, corresponding synthetic methods are proposed to generate these auxiliary supervision maps. Extensive experiments on public datasets validate the effectiveness of these cues, and state-of-the-art performances are achieved by our proposed method.


title: FM-AFM with hanging fiber probe for the study of liquid / liquid interfaces

abstract: This article describes how a frequency modulation AFM using a hanging fiber force probe made from a quartz tuning fork provides local measurements on liquid-liquid interfaces. After detailing the manufacture and calibration of the force probe, we provide evidence that this AFM is suitable for quantitative measurements at the interface between two liquids. The repeatability of the measurements allows a poly-dimethylsiloxane / water moving interface to be monitored over several hours : the evaporation of a water droplet immersed in poly-dimethylsiloxane is observed, and its interfacial tension evolution over time is measured. Deformation of the interface is also observed. These capabilities, and preliminary results on the interface between two immiscible liquids, pave the way for interface manipulation and study of complex fluid-fluid interfaces.


title: The Nature of Losses from Cyber-Related Events: Risk Categories and Business Sectors

abstract: In this study we examine the nature of losses from cyber related events across different risk categories and business sectors. Using a leading industry dataset of cyber events, we evaluate the relationship between the frequency and severity of individual cyber-related events and the number of affected records. We find that the frequency of reported cyber related events has substantially increased between 2008 and 2016. Furthermore, the frequency and severity of losses depend on the business sector and type of cyber threat: the most significant cyber loss event categories, by number of events, were related to data breaches and the unauthorized disclosure of data, while cyber extortion, phishing, spoofing and other social engineering practices showed substantial growth rates. Interestingly, we do not find a distinct pattern between the frequency of events, the loss severity, and the number of affected records as often alluded to in the literature. We also analyse the severity distribution of cyber related events across all risk categories and business sectors. This analysis reveals that cyber risks are heavy-tailed, i.e., cyber risk events have a higher probability to produce extreme losses than events whose severity follows an exponential distribution. Furthermore, we find that the frequency and severity of cyber related losses exhibits a very dynamic and time varying nature.


title: Graphs for torus actions on oriented manifolds with isolated fixed points and classification in dimension 6

abstract: Let a torus act on a compact oriented manifold $M$ with isolated fixed points, with an additional mild assumption that its isotropy submanifolds are orientable. We associate a signed labeled multigraph encoding the fixed point data (weights and signs at fixed points and isotropy submanifolds) of the manifold. We study operations on $M$ and its multigraph, (self) connected sum and blow up, etc. When the circle group acts on a 6-dimensional $M$, we classify such a multigraph by proving that we can convert it into the empty graph by successively applying two types of operations. In particular, this classifies the fixed point data of any such manifold. We prove this by showing that for any such manifold, we can successively take equivariant connected sums at fixed points with itself, $\mathbb{CP}^3$, and 6-dimensional analogue $Z_1$ and $Z_2$ of the Hirzebruch surfaces (and these with opposite orientations) to a fixed point free action on a compact oriented 6-manifold. We also classify a multigraph for a torus action on a 4-dimensional $M$.


title: Testing strong lensing subhalo detection with a cosmological simulation

abstract: Strong gravitational lensing offers a compelling test of the cold dark matter paradigm, as it allows for subhaloes with masses of $\sim10^{9}$ M$_\odot$ and below to be detected. We test commonly-used techniques for detecting subhaloes superposed in images of strongly lensed galaxies. For the lens we take a simulated galaxy in a $\sim10^{13}$ M$_\odot$ halo grown in a high-resolution cosmological hydrodynamical simulation, which we view from two different directions. Though the resolution is high, we note the simulated galaxy still has an artificial core which adds additional complexity to the baryon dominated region. To remove particle noise, we represent the projected galaxy mass distribution by a series of Gaussian profiles which precisely capture the features of the projected galaxy. We first model the lens mass as a (broken) power-law density profile and then search for small haloes. Of the two projections, one has a regular elliptical shape, while the other has distinct deviations from an elliptical shape. For the former, the broken power-law model gives no false positives and correctly recovers the mass of the superposed small halo, but for the latter we find false positives and the inferred halo mass is overestimated by $\sim4-5$ times. We then use a more complex model in which the lens mass is decomposed into stellar and dark matter components. In this case, we show that we can capture the simulated galaxy's complex projected structures and correctly infer the input small halo.


title: convex characteristics of quaternionic positive definite functions on abelian groups

abstract: This paper is concerned with the topological space of normalized quaternion-valued positive definite functions on an arbitrary abelian group G, especially its convex characteristics. There are two main results. Firstly, we prove that the extreme elements in the family of such functions are exactly the homomorphisms from G to the sphere group S, i.e., the unit 3-sphere in the quaternion algebra. Secondly, we real a phenomenon which does not exist in the complex setting: The compact convex set of such functions is not a Bauer simplex except when G is of exponent less than or equal to 2. In contrast, its complex counterpart is always a Bauer simplex, as is well known. We also present an integral representation for such functions as an application and some other minor interesting results.


title: Decoupled phase modulation for circularly polarized lights via chiral metasurface

abstract: Metasurfaces are believed as one of the best candidates in nano-optical devices, attributed to the key feasible modulation features of phase, polarization, and local field enhancement by structural designing. However, current methods of propagation- and geometric-phase modulation are interrelated between two eigen spin-states. This means that when the left-handed component phase of a beam is modulated by metasurfaces, its right-handed component phase will change accordingly, which limits the versatility of spin-decoupled applications. In this paper, we experimentally and numerically demonstrate a new phase modulation pathway based on chiral V-shaped holes, which enable fully decoupled one-handed phase modulation of the two eigen spin-states. Two enantiomers are proposed to realize decoupled functions for the two eign-states, e.g., the enantiomer can manipulate the left-handed component phase of a laser beam without changes of the right-handed component. This proposed method has significant meaning in metasurfaces, which can expand the methods of phase engineering.


title: Low-Dimensional High-Fidelity Kinetic Models for NOX Formation by a Compute Intensification Method

abstract: A novel compute intensification methodology to the construction of low-dimensional, high-fidelity "compact" kinetic models for NOX formation is designed and demonstrated. The method adapts the data intensive Machine Learned Optimization of Chemical Kinetics (MLOCK) algorithm for compact model generation by the use of a Latin Square method for virtual reaction network generation. A set of logical rules are defined which construct a minimally sized virtual reaction network comprising three additional nodes (N, NO, NO2). This NOX virtual reaction network is appended to a pre-existing compact model for methane combustion comprising fifteen nodes. The resulting eighteen node virtual reaction network is processed by the MLOCK coded algorithm to produce a plethora of compact model candidates for NOX formation during methane combustion. MLOCK automatically; populates the terms of the virtual reaction network with candidate inputs; measures the success of the resulting compact model candidates (in reproducing a broad set of gas turbine industry-defined performance targets); selects regions of input parameters space showing models of best performance; refines the input parameters to give better performance; and makes an ultimate selection of the best performing model or models. By this method, it is shown that a number of compact model candidates exist that show fidelities in excess of 75% in reproducing industry defined performance targets, with one model valid to >75% across fuel/air equivalence ratios of 0.5-1.0. However, to meet the full fuel/air equivalence ratio performance envelope defined by industry, we show that with this minimal virtual reaction network, two further compact models are required.

categories: physics.chem-ph cs.DC cs.LG physics.comp-ph stat.ML


title: Efficient computation of oriented vertex and arc colorings of special digraphs

abstract: In this paper we study the oriented vertex and arc coloring problem on edge series-parallel digraphs (esp-digraphs) which are related to the well known series-parallel graphs. Series-parallel graphs are graphs with two distinguished vertices called terminals, formed recursively by parallel and series composition. These graphs have applications in modeling series and parallel electric circuits and also play an important role in theoretical computer science. The oriented class of series-parallel digraphs is recursively defined from pairs of vertices connected by a single arc and applying the parallel and series composition, which leads to specific orientations of undirected series-parallel graphs. Further we consider the line digraphs of edge series-parallel digraphs, which are known as minimal series-parallel digraphs (msp-digraphs). We show tight upper bounds for the oriented chromatic number and the oriented chromatic index of edge series-parallel digraphs and minimal series-parallel digraphs. Furthermore, we introduce first linear time solutions for computing the oriented chromatic number of edge series-parallel digraphs and the oriented chromatic index of minimal series-parallel digraphs.


title: Optimal Time-Invariant Formation Tracking for a Second-Order Multi-Agent System

abstract: Given a multi-agent linear system, we formalize and solve a trajectory optimization problem that encapsulates trajectory tracking, distance-based formation control and input energy minimization. To this end, a numerical projection operator Newton's method is developed to find a solution by the minimization of a cost functional able to capture all these different tasks. To stabilize the formation, a particular potential function has been designed, allowing to obtain specified geometrical configurations while the barycenter position and velocity of the system follows a desired trajectory.


title: Linear first order differential operators and their Hutchinson-invariant sets

abstract: In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using this interpretation of $T$, we introduce its continuously Hutchinson invariant subsets of the complex plane and investigate a variety of their properties. In particular, we prove that for any $T$ with non-constant coefficients, there exists a unique minimal under inclusion invariant set $\mathrm{M}^T_{CH}$ and find explixitly when it equals $\mathbb{C}$.


title: On embeddings of extensions of almost finite actions into cubical shifts

abstract: For a countable amenable group $G$ and a fixed dimension $m\geq 1$, we investigate when it is possible to embed a $G$-space $X$ into the $m$-dimensional cubical shift $([0,1]^m)^G$. We focus our attention on systems that arise as an extension of an almost finite $G$-action on a totally disconnected space $Y$, in the sense of Matui and Kerr. We show that if such a $G$-space $X$ has mean dimension less than $m/2$, then $X$ embeds into the $(m+1)$-dimensional cubical shift. If the distinguished factor $G$-space $Y$ is assumed to be a subshift of finite type, then this can be improved to an embedding into the $m$-dimensional cubical shift. This result ought to be viewed as the generalization of a theorem by Gutman-Tsukamoto for $G=\mathbb Z$ to actions of all amenable groups, and represents the first result supporting the Lindenstrauss-Tsukamoto conjecture for actions of groups other than $G=\mathbb{Z}^k$.


title: Permutation Predictions for Non-Clairvoyant Scheduling

abstract: In non-clairvoyant scheduling, the task is to find an online strategy for scheduling jobs with a priori unknown processing requirements with the objective to minimize the total (weighted) completion time. We revisit this well-studied problem in a recently popular learning-augmented setting that integrates (untrusted) predictions in online algorithm design. While previous works used predictions on processing requirements, we propose a new prediction model, which provides a relative order of jobs which could be seen as predicting algorithmic actions rather than parts of the unknown input. We show that these predictions have desired properties, admit a natural error measure as well as algorithms with strong performance guarantees and that they are learnable in both, theory and practice. We generalize the algorithmic framework proposed in the seminal paper by Kumar et al. (NeurIPS'18) and present the first learning-augmented scheduling results for weighted jobs and unrelated machines. We demonstrate in empirical experiments the practicability and superior performance compared to the previously suggested single-machine algorithms.


title: Quantitative unique continuation for parabolic equations with Neumann boundary conditions

abstract: In this paper, we establish a globally quantitative estimate of unique continuation at one time point for solutions of parabolic equations with Neumann boundary conditions in bounded domains. Our proof is mainly based on Carleman commutator estimates and a global frequency function argument, which is motivated from a recent work [5]. As an application, we obtain an observability inequality from measurable sets in time for all solutions of the above equations.


title: OG-SGG: Ontology-Guided Scene Graph Generation. A Case Study in Transfer Learning for Telepresence Robotics

abstract: Scene graph generation from images is a task of great interest to applications such as robotics, because graphs are the main way to represent knowledge about the world and regulate human-robot interactions in tasks such as Visual Question Answering (VQA). Unfortunately, its corresponding area of machine learning is still relatively in its infancy, and the solutions currently offered do not specialize well in concrete usage scenarios. Specifically, they do not take existing "expert" knowledge about the domain world into account; and that might indeed be necessary in order to provide the level of reliability demanded by the use case scenarios. In this paper, we propose an initial approximation to a framework called Ontology-Guided Scene Graph Generation (OG-SGG), that can improve the performance of an existing machine learning based scene graph generator using prior knowledge supplied in the form of an ontology (specifically, using the axioms defined within); and we present results evaluated on a specific scenario founded in telepresence robotics. These results show quantitative and qualitative improvements in the generated scene graphs.


title: On the Distributed Estimation from Relative Measurements: a Graph-Based Convergence Analysis

abstract: For a multi-agent system state estimation resting upon noisy measurements constitutes a problem related to several application scenarios. Adopting the standard least-squares approach, in this work we derive both the (centralized) analytic solution to this issue and two distributed iterative schemes, which allow to establish a connection between the convergence behavior of consensus algorithm toward the optimal estimate and the theory of the stochastic matrices that describe the network system dynamics. This study on the one hand highlights the role of the topological links that define the neighborhood of agent nodes, while on the other allows to optimize the convergence rate by easy parameter tuning. The theoretical findings are validated considering different network topologies by means of numerical simulations.


title: Learning Bayesian Sparse Networks with Full Experience Replay for Continual Learning

abstract: Continual Learning (CL) methods aim to enable machine learning models to learn new tasks without catastrophic forgetting of those that have been previously mastered. Existing CL approaches often keep a buffer of previously-seen samples, perform knowledge distillation, or use regularization techniques towards this goal. Despite their performance, they still suffer from interference across tasks which leads to catastrophic forgetting. To ameliorate this problem, we propose to only activate and select sparse neurons for learning current and past tasks at any stage. More parameters space and model capacity can thus be reserved for the future tasks. This minimizes the interference between parameters for different tasks. To do so, we propose a Sparse neural Network for Continual Learning (SNCL), which employs variational Bayesian sparsity priors on the activations of the neurons in all layers. Full Experience Replay (FER) provides effective supervision in learning the sparse activations of the neurons in different layers. A loss-aware reservoir-sampling strategy is developed to maintain the memory buffer. The proposed method is agnostic as to the network structures and the task boundaries. Experiments on different datasets show that our approach achieves state-of-the-art performance for mitigating forgetting.


title: Mixed Precision Iterative Refinement with Sparse Approximate Inverse Preconditioning

abstract: With the commercial availability of mixed precision hardware, mixed precision GMRES-based iterative refinement schemes have emerged as popular approaches for solving sparse linear systems. Existing analyses of these approaches, however, are based on using full LU factorizations to construct preconditioners for use within GMRES in each refinement step. In practical applications, inexact preconditioning techniques, such as incomplete LU or sparse approximate inverses, are often used for performance reasons. In this work, we investigate the use of sparse approximate inverse preconditioners based on Frobenius norm minimization within GMRES-based iterative refinement. We analyze the computation of sparse approximate inverses in finite precision and derive constraints under which user-specified stopping criteria will be satisfied. We then analyze the behavior of and convergence constraints for a five-precision GMRES-based iterative refinement scheme that uses sparse approximate inverse preconditioning, which we call SPAI-GMRES-IR. Our numerical experiments confirm the theoretical analysis and illustrate the resulting tradeoffs between preconditioner sparsity and GMRES-IR convergence rate.


title: Partial Dyck paths with Air Pockets

abstract: Dyck paths with air pockets are obtained from ordinary Dyck paths by compressing maximal runs of down-steps into giant down-steps of arbitrary size. Using the kernel method, we consider partial Dyck paths with air pockets, both, from left to right and from right to left.


title: DECLOAK: Enable Secure and Cheap Multi-Party Transactions on Legacy Blockchains by a Minimally Trusted TEE Network

abstract: As the confidentiality and scalability of smart contracts have become a crucial demand of blockchains, off-chain contract execution frameworks have been promising. Some have recently expanded off-chain contracts to Multi-Party Computation (MPC), which seek to transition the on-chain states by off-chain MPC. The most general problem among these solutions is MPT, since its off-chain MPC takes on- and off-chain inputs, delivers on- and off-chain outputs, and can be publicly verified by the blockchain, thus capable of covering more scenarios. However, existing Multi-Party Transaction (MPT) solutions lack at least one of data availability, financial fairness, delivery fairness, and delivery atomicity. These properties are crucially valued by communities, e.g., the Ethereum community, or users. Even worse, these solutions require high-cost interactions between the blockchain and off-chain systems. This paper proposes a novel MPT-enabled off-chain contract execution framework, DECLOAK. DECLOAK is the first to achieve data availability of MPT, and our method can apply to other fields that seek to persist user data on-chain. Moreover, DECLOAK solves all mentioned shortcomings with even lower gas costs and weaker assumptions. Specifically, DECLOAK tolerates all but one Byzantine party and TEE executors. Evaluating on 10 MPTs, DECLOAK reduces the gas cost of the SOTA, Cloak, by 65.6%. Consequently, we are the first to not only achieve such level secure MPT in practical assumption, but also demonstrate that evaluating MPT in the comparable gas cost to normal Ethereum transaction is possible. And the cost superiority of DECLOAK increases as the number of MPT parties grows.


title: Offline Text-Independent Writer Identification based on word level data

abstract: This paper proposes a novel scheme to identify the authorship of a document based on handwritten input word images of an individual. Our approach is text-independent and does not place any restrictions on the size of the input word images under consideration. To begin with, we employ the SIFT algorithm to extract multiple key points at various levels of abstraction (comprising allograph, character, or combination of characters). These key points are then passed through a trained CNN network to generate feature maps corresponding to a convolution layer. However, owing to the scale corresponding to the SIFT key points, the size of a generated feature map may differ. As an alleviation to this issue, the histogram of gradients is applied on the feature map to produce a fixed representation. Typically, in a CNN, the number of filters of each convolution block increase depending on the depth of the network. Thus, extracting histogram features for each of the convolution feature map increase the dimension as well as the computational load. To address this aspect, we use an entropy-based method to learn the weights of the feature maps of a particular CNN layer during the training phase of our algorithm. The efficacy of our proposed system has been demonstrated on two publicly available databases namely CVL and IAM. We empirically show that the results obtained are promising when compared with previous works.


title: Non-invasive chemically selective energy delivery and focusing inside a scattering medium guided by Raman scattering

abstract: Raman scattering is a chemically selective probing mechanism with diverse applications in industry and clinical settings. Yet, most samples are optically opaque limiting the applicability of Raman probing at depth. Here, we demonstrate chemically selective energy deposition behind a scattering medium by combining prior information on the chemical's spectrum with the measurement of a spectrally resolved Raman speckle as a feedback mechanism for wavefront shaping. We demonstrate unprecedented six-fold signal enhancement in an epi-geometry, realizing targeted energy deposition and focusing on selected Raman active particles.


title: Degree-Preserving Randomized Response for Graph Neural Networks under Local Differential Privacy

abstract: Differentially private GNNs (Graph Neural Networks) have been recently studied to provide high accuracy in various tasks on graph data while strongly protecting user privacy. In particular, a recent study proposes an algorithm to protect each user's feature vector in an attributed graph, which includes feature vectors along with node IDs and edges, with LDP (Local Differential Privacy), a strong privacy notion without a trusted third party. However, this algorithm does not protect edges (friendships) in a social graph, hence cannot protect user privacy in unattributed graphs, which include only node IDs and edges. How to provide strong privacy with high accuracy in unattributed graphs remains open. In this paper, we propose a novel LDP algorithm called the DPRR (Degree-Preserving Randomized Response) to provide LDP for edges in GNNs. Our DPRR preserves each user's degree hence a graph structure while providing edge LDP. Technically, our DPRR uses Warner's RR (Randomized Response) and strategic edge sampling, where each user's sampling probability is automatically tuned using the Laplacian mechanism to preserve the degree information under edge LDP. We also propose a privacy budget allocation method to make the noise in both Warner's RR and the Laplacian mechanism small. We focus on graph classification as a task of GNNs and evaluate the DPRR using three social graph datasets. Our experimental results show that the DPRR significantly outperforms three baselines and provides accuracy close to a non-private algorithm in all datasets with a reasonable privacy budget, e.g., epsilon=1. Finally, we introduce data poisoning attacks to our DPRR and a defense against the attacks. We evaluate them using the three social graph datasets and discuss the experimental results.


title: Stationary states to a free boundary transmission problem for an electrostatically actuated plate

abstract: A two-dimensional free boundary transmission problem arising in the modeling of an electrostatically actuated plate is considered and a representation formula for the derivative of the associated electrostatic energy with respect to the deflection of the plate is derived. The latter paves the way for the construction of energy minimizers and also provides the Euler-Lagrange equation satisfied by these minimizers. A by-product is the monotonicity of the electrostatic energy with respect to the deflection.


title: On the bias of K-fold cross validation with stable learners

abstract: This paper investigates the efficiency of the K-fold cross-validation (CV) procedure and a debiased version thereof as a means of estimating the generalization risk of a learning algorithm. We work under the general assumption of uniform algorithmic stability. We show that the K-fold risk estimate may not be consistent under such general stability assumptions, by constructing non vanishing lower bounds on the error in realistic contexts such as regularized empirical risk minimisation and stochastic gradient descent. We thus advocate the use of a debiased version of the K-fold and prove an error bound with exponential tail decay regarding this version. Our result is applicable to the large class of uniformly stable algorithms, contrarily to earlier works focusing on specific tasks such as density estimation. We illustrate the relevance of the debiased K-fold CV on a simple model selection problem and demonstrate empirically the usefulness of the promoted approach on real world classification and regression datasets.


title: Optimal Feedback Controls of Stochastic Linear Quadratic Control Problems in Infinite Dimensions with Random Coefficients

abstract: It is a longstanding unsolved problem to characterize the optimal feedback controls for general linear quadratic optimal control problem of stochastic evolution equation with random coefficients. A solution to this problem is given in [21] under some assumptions which can be verified for interesting concrete models, such as controlled stochastic wave equations, controlled stochastic Schr\"odinger equations, etc. More precisely, the authors establish the equivalence between the existence of optimal feedback operator and the solvability of the corresponding operator-valued, backward stochastic Riccati equations. However, their result cannot cover some important stochastic partial differential equations, such as stochastic heat equations, stochastic stokes equations, etc. A key contribution of the current work is to relax the $C_0$-group assumption of unbounded linear operator $A$ in [21] and using contraction semigroup assumption instead. Therefore, our result can be well applicable in the linear quadratic problem of stochastic parabolic partial differential equations. To this end, we introduce a suitable notion to the aforementioned Riccati equation, and some delicate techniques which are even new in the finite dimensional case.


title: A harmonic framework for stepsize selection in gradient methods

abstract: We study the use of inverse harmonic Rayleigh quotients with target for the stepsize selection in gradient methods for nonlinear unconstrained optimization problems. This provides not only an elegant and flexible framework to parametrize and reinterpret existing stepsize schemes, but also gives inspiration for new flexible and tunable families of steplengths. In particular, we analyze and extend the adaptive Barzilai-Borwein method to a new family of stepsizes. While this family exploits negative values for the target, we also consider positive targets. We present a convergence analysis for quadratic problems extending results by Dai and Liao (2002), and carry out experiments outlining the potential of the approaches.


title: No-signalling constrains quantum computation with indefinite causal structure

abstract: Quantum processes with indefinite causal structure emerge when we wonder which are the most general evolutions, allowed by quantum theory, of a set of local systems which are not assumed to be in any particular causal order. These processes can be described within the framework of higher-order quantum theory which, starting from considering maps from quantum transformations to quantum transformations, recursively constructs a hierarchy of quantum maps of increasingly higher order. In this work, we develop a formalism for quantum computation with indefinite causal structures; namely, we characterize the computational structure of higher order quantum maps. Taking an axiomatic approach, the rules of this computation are identified as the most general compositions of higher order maps which are compatible with the mathematical structure of quantum theory. We provide a mathematical characterization of the admissible composition for arbitrary higher order quantum maps. We prove that these rules, which have a computational and information-theoretic nature, are determined by the more physical notion of the signalling relations between the quantum systems of the higher order quantum maps.


title: Polarized $Z$ cross sections in Higgsstrahlung for the determination of anomalous $ZZH$ couplings

abstract: The production of a Higgs boson in association with a $Z$ at an electron-positron collider is one of the cleanest methods for the measurement of the couplings of the Higgs boson. In view of the large production cross section at energies a little above the threshold, it seems feasible to make a more detailed study of the process by measuring the cross sections for polarized $Z$ in order to measure possible anomalous $ZZH$ couplings. We show that certain combinations of cross sections in $e^+e^- \to ZH$ with different $Z$ polarizations help to enhance or isolate the effect of one of the two kinds of $ZZH$ couplings possible on general grounds of CP and Lorentz invariance. These combinations can be useful to get information on the $ZZH$ coupling in the specific contexts of an effective field theory, two-Higgs-doublet models, and composite Higgs models, in a relatively model-independent fashion. We find in particular that the longitudinal helicity fraction of the $Z$ is expected to be insensitive to anomalous couplings, and would be close to its value in the standard model in the scenarios we consider. We also discuss the sensitivity of the proposed measurements to the anomalous couplings.


title: Totally symmetric sets in the general linear group

abstract: A totally symmetric set is a finite subset of a group for which any permutation of the elements can be realized by conjugation in the ambient group. Such sets are rigid under homomorphisms, and so exert a great deal of control over the algebraic structure. In this paper we introduce a more general perspective on total symmetry, and formulate a notion of "irreducibility" for totally symmetric sets in the general linear group. We classify irreducible totally symmetric sets, as well as those of maximal cardinality.


title: I/O-Optimal Algorithms for Symmetric Linear Algebra Kernels

abstract: In this paper, we consider two fundamental symmetric kernels in linear algebra: the Cholesky factorization and the symmetric rank-$k$ update (SYRK), with the classical three nested loops algorithms for these kernels. In addition, we consider a machine model with a fast memory of size $S$ and an unbounded slow memory. In this model, all computations must be performed on operands in fast memory, and the goal is to minimize the amount of communication between slow and fast memories. As the set of computations is fixed by the choice of the algorithm, only the ordering of the computations (the schedule) directly influences the volume of communications.We prove lower bounds of $\frac{1}{3\sqrt{2}}\frac{N^3}{\sqrt{S}}$ for the communication volume of the Cholesky factorization of an $N\times N$ symmetric positive definite matrix, and of $\frac{1}{\sqrt{2}}\frac{N^2M}{\sqrt{S}}$ for the SYRK computation of $\mat{A}\cdot\transpose{\mat{A}}$, where $\mathbf{A}$ is an $N\times M$ matrix. Both bounds improve the best known lower bounds from the literature by a factor $\sqrt{2}$.In addition, we present two out-of-core, sequential algorithms with matching communication volume: \TBS for SYRK, with a volume of $\frac{1}{\sqrt{2}}\frac{N^2M}{\sqrt{S}} + \bigo{NM\log N}$, and \LBC for Cholesky, with a volume of $\frac{1}{3\sqrt{2}}\frac{N^3}{\sqrt{S}} + \bigo{N^{5/2}}$. Both algorithms improve over the best known algorithms from the literature by a factor $\sqrt{2}$, and prove that the leading terms in our lower bounds cannot be improved further. This work shows that the operational intensity of symmetric kernels like SYRK or Cholesky is intrinsically higher (by a factor $\sqrt{2}$) than that of corresponding non-symmetric kernels (GEMM and LU factorization).


title: Bipyramid Volume, Mahler Measure and Some $\mathbb{Z}^2$-periodic Links

abstract: Champanerkar, Kofman and Lal\'{i}n conjectured an inequality between bipyramid volume of links and Mahler measure of associated dimer models induced from alternating links on torus. Hyperbolic volume and Mahler measure can be related for isoradial graphs, which allows us to confirm the conjecture for two examples. By exploiting a connection between perfect matchings of dimer models and spanning trees on lattices, five more examples are calculated.


title: Large data global well-posedness and scattering for the focusing cubic nonlinear Schr\"odinger equation on $\mathbb{R}^2\times\mathbb{T}$

abstract: We consider the focusing cubic nonlinear Schr\"odinger equation \begin{align}\label{CNLSS} i\partial_t U+\Delta U=-|U|^2U\quad\text{on $\mathbb{R}^2\times\mathbb{T}$}.\tag{3NLS} \end{align} Different from the 3D Euclidean case, the \eqref{CNLSS} is mass-critical and non-scale-invariant on the waveguide manifold $\mathbb{R}^2\times\mathbb{T}$, hence the underlying analysis becomes more subtle and challenging. We formulate thresholds using the 2D Euclidean ground state of the focusing cubic NLS and show that solutions of \eqref{CNLSS} lying below the thresholds are global and scattering in time. The proof relies on several new established Gagliardo-Nirenberg inequalities, whose best constants are formulated in term of the 2D Euclidean ground state. It is also worth noting the interesting fact that the thresholds for global well-posedness and scattering do not coincide. To the author's knowledge, this paper also gives the first large data scattering result for focusing NLS on product spaces.


title: Maximum principle for time-fractional parabolic equations with a reaction coefficient of arbitrary sign

abstract: We consider time-fractional parabolic equations with a Caputo time derivative of order $\alpha\in(0,1)$. For such equations, we give an elementary proof of the weak maximum principle under no assumptions on the sign of the reaction coefficient. This proof is also extended for weak solutions, as well as for various types of boundary conditions and variable-coefficient variable-order multiterm time-fractional parabolic equations.


title: Tracking environmental policy changes in the Brazilian Federal Official Gazette

abstract: Even though most of its energy generation comes from renewable sources, Brazil is one of the largest emitters of greenhouse gases in the world, due to intense farming and deforestation of biomes such as the Amazon Rainforest, whose preservation is essential for compliance with the Paris Agreement. Still, regardless of lobbies or prevailing political orientation, all government legal actions are published daily in the Brazilian Federal Official Gazette (BFOG, or "Di\'ario Oficial da Uni\~ao" in Portuguese). However, with hundreds of decrees issued every day by the authorities, it is absolutely burdensome to manually analyze all these processes and find out which ones can pose serious environmental hazards. In this paper, we present a strategy to compose automated techniques and domain expert knowledge to process all the data from the BFOG. We also provide the Government Actions Tracker, a highly curated dataset, in Portuguese, annotated by domain experts, on federal government acts about the Brazilian environmental policies. Finally, we build and compared four different NLP models on the classfication task in this dataset. Our best model achieved a F1-score of $0.714 \pm 0.031$. In the future, this system should serve to scale up the high-quality tracking of all oficial documents with a minimum of human supervision and contribute to increasing society's awareness of government actions.


title: Robots Learn Increasingly Complex Tasks with Intrinsic Motivation and Automatic Curriculum Learning

abstract: Multi-task learning by robots poses the challenge of the domain knowledge: complexity of tasks, complexity of the actions required, relationship between tasks for transfer learning. We demonstrate that this domain knowledge can be learned to address the challenges in life-long learning. Specifically, the hierarchy between tasks of various complexities is key to infer a curriculum from simple to composite tasks. We propose a framework for robots to learn sequences of actions of unbounded complexity in order to achieve multiple control tasks of various complexity. Our hierarchical reinforcement learning framework, named SGIM-SAHT, offers a new direction of research, and tries to unify partial implementations on robot arms and mobile robots. We outline our contributions to enable robots to map multiple control tasks to sequences of actions: representations of task dependencies, an intrinsically motivated exploration to learn task hierarchies, and active imitation learning. While learning the hierarchy of tasks, it infers its curriculum by deciding which tasks to explore first, how to transfer knowledge, and when, how and whom to imitate.


title: Reducing volume and shape errors in front tracking by divergence-preserving velocity interpolation and parabolic fit vertex positioning

abstract: Volume conservation and shape preservation are two well-known issues related to the advection and remeshing in front tracking. To address these issues, this paper proposes a divergence-preserving velocity interpolation method and a parabolic fit vertex positioning method for remeshing operations for three-dimensional front tracking. Errors in preserving the divergence of the velocity field when interpolating the velocity from the fluid mesh to the vertices of the triangles of the front are a primary reason for volume conservation errors when advecting the front. The proposed interpolation method preserves the discrete divergence of the fluid velocity by construction and is compared in this work with other known interpolation methods in divergence-free and non-divergence-free test cases, with respect to volume conservation and shape preservation of the front. The presented interpolation method conserves the volume and shape up to an order of magnitude better than the conventionally used interpolation methods and is within the range of higher order interpolation methods at lower computational cost. Additionally, the parabolic fit vertex positioning method for remeshing operations locally approximates the front with a smooth polynomial surface, improving volume conservation and shape preservation by an order of magnitude compared to conventional remeshing algorithms.


title: Explicit Predictor-Corrector Method for Nonlinear Acoustic Waves Excited by a Moving Wave Emitting Boundary

abstract: We present an explicit finite difference time domain method to solve the lossless Westervelt equation for a moving wave emitting boundary in one dimension and in spherical symmetry. The approach is based on a coordinate transformation between a moving physical domain and a fixed computational domain. This allows to simulate the combined effects of wave profile distortion due to the constitutive nonlinearity of the medium and the nonlinear Doppler modulation of a pressure wave due to the acceleration of the wave emitting boundary. A predictor-corrector method is employed to enhance the numerical stability of the method in the presence of shocks and grid motion. It is demonstrated that the method can accurately predict the Doppler shift of nonlinear wave distortion and the amplitude modulation caused by an oscillating motion of the wave emitting boundary. The novelty of the presented methodology lies in its capability to reflect the Doppler shift of the rate of nonlinear wave profile distortion and shock attenuation for finite amplitude acoustic waves emitted from an accelerating boundary.


title: Dual Approaches to Express the Generalized Degree of Polarimetric Purity

abstract: The degree of polarimetric purity is an invariant dimensionless quantity that characterizes the closeness of a polarization state of a wave to a pure state and is related to the Von Neumann entropy. The polarimetric purity of a plane wave characterized by the second-order statistics (i.e., the covariance matrix) is uniquely described by the degree of polarization. However, the 2D formalism is only applicable when the wave propagation direction is fixed. This assumption is typical in optical and radar polarimetric measurements. Therefore, one must consider all the components to describe the general state of wave polarization. Starting from Samson and Barakat, several different concepts have been proposed in the literature to describe the 3D degree of polarization. We discuss two new ways of achieving such description: by the Coefficient of Variation and by a Direct Sum Decomposition.


title: Approximate Nearest Neighbor Search under Neural Similarity Metric for Large-Scale Recommendation

abstract: Model-based methods for recommender systems have been studied extensively for years. Modern recommender systems usually resort to 1) representation learning models which define user-item preference as the distance between their embedding representations, and 2) embedding-based Approximate Nearest Neighbor (ANN) search to tackle the efficiency problem introduced by large-scale corpus. While providing efficient retrieval, the embedding-based retrieval pattern also limits the model capacity since the form of user-item preference measure is restricted to the distance between their embedding representations. However, for other more precise user-item preference measures, e.g., preference scores directly derived from a deep neural network, they are computationally intractable because of the lack of an efficient retrieval method, and an exhaustive search for all user-item pairs is impractical. In this paper, we propose a novel method to extend ANN search to arbitrary matching functions, e.g., a deep neural network. Our main idea is to perform a greedy walk with a matching function in a similarity graph constructed from all items. To solve the problem that the similarity measures of graph construction and user-item matching function are heterogeneous, we propose a pluggable adversarial training task to ensure the graph search with arbitrary matching function can achieve fairly high precision. Experimental results in both open source and industry datasets demonstrate the effectiveness of our method. The proposed method has been fully deployed in the Taobao display advertising platform and brings a considerable advertising revenue increase. We also summarize our detailed experiences in deployment in this paper.


title: On the L$_\infty$ structure of Poisson gauge theory

abstract: The Poisson gauge theory is a semi-classical limit of full non-commutative gauge theory. In this work we construct an L$_\infty^{full}$ algebra which governs both the action of gauge symmetries and the dynamics of the Poisson gauge theory. We derive the minimal set of non-vanishing $\ell$-brackets and prove that they satisfy the corresponding homotopy relations. On the one hand, it provides new explicit non-trivial examples of L$_\infty$ algebras. On the other hand, it can be used as a starting point for bootstrapping the full non-commutative gauge theory. The first few brackets of such a theory are constructed explicitly in the text. In addition we show that the derivation properties of $\ell$-brackets on L$_\infty^{full}$ with respect to the truncated product on the exterior algebra are satisfied only for the canonical non-commutativity. In general, L$_\infty^{full}$ does not have a structure of P$_\infty$ algebra.


title: Physical based compact model of Y-Flash memristor for neuromorphic computation

abstract: Y-Flash memristors utilize the mature technology of single polysilicon floating gate non-volatile memories (NVM). It can be operated in a two-terminal configuration similar to the other emerging memristive devices, i.e., resistive random-access memory (RRAM), phase-change memory (PCM), etc. Fabricated in production complementary metal-oxide-semiconductor (CMOS) technology, Y-Flash memristors allow excellent repro-ducibility reflected in high neuromorphic products yields. Working in the subthreshold region, the device can be programmed to a large number of fine-tuned intermediate states in an analog fashion and allows low readout currents (1 nA ~ 5 $\mu$ A). However, currently, there are no accurate models to describe the dynamic switching in this type of memristive device and account for multiple operational configurations. In this paper, we provide a physical-based compact model that describes Y-Flash memristor performance both in DC and AC regimes, and consistently describes the dynamic program and erase operations. The model is integrated into the commercial circuit design tools and is ready to be used in applications related to neuromorphic computation.


title: Analyse scientom\'etrique du domaine de l'infectiologie de 2000 \`a 2020

abstract: Research on infectious diseases constitutes a transversal scientific field. A specific corpus is designed by combining a controlled language (Medline MeSH thesaurus) and the categorization of journals (Web of Science). From this global corpus, the article characterizes the publications from the top 20 countries publishing in the field and evolutions between 2000 and 2020. Topic maps show the research themes within the field of infectious diseases both in the world and in France. The explosion of publications on Covid-19 in 2020 has a quite visible impact on the topic map in infectious diseases and changes the position of some countries in this field of research. The conclusion points to issues for further research as more complete data will become available on the Covid-19 period.


title: Spin-mixing enhanced proximity effect in aluminum-based superconductor-semiconductor hybrids

abstract: In superconducting quantum circuits, aluminum is one of the most widely used materials. It is currently also the superconductor of choice for the development of topological qubits. In this application, however, aluminum-based devices suffer from poor magnetic field compatibility. In this article, we resolve this limitation by showing that adatoms of heavy elements (e.g. platinum) increase the critical field of thin aluminum films by more than a factor of two. Using tunnel junctions, we show that the increased field resilience originates from spin-orbit scattering introduced by Pt. We exploit this property in the context of the superconducting proximity effect in semiconductor-superconductor hybrids, where we show that InSb nanowires strongly coupled to Al/Pt films can maintain superconductivity up to 7T. The two-electron charging effect, a fundamental requirement for topological quantum computation, is shown to be robust against the presence of heavy adatoms. Additionally, we use non-local spectroscopy in a three-terminal geometry to probe the bulk of hybrid devices, showing that it remains free of sub-gap states. Finally, we demonstrate that semiconductor states which are proximitized by Al/Pt films maintain their ability to Zeeman-split in an applied magnetic field. Combined with the chemical stability and well-known fabrication routes of aluminum, Al/Pt emerges as the natural successor to Al-based systems and is a compelling alternative to other superconductors, whenever high-field resilience is required.


title: Spatially Hyperbolic Gravitating Sources in $\Lambda$-Dominated Era

abstract: This study focuses on the impact of the cosmological constant on hyperbolically symmetric matter configurations in static background. We extend the work of Herrera \cite{herrera2021hyperbolically} and describe the influences of such repulsive character on a few realistic features of hyperbolical anisotropic fluids. After describing Einstein-$\Lambda$ equations of motion, we elaborated the corresponding mass function along with its conservation laws. In our study, besides observing negative energy density, we notice the formation of Minkowskian core as matter content is compelled itself not to follow inward motion near the axis of symmetry. Three families of solution are found in $\Lambda$-dominated epoch. First is calculated by keeping zero value to Weyl scalar, while the second solution maintains zero complexity in the subsequent changes of the hyperbolical compact object. However, the last model encompasses stiff fluid within the self-gravitating system. Such type of theoretical setup suggests its direct link to study a few particular quantum scenarios where negative behavior of energy density is noticed at $\Lambda$ dominated regime.


title: Efficient Cross-Modal Retrieval via Deep Binary Hashing and Quantization

abstract: Cross-modal retrieval aims to search for data with similar semantic meanings across different content modalities. However, cross-modal retrieval requires huge amounts of storage and retrieval time since it needs to process data in multiple modalities. Existing works focused on learning single-source compact features such as binary hash codes that preserve similarities between different modalities. In this work, we propose a jointly learned deep hashing and quantization network (HQ) for cross-modal retrieval. We simultaneously learn binary hash codes and quantization codes to preserve semantic information in multiple modalities by an end-to-end deep learning architecture. At the retrieval step, binary hashing is used to retrieve a subset of items from the search space, then quantization is used to re-rank the retrieved items. We theoretically and empirically show that this two-stage retrieval approach provides faster retrieval results while preserving accuracy. Experimental results on the NUS-WIDE, MIR-Flickr, and Amazon datasets demonstrate that HQ achieves boosts of more than 7% in precision compared to supervised neural network-based compact coding models.


title: A Dynamic Model of a Skydiver With Validation in Wind Tunnel and Free Fall

abstract: An innovative approach of gaining insight into motor skills involved in human body flight is proposed. The key idea is the creation of a model autonomous system capable of virtually performing skydiving maneuvers. A dynamic skydiver model and simulator is developed, comprising biomechanical, aerodynamic, and kinematic models, dynamic equations of motion, and a virtual reality environment. Limb relative orientations, and resulting inertial body angular position and velocity are measured in skydiving experiments in a vertical wind tunnel and in free fall. These experimental data are compared with corresponding simulation data to tune and verify the model for basic skydiving maneuvers. The model is further extended to reconstruct advanced aerial maneuvers, such as transitions between stable equilibria. The experimental data are used to estimate skydiver's conscious inputs as a function of time, via an Unscented Kalman Filter modified for this purpose.


title: A new smoothing method for nonlinear complementarity problems involving P0 function

abstract: In this paper, we propose a smoothing method to solve nonlinear complementarity problems involving P 0-functions. We propose a nonparametric algorithm to solve the nonlinear corresponding system of equations and prove some global and local convergence results. We also present several numerical experiments and applications that show the efficiency of our approach. Our main contribution relies in the fact that the regularization parameter r is considered as a variable and we do not need any complicated strategy to update it.


title: Geodesic Quantum Walks

abstract: We propose a new family of discrete-spacetime quantum walks capable to propagate on any arbitrary triangulations. Moreover we also extend and generalize the duality principle introduced by one of the authors, linking continuous local deformations of a given triangulation and the inhomogeneity of the local unitaries that guide the quantum walker. We proved that in the formal continuous limit, in both space and time, this new family of quantum walks converges to the (1+2)D massless Dirac equation on curved manifolds. We believe that this result has relevance in both modelling/simulating quantum transport on discrete curved structures, such as fullerene molecules or dynamical causal triangulation, and in addressing fast and efficient optimization problems in the context of the curved space optimization methods.


title: Edge Data Based Trailer Inception Probabilistic Matrix Factorization for Context-Aware Movie Recommendation

abstract: The rapid growth of edge data generated by mobile devices and applications deployed at the edge of the network has exacerbated the problem of information overload. As an effective way to alleviate information overload, recommender system can improve the quality of various services by adding application data generated by users on edge devices, such as visual and textual information, on the basis of sparse rating data. The visual information in the movie trailer is a significant part of the movie recommender system. However, due to the complexity of visual information extraction, data sparsity cannot be remarkably alleviated by merely using the rough visual features to improve the rating prediction accuracy. Fortunately, the convolutional neural network can be used to extract the visual features precisely. Therefore, the end-to-end neural image caption (NIC) model can be utilized to obtain the textual information describing the visual features of movie trailers. This paper proposes a trailer inception probabilistic matrix factorization model called Ti-PMF, which combines NIC, recurrent convolutional neural network, and probabilistic matrix factorization models as the rating prediction model. We implement the proposed Ti-PMF model with extensive experiments on three real-world datasets to validate its effectiveness. The experimental results illustrate that the proposed Ti-PMF outperforms the existing ones.


title: Thermoelectric properties of inversion symmetry broken Weyl semimetal-Weyl superconductor hybrid junctions

abstract: We theoretically investigate the thermoelectric properties (electronic contribution) of a hybrid structure comprising of an inversion symmetry broken Weyl semimetal (WSM) and intrinsic Weyl superconductor (WSC) with $s$-wave pairing, employing the Blonder-Tinkham-Klapwijk formulation for non-interacting electrons. Our study unfolds interesting features for various relevant physical quantities such as the thermal conductance, the thermoelectric coefficient and the corresponding figure of merit. We also explore the effects of an interfacial insulating (I) barrier (WSM-I-WSC set-up) on the thermoelectric response in the thin barrier limit. Further, we compute the ratio of the thermal to the electrical conductance in different temperature regimes and find that the Wiedemann-Franz law is violated for small temperatures (below critical temperature $T_{c}$) near the Weyl points while it saturates to the Lorentz number, away from the Weyl points, at all temperatures irrespective of the barrier strength. We compare and contrast this behaviour with other Dirac material heterostructures and provide a detailed analysis of the thermal transport. Our study can facilitate the fabrication of mesoscopic thermoelectric devices based on WSMs.


title: Virtual cycles on projective completions and quantum Lefschetz formula

abstract: For a compact quasi-smooth derived scheme M with (-1)-shifted cotangent bundle N, there are at least two ways to localise the virtual cycle of N to M via torus and cosection localisations, introduced by Jiang-Thomas. We produce virtual cycles on both the projective completion and projectivisation and show the ones on the former push down to Jiang-Thomas cycles and the one on the latter computes the difference. Using similar ideas we give an expression for the difference of the quintic and t-twisted quintic GW invariants of Guo-Janda-Ruan.


title: Fourier ptychography multi-parameter neural network with composite physical priori optimization

abstract: Fourier ptychography microscopy(FP) is a recently developed computational imaging approach for microscopic super-resolution imaging. By turning on each light-emitting-diode (LED) located on different position on the LED array sequentially and acquiring the corresponding images that contain different spatial frequency components, high spatial resolution and quantitative phase imaging can be achieved in the case of large field-of-view. Nevertheless, FPM has high requirements for the system construction and data acquisition processes, such as precise LEDs position, accurate focusing and appropriate exposure time, which brings many limitations to its practical applications. In this paper, inspired by artificial neural network, we propose a Fourier ptychography multi-parameter neural network (FPMN) with composite physical prior optimization. A hybrid parameter determination strategy combining physical imaging model and data-driven network training is proposed to recover the multi layers of the network corresponding to different physical parameters, including sample complex function, system pupil function, defocus distance, LED array position deviation and illumination intensity fluctuation, etc. Among these parameters, LED array position deviation is recovered based on the features of brightfield to darkfield transition low-resolution images while the others are recovered in the process of training of the neural network. The feasibility and effectiveness of FPMN are verified through simulations and actual experiments. Therefore FPMN can evidently reduce the requirement for practical applications of FPM.


title: Hilbert Flattening: a Locality-Preserving Matrix Unfolding Method for Visual Discrimination

abstract: Flattening is essential in computer vision by converting multi-dimensional feature maps or images into one-dimensional vectors. However, existing flattening approaches neglect the preservation of local smoothness, which can impact the representational learning capacity of vision models. In this paper, we propose Hilbert curve flattening as an innovative method to preserve locality in flattened matrices. We compare it with the commonly used Zigzag operation and demonstrate that Hilbert curve flattening can better retain the spatial relationships and local smoothness of the original grid structure, while maintaining robustness against the input scale variance. And, we introduce the Localformer, a vision transformer architecture that incorporates Hilbert token sampling with a token aggregator to enhance its locality bias. Extensive experiments on image classification and semantic segmentation tasks demonstrate that the Localformer outperforms baseline models consistently. We also show it brings consistent performance boosts for other popular architectures (e.g. MLP-Mixer).


title: VRConvMF: Visual Recurrent Convolutional Matrix Factorization for Movie Recommendation

abstract: Sparsity of user-to-item rating data becomes one of challenging issues in the recommender systems, which severely deteriorates the recommendation performance. Fortunately, context-aware recommender systems can alleviate the sparsity problem by making use of some auxiliary information, such as the information of both the users and items. In particular, the visual information of items, such as the movie poster, can be considered as the supplement for item description documents, which helps to obtain more item features. In this paper, we focus on movie recommender system and propose a probabilistic matrix factorization based recommendation scheme called visual recurrent convolutional matrix factorization (VRConvMF), which utilizes the textual and multi-level visual features extracted from the descriptive texts and posters respectively. We implement the proposed VRConvMF and conduct extensive experiments on three commonly used real world datasets to validate its effectiveness. The experimental results illustrate that the proposed VRConvMF outperforms the existing schemes.


title: On The Low Speed Limits of Lorentz's Transformation

abstract: This article contains a digest of the theory of electromagnetism and a review of the transformation between inertial frames, especially under low speed limits. The covariant nature of the Maxwell's equations is explained using the conventional language. We show that even under low speed limits, the relativistic effects should not be neglected to get a self-consistent theory of the electromagnetic fields, unless the intrinsic dynamics of these fields has been omitted completely. The quasi-static limits, where the relativistic effects can be partly neglected are also reviewed, to clarify some common misunderstandings and imprecise use of the theory in presence of moving media and other related situations. The discussion presented in this paper provide a clear view of why classical electromagnetic theory is relativistic in its essence.


title: Egg-speriments: Stretch, crack, and spin

abstract: Eggs are key ingredients in our kitchens because of their nutritional values and functional properties such as foaming, emulsifying and gelling, offering a wide variety of culinary achievements. They also constitute ideal objects to illustrate a myriad of scientific concepts. In this article, we focus on several experiments (egg-speriments) that involve the singular properties of the liquids contained inside the eggshell, especially the egg white. We first characterize the rheology of an egg white in a rotational rheometer for constant and oscillatory shear stresses revealing its shear-thinning behavior and visco-elastic properties. Then, we measure the tendency of the fluid to generate very long filaments when stretched that we relate to the shear modulus of the material. Second, we explore the anisotropic crack pattern that forms on a thin film of egg white after it is spread on a surface and let dried. The anisotropy results from the long protein chains present in the egg white which are straightened during film deposition. Finally, we consider the "spin test" that permits to distinguish between raw and hard-boiled eggs. To do so, we measure the residual rotation of a spinning raw egg after a short stop which reflects the continuation of the internal flow. These observations are interpreted in terms of viscous damping of the internal flow consistently with the measurements deduced from rheology.


title: Stochastic Modeling of Inhomogeneities in the Aortic Wall and Uncertainty Quantification using a Bayesian Encoder-Decoder Surrogate

abstract: Inhomogeneities in the aortic wall can lead to localized stress accumulations, possibly initiating dissection. In many cases, a dissection results from pathological changes such as fragmentation or loss of elastic fibers. But it has been shown that even the healthy aortic wall has an inherent heterogeneous microstructure. Some parts of the aorta are particularly susceptible to the development of inhomogeneities due to pathological changes, however, the distribution in the aortic wall and the spatial extent, such as size, shape, and type, are difficult to predict. Motivated by this observation, we describe the heterogeneous distribution of elastic fiber degradation in the dissected aortic wall using a stochastic constitutive model. For this purpose, random field realizations, which model the stochastic distribution of degraded elastic fibers, are generated over a non-equidistant grid. The random field then serves as input for a uni-axial extension test of the pathological aortic wall, solved with the finite-element (FE) method. To include the microstructure of the dissected aortic wall, a constitutive model developed in a previous study is applied, which also includes an approach to model the degradation of inter-lamellar elastic fibers. Then to assess the uncertainty in the output stress distribution due to this stochastic constitutive model, a convolutional neural network, specifically a Bayesian encoder-decoder, was used as a surrogate model that maps the random input fields to the output stress distribution obtained from the FE analysis. The results show that the neural network is able to predict the stress distribution of the FE analysis while significantly reducing the computational time. In addition, it provides the probability for exceeding critical stresses within the aortic wall, which could allow for the prediction of delamination or fatal rupture.


title: Stationary axisymmetric Einstein-Vlasov bifurcations of the Kerr spacetime

abstract: We construct a one-parameter family of stationary axisymmetric and asymptotically flat spacetimes solutions to the Einstein-Vlasov system bifurcating from the Kerr spacetime. The constructed solutions have the property that the spatial support of the matter is a finite, axisymmetric shell located away from the black hole. Our proof is mostly based on the analysis of the set of trapped timelike geodesics for stationary axisymmetric spacetimes close to Kerr, where the geodesic flow is not necessarily integrable. Moreover, the analysis of the Einstein field equations relies on the modified Carter Robinson theory developed by Chodosh and Shlapentokh-Rothman. This provides the first construction of black hole solutions to the Einstein-Vlasov system in the axisymmetric case and generalises the construction already done in the spherically symmetric case.


title: Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing

abstract: New estimates and global existence results are provided for a class of systems of cross diffusion equations arising from the modeling of chemotaxis with local sensing, possibly featuring a growth term of logistic-type as well. For sublinear non-increasing motility functions, convergence to the spatially homogeneous steady state is shown, a dedicated Lyapunov functional being constructed for that purpose.


title: Expected local topology of random complex submanifolds

abstract: Let $n\geq 2$ and $r\in \{1, \cdots, n-1\}$ be integers, $M$ be a compact smooth K\''ahler manifold of complex dimension $n$, $E$ be a holomorphic vector bundle with complex rank $r$ and equipped with an hermitian metric $h_E$, and $L$ be an ample holomorphic line bundle over $M$ equipped with a metric $h$ with positive curvature form. For any $d\in \mathbb{N}$ large enough, we endorse the space of holomorphic sections $H^0(M,E\otimes L^d)$ with the natural Gaussian measure associated to $h_E$ , $h$ and its curvature form. Let $U\subset M$ be an open subset with smooth boundary. We prove that the average of the $(n-r)$-th Betti number of the vanishing locus in $U$ of a random section $s$ of $H^0(M,E\otimes L^d)$ is asymptotic to ${n-1 \choose r-1} d^n\int_U c_1(L)^n$ for large $d$. On the other hand, the average of the other Betti numbers are $o(d^n)$. The first asymptotic recovers the classical deterministic global algebraic computation. Moreover, such a discrepancy in the order of growth of these averages is new and constrasts with all known other smooth Gaussian models, in particular the real algebraic one. We prove a similar result for the affine complex Bargmann-Fock model.


title: A self-adaptive RIS that estimates and shapes fading rich-scattering wireless channels

abstract: We present a framework for operating a self-adaptive RIS inside a fading rich-scattering wireless environment. We model the rich-scattering wireless channel as being double-parametrized by (i) the RIS, and (ii) dynamic perturbers (moving objects, etc.). Within each coherence time, first, the self-adaptive RIS estimates the status of the dynamic perturbers (e.g., the perturbers' orientations and locations) based on measurements with an auxiliary wireless channel. Then, second, using a learned surrogate forward model of the mapping from RIS configuration and perturber status to wireless channel, an optimized RIS configuration to achieve a desired functionality is obtained. We demonstrate our technique using a physics-based end-to-end model of RIS-parametrized communication with adjustable fading (PhysFad) for the example objective of maximizing the received signal strength indicator. Our results present a route toward convergence of RIS-empowered localization and sensing with RIS-empowered channel shaping beyond the simple case of operation in free space without fading.


title: Closed form Eigenvalues of Randomly Segmented Tridiagonal quasi-Toeplitz Matrices: Random Rouse block copolymer

abstract: We calculate the eigenvalues of a class of random matrices, namely the randomly segmented tridiagonal quasi-Toeplitz (rstq-T) matrix, in exact closed-form. The contexts under which these matrices arise are ubiquitous in physics. In our case, they arise when studying the dynamics of a Rouse polymer embedded in random environments. Unlike in the case of Rouse polymers in homogeneous environments, where the dynamics give rise to a circulant matrix and the diagonalization is achieved easily via a Fourier transform, analytical diagonalization of the rstq-T matrix has remained unsolved thus far. We analytically calculate the spectral distribution of the rstq-T matrix, which is able to capture the effect of disorder on the modes.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.soft math-ph math.MP


title: Effective neutrino number shift from keV-vacuum neutrinophilic 2HDM

abstract: If the Dirac neutrino masses are generated by a new scalar doublet with a vacuum at keV order, there would be rare hope to probe the framework in low-energy flavor physics, such as the lepton-flavor violating processes. However, the predicted neutrino Yukawa couplings being around the order of electronic Yukawa can realize a purely thermal Dirac leptogenesis, and thus render a more direct link between the high- and the low-energy CP violation. Despite its inert property in the low-energy flavor processes, the keV-vacuum induced Dirac neutrino model can generate a significant shift of the effective neutrino number, which can in turn be probed by the big-bang nucleosynthesis and cosmic microwave background epochs. We show that such a keV-vacuum induced Dirac neutrino model is already constrained by the current observations and will be probed with forecast sensitivity, serving therefore as a complementary avenue to test the Dirac leptogenesis.


title: PointSCNet: Point Cloud Structure and Correlation Learning Based on Space Filling Curve-Guided Sampling

abstract: Geometrical structures and the internal local region relationship, such as symmetry, regular array, junction, etc., are essential for understanding a 3D shape. This paper proposes a point cloud feature extraction network named PointSCNet, to capture the geometrical structure information and local region correlation information of a point cloud. The PointSCNet consists of three main modules: the space-filling curve-guided sampling module, the information fusion module, and the channel-spatial attention module. The space-filling curve-guided sampling module uses Z-order curve coding to sample points that contain geometrical correlation. The information fusion module uses a correlation tensor and a set of skip connections to fuse the structure and correlation information. The channel-spatial attention module enhances the representation of key points and crucial feature channels to refine the network. The proposed PointSCNet is evaluated on shape classification and part segmentation tasks. The experimental results demonstrate that the PointSCNet outperforms or is on par with state-of-the-art methods by learning the structure and correlation of point clouds effectively.


title: Four-Family ${\cal N}=1$ Supersymmetric Pati-Salam Models from Intersecting D6-Branes

abstract: We investigate the construction of four-family ${\cal N}=1$ supersymmetric Pati-Salam models from Type IIA $\mathbb{T}^6/(\mathbb{Z}_2 \times \mathbb{Z}_2)$ orientifold with intersecting D6-branes. Utilizing the deterministic algorithm introduced in Ref. \cite{heCompleteSearchSupersymmetric2021}, we obtain $274$ types of models with three rectangular tori and distinct gauge coupling relations at string scale, while $6$ types of models with two rectangular tori and one titled torus. In both cases, there exists a class of models with gauge coupling unification at string scale. In particular, for the models with two rectangular tori, one tilted torus and gauge coupling unification, the gaugino condensations are allowed, and thus supersymmetry breaking and moduli stabilization are possible for further phenomenological study.


title: AutoClassWeb: a simple web interface for Bayesian clustering

abstract: Objective: Data clustering is a common exploration step in the omics era, notably in genomics and proteomics where many genes or proteins can bequantified from one or more experiments. Bayesian clustering is a powerful algorithm that can classify several thousands of genes or proteins. AutoClass C, its original implementation, handles missing data, automatically determines the best number of clusters but is not user-friendly.Results: We developed an online tool called AutoClassWeb, which provides an easy-to-use web interface for Bayesian clustering with AutoClass. Input data are entered as TSV files. Results are provided in formats that ease further analyses with spreadsheet programs or with programming languages, such as Python or R. AutoClassWeb is implemented in Python and is published under the 3-Clauses BSD license. The source code is available athttps://github.com/pierrepo/autoclassweb along with a detailed documentation.


title: Priority Algorithms with Advice for Disjoint Path Allocation Problems

abstract: We analyze the Disjoint Path Allocation problem (DPA) in the priority framework. Motivated by the problem of traffic regulation in communication networks, DPA consists of allocating edge-disjoint paths in a graph. While online algorithms for DPA have been thoroughly studied in the past, we extend the analysis of this optimization problem by considering the more powerful class of priority algorithms. Like an online algorithm, a priority algorithm receives its input only sequentially and must output irrevocable decisions for individual input items before having seen the input in its entirety. However, in contrast to the online setting, a priority algorithm may choose an order on the set of all possible input items and the actual input is then presented according to this order. A priority algorithm is a natural model for the intuitively well-understood concept of a greedy algorithm. Apart from analyzing the classical priority setting, we also consider priority algorithms with advice. Originally conceived to study online algorithms from an information-theoretic point of view, the concept of advice has recently been extended to the priority framework. In this paper, we analyze the classical variant of the DPA problem on the graph class of paths, the related problem of Length-Weighted DPA, and finally, DPA on the graph class of trees. We show asymptotically matching upper and lower bounds on the advice necessary for optimality in LWDPA and generalize the known optimality result for DPA on paths to trees with maximal degree at most 3. On trees with maximal degree greater than 3, we prove matching upper and lower bounds on the approximation ratio in the advice-free priority setting. Finally, we present upper and lower bounds on the advice necessary to achieve optimality on such trees.


title: Length partition of random multicurves on large genus hyperbolic surfaces

abstract: We study the length statistics of the components of a random multicurve on a surface of genus $g \geq 2$. For each fixed genus, the existence of such statistics follows from the work of M.~Mirzakhani, F.~Arana-Herrera and M.~Liu. We prove that as the genus $g$ tends to infinity the statistics converge in law to the Poisson--Dirichlet distribution of parameter $\theta=1/2$. In particular, as the genus tends to infinity the mean length of the three longest components converge respectively to $75.8\%$, $17.1\%$ and $4.9\%$ of the total length.


title: Global smooth solutions for triangular reaction-cross diffusion systems

abstract: For a class of reaction cross-diffusion systems of two equations with a cross-diffusion term in the first equation and with self-diffusion terms, we prove that the unique local smooth solution given by Amann theorem is actually global. This class of systems arises in Population dynamics, and extends the triangular Shigesada-Kawasaki-Teramoto system when general power-laws growth are considered in the reaction and diffusion rates.


title: $S$-integral quadratic forms and homogeneous dynamics

abstract: Let $S = \{ \infty \} \cup S_f$ be a finite set of places of $\mathbb{Q}$. Using homogeneous dynamics, we establish two new quantitative and explicit results about integral quadratic forms in three or more variables: The first is a criterion of $S$-integral equivalence. The second determines a finite generating set of any $S$-integral orthogonal group. Both theorems--which extend results of H. Li and G. Margulis for $S = \{ \infty\}$--are given by polynomial bounds on the size of the coefficients of the quadratic forms.


title: Brownian continuum random tree conditioned to be large

abstract: We consider a Feller diffusion (Zs, s $\ge$ 0) (with diffusion coefficient $\sqrt$ 2$\beta$ and drift $\theta$ $\in$ R) that we condition on {Zt = at}, where at is a deterministic function, and we study the limit in distribution of the conditioned process and of its genealogical tree as t $\rightarrow$ +$\infty$. When at does not increase too rapidly, we recover the standard size-biased process (and the associated genealogical tree given by the Kesten's tree). When at behaves as $\alpha$$\beta$ 2 t 2 when $\theta$ = 0 or as $\alpha$ e 2$\beta$|$\theta$|t when $\theta$ = 0, we obtain a new process whose distribution is described by a Girsanov transformation and equivalently by a SDE with a Poissonian immigration. Its associated genealogical tree is described by an infinite discrete skeleton (which does not satisfy the branching property) decorated with Brownian continuum random trees given by a Poisson point measure. As a by-product of this study, we introduce several sets of trees endowed with a Gromovtype distance which are of independent interest and which allow here to define in a formal and measurable way the decoration of a backbone with a family of continuum random trees.


title: Entanglement entropy of near-extremal black hole

abstract: We study how the entanglement entropy of the Hawking radiation derived using island recipe for the Reissner-Nordstr\"om black hole behaves as the black hole mass decreases. A general answer to the question essentially depends not only on the character of decreasing of the mass but also on decreasing of the charge. We assume the specific relationship between the charge and mass $Q^2=GM^2[1-\left(\frac{M}{\mu}\right)^{2\nu} ]$, which we call the constraint equation. We discuss whether it is possible to have a constraint so that the entanglement entropy does not have an explosion at the end of evaporation, as happens in the case of thermodynamic entropy and the entanglement entropy for the Schwarzschild black hole. We show that for some special scaling parameters, the entanglement entropy of radiation does not explode as long as the mass of the evaporating black hole exceeds the Planck mass.


title: The Horn cone associated with symplectic eigenvalues

abstract: In this note, we show that the Horn cone associated with symplectic eigenvalues admits the same inequalities as the classical Horn cone, except that the equality corresponding to Tr(C) = Tr(A)+Tr(B) is replaced by the inequality corresponding to Tr(C) $\ge$ Tr(A)+Tr(B).


title: A Self-Supervised Descriptor for Image Copy Detection

abstract: Image copy detection is an important task for content moderation. We introduce SSCD, a model that builds on a recent self-supervised contrastive training objective. We adapt this method to the copy detection task by changing the architecture and training objective, including a pooling operator from the instance matching literature, and adapting contrastive learning to augmentations that combine images. Our approach relies on an entropy regularization term, promoting consistent separation between descriptor vectors, and we demonstrate that this significantly improves copy detection accuracy. Our method produces a compact descriptor vector, suitable for real-world web scale applications. Statistical information from a background image distribution can be incorporated into the descriptor. On the recent DISC2021 benchmark, SSCD is shown to outperform both baseline copy detection models and self-supervised architectures designed for image classification by huge margins, in all settings. For example, SSCD out-performs SimCLR descriptors by 48% absolute. Code is available at https://github.com/facebookresearch/sscd-copy-detection.


title: New mass estimates for massive binary systems: a probabilistic approach using polarimetric radiative transfer

abstract: Understanding the evolution of massive binary stars requires accurate estimates of their masses. This understanding is critically important because massive star evolution can potentially lead to gravitational wave sources such as binary black holes or neutron stars. For Wolf-Rayet stars with optically thick stellar winds, their masses can only be determined with accurate inclination angle estimates from binary systems which have spectroscopic $M \sin i$ measurements. Orbitally-phased polarization signals can encode the inclination angle of binary systems, where the Wolf-Rayet winds act as scattering regions. We investigated four Wolf-Rayet + O star binary systems, WR 42, WR 79, WR 127, and WR 153, with publicly available phased polarization data to estimate their masses. To avoid the biases present in analytic models of polarization while retaining computational expediency, we used a Monte Carlo radiative transfer model accurately emulated by a neural network. We used the emulated model to investigate the posterior distribution of parameters of our four systems. Our mass estimates calculated from the estimated inclination angles put strong constraints on existing mass estimates for three of the systems, and disagrees with the existing mass estimates for WR 153. We recommend a concerted effort to obtain polarization observations that can be used to estimate the masses of Wolf-Rayet binary systems and increase our understanding of their evolutionary paths.


title: Strong Converse for Privacy Amplification against Quantum Side Information

abstract: We establish a one-shot strong converse bound for privacy amplification against quantum side information using trace distance as a security criterion. This strong converse bound implies that in the independent and identical scenario, the trace distance exponentially converges to one in every finite blocklength when the rate of the extracted randomness exceeds the quantum conditional entropy. The established one-shot bound has an application to bounding the information leakage of classical-quantum wiretap channel coding and private communication over quantum channels. That is, the trace distance between Alice and Eavesdropper's joint state and its decoupled state vanishes as the rate of randomness used in hashing exceeds the quantum mutual information. On the other hand, the trace distance converges to one when the rate is below the quantum mutual information, resulting in an exponential strong converse. Our result also leads to an exponential strong converse for entropy accumulation, which complements a recent result by Dupuis [arXiv:2105.05342]. Lastly, our result and its applications apply to the moderate deviation regime. Namely, we characterize the asymptotic behaviors of the trace distances when the associated rates approach the fundamental thresholds with speeds slower than $O(1/\sqrt{n})$.


title: A variational technique of mollification applied to backward heat conduction problems

abstract: This paper addresses a backward heat conduction problem with fractional Laplacian and time-dependent coefficient in an unbounded domain. The problem models generalized diffusion processes and is well-known to be severely ill-posed. We investigate a simple and powerful variational regularization technique based on mollification. Under classical Sobolev smoothness conditions, we derive order-optimal convergence rates between the exact solution and regularized approximation in the practical case where both the data and the operator are noisy. Moreover, we propose an order-optimal a-posteriori parameter choice rule based on the Morozov principle. Finally, we illustrate the robustness and efficiency of the regularization technique by some numerical examples including image deblurring.


title: Yields: The Galapagos Syndrome Of Cryptofinance

abstract: In this chapter structures that generate yield in cryptofinance will be analyzed and related to leverage. While the majority of crypto-assets do not have intrinsic yields in and of themselves, similar to cash holdings of fiat currency, revolutionary innovation based on smart contracts, which enable decentralised finance, does generate return. Examples include lending or providing liquidity to an automated market maker on a decentralised exchange, as well as performing block formation in a proof of stake blockchain. On centralised exchanges, perpetual and finite duration futures can trade at a premium or discount to the spot market for extended periods with one side of the transaction earning a yield. Disparities in yield exist between products and venues as a result of market segmentation and risk profile differences. Cryptofinance was initially shunned by legacy finance and developed independently. This led to curious and imaginative adaptions, reminiscent of Darwin's finches, including stable coins for dollar transfers, perpetuals for leverage, and a new class of exchanges for trading and investment.


title: Spectroscopic properties of 4He within a multiphonon approach

abstract: Bulk and spectroscopic properties of 4He are studied within an equation of motion phonon method. Such a method generates a basis of n-phonon (n = 0, 1, 2, 3...) states composed of tensor products of particle-hole Tamm-Dancoff phonons and then solves the full eigenvalue problem in such a basis. The method does not rely on any approximation and is free of any contamination induced by the center of mass, in virtue of a procedure exploiting the singular value decomposition of rectangular matrices. Two potentials, both derived from the chiral effective field theory, are adopted in a self-consistent calculation performed within a space including up to three phonons. The latter basis states are treated under a simplifying assumption. A comparative analysis with the experimental data points out the different performances of the two potentials. It shows also that the calculation succeeds only partially in the description of the spectroscopic properties and suggests a recipe for further improvements.


title: Greedy approximation algorithms for sparse collections

abstract: We describe a greedy algorithm that approximates the Carleson constant of a collection of general sets. The approximation has a logarithmic loss in a general setting, but is optimal up to a constant with only mild geometric assumptions. The constructive nature of the algorithm gives additional information about the almost-disjoint structure of sparse collections. As applications, we give three results for collections of axis-parallel rectangles in every dimension. The first is a constructive proof of the equivalence between Carleson and sparse collections, first shown by H\"anninen. The second is a structure theorem proving that every collection $\mathcal{E}$ can be partitioned into $\mathcal{O}(N)$ sparse subfamilies where $N$ is the Carleson constant of $\mathcal{E}$. We also give examples showing that such a decomposition is impossible when the geometric assumptions are dropped. The third application is a characterization of the Carleson constant involving only $L^{1,\infty}$ estimates.


title: Protective Coating Interfaces for perovskite Solar Cell Materials: A first Principles Study

abstract: The protection of halide perovskites is important for the performance and stability of emergent perovskite-based optoelectronic technologies. In this work, we investigate the potential inorganic protective coating materials ZnO, SrZrO3, and ZrO2 for the CsPbI3perovskite. The optimal interface registries are identified with Bayesian optimization. We then use semi-local density-functional theory (DFT) to determine the atomic structure at the interfaces of each coating material with the clean CsI-terminated surface and three reconstructed surface models with added PbI2and CsI complexes. For the final structures, we explore the level alignment at the interface with hybrid DFT calculations. Our analysis of the level alignment at the coating-substrate interfaces reveals no detrimental mid-gap states, but substrate-dependent valence and conduction band offsets. While ZnO and SrZrO3act as insulators on CsPbI3, ZrO2 might be suitable as electron transport layer with the right interface engineering.


title: Sparse bounds for pseudo-multipliers associated to Grushin operators, II

abstract: In this article, we establish pointwise sparse domination results for Grushin pseudo-multipliers corresponding to various symbol classes, as a continuation of our investigation initiated in [BBGG21]. As a consequence, we deduce quantitative weighted estimates for these pseudo-multipliers.