title: Opening up echo chambers via optimal content recommendation

abstract: Online social platforms have become central in the political debate. In this context, the existence of echo chambers is a problem of primary relevance. These clusters of like-minded individuals tend to reinforce prior beliefs, elicit animosity towards others and aggravate the spread of misinformation. We study this phenomenon on a Twitter dataset related to the 2017 French presidential elections and propose a method to tackle it with content recommendations. We use a quadratic program to find optimal recommendations that maximise the diversity of content users are exposed to, while still accounting for their preferences. Our method relies on a theoretical model that can sufficiently describe how content flows through the platform. We show that the model provides good approximations of empirical measures and demonstrate the effectiveness of the optimisation algorithm at mitigating the echo chamber effect on this dataset, even with limited budget for recommendations.


title: Orthonormal Convolutions for the Rotation Based Iterative Gaussianization

abstract: In this paper we elaborate an extension of rotation-based iterative Gaussianization, RBIG, which makes image Gaussianization possible. Although RBIG has been successfully applied to many tasks, it is limited to medium dimensionality data (on the order of a thousand dimensions). In images its application has been restricted to small image patches or isolated pixels, because rotation in RBIG is based on principal or independent component analysis and these transformations are difficult to learn and scale. Here we present the \emph{Convolutional RBIG}: an extension that alleviates this issue by imposing that the rotation in RBIG is a convolution. We propose to learn convolutional rotations (i.e. orthonormal convolutions) by optimising for the reconstruction loss between the input and an approximate inverse of the transformation using the transposed convolution operation. Additionally, we suggest different regularizers in learning these orthonormal convolutions. For example, imposing sparsity in the activations leads to a transformation that extends convolutional independent component analysis to multilayer architectures. We also highlight how statistical properties of the data, such as multivariate mutual information, can be obtained from \emph{Convolutional RBIG}. We illustrate the behavior of the transform with a simple example of texture synthesis, and analyze its properties by visualizing the stimuli that maximize the response in certain feature and layer.


title: Decentralized Online Regularized Learning Over Random Time-Varying Graphs

abstract: We study the decentralized online regularized linear regression algorithm over random time-varying graphs. At each time step, every node runs an online estimation algorithm consisting of an innovation term processing its own new measurement, a consensus term taking a weighted sum of estimations of its own and its neighbors with additive and multiplicative communication noises and a regularization term preventing over-fitting. It is not required that the regression matrices and graphs satisfy special statistical assumptions such as mutual independence, spatio-temporal independence or stationarity. We develop the nonnegative supermartingale inequality of the estimation error, and prove that the estimations of all nodes converge to the unknown true parameter vector almost surely if the algorithm gains, graphs and regression matrices jointly satisfy the sample path spatio-temporal persistence of excitation condition. Especially, this condition holds by choosing appropriate algorithm gains if the graphs are uniformly conditionally jointly connected and conditionally balanced, and the regression models of all nodes are uniformly conditionally spatio-temporally jointly observable, under which the algorithm converges in mean square and almost surely. In addition, we prove that the regret upper bound is $O(T^{1-\tau}\ln T)$, where $\tau\in (0.5,1)$ is a constant depending on the algorithm gains.


title: Perceptual Quality Assessment for Fine-Grained Compressed Images

abstract: Recent years have witnessed the rapid development of image storage and transmission systems, in which image compression plays an important role. Generally speaking, image compression algorithms are developed to ensure good visual quality at limited bit rates. However, due to the different compression optimization methods, the compressed images may have different levels of quality, which needs to be evaluated quantificationally. Nowadays, the mainstream full-reference (FR) metrics are effective to predict the quality of compressed images at coarse-grained levels (the bit rates differences of compressed images are obvious), however, they may perform poorly for fine-grained compressed images whose bit rates differences are quite subtle. Therefore, to better improve the Quality of Experience (QoE) and provide useful guidance for compression algorithms, we propose a full-reference image quality assessment (FR-IQA) method for compressed images of fine-grained levels. Specifically, the reference images and compressed images are first converted to $YCbCr$ color space. The gradient features are extracted from regions that are sensitive to compression artifacts. Then we employ the Log-Gabor transformation to further analyze the texture difference. Finally, the obtained features are fused into a quality score. The proposed method is validated on the fine-grained compression image quality assessment (FGIQA) database, which is especially constructed for assessing the quality of compressed images with close bit rates. The experimental results show that our metric outperforms mainstream FR-IQA metrics on the FGIQA database. We also test our method on other commonly used compression IQA databases and the results show that our method obtains competitive performance on the coarse-grained compression IQA databases as well.


title: Welfare and Distributional Effects of Joint Intervention in Networks

abstract: We study a planner's optimal interventions in both the standalone marginal utilities of players on a network and weights on the links that connect players. The welfare-maximizing joint intervention exhibits the following properties: (a) when the planner's budget is moderate (so that optimal interventions are interior), the change in weight on any link connecting a pair of players is proportional to the product of eigen-centralities of the pair; (b) when the budget is sufficiently large, the optimal network takes a simple form: It is either a complete network under strategic complements or a complete balanced bipartite network under strategic substitutes. We show that the welfare effect of joint intervention is shaped by the principal eigenvalue, while the distributional effect is captured by the dispersion of the corresponding eigenvalues, i.e., the eigen-centralities. Comparing joint intervention in our setting with single intervention solely on the standalone marginal utilities, as studied by Galeotti et al. (2020), we find that joint intervention always yields a higher aggregate welfare, but may lead to greater inequality, which highlights a possible trade-off between the welfare and distributional impacts of joint intervention.


title: Discontinuity Computing using Physics-Informed Neural Network

abstract: Simulating discontinuities is a long standing problem especially for shock waves with strong nonlinear feather. Despite being a promising method, the recently developed physics-informed neural network (PINN) is still weak for calculating discontinuities compared with traditional shock-capturing methods. In this paper, we intend to improve the shock-capturing ability of the PINN. The primary strategy of this work is to weaken the expression of the network near discontinuities by adding a gradient-weight into the governing equations locally at each residual point. This strategy allows the network to focus on training smooth parts of the solutions. Then, automatically affected by the compressible property near shock waves, a sharp discontinuity appears with wrong inside shock transition-points compressed into well-trained smooth regions as passive particles. We study the solutions of one-dimensional Burgers equation and one- and two-dimensional Euler equations. Compared with the traditional high-order WENO-Z method in numerical examples, the proposed method can substantially improve discontinuity computing.


title: Fault-Aware Neural Code Rankers

abstract: Large language models (LLMs) have demonstrated an impressive ability to generate code for various programming tasks. In many instances, LLMs can generate a correct program for a task when given numerous trials. Consequently, a recent trend is to do large scale sampling of programs using a model and then filtering/ranking the programs based on the program execution on a small number of known unit tests to select one candidate solution. However, these approaches assume that the unit tests are given and assume the ability to safely execute the generated programs (which can do arbitrary dangerous operations such as file manipulations). Both of the above assumptions are impractical in real-world software development. In this paper, we propose CodeRanker, a neural ranker that can predict the correctness of a sampled program without executing it. Our CodeRanker is fault-aware i.e., it is trained to predict different kinds of execution information such as predicting the exact compile/runtime error type (e.g., an IndexError or a TypeError). We show that CodeRanker can significantly increase the pass@1 accuracy of various code generation models (including Codex, GPT-Neo, GPT-J) on APPS, HumanEval and MBPP datasets.


title: JuMP 1.0: Recent improvements to a modeling language for mathematical optimization

abstract: JuMP is an algebraic modeling language embedded in the Julia programming language. JuMP allows users to model optimization problems of a variety of kinds, including linear programming, integer programming, conic optimization, semidefinite programming, and nonlinear programming, and handles the low-level details of communicating with solvers. After nearly 10 years in development, JuMP 1.0 was released in March, 2022. In this short communication, we highlight the improvements to JuMP from recent releases up to and including 1.0.


title: Blockchain-enabled supply chain: An experimental study

abstract: Despite Information and Communication Technologies (ICT) have reduced the information asymmetry and increased the degree of interorganizational collaboration, the companies participating a supply chain are less inclined to share data when information is sensible and partners cannot be fully trusted. In such a context, Blockchain is a decentralized certificate authority that may provide economic and operational benefits but companies operating in a supply chain claim to have little knowledge about Blockchain due to its novelty and to the lack of use cases and application studies. In this work, a software connector has been designed and developed to connect an Ethereum-like blockchain with the enterprises' information systems to allow companies to share information with their partners with different levels of visibility and to check data authenticity, integrity and invariability over time through the blockchain, thus building trust. In order to explore the potential of deploying the blockchain in a supply chain, a simulation model has been developed to recreate the supply chain operations and integrated with the blockchain through the same software connector to carry out a scenario statistical analysis. Application results shows how blockchain technology is a convenient instrument to overcome collaboration and trust issues in a supply chain, to increase the supply chain overall performance, to minimize the negative consequences of information asymmetry over the echelons of a supply chain but also to discourage companies from any misconduct (e.g. counterfeiting data or low data accuracy).


title: Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing

abstract: We present categories of open dynamical systems with general time evolution as categories of coalgebras opindexed by polynomial interfaces, and show how this extends the coalgebraic framework to capture common scientific applications such as ordinary differential equations, open Markov processes, and random dynamical systems. We then extend Spivak's operad Org to this setting, and construct associated monoidal categories whose morphisms represent hierarchical open systems; when their interfaces are simple, these categories supply canonical comonoid structures. We exemplify these constructions using the 'Laplace doctrine', which provides dynamical semantics for active inference, and indicate some connections to Bayesian inversion and coalgebraic logic.


title: "GAN I hire you?" -- A System for Personalized Virtual Job Interview Training

abstract: Job interviews are usually high-stakes social situations where professional and behavioral skills are required for a satisfactory outcome. Professional job interview trainers give educative feedback about the shown behavior according to common standards. This feedback can be helpful concerning the improvement of behavioral skills needed for job interviews. A technological approach for generating such feedback might be a playful and low-key starting point for job interview training. Therefore, we extended an interactive virtual job interview training system with a Generative Adversarial Network (GAN)-based approach that first detects behavioral weaknesses and subsequently generates personalized feedback. To evaluate the usefulness of the generated feedback, we conducted a mixed-methods pilot study using mock-ups from the job interview training system. The overall study results indicate that the GAN-based generated behavioral feedback is helpful. Moreover, participants assessed that the feedback would improve their job interview performance.


title: The Open corpus of the Veps and Karelian languages: overview and applications

abstract: A growing priority in the study of Baltic-Finnic languages of the Republic of Karelia has been the methods and tools of corpus linguistics. Since 2016, linguists, mathematicians, and programmers at the Karelian Research Centre have been working with the Open Corpus of the Veps and Karelian Languages (VepKar), which is an extension of the Veps Corpus created in 2009. The VepKar corpus comprises texts in Karelian and Veps, multifunctional dictionaries linked to them, and software with an advanced system of search using various criteria of the texts (language, genre, etc.) and numerous linguistic categories (lexical and grammatical search in texts was implemented thanks to the generator of word forms that we created earlier). A corpus of 3000 texts was compiled, texts were uploaded and marked up, the system for classifying texts into languages, dialects, types and genres was introduced, and the word-form generator was created. Future plans include developing a speech module for working with audio recordings and a syntactic tagging module using morphological analysis outputs. Owing to continuous functional advancements in the corpus manager and ongoing VepKar enrichment with new material and text markup, users can handle a wide range of scientific and applied tasks. In creating the universal national VepKar corpus, its developers and managers strive to preserve and exhibit as fully as possible the state of the Veps and Karelian languages in the 19th-21st centuries.


title: Inorganic Crystal Structure Prototype Database based on Unsupervised Learning of Local Atomic Environments

abstract: Recognition of structure prototypes from tremendous known inorganic crystal structures has been an important subject beneficial for material science research and new materials design. The existing databases of inorganic crystal structure prototypes were mostly constructed by classifying materials in terms of the crystallographic space group information. Herein, we employed a distinct strategy to construct the inorganic crystal structure prototype database, relying on the classification of materials in terms of local atomic environments (LAE) accompanied by unsupervised machine learning method. Specifically, we adopted a hierarchical clustering approach onto all experimentally known inorganic crystal structures data to identify structure prototypes. The criterion for hierarchical clustering is the LAE represented by the state-of-the-art structure fingerprints of the improved bond-orientational order parameters and the smooth overlap of atomic positions. This allows us to build up a LAE-based Inorganic Crystal Structure Prototype Database (LAE-ICSPD) containing 15,613 structure prototypes with defined stoichiometries. In addition, we have developed a Structure Prototype Generator Infrastructure (SPGI) package, which is a useful toolkit for structure prototype generation. Our developed SPGI toolkit and LAE-ICSPD are beneficial for investigating inorganic materials in a global way as well as accelerating materials discovery process in the data-driven mode.


title: Asymptotic growth of Iwasawa invariants in Noncommutative towers of number fields

abstract: Let $p$ be an odd prime, $F$ be a number field and consider a uniform infinite pro-$p$ extension $F_\infty$ of $F$ with Galois group $G=Gal(F_\infty/F)$. Let \[G=G_0\supset G_1\supset\dots \supset G_n\supset G_{n+1}\supset \dots\] be the descending $p$ central series of $G$ and set $F_n:=F_\infty^{G_n}$. Assume that $G$ is uniform and that $F_\infty$ contains the cyclotomic $\mathbb{Z}_p$-extension of $F$. Denote by $A_n$ the $p$-primary part of the class group of the cyclotomic $\mathbb{Z}_p$-extension of $F_n$. The $\lambda$-invariant of $F_n$ coincides with the corank of $A_n$ as a $\mathbb{Z}_p$-module. Assume that the Iwasawa $\mu$-invariant of the cyclotomic $\mathbb{Z}_p$-extension of $F$ equal to $0$. Then, the $\mu$-invariant of the cyclotomic $\mathbb{Z}_p$-extension of $F_n$ is $0$ as well and $A_n$ is isomorphic to $\left(\mathbb{Q}_p/\mathbb{Z}_p\right)^{\lambda_n}$. We study the asymptotic growth of $\lambda_n$ as $n$ goes to $\infty$.


title: Optimal Gevrey stability of hydrostatic approximation for the Navier-Stokes equations in a thin domain

abstract: In this paper, we study the hydrostatic approximation for the Navier-Stokes system in a thin domain. When the convex initial data with Gevrey regularity of optimal index 3/2 in x variable and Sobolev regularity in y variable, we justify the limit from the anisotropic Navier-Stokes system to the hydrostatic Navier-Stokes/Prandtl system. Due to our method in the paper is independent of {\epsilon}, by the same argument, we also get the hydrostatic Navier-Stokes/Prandtl system is well-posedness in the optimal Gevrey space. Our results improve the Gevrey index in [14, 34] whose Gevrey index is 9/8 .


title: Rapid X-ray Variability in Mkn 421 during a Multiwavelength Campaign

abstract: The study of short-term variability properties in AGN jets has the potential to shed light on their particle acceleration and emission mechanisms. We report results from a four-day coordinated multi-wavelength campaign on the highly-peaked blazar (HBL) Mkn 421 in 2019 January. We obtained X-ray data from AstroSAT, BVRI photometry with the Whole Earth Blazar Telescope (WEBT), and TeV data from FACT to explore short-term multi-wavelength variability in this HBL. The X-ray continuum is rapidly variable on time-scales of tens of ks. Fractional variability amplitude increases with energy across the synchrotron hump, consistent with previous studies; we interpret this observation in the context of a model with multiple cells whose emission spectra contain cutoffs that follow a power-law distribution. We also performed time-averaged and time-resolved (time-scales of 6 ks) spectral fits; a broken power-law model fits all spectra well; time-resolved spectral fitting reveals the usual hardening when brightening behaviour. Intra-X-ray cross correlations yield evidence for the 0.6-0.8 keV band to likely lead the other bands by an average of 4.6 +- 2.6 ks, but only during the first half of the observation. The source displayed minimal night-to-night variability at all wavebands thus precluding significant interband correlations during our campaign. The broadband SED is modeled well with a standard one-zone leptonic model, yielding jet parameters consistent with those obtained from previous SEDs of this source.


title: An old, metal-rich accreted stellar component in the Milky Way stellar disk

abstract: We study the possibility that the Milky Way's cool stellar disc includes mergers with ancient stars. Galaxies are understood to form in a hierarchical manner, where smaller (proto-)galaxies merge into larger ones. Stars in galaxies, like the Milky Way, contain in their motions and elemental abundances tracers of past events and can be used to disentangle merger remnants from stars that formed in the main galaxy. The merger history of the Milky Way is generally understood to be particularly easy to study in the stellar halo. The advent of the ESA astrometric satellite Gaia has enabled the detection of completely new structures in the halo such as the Gaia-Enceladus-Sausage. However, simulations also show that mergers may be important for the build-up of the cool stellar disks. Combining elemental abundances for 100 giant branch stars from APOGEE DR17 and astrometric data from Gaia we use elemental abundance ratios to find an hitherto unknown, old stellar component in the cool stellar disk in the Milky Way. We further identify a small sample of RR Lyrae variables with disk kinematics that also show the same chemical signature as the accreted red giant stars in the disk. These stars allows us to date the stars in the accreted component. We find that they are exclusively old.


title: Progressive GANomaly: Anomaly detection with progressively growing GANs

abstract: In medical imaging, obtaining large amounts of labeled data is often a hurdle, because annotations and pathologies are scarce. Anomaly detection is a method that is capable of detecting unseen abnormal data while only being trained on normal (unannotated) data. Several algorithms based on generative adversarial networks (GANs) exist to perform this task, yet certain limitations are in place because of the instability of GANs. This paper proposes a new method by combining an existing method, GANomaly, with progressively growing GANs. The latter is known to be more stable, considering its ability to generate high-resolution images. The method is tested using Fashion MNIST, Medical Out-of-Distribution Analysis Challenge (MOOD), and in-house brain MRI; using patches of sizes 16x16 and 32x32. Progressive GANomaly outperforms a one-class SVM or regular GANomaly on Fashion MNIST. Artificial anomalies are created in MOOD images with varying intensities and diameters. Progressive GANomaly detected the most anomalies with varying intensity and size. Additionally, the intermittent reconstructions are proven to be better from progressive GANomaly. On the in-house brain MRI dataset, regular GANomaly outperformed the other methods.


title: Minkowski Functionals in Joint Galaxy Clustering & Weak Lensing Analyses

abstract: We investigate the inclusion of clustering maps in a weak lensing Minkowski functional (MF) analysis of DES-like and LSST-like simulations to constrain cosmological parameters. The standard 3x2pt approach to lensing and clustering data uses two-point correlations as its primary statistic; MFs, morphological statistics describing the shape of matter fields, provide additional information for non-Gaussian fields. Previous analyses have studied MFs of lensing convergence maps; in this project we explore their simultaneous application to clustering maps. We employ a simplified linear galaxy bias model, and using a lognormal curved sky measurement and Monte Carlo Markov Chain (MCMC) sampling process for parameter inference, we find that MFs do not yield any information in the $\Omega_{\rm m}$ -- $\sigma_8$ plane not already generated by a 3x2pt analysis. However, we expect that MFs should improve constraining power when nonlinear baryonic and other small-scale effects are taken into account. As with a 3x2pt analysis, we find a significant improvement to constraints when adding clustering data to MF-only and MF$+C_\ell$ shear measurements, and strongly recommend future higher order statistics be measured from both convergence and clustering maps.


title: Charged quark stars in metric $f(R)$ gravity

abstract: We provide the modified TOV equations for the hydrostatic equilibrium of charged compact stars within the metric $f(R)$ gravitational background. We adopt the MIT bag model EoS for the dense matter and assume a charge distribution where the electric charge density $\rho_{\rm ch}$ is proportional to the standard energy density $\rho$. Using the Starobinsky model, we explore the role of the $\alpha R^2$ term, where $\alpha$ is a free constant and $R$ the Ricci scalar, on the global properties of charged stars such as radius, mass and total charge. We present the dependence of the structure of the star for several values of $\alpha$ and for different values of the constant parameter $\beta\equiv \rho_{\rm ch}/\rho$. Remarkably, we find that the radius decreases with respect to its GR value for low central densities, while the opposite occurs in the high-central-density region. The mass measured at the surface always decreases and the maximum-total charge undergoes a substantial increase as the parameter $\alpha$ increases. We also illustrate the variations of the asymptotic mass as a consequence of the electric charge and the extra quadratic term.


title: Reconfiguration of Non-crossing Spanning Trees

abstract: For a set $P$ of $n$ points in the plane in general position, a non-crossing spanning tree is a spanning tree of the points where every edge is a straight-line segment between a pair of points and no two edges intersect except at a common endpoint. We study the problem of reconfiguring one non-crossing spanning tree of $P$ to another using a sequence of flips where each flip removes one edge and adds one new edge so that the result is again a non-crossing spanning tree of $P$. There is a known upper bound of $2n-4$ flips [Avis and Fukuda, 1996] and a lower bound of $1.5n - 5$ flips. We give a reconfiguration algorithm that uses at most $2n-3$ flips but reduces that to $1.5n-2$ flips when one tree is a path and either: the points are in convex position; or the path is monotone in some direction. For points in convex position, we prove an upper bound of $2d - \Omega(\log d)$ where $d$ is half the size of the symmetric difference between the trees. We also examine whether the happy edges (those common to the initial and final trees) need to flip, and we find exact minimum flip distances for small point sets using exhaustive search.


title: On the Eigenstructure of Rotations and Poses: Commonalities and Peculiarities

abstract: Rotations and poses are ubiquitous throughout many fields of science and engineering such as robotics, aerospace, computer vision and graphics. In this paper, we provide a complete characterization of rotations and poses in terms of the eigenstructure of their matrix Lie group representations, SO(3), SE(3) and Ad(SE(3)). An eigendecomposition of the pose representations reveals that they can be cast into a form very similar to that of rotations although the structure of the former can vary depending on the relative nature of the translation and rotation involved. Understanding the eigenstructure of these important quantities has merit in and of itself but it is also essential to appreciating such practical results as the minimal polynomial for rotations and poses and the calculation of Jacobians; moreover, we can speak of a principal-axis pose in much the same manner that we can of a principal-axis rotation.


title: Towards Schema Inference for Data Lakes

abstract: A data lake is a repository of data with potential for future analysis. However, both discovering what data is in a data lake and exploring related data sets can take significant effort, as a data lake can contain an intimidating amount of heterogeneous data. In this paper, we propose the use of schema inference to support the interpretation of the data in the data lake. If a data lake is to support a schema-on-read paradigm, understanding the existing schema of relevant portions of the data lake seems like a prerequisite. In this paper, we make use of approximate indexes that can be used for data discovery to inform the inference of a schema for a data lake, consisting of entity types and the relationships between them. The specific approach identifies candidate entity types by clustering similar data sets from the data lake, and then relationships between data sets in different clusters are used to inform the identification of relationships between the entity types. The approach is evaluated using real-world data repositories, to identify where the proposal is effective, and to inform the identification of areas for further work.


title: Comparison of Multiobjective Optimization Methods for the LCLS-II Photoinjector

abstract: Particle accelerators are among some of the largest science experiments in the world and can consist of thousands of components with a wide variety of input ranges. These systems can easily become unwieldy optimization problems during design and operations studies. Starting in the early 2000s, searching for better beam dynamics configurations became synonymous with heuristic optimization methods in the accelerator physics community. Genetic algorithms and particle swarm optimization are currently the most widely used. These algorithms can take thousands of simulation evaluations to find optimal solutions for one machine prototype. For large facilities such as the Linac Coherent Light Source (LCLS) and others, this equates to a limited exploration of many possible design configurations. In this paper, the LCLS-II photoinjector is optimized with three optimization algorithms. All optimizations were started from both a uniform random and Latin hypercube sample. In all cases, the optimizations started from Latin hypercube samples outperformed optimizations started from uniform samples. All three algorithms were able to optimize the photoinjector, with the model-based methods approximating the Pareto front in fewer simulation evaluations. This work, in combination with previous optimization observations, indicates objective penalties have a strong impact on the efficiency of such methods. In general, we recommend heuristic methods for initial optimizations and model-based methods when information about the objective space is available.


title: Efficient Resource Allocation with Fairness Constraints in Restless Multi-Armed Bandits

abstract: Restless Multi-Armed Bandits (RMAB) is an apt model to represent decision-making problems in public health interventions (e.g., tuberculosis, maternal, and child care), anti-poaching planning, sensor monitoring, personalized recommendations and many more. Existing research in RMAB has contributed mechanisms and theoretical results to a wide variety of settings, where the focus is on maximizing expected value. In this paper, we are interested in ensuring that RMAB decision making is also fair to different arms while maximizing expected value. In the context of public health settings, this would ensure that different people and/or communities are fairly represented while making public health intervention decisions. To achieve this goal, we formally define the fairness constraints in RMAB and provide planning and learning methods to solve RMAB in a fair manner. We demonstrate key theoretical properties of fair RMAB and experimentally demonstrate that our proposed methods handle fairness constraints without sacrificing significantly on solution quality.


title: Prominent examples of flip processes

abstract: Flip processes, introduced in [Garbe, Hladk\'y, \v{S}ileikis, Skerman: From flip processes to dynamical systems on graphons], are a class of random graph processes defined using a rule which is just a function $\mathcal{R}:\mathcal{H}_k\rightarrow \mathcal{H}_k$ from all labelled graphs of a fixed order $k$ into itself. The process starts with an arbitrary given $n$-vertex graph $G_0$. In each step, the graph $G_i$ is obtained by sampling $k$ random vertices $v_1,\ldots,v_k$ of $G_{i-1}$ and replacing the induced graph $G_{i-1}[v_1,\ldots,v_k]$ by $\mathcal{R}(G_{i-1}[v_1,\ldots,v_k])$. Using the formalism of dynamical systems on graphons associated to each such flip process from ibid. we study several specific flip processes, including the triangle removal flip process and its generalizations, 'extremist flip processes' (in which $\mathcal{R}(H)$ is either a clique or an independent set, depending on whether $e(H)$ has less or more than half of all potential edges), and 'ignorant flip processes' in which the output $\mathcal{R}(H)$ does not depend on $H$.


title: On the Integration of Acoustics and LiDAR: a Multi-Modal Approach to Acoustic Reflector Estimation

abstract: Having knowledge on the room acoustic properties, e.g., the location of acoustic reflectors, allows to better reproduce the sound field as intended. Current state-of-the-art methods for room boundary detection using microphone measurements typically focus on a two-dimensional setting, causing a model mismatch when employed in real-life scenarios. Detection of arbitrary reflectors in three dimensions encounters practical limitations, e.g., the need for a spherical array and the increased computational complexity. Moreover, loudspeakers may not have an omnidirectional directivity pattern, as usually assumed in the literature, making the detection of acoustic reflectors in some directions more challenging. In the proposed method, a LiDAR sensor is added to a loudspeaker to improve wall detection accuracy and robustness. This is done in two ways. First, the model mismatch introduced by horizontal reflectors can be resolved by detecting reflectors with the LiDAR sensor to enable elimination of their detrimental influence from the 2D problem in pre-processing. Second, a LiDAR-based method is proposed to compensate for the challenging directions where the directive loudspeaker emits little energy. We show via simulations that this multi-modal approach, i.e., combining microphone and LiDAR sensors, improves the robustness and accuracy of wall detection.


title: Counseling Summarization using Mental Health Knowledge Guided Utterance Filtering

abstract: The psychotherapy intervention technique is a multifaceted conversation between a therapist and a patient. Unlike general clinical discussions, psychotherapy's core components (viz. symptoms) are hard to distinguish, thus becoming a complex problem to summarize later. A structured counseling conversation may contain discussions about symptoms, history of mental health issues, or the discovery of the patient's behavior. It may also contain discussion filler words irrelevant to a clinical summary. We refer to these elements of structured psychotherapy as counseling components. In this paper, the aim is mental health counseling summarization to build upon domain knowledge and to help clinicians quickly glean meaning. We create a new dataset after annotating 12.9K utterances of counseling components and reference summaries for each dialogue. Further, we propose ConSum, a novel counseling-component guided summarization model. ConSum undergoes three independent modules. First, to assess the presence of depressive symptoms, it filters utterances utilizing the Patient Health Questionnaire (PHQ-9), while the second and third modules aim to classify counseling components. At last, we propose a problem-specific Mental Health Information Capture (MHIC) evaluation metric for counseling summaries. Our comparative study shows that we improve on performance and generate cohesive, semantic, and coherent summaries. We comprehensively analyze the generated summaries to investigate the capturing of psychotherapy elements. Human and clinical evaluations on the summary show that ConSum generates quality summary. Further, mental health experts validate the clinical acceptability of the ConSum. Lastly, we discuss the uniqueness in mental health counseling summarization in the real world and show evidences of its deployment on an online application with the support of mpathic.ai


title: Search efficiency in the Adam-Delbr\"uck reduction-of-dimensionality scenario versus direct diffusive search

abstract: The time instant -- the first-passage time (FPT) -- when a diffusive particle (e.g., a ligand such as oxygen or a signalling protein) for the first time reaches an immobile target located on the surface of a bounded three-dimensional domain (e.g., a hemoglobin molecule or the cellular nucleus) is a decisive characteristic time-scale in diverse biophysical and biochemical processes, as well as in intermediate stages of various inter- and intra-cellular signal transduction pathways. Adam and Delbr\"uck put forth the reduction-of-dimensionality concept, according to which a ligand first binds non-specifically to any point of the surface on which the target is placed and then diffuses along this surface until it locates the target. In this work, we analyse the efficiency of such a scenario and confront it with the efficiency of a direct search process, in which the target is approached directly from the bulk and not aided by surface diffusion. We consider two situations: (i) a single ligand is launched from a fixed or a random position and searches for the target, and (ii) the case of "amplified" signals when $N$ ligands start either from the same point or from random positions, and the search terminates when the fastest of them arrives to the target. For such settings, we go beyond the conventional analyses, which compare only the mean values of the corresponding FPTs. Instead, we calculate the full probability density function of FPTs for both scenarios and study its integral characteristic -- the "survival" probability of a target up to time $t$. On this basis, we examine how the efficiencies of both scenarios are controlled by a variety of parameters and single out realistic conditions in which the reduction-of-dimensionality scenario outperforms the direct search.


title: ConFUDA: Contrastive Fewshot Unsupervised Domain Adaptation for Medical Image Segmentation

abstract: Unsupervised domain adaptation (UDA) aims to transfer knowledge learned from a labeled source domain to an unlabeled target domain. Contrastive learning (CL) in the context of UDA can help to better separate classes in feature space. However, in image segmentation, the large memory footprint due to the computation of the pixel-wise contrastive loss makes it prohibitive to use. Furthermore, labeled target data is not easily available in medical imaging, and obtaining new samples is not economical. As a result, in this work, we tackle a more challenging UDA task when there are only a few (fewshot) or a single (oneshot) image available from the target domain. We apply a style transfer module to mitigate the scarcity of target samples. Then, to align the source and target features and tackle the memory issue of the traditional contrastive loss, we propose the centroid-based contrastive learning (CCL) and a centroid norm regularizer (CNR) to optimize the contrastive pairs in both direction and magnitude. In addition, we propose multi-partition centroid contrastive learning (MPCCL) to further reduce the variance in the target features. Fewshot evaluation on MS-CMRSeg dataset demonstrates that ConFUDA improves the segmentation performance by 0.34 of the Dice score on the target domain compared with the baseline, and 0.31 Dice score improvement in a more rigorous oneshot setting.


title: High order entropy preserving ADER scheme

abstract: In this paper, we develop a fully discrete entropy preserving ADER-Discontinuous Galerkin (ADER-DG) method. To obtain this desired result, we equip the space part of the method with entropy correction terms that balance the entropy production in space, inspired by the work of Abgrall. Whereas for the time-discretization we apply the relaxation approach introduced by Ketcheson that allows to modify the timestep to preserve the entropy to machine precision. Up to our knowledge, it is the first time that a provable fully discrete entropy preserving ADER-DG scheme is constructed. We verify our theoretical results with various numerical simulations.


title: Metal-insulator transition in the disordered Hubbard model of the Lieb lattice

abstract: Using the determinant quantum Monte Carlo method, we investigate the metal-insulator transition in the interacting disordered Hubbard model of a Lieb lattice, in which the system characterizes the flat band centered at the Fermi level. By choosing suitable electron densities, we ensure the weak interaction sign problem to improve the reliability of our results. It is found that disorder and on-site Coulomb repulsive interaction produce interesting effects that induce the metal-insulator transition which is impossible in the half-filled case. The density of states at the Fermi energy is still finite in the thermodynamic limit, suggesting that the system is an Anderson insulator rather than a Mott insulator. Moreover, this doping system is paramagnetic, unlike the half-filled system, which is ferrimagnetic.


title: PrivHAR: Recognizing Human Actions From Privacy-preserving Lens

abstract: The accelerated use of digital cameras prompts an increasing concern about privacy and security, particularly in applications such as action recognition. In this paper, we propose an optimizing framework to provide robust visual privacy protection along the human action recognition pipeline. Our framework parameterizes the camera lens to successfully degrade the quality of the videos to inhibit privacy attributes and protect against adversarial attacks while maintaining relevant features for activity recognition. We validate our approach with extensive simulations and hardware experiments.


title: Birefringent Majorana fermions

abstract: We propose the concept of birefringent Majorana fermions as collective excitations of quantum interacting many-body states motivated by the already known quasiparticles including Dirac fermions, birefringent Dirac fermions and Majorana fermions. Low energy effective models are constructed to understand the basic mathematical structures of equations of motion and physical properties. We find that the equation of motion, with two different "speed of light", describing birefringent Majorana fermions in condensed matter physics is the birefringence version of the original Majorana equation of real relativistic fermions.


title: Single file dynamics in soft materials

abstract: The term single file (SF) dynamics refers to the motion of an assembly of particles through a channel with cross-section comparable to the particles' diameter. Single file diffusion (SFD) is then the diffusion of a tagged particle in a \emph{single file}, i.e., under the condition that particle passing is not allowed. SFD accounts for a large variety of processes in nature, including diffusion of colloids in synthetic and natural-shaped channels, biological motors along molecular chains, electrons in proteins and liquid helium, ions through membrane, just to mention a few examples. Albeit introduced in '65, over the last decade the classical notion of SF dynamics has been generalized to account through a more realistic modeling of, among others, particles properties, file geometry, particle-particle and channel-particles interactions, thus paving the way to remarkable applications in, for example, the technology of bio-integrated nanodevices. We then provide a comprehensive review of the recent advances in the theory of SF dynamics and the ensuing experimental realisations.


title: Joint Modelling of Quantum and Classical Noise over Unity Quantum Channel

abstract: For a continuous-input-continuous-output arbitrarily distributed quantum channel carrying classical information, the channel capacity can be computed in terms of the distribution of the channel envelope, received signal strength over a quantum propagation field and the noise spectral density. If the channel envelope is considered to be unity with unit received signal strength, the factor controlling the capacity is the noise. Quantum channel carrying classical information will suffer from the combination of classical and quantum noise. Assuming additive Gaussian-distributed classical noise and Poisson-distributed quantum noise, we formulate a hybrid noise model by deriving a joint Gaussian- Poisson distribution in this letter. For the transmitted signal, we consider the mean of signal sample space instead of considering a particular distribution and study how the maximum mutual information varies over such mean value. Capacity is estimated by maximizing the mutual information over unity channel envelope.


title: Multiscale Computational Modeling of Biofilm

abstract: We review the computation models for biofilm and bacteria cells, providing perspectives on biofilm's various properties and potential serving as engineering living materials (ELMs), considering the omnipresence of such biological matter. The minireview starts from the molecular regime, bottom-up to the mesoscale, to continuum, with an emphasis on the mesoscale algorithms such as dissipative particles dynamics (DPD) and individual-based modeling (IbM). Some representative works are highlighted considering different modeling methods on each scale. The advantages and limitations of each algorithm for different scales are elaborated given the existed research works. Specifically, the potential for IbM, also known as the discrete element method (DEM) is targeted for its accurate description of both biological and mechanical properties.


title: Multivariate backtests and copulas for risk evaluation

abstract: Risk evaluation is a forecast, and its validity must be backtested. Probability distribution forecasts are used in this work and allow for more powerful validations compared to point forecasts. Our aim is to use bivariate copulas in order to characterize the in-sample copulas and to validate out-of-sample a bivariate forecast. For both set-ups, probability integral transforms (PIT) and Rosenblatt transforms are used to map the problem into an independent copula. For this simple copula, statistical tests can be applied to validate the choice of the in-sample copula or the validity of the bivariate forecast. The salient results are that a Student copula describes well the dependencies between financial time series (regardless of the correlation), and that the bivariate forecasts provided by a risk methodology based on historical innovations performs correctly out-of-sample. A prerequisite is to remove the heteroskedasticity in order to have stationary time series, in this work a long-memory ARCH volatility model is used.


title: Search for charged Higgs boson in $\mu\nu$ channel within 2HDM type-III

abstract: We discus the muonic decay of light charged Higgs boson for $m_{H^\pm}\le m_t-m_b$ in the context of the generic two Higgs doublet model (2HDM) type-III. We show that for both alignment limit scenarios, the $H^\pm\to\mu\nu$ signal could be dominant and give alternative reachable signatures to those arising from top quark production and decay.


title: Ramsey equivalence for asymmetric pairs of graphs

abstract: A graph $F$ is Ramsey for a pair of graphs $(G,H)$ if any red/blue-coloring of the edges of $F$ yields a copy of $G$ with all edges colored red or a copy of $H$ with all edges colored blue. Two pairs of graphs are called Ramsey equivalent if they have the same collection of Ramsey graphs. The symmetric setting, that is, the case $G=H$, received considerable attention. This led to the open question whether there are connected graphs $G$ and $G'$ such that $(G,G)$ and $(G',G')$ are Ramsey equivalent. We make progress on the asymmetric version of this question and identify several non-trivial families of Ramsey equivalent pairs of connected graphs. Certain pairs of stars provide a first, albeit trivial, example of Ramsey equivalent pairs of connected graphs. Our first result characterizes all Ramsey equivalent pairs of stars. The rest of the paper focuses on pairs of the form $(T,K_t)$, where $T$ is a tree and $K_t$ is a complete graph. We show that, if $T$ belongs to a certain family of trees, including all non-trivial stars, then $(T,K_t)$ is Ramsey equivalent to a family of pairs of the form $(T,H)$, where $H$ is obtained from $K_t$ by attaching disjoint smaller cliques to some of its vertices. In addition, we establish that for $(T,H)$ to be Ramsey equivalent to $(T,K_t)$, $H$ must have roughly this form. On the other hand, we prove that for many other trees $T$, including all odd-diameter trees, $(T,K_t)$ is not equivalent to any such pair, not even to the pair $(T, K_t\cdot K_2)$, where $K_t\cdot K_2$ is a complete graph $K_t$ with a single edge attached.


title: A new third planet and the dynamical architecture of the HD33142 planetary system

abstract: Based on recently-taken and archival HARPS, FEROS and HIRES radial velocities (RVs), we present evidence for a new planet orbiting the first ascent red giant star HD33142 (with an improved mass estimate of 1.52$\pm$0.03 M$_\odot$), already known to host two planets. We confirm the Jovian mass planets HD33142 b and c with periods of $P_{\rm b}$ = 330.0$_{-0.4}^{+0.4}$ d and $P_{\rm c}$ = 810.2$_{-4.2}^{+3.8}$ d and minimum dynamical masses of $m_{\rm b}\sin{i}$ = 1.26$_{-0.05}^{+0.05}$ M$_{\rm Jup}$ and $m_{\rm c}\sin{i}$ = 0.89$_{-0.05}^{+0.06}$ M$_{\rm Jup}$. Furthermore, our periodogram analysis of the precise RVs shows strong evidence for a short-period Doppler signal in the residuals of a two-planet Keplerian fit, which we interpret as a third, Saturn-mass planet with $m_\mathrm{d}\sin{i}$ = 0.20$_{-0.03}^{+0.02}$ M$_{\rm Jup}$ on a close-in orbit with an orbital period of $P_{\rm d}$ =89.9$_{-0.1}^{+0.1}$ d. We study the dynamical behavior of the three-planet system configurations with an N-body integration scheme, finding it long-term stable with the planets alternating between low and moderate eccentricities episodes. We also performed N-body simulations, including stellar evolution and second-order dynamical effects such as planet-stellar tides and stellar mass-loss on the way to the white dwarf phase. We find that planets HD33142 b, c and d are likely to be engulfed near the tip of the red giant branch phase due to tidal migration. These results make the HD33142 system an essential benchmark for the planet population statistics of the multiple-planet systems found around evolved stars.


title: Unsupervised Deformable Image Registration with Absent Correspondences in Pre-operative and Post-Recurrence Brain Tumor MRI Scans

abstract: Registration of pre-operative and post-recurrence brain images is often needed to evaluate the effectiveness of brain gliomas treatment. While recent deep learning-based deformable registration methods have achieved remarkable success with healthy brain images, most of them would be unable to accurately align images with pathologies due to the absent correspondences in the reference image. In this paper, we propose a deep learning-based deformable registration method that jointly estimates regions with absent correspondence and bidirectional deformation fields. A forward-backward consistency constraint is used to aid in the localization of the resection and recurrence region from voxels with absence correspondences in the two images. Results on 3D clinical data from the BraTS-Reg challenge demonstrate our method can improve image alignment compared to traditional and deep learning-based registration approaches with or without cost function masking strategy. The source code is available at https://github.com/cwmok/DIRAC.


title: Wasserstein Convergence for Empirical Measures of Subordinated Dirichlet Diffusions on Riemannian Manifolds

abstract: We investigate long-time behaviors of empirical measures associated with subordinated Dirichlet diffusion processes on a compact Riemannian manifold $M$ with boundary $\partial M$ to some reference measure, under the quadratic Wasserstein distance. For any initial distribution not concentrated on $\partial M$, we obtain the rate of convergence and even the precise limit for the conditional expectation of the quadratic Wasserstein distance conditioned on the process killed upon exiting $M\setminus\partial M$. In particular, the results coincide with the recent ones proved by F.-Y. Wang in \cite{eW2} for Dirichlet diffusion processes.


title: Supersymmetry and Shape Invariance of exceptional orthogonal polynomials

abstract: We discuss the exceptional Laguerre and the exceptional Jacobi orthogonal polynomials in the framework of the supersymmetric quantum mechanics (SUSYQM). We express the differential equations for the Jacobi and the Laguerre exceptional orthogonal polynomials (EOP) as the eigenvalue equations and make an analogy with the time independent Schr\"odinger equation to define "Hamiltonians" enables us to study the EOPs in the framework of the SUSYQM and to realize the underlying shape invariance associated with such systems. We show that the underlying shape invariance symmetry is responsible for the solubility of the differential equations associated with these polynomials.


title: Ising model in a boundary magnetic field with random discontinuities

abstract: We consider a two-dimensional Ising field theory on a space with boundary in the presence of a piecewise constant boundary magnetic field which is allowed to change value discontinuously along the boundary. We assume zero magnetic field in the bulk. The positions of discontinuities are averaged over as in the annealed disorder. This model is described by a boundary field theory in which a superposition of the free spin boundary condition is perturbed by a collection of boundary condition changing operators. The corresponding boundary couplings give the allowed constant values of the magnetic field as well as the fugacities for the transitions between them. We show that when the value of the magnetic field is allowed to take only two different values which are the same in magnitude but have different signs the model can be described by a quadratic Lagrangian. We calculate and analyse the exact reflection matrix for this model. We also calculate the boundary entropy and study in detail the space of RG flows in a three-parameter space and with four different infrared fixed points. We discuss the likely breakdown of integrability in the extended model which allows for two generic values of the boundary magnetic field, backing it by some calculations.


title: Constraints to neutron-star kicks in High-Mass X-ray Binaries with Gaia EDR3

abstract: All neutron star progenitors in neutron-star High-Mass X-ray Binaries (NS HMXBs) undergo a supernova event that may lead to a significant natal kick impacting the motion of the whole binary system. The space observatory Gaia performs a deep optical survey with exquisite astrometric accuracy, for both position and proper motions, that can be used to study natal kicks in NS HMXBs. We aim to survey the observed Galactic NS HMXB population and to quantify the magnitude of the kick imparted onto their NSs, and to highlight any possible differences arising in between the various HMXB types. We perform a census of Galactic NS HMXBs and cross-match existing detections in X-rays, optical and infrared with the Gaia Early Data Release 3 database. We retrieve their parallaxes, proper motions, and radial velocities (when available), and perform a selection based on the quality of the parallax measurement. We then compute their peculiar velocities with respect to the rotating reference frame of the Milky Way, and including their respective masses and periods, we estimate their kick velocities through Markov Chain Monte Carlo simulations of the orbit undergoing a supernova event. We infer the posterior kick distributions of 35 NS HMXBs. After an inconclusive attempt at characterising the kick distributions with Maxwellian statistics, we find that the observed NS kicks are best reproduced by a Gamma distribution of mean $116^{+18}_{-15}$km.s$^{-1}$. We note that supergiant systems tend to have higher kick velocities than Be High-Mass X-ray Binaries. The peculiar velocity versus non-degenerate companion mass plane hints at a similar trend, supergiant systems having a higher peculiar velocity independently of their companion mass.


title: To remove or not remove Mobile Apps? A data-driven predictive model approach

abstract: Mobile app stores are the key distributors of mobile applications. They regularly apply vetting processes to the deployed apps. Yet, some of these vetting processes might be inadequate or applied late. The late removal of applications might have unpleasant consequences for developers and users alike. Thus, in this work we propose a data-driven predictive approach that determines whether the respective app will be removed or accepted. It also indicates the features' relevance that help the stakeholders in the interpretation. In turn, our approach can support developers in improving their apps and users in downloading the ones that are less likely to be removed. We focus on the Google App store and we compile a new data set of 870,515 applications, 56% of which have actually been removed from the market. Our proposed approach is a bootstrap aggregating of multiple XGBoost machine learning classifiers. We propose two models: user-centered using 47 features, and developer-centered using 37 features, the ones only available before deployment. We achieve the following Areas Under the ROC Curves (AUCs) on the test set: user-centered = 0.792, developer-centered = 0.762.


title: Effects of lattice dilution on the non-equilibrium phase transition in the stochastic Susceptible-Infectious-Recovered model

abstract: We investigate how site dilution, as would be introduced by immunization, affects the properties of the active-to-absorbing non-equilibrium phase transition in the paradigmatic Susceptible-Infectious-Recovered (SIR) model on regular cubic lattices. According to the Harris criterion, the critical behavior of the SIR model, which is governed by the universal scaling exponents of the dynamic isotropic percolation (DyIP) universality class, should remain unaltered after introducing impurities. However, when the SIR reactions are simulated for immobile agents on two- and three-dimensional lattices subject to quenched disorder, we observe a wide crossover region characterized by varying effective exponents. Only after a sufficient increase of the lattice sizes does it becomes clear that the SIR system must transition from that crossover regime before the effective critical exponents asymptotically assume the expected DyIP values. We attribute the appearance of this exceedingly long crossover to a time lag in a complete recovery of small disconnected clusters of susceptible sites which are apt to be generated when the system is prepared with Poisson-distributed quenched disorder. Finally, we demonstrate that this transient region becomes drastically diminished when we significantly increase the value of the recovery rate or enable diffusive agent mobility through short-range hopping.


title: A Unified Convergence Theorem for Stochastic Optimization Methods

abstract: In this work, we provide a fundamental unified convergence theorem used for deriving expected and almost sure convergence results for a series of stochastic optimization methods. Our unified theorem only requires to verify several representative conditions and is not tailored to any specific algorithm. As a direct application, we recover expected and almost sure convergence results of the stochastic gradient method (SGD) and random reshuffling (RR) under more general settings. Moreover, we establish new expected and almost sure convergence results for the stochastic proximal gradient method (prox-SGD) and stochastic model-based methods (SMM) for nonsmooth nonconvex optimization problems. These applications reveal that our unified theorem provides a plugin-type convergence analysis and strong convergence guarantees for a wide class of stochastic optimization methods.


title: Universal Shape Replication Via Self-Assembly With Signal-Passing Tiles

abstract: In this paper, we investigate shape-assembling power of a tile-based model of self-assembly called the Signal-Passing Tile Assembly Model (STAM). In this model, the glues that bind tiles together can be turned on and off by the binding actions of other glues via "signals". Specifically, the problem we investigate is "shape replication" wherein, given a set of input assemblies of arbitrary shape, a system must construct an arbitrary number of assemblies with the same shapes and, with the exception of size-bounded junk assemblies that result from the process, no others. We provide the first fully universal shape replication result, namely a single tile set capable of performing shape replication on arbitrary sets of any 3-dimensional shapes without requiring any scaling or pre-encoded information in the input assemblies. Our result requires the input assemblies to be composed of signal-passing tiles whose glues can be deactivated to allow deconstruction of those assemblies, which we also prove is necessary by showing that there are shapes whose geometry cannot be replicated without deconstruction. Additionally, we modularize our construction to create systems capable of creating binary encodings of arbitrary shapes, and building arbitrary shapes from their encodings. Because the STAM is capable of universal computation, this then allows for arbitrary programs to be run within an STAM system, using the shape encodings as input, so that any computable transformation can be performed on the shapes.


title: Leptons lurking in semi-visible jets at the LHC

abstract: This Letter proposes a new search for confining dark sectors at the Large Hadron Collider. As a result of the strong dynamics in the hidden sector, dark matter could manifest in proton-proton collisions at the Large Hadron Collider in form of hadronic jets containing stable invisible bound states. These semi-visible jets have been studied theoretically and experimentally in the fully hadronic signature where the unstable composite dark matter can only decay promptly back to Standard Model quarks. We present a simplified model based on two messenger fields separated by a large mass gap allowing dark bound states to decay into pairs of oppositely charged leptons. The resulting experimental signature is characterized by non-isolated lepton pairs inside semi-visible jets. We propose a search strategy independent from the underlying model assumptions targeting this new signature, and discuss the orthogonality with respect to the existing searches. Remaining agnostic on the shape of the di-lepton spectrum, we determine the sensitivity of a dedicated analysis to the target signal. The proposed search can claim the 3{\sigma} evidence (exclusion) of the heavier mediator up to masses of 3.5 TeV (4.5 TeV) with the full Run 2 data of the LHC. Exploiting the resonant feature of the lepton pairs can enhance the sensitivity reach on a specific model. We estimate that an analysis using the di-lepton invariant mass information can reach 5{\sigma} discovery up to masses of 3.5 TeV and improve the exclusion up to more than 5 TeV.


title: Identification of a Nematic Pair Density Wave State in Bi2Sr2CaCu2O8+x

abstract: Electron-pair density wave (PDW) states are now an intense focus of research in the field of cuprate correlated superconductivity. PDWs exhibit periodically modulating superconductive electron pairing which can be visualized directly using scanned Josephson tunneling microscopy (SJTM). Although from theory, intertwining the d-wave superconducting (DSC) and PDW order parameters allows a plethora of global electron-pair orders to appear, which one actually occurs in the various cuprates is unknown. Here we use SJTM to visualize the interplay of PDW and DSC states in Bi2Sr2CaCu2O8+x at a carrier density where the charge density wave (CDW) modulations are virtually nonexistent. Simultaneous visualization of their amplitudes reveals that the intertwined PDW and DSC are mutually attractive states. Then, by separately imaging the electron-pair density modulations of the two orthogonal PDWs, we discover a robust nematic PDW state. Its spatial arrangement entails Ising domains of opposite nematicity, each consisting primarily of unidirectional and lattice commensurate electron-pair density modulations. Further, we demonstrate by direct imaging that the scattering resonances identifying Zn impurity atom sites occur predominantly within boundaries between these domains. This implies that the nematic PDW state is pinned by Zn atoms, as was recently proposed (Lozano et al, PHYSICAL REVIEW B 103, L020502 (2021)). Taken in combination, these data indicate that the PDW in Bi2Sr2CaCu2O8+x is a vestigial nematic pair density wave state (J. Wardh and M. Granath arXiv:2203.08250v1).


title: The Grothendieck Groups of Discrete Cluster Categories of Dynkin Type $A_{\infty}$

abstract: In this work we compute the triangulated Grothendieck groups for each of the family of discrete cluster categories of Dynkin type $A_{\infty}$ as introduced by Holm-Jorgensen. Subsequently, we also compute the Grothendieck group of a completion of these discrete cluster categories in the sense of Paquette-Yildirim.


title: Volumetric Image Projection Super-Resolution Ultrasound (VIP-SR) with a 1D Unfocused Linear Array

abstract: Super-Resolution Ultrasound (SRUS) through localizing spatially isolated microbubbles has been demonstrated to overcome the wave diffraction limit and reveal the microvascular structure and flow information at the microscopic scale. However, 3D SRUS imaging remains a challenge due to the fabrication and computational complexity of 2D matrix array probes and connections. Inspired by X-ray radiography which can present volumetric information in a single projection image with much simpler hardware than X-ray CT, this study investigates the feasibility of volumetric image projection super-resolution (VIP-SR) ultrasound using a 1D unfocused linear array. Both simulation and experiments were conducted on 3D microvessel phantoms using a 1D linear array with or without an elevational focus, and a 2D matrix array as the reference. Results show that, VIP-SR, using an unfocused 1D array probe can capture significantly more volumetric information than the conventional 1D elevational focused probe. Compared with the 2D projection image of the full 3D SRUS results using the 2D array probe with the same aperture size, VIP-SR has similar volumetric coverage using 32 folds less independent elements. The impact of bubble concentration and vascular density on the VIP-SR US was also investigated. This study demonstrates the ability of high-resolution volumetric imaging of microvascular structures at significantly reduced costs with VIP-SR.


title: Channel Estimation with Hybrid Reconfigurable Intelligent Metasurfaces

abstract: Reconfigurable Intelligent Surfaces (RISs) are envisioned to play a key role in future wireless communications, enabling programmable radio propagation environments. They are usually considered as almost passive planar structures that operate as adjustable reflectors, giving rise to a multitude of implementation challenges, including the inherent difficulty in estimating the underlying wireless channels. In this paper, we focus on the recently conceived concept of Hybrid Reconfigurable Intelligent Surfaces (HRISs), which do not solely reflect the impinging waveform in a controllable fashion, but are also capable of sensing and processing an adjustable portion of it. We first present implementation details for this metasurface architecture and propose a convenient mathematical model for characterizing its dual operation. As an indicative application of HRISs in wireless communications, we formulate the individual channel estimation problem for the uplink of a multi-user HRIS-empowered communication system. Considering first a noise-free setting, we theoretically quantify the advantage of HRISs in notably reducing the amount of pilots needed for channel estimation, as compared to the case of purely reflective RISs. We then present closed-form expressions for the MSE performance in estimating the individual channels at the HRISs and the base station for the noisy model. Based on these derivations, we propose an automatic differentiation-based first-order optimization approach to efficiently determine the HRIS phase and power splitting configurations for minimizing the weighted sum-MSE performance. Our numerical evaluations demonstrate that HRISs do not only enable the estimation of the individual channels in HRIS-empowered communication systems, but also improve the ability to recover the cascaded channel, as compared to existing methods using passive and reflective RISs.


title: Spatio-temporal Downscaling Emulator for Regional Climate Models: a Comparative Study

abstract: Regional Climate Models (RCM) describe the meso scale global atmospheric and oceanic dynamics and serve as dynamical downscaling models. In other words, RCMs use atmospheric and oceanic climate output from General Circulation Models (GCM) to develop a higher resolution climate output. They are computationally demanding and, depending on the application, require several orders of magnitude of computer time more than statistical climate downscaling. In this paper we describe how to use a spatio-temporal statistical model with varying coefficients (VC), as a downscaling emulator for a RCM using varying coefficients. In order to estimate the proposed model, two options are compared: INLA, and varycoef. We set up a simulation to compare the performance of both methods for building a statistical downscaling emulator for RCM, and then show that the emulator works properly for NARCCAP data. The results show that the model is able to estimate non-stationary marginal effects, which means that the downscaling output can vary over space. Furthermore, the model has flexibility to estimate the mean of any variable in space and time, and has good prediction results. INLA was the fastest method for all the cases, and the approximation with best accuracy to estimate the different parameters from the model and the posterior distribution of the response variable.


title: Anderson acceleration with approximate calculations: applications to scientific computing

abstract: We provide rigorous theoretical bounds for Anderson acceleration (AA) that allow for approximate calculations when applied to solve linear problems. We show that, when the approximate calculations satisfy the provided error bounds, the convergence of AA is maintained while the computational time could be reduced. We also provide computable heuristic quantities, guided by the theoretical error bounds, which can be used to automate the tuning of accuracy while performing approximate calculations. For linear problems, the use of heuristics to monitor the error introduced by approximate calculations, combined with the check on monotonicity of the residual, ensures the convergence of the numerical scheme within a prescribed residual tolerance. Motivated by the theoretical studies, we propose a reduced variant of AA, which consists in projecting the least-squares used to compute the Anderson mixing onto a subspace of reduced dimension. The dimensionality of this subspace adapts dynamically at each iteration as prescribed by the computable heuristic quantities. We numerically show and assess the performance of AA with approximate calculations on: (i) linear deterministic fixed-point iterations arising from the Richardson's scheme to solve linear systems with open-source benchmark matrices with various preconditioners and (ii) non-linear deterministic fixed-point iterations arising from non-linear time-dependent Boltzmann equations.

categories: math.NA astro-ph.IM cs.NA math-ph math.MP


title: Pulsar wind nebulae of runaway massive stars

abstract: A significant fraction of massive stars move at speed through the interstellar medium of galaxies. After their death as core collapse supernovae, a possible final evolutionary state is that of a fast rotating magnetised neutron star, shaping its circumstellar medium into a pulsar wind nebula. Understanding the properties of pulsar wind nebulae requires knowledge of the evolutionary history of their massive progenitors. Using 2.5D magnetohydrodynamical simulations, we demonstrate that, in the context of a runaway high mass red supergiant supernova progenitor, the morphology of its subsequent pulsar wind nebula is strongly affected by the wind of the defunct progenitor star preshaping the stellar surroundings throughout its entire past life. In particular, pulsar wind nebulae of obscured runaway massive stars harbour asymmetries function of the morphology of the progenitors wind blown cavity, inducing projected asymmetric up down synchrotron emission.


title: Gravitoturbulent dynamo in global simulations of gaseous disks

abstract: The turbulence driven by gravitational instabilities (GIs) can amplify magnetic fields in massive gaseous disks. This GI dynamo may appear in young circumstellar disks, whose weak ionization challenges other amplification routes, as well as in active galactic nuclei. Although regarded as a large-scale dynamo, only local simulations have so far described its kinematic regime. We study the GI dynamo in global magnetohydrodynamic (MHD) models of accretion disks, focusing on its kinematic phase. We perform resistive MHD simulations with the Pluto code for different radiative cooling times and electrical resistivities. A weak magnetic field seeds the dynamo, and we adopt mean-field and heuristic models to capture its essence. We recover the same induction process leading to magnetic field amplification as previously identified in local simulations. The dynamo is, however, global in nature, connecting distant annuli of the disk via a large-scale dynamo mode of a fixed growth rate. This large-scale amplification can be described by a mean-field model that does not rely on conventional alpha-Omega effects. When varying the disk parameters we find an optimal resistivity that facilitates magnetic amplification, whose magnetic Reynolds number, Rm < 10, is substantially smaller than in local simulations. Unlike local simulations, we find an optimal cooling rate and the existence of global oscillating dynamo modes. The nonlinear saturation of the dynamo puts the disk in a strongly magnetized turbulent state on the margins of the effective range of GI. In our simulations, the accretion power eventually exceeds the threshold required by local thermal balance against cooling, leaving the long-term nonlinear outcome of the GI dynamo uncertain.


title: Why second-order sufficient conditions are, in a way, easy -- or -- revisiting calculus for second subderivatives

abstract: In this paper, we readdress the classical topic of second-order sufficient optimality conditions for optimization problems with nonsmooth structure. Based on the so-called second subderivative of the objective function and of the indicator function associated with the feasible set, one easily obtains second-order sufficient optimality conditions of abstract form. In order to exploit further structure of the problem, e.g., composite terms in the objective function or feasible sets given as (images of) pre-images of closed sets under smooth transformations, to make these conditions fully explicit, we study calculus rules for the second subderivative under mild conditions. To be precise, we investigate a chain rule and a marginal function rule, which then also give a pre-image and image rule, respectively. As it turns out, the chain rule and the pre-image rule yield lower estimates desirable in order to obtain sufficient optimality conditions for free. Similar estimates for the marginal function and the image rule are valid under a comparatively mild inner calmness* assumption. Our findings are illustrated by several examples including problems from composite, disjunctive, and nonlinear second-order cone programming.


title: Can Mobile Technology Improve Female Entrepreneurship? Evidence from Nepal

abstract: Gender norms may constrain the ability of women to develop their entrepreneurial skills, particularly in rural areas. By bringing entrepreneurial training to women rather than requiring extended time away from home, mobile technology could open doors that would otherwise be closed. We randomly selected Nepali women to be trained as veterinary service providers known as community animal health workers. Half of the selected candidates were randomly assigned to a traditional training course requiring 35 consecutive days away from home, and half were assigned to a hybrid distance learning course requiring two shorter stays plus a table-based curriculum to be completed at home. Distance learning strongly increases women's ability to complete training as compared to traditional training. Distance learning has a larger effect than traditional training on boosting the number of livestock responsibilities women carry out at home, while also raising aspirations. Both training types increase women's control over income. Our results indicate that if anything, distance learning produced more effective community animal health workers.


title: Spin helices in GaAs quantum wells: Interplay of electron density, spin diffusion, and spin lifetime

abstract: To establish a correlation between the spin diffusion, the spin lifetime, and the electron density, we study, employing time-resolved magneto-optical Kerr effect microscopy, the spin polarization evolution in low-dimensional GaAs semiconductors hosting two-dimensional electron gases. It is shown that for the establishment of the longest spin-lifetime, the variation of scattering rate with the electron density is of higher importance than the fulfilling of the persistent spin helix condition when the Rashba $\alpha$ and Dresselhaus $\beta$ parameters are balanced. More specifically, regardless of the $\alpha$ and $\beta$ linear dependencies on the electron density, the spin relaxation rate is determined by the spin diffusion coefficient that depends on electron density nonmonotonously. The longest experimental spin-lifetime occurs at an electron density, corresponding to the transition from Boltzmann to Fermi-Dirac statistics, which is several times higher than that when the persistent spin helix is expected. These facts highlight the role the electron density may play when considering applications for spintronic devices.


title: A note on lc-trivial fibrations

abstract: For every lc-trivial fibration $(X,\Delta) \to Z$ from an lc pair, we prove that after a base change, there exists a positive integer $n$, depending only on the dimension of $X$, the Cartier index of $K_{X}+\Delta$, and the sufficiently general fibers of $X \to Z$, such that $n(K_{X}+\Delta)$ is linearly equivalent to the pullback of a Cartier divisor.


title: A unified stochastic approximation framework for learning in games

abstract: We develop a flexible stochastic approximation framework for analyzing the long-run behavior of learning in games (both continuous and finite). The proposed analysis template incorporates a wide array of popular learning algorithms, including gradient-based methods, the exponential/multiplicative weights algorithm for learning in finite games, optimistic and bandit variants of the above, etc. In addition to providing an integrated view of these algorithms, our framework further allows us to obtain several new convergence results, both asymptotic and in finite time, in both continuous and finite games. Specifically, we provide a range of criteria for identifying classes of Nash equilibria and sets of action profiles that are attracting with high probability, and we also introduce the notion of coherence, a game-theoretic property that includes strict and sharp equilibria, and which leads to convergence in finite time. Importantly, our analysis applies to both oracle-based and bandit, payoff-based methods - that is, when players only observe their realized payoffs.


title: Sequential Density Estimation via Nonlinear Continuous Weighted Finite Automata

abstract: Weighted finite automata (WFAs) have been widely applied in many fields. One of the classic problems for WFAs is probability distribution estimation over sequences of discrete symbols. Although WFAs have been extended to deal with continuous input data, namely continuous WFAs (CWFAs), it is still unclear how to approximate density functions over sequences of continuous random variables using WFA-based models, due to the limitation on the expressiveness of the model as well as the tractability of approximating density functions via CWFAs. In this paper, we propose a nonlinear extension to the CWFA model to first improve its expressiveness, we refer to it as the nonlinear continuous WFAs (NCWFAs). Then we leverage the so-called RNADE method, which is a well-known density estimator based on neural networks, and propose the RNADE-NCWFA model. The RNADE-NCWFA model computes a density function by design. We show that this model is strictly more expressive than the Gaussian HMM model, which CWFA cannot approximate. Empirically, we conduct a synthetic experiment using Gaussian HMM generated data. We focus on evaluating the model's ability to estimate densities for sequences of varying lengths (longer length than the training data). We observe that our model performs the best among the compared baseline methods.


title: Unitary Fermi superfluid near the critical temperature: thermodynamics and sound modes from elementary excitations

abstract: We compare recent experimental results [Science 375, 528 (2022)] of the superfluid unitary Fermi gas near the critical temperature with a thermodynamic model based on elementary excitations of the system. We find very good agreement between experimental data and our theory for several quantities such as first sound, second sound, and superfluid fraction. We also show that mode mixing between first and second sound occurs. Finally, we characterize the response amplitude to a density perturbation: close to the critical temperature both first and second sound can be excited through a density perturbation, whereas at lower temperatures only the first sound mode exhibits a significant response.


title: A projected Nesterov-Kaczmarz approach to stellar population-kinematic distribution reconstruction in Extragalactic Archaeology

abstract: In this paper, we consider the problem of reconstructing a galaxy's stellar population-kinematic distribution function from optical integral field unit measurements. These quantities are connected via a high-dimensional integral equation. To solve this problem, we propose a projected Nesterov-Kaczmarz reconstruction (PNKR) method, which efficiently leverages the problem structure and incorporates physical prior information such as smoothness and non-negativity constraints. To test the performance of our reconstruction approach, we apply it to a dataset simulated from a known ground truth density, and validate it by comparing our recoveries to those obtained by the widely used pPXF software.


title: Enabling Portability and Reusability of Open Science Infrastructures

abstract: This paper presents a methodology for designing a containerized and distributed open science infrastructure to simplify its reusability, replicability, and portability in different environments. The methodology is depicted in a step-by-step schema based on four main phases: (1) Analysis, (2) Design, (3) Definition, and (4) Managing and provisioning. We accompany the description of each step with existing technologies and concrete examples of application.


title: Boundary between noise and information applied to filtering neural network weight matrices

abstract: Deep neural networks have been successfully applied to a broad range of problems where overparametrization yields weight matrices which are partially random. A comparison of weight matrix singular vectors to the Porter-Thomas distribution suggests that there is a boundary between randomness and learned information in the singular value spectrum. Inspired by this finding, we introduce an algorithm for noise filtering, which both removes small singular values and reduces the magnitude of large singular values to counteract the effect of level repulsion between the noise and the information part of the spectrum. For networks trained in the presence of label noise, we indeed find that the generalization performance improves significantly due to noise filtering.


title: Direct Triangulation with Spherical Projection for Omnidirectional Cameras

abstract: In this paper, it is proposed to solve the problem of triangulation for calibrated omnidirectional cameras through the optimisation of ray-pairs on the projective sphere. The proposed solution boils down to finding the roots of a quadratic function, and as such is closed form, completely non-iterative and computationally inexpensive when compared to previous methods. In addition, even thought the motivation is clearly to solve the triangulation problem for omnidirectional cameras, it is demonstrated that the proposed methods can be applied to non-omnidirectional, narrow field-of-view cameras.


title: A recursive theta body for hypergraphs

abstract: The theta body of a graph, introduced by Gr\"otschel, Lov\'asz, and Schrijver in 1986, is a tractable relaxation of the independent-set polytope derived from the Lov\'asz theta number. In this paper, we recursively extend the theta body, and hence the theta number, to hypergraphs. We obtain fundamental properties of this extension and relate it to the high-dimensional Hoffman bound of Filmus, Golubev, and Lifshitz. We discuss two applications: triangle-free graphs and Mantel's theorem, and bounds on the density of triangle-avoiding sets in the Hamming cube.


title: "You Just Assume It Is In There, I Guess": UK Families' Application And Knowledge Of Smart Home Cyber Security

abstract: The Internet of Things (IoT) is increasingly present in many family homes, yet it is unclear precisely how well families understand the cyber security threats and risks of using such devices, and how possible it is for them to educate themselves on these topics. Using a survey of 553 parents and interviews with 25 families in the UK, we find that families do not consider home IoT devices to be significantly different in terms of threats than more traditional home computers, and believe the major risks to be largely mitigated through consumer protection regulation. As a result, parents focus on teaching being careful with devices to prolong device life use, exposing their families to additional security risks and modeling incorrect security behaviors to their children. This is a risk for the present and also one for the future, as children are not taught about the IoT, and appropriate cyber security management of such devices, at school. We go on to suggest that steps must be taken by manufacturers and governments or appropriate trusted institutions to improve the cyber security knowledge and behaviors of both adults and children in relation to the use of home IoT devices.


title: Learning to Generate Prompts for Dialogue Generation through Reinforcement Learning

abstract: Much literature has shown that prompt-based learning is an efficient method to make use of the large pre-trained language model. Recent works also exhibit the possibility of steering a chatbot's output by plugging in an appropriate prompt. Gradient-based methods are often used to perturb the prompts. However, some language models are not even available to the public. In this work, we first explored the combination of prompting and reinforcement learning (RL) to steer models' generation without accessing any of the models' parameters. Second, to reduce the training effort and enhance the generalizability to the unseen task, we apply multi-task learning to make the model learn to generalize to new tasks better. The experiment results show that our proposed method can successfully control several state-of-the-art (SOTA) dialogue models without accessing their parameters. Furthermore, the model demonstrates the strong ability to quickly adapt to an unseen task in fewer steps than the baseline model.


title: On the zero forcing number of the complement of graphs with forbidden subgraphs

abstract: Motivated in part by an observation that the zero forcing number for the complement of a tree on $n$ vertices is either $n-3$ or $n-1$ in one exceptional case, we consider the zero forcing number for the complement of more general graphs under some conditions, particularly those that do not contain complete bipartite subgraphs. We also move well beyond trees and completely study all of the possible zero forcing numbers for the complements of unicyclic graphs and cactus graphs.


title: TURJUMAN: A Public Toolkit for Neural Arabic Machine Translation

abstract: We present TURJUMAN, a neural toolkit for translating from 20 languages into Modern Standard Arabic (MSA). TURJUMAN exploits the recently-introduced text-to-text Transformer AraT5 model, endowing it with a powerful ability to decode into Arabic. The toolkit offers the possibility of employing a number of diverse decoding methods, making it suited for acquiring paraphrases for the MSA translations as an added value. To train TURJUMAN, we sample from publicly available parallel data employing a simple semantic similarity method to ensure data quality. This allows us to prepare and release AraOPUS-20, a new machine translation benchmark. We publicly release our translation toolkit (TURJUMAN) as well as our benchmark dataset (AraOPUS-20).


title: A Study of Continual Learning Methods for Q-Learning

abstract: We present an empirical study on the use of continual learning (CL) methods in a reinforcement learning (RL) scenario, which, to the best of our knowledge, has not been described before. CL is a very active recent research topic concerned with machine learning under non-stationary data distributions. Although this naturally applies to RL, the use of dedicated CL methods is still uncommon. This may be due to the fact that CL methods often assume a decomposition of CL problems into disjoint sub-tasks of stationary distribution, that the onset of these sub-tasks is known, and that sub-tasks are non-contradictory. In this study, we perform an empirical comparison of selected CL methods in a RL problem where a physically simulated robot must follow a racetrack by vision. In order to make CL methods applicable, we restrict the RL setting and introduce non-conflicting subtasks of known onset, which are however not disjoint and whose distribution, from the learner's point of view, is still non-stationary. Our results show that dedicated CL methods can significantly improve learning when compared to the baseline technique of "experience replay".


title: Dual-Distribution Discrepancy for Anomaly Detection in Chest X-Rays

abstract: Chest X-ray (CXR) is the most typical radiological exam for diagnosis of various diseases. Due to the expensive and time-consuming annotations, detecting anomalies in CXRs in an unsupervised fashion is very promising. However, almost all of the existing methods consider anomaly detection as a one-class classification (OCC) problem. They model the distribution of only known normal images during training and identify the samples not conforming to normal profile as anomalies in the testing phase. A large number of unlabeled images containing anomalies are thus ignored in the training phase, although they are easy to obtain in clinical practice. In this paper, we propose a novel strategy, Dual-distribution Discrepancy for Anomaly Detection (DDAD), utilizing both known normal images and unlabeled images. The proposed method consists of two modules. During training, one module takes both known normal and unlabeled images as inputs, capturing anomalous features from unlabeled images in some way, while the other one models the distribution of only known normal images. Subsequently, inter-discrepancy between the two modules, and intra-discrepancy inside the module that is trained on only normal images are designed as anomaly scores to indicate anomalies. Experiments on three CXR datasets demonstrate that the proposed DDAD achieves consistent, significant gains and outperforms state-of-the-art methods. Code is available at https://github.com/caiyu6666/DDAD.


title: Linear Precoder Design in Massive MIMO under Realistic Power Amplifier Consumption Constraint

abstract: The energy consumption of wireless networks is a growing concern. In massive MIMO systems, which are being increasingly deployed as part of the 5G roll-out, the power amplifiers in the base stations have a large impact in terms of power demands. Most of the current massive MIMO precoders are designed to minimize the transmit power. However, the efficiency of the power amplifiers depend on their operating regime with respect to their saturation regime, and the consumed power proves to be non-linearly related to the transmit power. Power consumption-based equivalents of maximum ratio transmission, zero-forcing, and regularized zero-forcing precoders are therefore proposed. We show how the structure of the solutions radically changes. While all antennas should be active in order to minimize the transmit power, we find on the contrary that a smaller number of antennas should be activated if the objective is the power consumed by the power amplifiers.


title: Optimal finite-time processes in weakly driven overdamped Brownian motion

abstract: The complete physical understanding of the optimization of the thermodynamic work still is an important open problem in stochastic thermodynamics. We address this issue using the Hamiltonian approach of linear response theory in finite time and weak processes. We derive the Euler-Lagrange equation associated and discuss its main features, illustrating them using the paradigmatic example of driven Brownian motion in overdamped regime. We show that the optimal protocols obtained either coincide, in the appropriate limit, with the exact solutions by stochastic thermodynamics or can be even identical to them, presenting the well-known jumps. However, our approach reveals that jumps at the extremities of the process are a good optimization strategy in the regime of fast but weak processes for any driven system. Additionally, we show that fast-but-weak optimal protocols are time-reversal symmetric, a property that has until now remained hidden in the exact solutions far from equilibrium.


title: A Method for Application of a Quantum Search Algorithm to Classical Databases

abstract: Grover's algorithm is normally presented as a method of searching a database, however it would be more accurately described as a method of identifying elements of an interval of the integers which satisfy some logical clause - an example might be identifying binary strings which correspond to the solutions of a Sudoku problem. In this paper we present the first method of performing a true database search using Grover's search algorithm, by first creating a mapping from a set of indices in the range 0:2^n-1 to a set of database elements, then applying the clause to these elements. We then demonstrate the feasibility of an attack against the Diffie-Hellman cryptosystem based on a Grover's search of a database of candidate solutions generated via the number field sieve algorithm.


title: Depth-Adapted CNNs for RGB-D Semantic Segmentation

abstract: Recent RGB-D semantic segmentation has motivated research interest thanks to the accessibility of complementary modalities from the input side. Existing works often adopt a two-stream architecture that processes photometric and geometric information in parallel, with few methods explicitly leveraging the contribution of depth cues to adjust the sampling position on RGB images. In this paper, we propose a novel framework to incorporate the depth information in the RGB convolutional neural network (CNN), termed Z-ACN (Depth-Adapted CNN). Specifically, our Z-ACN generates a 2D depth-adapted offset which is fully constrained by low-level features to guide the feature extraction on RGB images. With the generated offset, we introduce two intuitive and effective operations to replace basic CNN operators: depth-adapted convolution and depth-adapted average pooling. Extensive experiments on both indoor and outdoor semantic segmentation tasks demonstrate the effectiveness of our approach.


title: The lock-on effect and collapsing bipolar Gunn domains in high-voltage GaAs avalanche p-n junction diode

abstract: We present experimental evidence and physics-based simulations of the lock-on effect in high-voltage GaAs avalanche diodes. The avalanche triggering is initiated by steep voltage ramp applied to the diode and in-series 50 Ohm load. After subnanosecond avalanche switching the reversely biased GaAs diode remains in the conducting state for the whole duration of the applied pulse (dozens of nanoseconds). There is no indication of the p-n junction recovery that is commonly expected to develop on the nanosecond scale due to the drift extraction of non-equilibrium carriers. The diode voltage keeps a constant value of ~70 V much lower than the stationary breakdown voltage of 400 V. Numerical simulations reveal that the conducting state is supported by impact ionization in narrow high-field collapsing Gunn domains as well as in quasi-stationary cathode and anode ionizing domains. Collapsing Gunn domains spontaneously appear in the dense electron-hole plasma due to the negative differential mobility of electrons in GaAs. The effect resembles the lock-on effect of GaAs bulk photoconductive switches but is observed in reversely biased p-n junction diode switched by a non-optical method.


title: Polynomial Matrix Inequalities within Tame Geometry

abstract: Polynomial matrix inequalities can be solved using hierarchies of convex relaxations, pioneered by Henrion and Lassere. In some cases, this might not be practical, and one may need to resort to methods with local convergence guarantees, whose development has been rather ad hoc, so far. In this paper, we explore several alternative approaches to the problem, with non-trivial guarantees available using results from tame geometry.