title: Validation of a model for an electro-active polymer

abstract: Ionic electro-active polymers (EAP) are able to deform under the action of an electric field, which confers them many applications as sensor, actuator or energy recovery.An ionic metal-polymer composite (IPMC) consists in an ionic polymer film coated on both sides with a thin layer of metallic electrodes. The polymer is saturated with water, which results in its quasi complete dissociation : negative ions remain bound to the polymer backbone, which can be considered as a porous medium, and small cations are released in water. When an electric field orthogonal to the strip is applied, the cations move towards the negative electrode and carry solvent away by osmosis, causing the bending of the strip.We had previously established the conservation laws and the constitutive equations of this material. This model has been applied to the case of a cantilevered EAP strip subjected to a continuous voltage between its two faces (static case). Since the amplitude of the bending is large, the applied forces and the deflection are calculated using a beam model in large displacements. We also studied the case of a blocking force preventing the free end from moving. The material permittivity may increase with cations concentration, so we have compared several permittivity models : constant, linear and affine functions.Numerical simulations were performed in the case of Nafion. The resolution of the equations system enabled us to draw the profiles of various quantities (cations concentration, electric potential and induction, pressure), which drastically vary near the electrodes. The tip displacement and blocking force values obtained fit well the experimental data published in the literature. We also studied the influence of the strip geometry, which is identical for the three models. On the contrary, the variations of these two quantities with the imposed electric potential depend on the chosen permittivity model, which allows to discriminate them.


title: Absorption Paths and Equilibria in Quitting Games

abstract: We study quitting games and define the concept of absorption paths, which is an alternative definition to strategy profiles that accomodates both discrete time aspects and continuous time aspects, and is parameterized by the total probability of absorption in past play rather than by time. We then define the concept of sequentially 0perfect absorption paths, which are shown to be limits of $\epsilon$-equilibrium strategy profiles as $\epsilon$ goes to 0. We finally identify a class of quitting games that possess sequentially 0-perfect absorption paths.


title: Percolation in the Boolean model with convex grains in high dimension

abstract: We investigate percolation in the Boolean model with convex grains in high dimension. For each dimension d, one fixes a compact, convex and symmetric set K $\subset$ R d with non empty interior. In a first setting, the Boolean model is a reunion of translates of K. In a second setting, the Boolean model is a reunion of translates of K or $\rho$K for a further parameter $\rho$ $\in$ (1, 2). We give the asymptotic behavior of the percolation probability and of the percolation threshold in the two settings.


title: Efficient Automatic CASH via Rising Bandits

abstract: The Combined Algorithm Selection and Hyperparameter optimization (CASH) is one of the most fundamental problems in Automatic Machine Learning (AutoML). The existing Bayesian optimization (BO) based solutions turn the CASH problem into a Hyperparameter Optimization (HPO) problem by combining the hyperparameters of all machine learning (ML) algorithms, and use BO methods to solve it. As a result, these methods suffer from the low-efficiency problem due to the huge hyperparameter space in CASH. To alleviate this issue, we propose the alternating optimization framework, where the HPO problem for each ML algorithm and the algorithm selection problem are optimized alternately. In this framework, the BO methods are used to solve the HPO problem for each ML algorithm separately, incorporating a much smaller hyperparameter space for BO methods. Furthermore, we introduce Rising Bandits, a CASH-oriented Multi-Armed Bandits (MAB) variant, to model the algorithm selection in CASH. This framework can take the advantages of both BO in solving the HPO problem with a relatively small hyperparameter space and the MABs in accelerating the algorithm selection. Moreover, we further develop an efficient online algorithm to solve the Rising Bandits with provably theoretical guarantees. The extensive experiments on 30 OpenML datasets demonstrate the superiority of the proposed approach over the competitive baselines.


title: Freeform shape optimization of a compact DC photo-electron gun using isogeometric analysis

abstract: Compact DC high-voltage photo-electron guns are able to meet the sophisticated demands of high-current applications such as energy recovery linacs. A main design parameter for such sources is the electric field strength, which depends on the electrode geometry and is limited by the field emission threshold of the electrode material. In order to minimize the maximum field strength for optimal gun operation, isogeometric analysis (IGA) can be used to exploit the axisymmetric geometry and describe its cross section by non-uniform rational B-splines, the control points of which are the parameters to be optimized. This computationally efficient method is capable of describing CAD-generated geometries using open source software (GeoPDEs, NLopt, Octave) and it can simplify the step from design to simulation. We will present the mathematical formulation, the software workflow, and the results of an IGA-based shape optimization for a planned high-voltage upgrade of the DC photogun teststand Photo-CATCH at TU Darmstadt. The software builds on a general framework for isogeometric analysis and allows for easy adaptations to other geometries or quantities of interest. Simulations assuming a bias voltage of -300 kV yielded maximum field gradients of 9.06 MV/m on the surface of an inverted insulator electrode and below 3 MV/m on the surface of the photocathode.


title: CrossNER: Evaluating Cross-Domain Named Entity Recognition

abstract: Cross-domain named entity recognition (NER) models are able to cope with the scarcity issue of NER samples in target domains. However, most of the existing NER benchmarks lack domain-specialized entity types or do not focus on a certain domain, leading to a less effective cross-domain evaluation. To address these obstacles, we introduce a cross-domain NER dataset (CrossNER), a fully-labeled collection of NER data spanning over five diverse domains with specialized entity categories for different domains. Additionally, we also provide a domain-related corpus since using it to continue pre-training language models (domain-adaptive pre-training) is effective for the domain adaptation. We then conduct comprehensive experiments to explore the effectiveness of leveraging different levels of the domain corpus and pre-training strategies to do domain-adaptive pre-training for the cross-domain task. Results show that focusing on the fractional corpus containing domain-specialized entities and utilizing a more challenging pre-training strategy in domain-adaptive pre-training are beneficial for the NER domain adaptation, and our proposed method can consistently outperform existing cross-domain NER baselines. Nevertheless, experiments also illustrate the challenge of this cross-domain NER task. We hope that our dataset and baselines will catalyze research in the NER domain adaptation area. The code and data are available at https://github.com/zliucr/CrossNER.


title: Null-controllability of evolution equations associated with fractional Shubin operators through quantitative Agmon estimates

abstract: We consider the anisotropic Shubin operators $(-\Delta)^m + \vert x\vert^{2k}$ acting on the space $L^2(\mathbb R^n)$, with $k, m \geq1$ some positive integers. We provide sharp quantitative estimates in Gelfand-Shilov spaces for the eigenfunctions of these selfadjoint differential operators, that is, exponential decay estimates both for these functions and their Fourier transforms in $L^2(\mathbb R^n)$. The strategy implemented is based on the classical approach to obtain Agmon estimates in spectral theory. By using a Weyl law for the eigenvalues of the anisotropic Shubin operators, we also describe the smoothing properties of the semigroups generated by the fractional powers of these operators, with precise estimates in short times. This description allows us to prove positive null-controllability results for the associated evolution equations posed on the whole space $\mathbb R^n$, from control supports which are thick with respect to densities and in any positive time. We generalize in particular results known for the evolution equations associated with fractional harmonic oscillators.


title: MAP-Elites enables Powerful Stepping Stones and Diversity for Modular Robotics

abstract: In modular robotics, modules can be reconfigured to change the morphology of the robot, making it able to adapt for specific tasks. However, optimizing both the body and control is a difficult challenge due to the intricate relationship between fine-tuning control and morphological changes that can invalidate such optimizations. To solve this challenge we compare three different Evolutionary Algorithms on their capacity to optimize morphologies in modular robotics. We compare two objective-based search algorithms, with MAP-Elites. To understand the benefit of diversity we transition the evolved populations into two difficult environments to see if diversity can have an impact on solving complex environments. In addition, we analyse the genealogical ancestry to shed light on the notion of stepping stones as key to enable high performance. The results show that MAP-Elites is capable of evolving the highest performing solutions in addition to generating the largest morphological diversity. For the transition between environments the results show that MAP-Elites is better at regaining performance by promoting morphological diversity. With the analysis of genealogical ancestry we show that MAP-Elites produces more diverse and higher performing stepping stones than the other objective-based search algorithms. Transitioning the populations to more difficult environments show the utility of morphological diversity, while the analysis of stepping stones show a strong correlation between diversity of ancestry and maximum performance on the locomotion task. The paper shows the advantage of promoting diversity for solving a locomotion task in different environments for modular robotics. By showing that the quality and diversity of stepping stones in Evolutionary Algorithms is an important factor for overall performance we have opened up a new area of analysis and results.


title: The automorphism group of the random poset does not admit a generic pair

abstract: We show that the conjugacy class of every pair of automoprhisms of the random poset is meager. This answers a question of Truss; see also Kuske-Truss. EDIT. Work in progress, at the moment there is a gap in the proof of Theorem 2.


title: Learning Structured Declarative Rule Sets -- A Challenge for Deep Discrete Learning

abstract: Arguably the key reason for the success of deep neural networks is their ability to autonomously form non-linear combinations of the input features, which can be used in subsequent layers of the network. The analogon to this capability in inductive rule learning is to learn a structured rule base, where the inputs are combined to learn new auxiliary concepts, which can then be used as inputs by subsequent rules. Yet, research on rule learning algorithms that have such capabilities is still in their infancy, which is - we would argue - one of the key impediments to substantial progress in this field. In this position paper, we want to draw attention to this unsolved problem, with a particular focus on previous work in predicate invention and multi-label rule learning


title: Forecasting the Olympic medal distribution during a pandemic: a socio-economic machine learning model

abstract: Forecasting the number of Olympic medals for each nation is highly relevant for different stakeholders: Ex ante, sports betting companies can determine the odds while sponsors and media companies can allocate their resources to promising teams. Ex post, sports politicians and managers can benchmark the performance of their teams and evaluate the drivers of success. To significantly increase the Olympic medal forecasting accuracy, we apply machine learning, more specifically a two-staged Random Forest, thus outperforming more traditional na\"ive forecast for three previous Olympics held between 2008 and 2016 for the first time. Regarding the Tokyo 2020 Games in 2021, our model suggests that the United States will lead the Olympic medal table, winning 120 medals, followed by China (87) and Great Britain (74). Intriguingly, we predict that the current COVID-19 pandemic will not significantly alter the medal count as all countries suffer from the pandemic to some extent (data inherent) and limited historical data points on comparable diseases (model inherent).


title: Meta Learning-based MIMO Detectors: Design, Simulation, and Experimental Test

abstract: Deep neural networks (NNs) have exhibited considerable potential for efficiently balancing the performance and complexity of multiple-input and multiple-output (MIMO) detectors. We propose a receiver framework that enables efficient online training by leveraging the following simple observation: although NN parameters should adapt to channels, not all of them are channel-sensitive. In particular, we use a deep unfolded NN structure that represents iterative algorithms in signal detection and channel decoding modules as multi layer deep feed forward networks. An expectation propagation (EP) module, called EPNet, is established for signal detection by unfolding the EP algorithm and rendering the damping factors trainable. An unfolded turbo decoding module, called TurboNet, is used for channel decoding. This component decodes the turbo code, where trainable NN units are integrated into the traditional max-log-maximum a posteriori decoding procedure. We demonstrate that TurboNet is robust for channels and requires only one off-line training. Therefore, only a few damping factors in EPNet must be re-optimized online. An online training mechanism based on meta learning is then developed. Here, the optimizer, which is implemented by long short-term memory NNs, is trained to update damping factors efficiently by using a small training set such that they can quickly adapt to new environments. Simulation results indicate that the proposed receiver significantly outperforms traditional receivers and that the online learning mechanism can quickly adapt to new environments. Furthermore, an over-the-air platform is presented to demonstrate the significant robustness of the proposed receiver in practical deployment.


title: Combining Machine Learning and Human Experts to Predict Match Outcomes in Football: A Baseline Model

abstract: In this paper, we present a new application-focused benchmark dataset and results from a set of baseline Natural Language Processing and Machine Learning models for prediction of match outcomes for games of football (soccer). By doing so we give a baseline for the prediction accuracy that can be achieved exploiting both statistical match data and contextual articles from human sports journalists. Our dataset is focuses on a representative time-period over 6 seasons of the English Premier League, and includes newspaper match previews from The Guardian. The models presented in this paper achieve an accuracy of 63.18% showing a 6.9% boost on the traditional statistical methods.


title: Deep learning for clustering of continuous gravitational wave candidates II: identification of low-SNR candidates

abstract: Broad searches for continuous gravitational wave signals rely on hierarchies of follow-up stages for candidates above a given significance threshold. An important step to simplify these follow-ups and reduce the computational cost is to bundle together in a single follow-up nearby candidates. This step is called clustering and we investigate carrying it out with a deep learning network. In our first paper [1], we implemented a deep learning clustering network capable of correctly identifying clusters due to large signals. In this paper, a network is implemented that can detect clusters due to much fainter signals. These two networks are complementary and we show that a cascade of the two networks achieves an excellent detection efficiency across a wide range of signal strengths, with a false alarm rate comparable/lower than that of methods currently in use.


title: Using Feature Alignment Can Improve Clean Average Precision and Adversarial Robustness in Object Detection

abstract: The 2D object detection in clean images has been a well studied topic, but its vulnerability against adversarial attack is still worrying. Existing work has improved robustness of object detectors by adversarial training, at the same time, the average precision (AP) on clean images drops significantly. In this paper, we propose that using feature alignment of intermediate layer can improve clean AP and robustness in object detection. Further, on the basis of adversarial training, we present two feature alignment modules: Knowledge-Distilled Feature Alignment (KDFA) module and Self-Supervised Feature Alignment (SSFA) module, which can guide the network to generate more effective features. We conduct extensive experiments on PASCAL VOC and MS-COCO datasets to verify the effectiveness of our proposed approach. The code of our experiments is available at https://github.com/grispeut/Feature-Alignment.git.


title: Exteriors to bouncing collapse models

abstract: We construct a large class of spacetimes that are smoothly matched to homogeneous, spherically symmetric clouds of matter. The evolution of the clouds is left arbitrary to allow for the incorporation of modifications by quantum effects, which can in particular lead to bounces. We further discuss two simple yet illustrative examples of these spacetimes, both in general terms and for a specific form of the bounce, with a focus on horizon behavior and relevant timescales.


title: A review of the ocean-atmosphere interactions during tropical cyclones in the north Indian Ocean

abstract: The north Indian Ocean accounts for 6% of the global tropical cyclones annually. Despite the small fraction of cyclones, some of the most devastating cyclones have formed in this basin, causing extensive damage to the life and property in the north Indian Ocean rim countries. In this review article, we highlight the advancement in research in terms of ocean-atmosphere interaction during cyclones in the north Indian Ocean and identify the gap areas where our understanding is still lacking.


title: A modular massively parallel computing environment for three-dimensional multiresolution simulations of compressible flows

abstract: Numerical investigation of compressible flows faces two main challenges. In order to accurately describe the flow characteristics, high-resolution nonlinear numerical schemes are needed to capture discontinuities and resolve wide convective, acoustic and interfacial scale ranges. The simulation of realistic 3D problems with state-of-the-art FVM based on approximate Riemann solvers with weighted nonlinear reconstruction schemes requires the usage of HPC architectures. Efficient compression algorithms reduce computational and memory load. Fully adaptive MR algorithms with LTS have proven their potential for such applications. While modern CPU require multiple levels of parallelism to achieve peak performance, the fine grained MR mesh adaptivity results in challenging compute/communication patterns. Moreover, LTS incur for strong data dependencies which challenge a parallelization strategy. We address these challenges with a block-based MR algorithm, where arbitrary cuts in the underlying octree are possible. This allows for a parallelization on distributed-memory machines via the MPI. We obtain neighbor relations by a simple bit-logic in a modified Morton Order. The block-based concept allows for a modular setup of the source code framework in which the building blocks of the algorithm, such as the choice of the Riemann solver or the reconstruction stencil, are interchangeable without loss of parallel performance. We present the capabilities of the modular framework with a range of test cases and scaling analysis with effective resolutions beyond one billion cells using $\mathcal{O}(10^3)$ cores.


title: Entanglement wedge reconstruction and correlation measures in mixed states: modular flows versus quantum recovery channels

abstract: In this work we study the nature of correlations among mixed states in the setup of two symmetric strips. We use various tools to determine how the bulk geometry could be reconstructed from the boundary mixed information. These tools would be the modular Hamiltonian and modular flow, OPE blocks, quantum recovery channels such as Petz map, Uhlmann holonomy and Wilson lines. We comment on the similarities and connections between these approaches in our symmetric setup of a mixed system. Specially, we use parameters such as dissipation which is being modeled by the mass of graviton, and also the same sign charge of the two strips to find connections between these different approaches. Then, using Uhlmann fidelity as the correlation measure, we look into the various types of correlations in mixed systems such as discord. Next, we use simple results of modular Hamiltonian for fermions to get insights about the relations between modular flow and entanglement and complexity of purification (EoP/CoP), and also behavior of modular flows in confining geometries. Finally, we study the dynamics of correlations using various information speeds and also model of void formation in CFTs and again we comment on their relationships with the behavior of EoP and CoP.


title: Stimulated emission at 1.54 $\mu$m from Erbium/Oxygen-doped silicon-based light emitting diodes

abstract: Silicon-based light sources including light-emitting diodes (LEDs) and laser diodes (LDs) for information transmission are urgently needed for developing monolithic integrated silicon photonics. Silicon doped by ion implantation with erbium ions (Er$^{3+}$) is considered a promising approach, but suffers from an extremely low quantum efficiency. Here we report an electrically pumped superlinear emission at 1.54 $\mu$m from Er/O-doped silicon planar LEDs, which are produced by applying a new deep cooling process. Stimulated emission at room temperature is realized with a low threshold current of ~6 mA (~0.8 A/cm2). Time-resolved photoluminescence and photocurrent results disclose the complex carrier transfer dynamics from the silicon to Er3+ by relaxing electrons from the indirect conduction band of the silicon. This picture differs from the frequently-assumed energy transfer by electron-hole pair recombination of the silicon host. Moreover, the amplified emission from the LEDs is likely due to a quasi-continuous Er/O-related donor band created by the deep cooling technique. This work paves a way for fabricating superluminescent diodes or efficient LDs at communication wavelengths based on rare-earth doped silicon.


title: Algorithms for finding $k$ in $k$-means

abstract: $k-$means Clustering requires as input the exact value of $k$, the number of clusters. Two challenges are open: (i) Is there a data-determined definition of $k$ which is provably correct and (ii) Is there a polynomial time algorithm to find $k$ from data ? This paper provides the first affirmative answers to both these questions. As common in the literature, we assume that the data admits an unknown Ground Truth (GT) clustering with cluster centers separated. This assumption alone is not sufficient to answer Yes to (i). We assume a novel, but natural second constraint called no tight sub-cluster (NTSC) which stipulates that no substantially large subset of a GT cluster can be "tighter" (in a sense we define) than the cluster. Our yes answer to (i) and (ii) are under these two deterministic assumptions. We also give polynomial time algorithm to identify $k$. Our algorithm relies on NTSC to peel off one cluster at a time by identifying points which are tightly packed. We are also able to show that our algorithm(s) apply to data generated by mixtures of Gaussians and more generally to mixtures of sub-Gaussian pdf's and hence are able to find the number of components of the mixture from data. To our knowledge, previous results for these specialized settings as well, assume generally that $k$ is given besides the data.


title: Generating ideals by additive subgroups of rings

abstract: We obtain several fundamental results on finite index ideals and additive subgroups of rings as well as on model-theoretic connected components of rings, which concern generating in finitely many steps inside additive groups of rings. Let $R$ be any ring equipped with an arbitrary additional first order structure, and $A$ a set of parameters. We show that whenever $H$ is an $A$-definable, finite index subgroup of $(R,+)$, then $H+RH$ contains an $A$-definable, two-sided ideal of finite index. As a corollary, we positively answer Question 3.9 of [Bohr compactifications of groups and rings, J. Gismatullin, G. Jagiella and K. Krupi\'nski]: if $R$ is unital, then $(\bar R,+)^{00}_A + \bar R \cdot (\bar R,+)^{00}_A + \bar R \cdot (\bar R,+)^{00}_A = \bar R^{00}_A$, where $\bar R \succ R$ is a sufficiently saturated elementary extension of $R$, and $(\bar R,+)^{00}_A$ [resp. $\bar R^{00}_A$] is the smallest $A$-type-definable, bounded index additive subgroup [resp. ideal] of $\bar R$. This implies that $\bar R^{00}_A=\bar R^{000}_A$, where $\bar R^{000}_A$ is the smallest invariant over $A$, bounded index ideal of $\bar R$. If $R$ is of finite characteristic (not necessarily unital), we get a sharper result: $(\bar R,+)^{00}_A + \bar R \cdot (\bar R,+)^{00}_A = \bar R^{00}_A$. We obtain similar results for finitely generated (not necessarily unital) rings and for topological rings. The above results imply that the simplified descriptions of the definable (so also classical) Bohr compactifications of triangular groups over unital rings obtained in Corollary 3.5 of the aforementioned paper are valid for all unital rings. We analyze many examples, where we compute the number of steps needed to generate a group by $(\bar R \cup \{1\}) \cdot (\bar R,+)^{00}_A$ and study related aspects, showing "optimality" of some of our main results and answering some natural questions.


title: Instantons in the out-of-equilibrium Coulomb blockade

abstract: Physical properties of single-electron devices in the week Coulomb blockade regime are significantly dependent on non-perturbative effects. They arise as instanton solutions of equations of motion for the corresponding Ambegaokar-Eckern-Schoen action. In equilibrium those solutions are known as Korshunov instantons. In this paper we study non-equilibrium Ambegaokar-Eckern- Schoen action using Keldysh technique. We found instantons for the most general stationary out-of equilibrium state. We also found that action saddle-point value assumes a universal value irrespective of the stationary non-equilibrium state.


title: ALICE data processing for Run 3 and Run 4 at the LHC

abstract: During the upcoming Runs 3 and 4 of the LHC, ALICE will take data at a peak Pb-Pb collision rate of 50 kHz. This will be made possible thanks to the upgrade of the main tracking detectors of the experiment, and with a new data processing strategy. In order to collect the statistics needed for the precise measurements that ALICE aims at, a continuous readout will be adopted. This brings about the challenge of handling unprecedented data rates. The ~3.5 TB/s of raw data from the detectors will be reduced to about 600 GB/s on the First Level Processing (FLP) nodes, and sent to the Event Processing layer for further processing and reduction to less than 100 GB/s of data to be stored permanently. This synchronous processing stage, which will include reconstruction, calibration and compression procedures, will be followed by an asynchronous one to account for final calibrations. Quality Control (QC) will be intensively used in all the processing stages. This talk illustrates the processing flow for ALICE in Runs 3 and 4, with emphasis on the components of the synchronous processing. The chosen software design will be described. An overview of the data analysis framework is included as well.


title: Exceptional characters and nonvanishing of Dirichlet $L$-functions

abstract: Let $\psi$ be a real primitive character modulo $D$. If the $L$-function $L(s,\psi)$ has a real zero close to $s=1$, known as a Landau-Siegel zero, then we say the character $\psi$ is exceptional. Under the hypothesis that such exceptional characters exist, we prove that at least fifty percent of the central values $L(1/2,\chi)$ of the Dirichlet $L$-functions $L(s,\chi)$ are nonzero, where $\chi$ ranges over primitive characters modulo $q$ and $q$ is a large prime of size $D^{O(1)}$. Under the same hypothesis we also show that, for almost all $\chi$, the function $L(s,\chi)$ has at most a simple zero at $s = 1/2$.


title: Parity-time symmetry and coherent perfect absorption in a cooperative atom response

abstract: Parity-Time ($\mathcal{PT}$) symmetry has become an important concept in the design of synthetic optical materials, with exotic functionalities such as unidirectional transport and non-reciprocal reflection. At exceptional points, this symmetry is spontaneously broken, and solutions transition from those with conserved intensity to exponential growth or decay. Here we analyze a quantum-photonic surface formed by a single layer of atoms in an array with light mediating strong cooperative many-body interactions. We show how delocalized collective excitation eigenmodes can exhibit an effective $\mathcal{PT}$ symmetry and non-exponential decay. This effective symmetry is achieved in a passive system without gain by balancing the scattering of a bright mode with the loss from a subradiant dark mode. These modes coalesce at exceptional points, evidenced by the emergence of coherent perfect absorption where coherent incoming light is perfectly absorbed and scattered only incoherently. We also show how $\mathcal{PT}$ symmetry can be generated in total reflection and by balancing scattering and loss between different polarizations of collective modes.

categories: physics.optics cond-mat.quant-gas physics.atom-ph quant-ph


title: Single-mode fiber coupling with a M-SPGD algorithm for long-range quantum communications

abstract: Satellite-based quantum communication is a promising approach for realizing global-scale quantum networks. For free-space quantum channel, single-mode fiber coupling is particularly important for improving signal-to-noise ratio of daylight quantum key distribution (QKD) and compatibility with standard fiber-based QKD. However, achieving a highly efficient and stable single-mode coupling efficiency under strong atmospheric turbulence remains experimentally challenging. Here, we develop a single-mode receiver with an adaptive optics (AO) system based on a modal version of the stochastic parallel gradient descent (M-SPGD) algorithm and test its performance over an 8 km urban terrestrial free-space channel. Under strong atmospheric turbulence, the M-SPGD AO system obtains an improvement of about 3.7 dB in the single-mode fiber coupling efficiency and a significant suppression of fluctuation, which can find its applications in free-space long-range quantum communications.


title: End-to-End Chinese Parsing Exploiting Lexicons

abstract: Chinese parsing has traditionally been solved by three pipeline systems including word-segmentation, part-of-speech tagging and dependency parsing modules. In this paper, we propose an end-to-end Chinese parsing model based on character inputs which jointly learns to output word segmentation, part-of-speech tags and dependency structures. In particular, our parsing model relies on word-char graph attention networks, which can enrich the character inputs with external word knowledge. Experiments on three Chinese parsing benchmark datasets show the effectiveness of our models, achieving the state-of-the-art results on end-to-end Chinese parsing.


title: Accurate Determination of the Charge Transfer Efficiency of Photoanodes for Solar Water Splitting

abstract: The oxygen evolution reaction (OER) at the surface of semiconductor photoanodes involves photo-generated holes that oxidize water. A certain fraction of the holes that reach the surface recombine with electrons from the conduction band, giving rise to the surface recombination loss. The charge transfer efficiency, xt, defined as the ratio between the flux of holes that contribute to the water oxidation reaction and the total flux of holes that reach the surface, is an important parameter that helps to distinguish between bulk and surface recombination losses. However, accurate determination of xt by conventional voltammetry measurements is complicated because only the total current is measured and it is difficult to discern between different contributions to the current. Chopped light measurement and hole scavenger measurement techniques are widely employed to determine xt, but they often lead to errors. Intensity modulated photocurrent spectroscopy (IMPS) is better suited for accurate determination of xt because it provides direct information on both the total photocurrent and the surface recombination current. Careful analysis of IMPS measurements at different light intensities is required to account for nonlinear effects. We compare the xt values obtained by these methods using heteroepitaxial hematite photoanodes. A wide spread of xt values is obtained by different analysis methods and different light sources and light intensities. Statistical analysis of the results show good correlation between different methods for measurements carried out with the same light source, light intensity and potential. However, there is a considerable spread in the results obtained by different methods. For accurate determination of xt, we recommend IMPS measurements with a bias light intensity such that the irradiance is as close as possible to the standard solar spectrum.


title: Multi-particle systems in quantum spacetime and a novel challenge for center-of-mass motion

abstract: In recent times there has been considerable interest in scenarios for quantum gravity in which particle kinematics is affected nonlinearly by the Planck scale, with encouraging results for the phenomenological prospects, but also some concerns that the nonlinearities might produce pathological properties for composite/multiparticle systems. We here focus on kinematics in the $\kappa$-Minkowski noncommutative spacetime, the quantum spacetime which has been most studied from this perspective, and compare the implications of the alternative descriptions of the total momentum of a multiparticle system which have been so far proposed. We provide evidence suggesting that priority should be given to defining the total momentum as the standard linear sum of the momenta of the particles composing the system. We also uncover a previously unnoticed feature concerning some (minute but conceptually important) effects on center-of-mass motion due to properties of the motion of the constituents relative to the center of mass.


title: An Example of Intrinsic Randomness in Deterministic PDEs

abstract: A new mechanism leading to a random version of Burgers' equation is introduced: it is shown that the Totally Asymmetric Exclusion Process in discrete time (TASEP) can be understood as an intrinsically stochastic, non-entropic weak solution of Burgers' equation on $\mathbb{R}$. In this interpretation, the appearance of randomness in the Burgers' dynamics is caused by random additions of jumps to the solution, corresponding to the random effects in TASEP.


title: SimAEN -- Simulated Automated Exposure Notification

abstract: Mitigation strategies that remove infectious individuals from the greater population have to balance their efficacy with the economic effects associated with quarantine and have to contend with the limited resources available to the public health authorities. Prior strategies have relied on testing and contact tracing to find individuals before they become infectious and in order to limit their interactions with others until after their infectious period has passed. Manual contact tracing is a public health intervention where individuals testing positive are interviewed to identify other members of the community who they may have come into contact with. These interviews can take a significant amount of time that has to be tallied in the overall accounting of the outbreak cost. The concept of contact tracing has been expanded recently into Automated Exposure Notification whereby cellphones can be used as sensor platforms to log close contacts and notify the owner in the event that one of their close contacts tests positive. The intention is that this notification will prompt the person to be tested and then restrict their interactions with others until their status is determined. In this paper we describe our efforts to investigate the effectiveness of contact tracing interventions on controlling an outbreak. This is accomplished by creating a model of disease spread and then observing the impact that simulated tracing and testing have on the number of infected individuals. Model parameters are explored to identify critical transition points where interventions become effective. We estimate the benefits as well as costs in order to offer insight to public health officials as they select courses of action.


title: An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels

abstract: We show that 11-channel sorting networks have at least 35 comparators and that 12-channel sorting networks have at least 39 comparators. This positively settles the optimality of the corresponding sorting networks given in The Art of Computer Programming vol. 3 and closes the two smallest open instances of the Bose-Nelson sorting problem. We obtain these bounds by generalizing a result of Van Voorhis from sorting networks to a more general class of comparator networks. From this we derive a dynamic programming algorithm that computes the optimal size for a sorting network with a given number of channels. From an execution of this algorithm we construct a certificate containing a derivation of the corresponding lower size bound, which we check using a program formally verified using the Isabelle/HOL proof assistant.


title: Detuning modulated universal composite pulses

abstract: We present a general method to derive detuning-modualted composite pulses (DMCPs) as N rotations of a canonical two-state quantum system to create accurate and robust pulses that are independent of the initial state of the system. This scheme has minimal pulse overhead, and achieves pulses that are stable against amplitude errors well within the $10^{-4}$ threshold that may be suitable for quantum information processing (QIP), within the lifetime of the system. This family of pulses enables to overcome inevitable fabrication errors in silicon photonics, and relax the need for a precise initial state of light coupled into the system to achieve accurate light transfer. Furthermore, we extend universal DMCPs to n-level systems with irreducible SU(2) symmetry to create state transfer that is highly robust to errors in the pulse area from any initial state.


title: A Primal-Dual Framework for Decentralized Stochastic Optimization

abstract: We consider the decentralized convex optimization problem, where multiple agents must cooperatively minimize a cumulative objective function, with each local function expressible as an empirical average of data-dependent losses. State-of-the-art approaches for decentralized optimization rely on gradient tracking, where consensus is enforced via a doubly stochastic mixing matrix. Construction of such mixing matrices is not straightforward and requires coordination even prior to the start of the optimization algorithm. This paper puts forth a primal-dual framework for decentralized stochastic optimization that obviates the need for such doubly stochastic matrices. Instead, dual variables are maintained to track the disagreement between neighbors. The proposed framework is flexible and is used to develop decentralized variants of SAGA, L-SVRG, SVRG++, and SEGA algorithms. Using a unified proof, we establish that the oracle complexity of these decentralized variants is $O(1/\epsilon)$, matching the complexity bounds obtained for the centralized variants. Additionally, we also present a decentralized primal-dual accelerated SVRG algorithm achieving $O(1/\sqrt{\epsilon})$ oracle complexity, again matching the bound for the centralized accelerated SVRG. Numerical tests on the algorithms establish their superior performance as compared to the variance-reduced gradient tracking algorithms.


title: Computing The Packedness of Curves

abstract: A polygonal curve $P$ with $n$ vertices is $c$-packed, if the sum of the lengths of the parts of the edges of the curve that are inside any disk of radius $r$ is at most $cr$, for any $r>0$. Similarly, the concept of $c$-packedness can be defined for any scaling of a given shape. Assuming $L$ is the diameter of $P$ and $\delta$ is the minimum distance between points on disjoint edges of $P$, we show the approximation factor of the existing $O(\frac{\log (L/\delta)}{\epsilon}n^3)$ time algorithm is $1+\epsilon$-approximation algorithm. The massively parallel versions of these algorithms run in $O(\log (L/\delta))$ rounds. We improve the existing $O((\frac{n}{\epsilon^3})^{\frac 4 3}\polylog \frac n \epsilon)$ time $(6+\epsilon)$-approximation algorithm by providing a $(4+\epsilon)$-approximation $O(n(\log^2 n)(\log^2 \frac{1}{\epsilon})+\frac{n}{\epsilon})$ time algorithm, and the existing $O(n^2)$ time $2$-approximation algorithm improving the existing $O(n^2\log n)$ time $2$-approximation algorithm. Our exact $c$-packedness algorithm takes $O(n^5)$ time, which is the first exact algorithm for disks. We show using $\alpha$-fat shapes instead of disks adds a factor $\alpha^2$ to the approximation. We also give a data-structure for computing the curve-length inside query disks. It has $O(n^6\log n)$ construction time, uses $O(n^6)$ space, and has query time $O(\log n+k)$, where $k$ is the number of intersected segments with the query shape. We also give a massively parallel algorithm for relative $c$-packedness with $O(1)$ rounds.


title: Structure-Consistent Weakly Supervised Salient Object Detection with Local Saliency Coherence

abstract: Sparse labels have been attracting much attention in recent years. However, the performance gap between weakly supervised and fully supervised salient object detection methods is huge, and most previous weakly supervised works adopt complex training methods with many bells and whistles. In this work, we propose a one-round end-to-end training approach for weakly supervised salient object detection via scribble annotations without pre/post-processing operations or extra supervision data. Since scribble labels fail to offer detailed salient regions, we propose a local coherence loss to propagate the labels to unlabeled regions based on image features and pixel distance, so as to predict integral salient regions with complete object structures. We design a saliency structure consistency loss as self-consistent mechanism to ensure consistent saliency maps are predicted with different scales of the same image as input, which could be viewed as a regularization technique to enhance the model generalization ability. Additionally, we design an aggregation module (AGGM) to better integrate high-level features, low-level features and global context information for the decoder to aggregate various information. Extensive experiments show that our method achieves a new state-of-the-art performance on six benchmarks (e.g. for the ECSSD dataset: F_\beta = 0.8995, E_\xi = 0.9079 and MAE = 0.0489$), with an average gain of 4.60\% for F-measure, 2.05\% for E-measure and 1.88\% for MAE over the previous best method on this task. Source code is available at http://github.com/siyueyu/SCWSSOD.


title: Cyber Autonomy: Automating the Hacker- Self-healing, self-adaptive, automatic cyber defense systems and their impact to the industry, society and national security

abstract: This paper sets the context for the urgency for cyber autonomy, and the current gaps of the cyber security industry. A novel framework proposing four phases of maturity for full cyber autonomy will be discussed. The paper also reviews new and emerging cyber security automation techniques and tools, and discusses their impact on society, the perceived cyber security skills gap/shortage and national security. We will also be discussing the delicate balance between national security, human rights and ethics, and the potential demise of the manual penetration testing industry in the face of automation.


title: NavRep: Unsupervised Representations for Reinforcement Learning of Robot Navigation in Dynamic Human Environments

abstract: Robot navigation is a task where reinforcement learning approaches are still unable to compete with traditional path planning. State-of-the-art methods differ in small ways, and do not all provide reproducible, openly available implementations. This makes comparing methods a challenge. Recent research has shown that unsupervised learning methods can scale impressively, and be leveraged to solve difficult problems. In this work, we design ways in which unsupervised learning can be used to assist reinforcement learning for robot navigation. We train two end-to-end, and 18 unsupervised-learning-based architectures, and compare them, along with existing approaches, in unseen test cases. We demonstrate our approach working on a real life robot. Our results show that unsupervised learning methods are competitive with end-to-end methods. We also highlight the importance of various components such as input representation, predictive unsupervised learning, and latent features. We make all our models publicly available, as well as training and testing environments, and tools. This release also includes OpenAI-gym-compatible environments designed to emulate the training conditions described by other papers, with as much fidelity as possible. Our hope is that this helps in bringing together the field of RL for robot navigation, and allows meaningful comparisons across state-of-the-art methods.


title: Enhanced spatio-temporal electric load forecasts using less data with active deep learning

abstract: An effective way to oppose global warming and mitigate climate change is to electrify our energy sectors and supply their electric power from renewable wind and solar. Spatio-temporal predictions of electric load become increasingly important for planning this transition, while deep learning prediction models provide increasingly accurate predictions for it. The data used for training deep learning models, however, is usually collected at random using a passive learning approach. This naturally results in a large demand for data and associated costs for sensors like smart meters, posing a large barrier for electric utilities in decarbonizing their grids. Here, we test active learning where we leverage additional computation for collecting a more informative subset of data. We show how electric utilities can apply active learning to better distribute smart meters and collect their data for more accurate predictions of load with about half the data compared to when applying passive learning.


title: Indeterminate moment problem associated with continuous dual q-Hahn polynomials

abstract: We study a limiting case of the Askey-Wilson polynomials when one of the parameters goes to infinity, namely continuous dual q-Hahn polynomials when q > 1. Solutions to the associated indeterminate moment problem by general theory are found and an orthogonality relation is established.


title: Phase-space structure of protohalos: Vlasov versus Particle-Mesh

abstract: The phase-space structure of primordial dark matter halos is revisited using cosmological simulations with three sine waves and Cold Dark Matter (CDM) initial conditions. The simulations are performed with the tessellation based Vlasov solver ColDICE and a Particle-Mesh (PM) $N$-body code. The analyses include projected density, phase-space diagrams, radial density and pseudo-phase space density. Particular attention is paid to force and mass resolution. Because the phase-space sheet complexity, estimated in terms of total volume and simplices count, increases very quickly, ColDICE can follow only the early violent relaxation phase of halo formation. During the latter, agreement between ColDICE and PM simulations having one particle per cell or more is excellent and halos have a power-law density profile, $\rho(r) \propto r^{-\alpha}$, $\alpha \in [1.5,1.8]$. This slope, measured prior to any merger, is slightly larger than in the literature. The phase-space diagrams evidence complex but coherent patterns with clear signatures of self-similarity in the sine wave simulations, while the CDM halos are somewhat scribbly. After additional mass resolution tests, the PM simulations are used to follow the next stages of evolution. The power-law progressively breaks down with a convergence of the density profile to the well known "NFW"-like universal attractor, irrespectively of initial conditions, that is even in the three-sine wave simulations. This demonstrates again that mergers do not represent a necessary condition for convergence to the dynamical attractor. Not surprisingly, the measured pseudo phase-space density is a power-law $Q(r) \propto r^{-\alpha_Q}$, with $\alpha_{\rm Q}$ close to the prediction of secondary spherical infall model, $\alpha_{\rm Q} \simeq 1.875$. However this property is also verified during the early relaxation phase, which is non trivial.


title: Symmetries, conservation laws and difference schemes of the (1+2)-dimensional shallow water equations in Lagrangian coordinates

abstract: The two-dimensional shallow water equations in Eulerian and Lagrangain coordinates are considered. Lagrangian and Hamiltonian formalism of the equations is given. The transformations mapping the two-dimensional shallow water equations with a circular or plane bottom into the gas dynamics equations of a polytropic gas with polytropic exponent $\gamma=2$ is represented. Group properties of the equations are considered, and the group classification for the case of the elliptic paraboloid bottom topography is performed. The properties of the two-dimensional shallow water equations in Lagrangian coordinates are discussed from the discretization point of view. New invariant conservative finite-difference schemes for the equations and their one-dimensional reductions are constructed. The schemes are derived either by extending the known one-dimensional schemes or by direct algebraic construction based on some assumptions on the form of the energy conservation law. Among the proposed schemes there are schemes possessing conservation laws of mass and energy.


title: An Enhanced MA Plot with R-Shiny to Ease Exploratory Analysis of Transcriptomic Data

abstract: MA plots are used to analyze the genome-wide differences in gene expression between two distinct biological conditions. An MA plot is usually rendered as a static scatter plot. Our interview with 3 experts in genomics showed that we could improve the usability of this plot by adding interactive analytic features. In this work we present the design study of the enhanced MA plot.


title: The Shape of the Correlation Function

abstract: The correlation function measured in ultrarelativistic nuclear collisions is strongly non-Gaussian. Using two different models we study which effects can influence its shape and how much. In particular, we focus on the parametrizations expressed with the help of L\'evy-stable distributions. We show that the L\'evy index may deviate substantially from 2 due to non-critical effects such as resonance decays, event-by-event fluctuations and functional dependence on $Q_{LI}$ or similar. We also study the corrections including the first-order L\'evy expansion.


title: On spectral and orbital stability for the Klein--Gordon equation coupled to an anharmonic oscillator

abstract: We obtain explicit characterization of spectral and orbital stability of solitary wave solutions to the $\mathbf{U}(1)$-invariant Klein--Gordon equation in one spatial dimension coupled to an anharmonic oscillator. We also give the complete analysis of the spectrum of the linearization at a solitary wave.


title: Generation of Carroll-Field-Jackiw term in the Functional Integral approach within Horava-Lifshitz $z=3$ CPT-violating QED

abstract: In this paper, we apply the functional integral methodology to induce the Carroll-Field-Jackiw (CFJ) term in Horava-Lifshitz $z=3$ CPT-violating QED, where Lorentz and CPT breaking for fermion and photon sectors is introduced, and show that the CFJ term is finite but undetermined.


title: Tautological Hilbert scheme invariants of Calabi-Yau 4-folds via virtual pullback

abstract: Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth connected divisor on it. We consider tautological bundles of $L=\mathcal{O}_X(D)$ on Hilbert schemes of points on $X$ and their counting invariants defined by integrating the Euler classes against the virtual classes. We relate these invariants to Maulik-Nekrasov-Okounkov-Pandharipande's invariants of Hilbert schemes of points on $D$ by virtual pullback technique and confirm a conjecture of Cao-Kool. The same strategy is also applied to obtain a virtual pullback formula for tautological invariants of one dimensional stable sheaves. This in turn gives a nontrivial identity on primary and descendent invariants as studied in the works of Cao, Maulik and Toda.


title: Geodesics in the space of relatively K\"ahler metrics

abstract: We derive the geodesic equation for relatively K\"ahler metrics on fibrations and prove that any two such metrics with fibrewise constant scalar curvature are joined by a unique smooth geodesic. We then show convexity of the log-norm functional for this setting along geodesics, which yields simple proofs of Dervan and Sektnan's uniqueness result for optimal symplectic connections and a boundedness result for the log-norm functional. Next, we associate to a fibration degeneration a unique geodesic ray defined on a dense open subset. Calculating the limiting slope of the log-norm functional along a globally defined smooth geodesic ray, we prove that fibrations admitting optimal symplectic connections are polystable with respect to a large class of fibration degenerations that are smooth over the base. We give examples of such degenerations in the case of projectivised vector bundles and isotrivial fibrations.


title: A comprehensive study on the semileptonic decay of heavy flavor mesons

abstract: The semileptonic decay of heavy flavor mesons offers a clean environment for extraction of the Cabibbo-Kobayashi-Maskawa (CKM) matrix elements, which describes the CP-violating and flavor changing process in the Standard Model. The involved form factors where the dynamical information is encoded play an essential role in achieving any conclusive statement. That is, the knowledge of the form factors should be under good control, requiring one to examine more observables in addition to the branching fraction. In this paper, we provide the mean value and the $q^2$-dependent shape for further observables [differential decay distribution ($d\Gamma/dq^2$), forward-backward asymmetry ($\mathcal{A}_{FB}^l$), longitudinal ($P_L^l$) and transverse ($P_T^l$) polarization of a charged lepton, longitudinal polarization of a vector meson in the final state ($F_L^l(V)$), leptonic convexity parameter ($C_F^l$), and trigonometric moments ($W_i^l$) in the decay of $D_{(s)}$ and $B_{(s)}$ to $P/V l^+ \nu_l$ ($l=e$, $\mu$ or $\tau$)], based on the predictions of the relevant form factors from the covariant light-front quark model. $P$ and $V$ denote the pseudoscalar and vector meson, respectively. As a comparison, we find a good agreement with the results from the covariant confining quark model and the relativistic quark model in the literature. As it has been observed that the $P_L^l$ and $F_L^l(V)$ are crucial quantities to discriminate various New Physics models, the reexamination of these observables from a different method is also essential and necessary.


title: Strong Error Estimates for a Space-Time Discretization of the Linear-Quadratic Control Problem with the Stochastic Heat Equation with Linear Noise

abstract: We propose a time-implicit, finite-element based space-time discretization of the necessary and sufficient optimality conditions for the stochastic linear-quadratic optimal control problem with the stochastic heat equation driven by linear noise of type $[X(t)+\sigma(t)]dW(t)$, and prove optimal convergence w.r.t. both, space and time discretization parameters. In particular, we employ the stochastic Riccati equation as a proper analytical tool to handle the linear noise, and thus extend the applicability of the earlier work [16], where the error analysis was restricted to additive noise.


title: Pareto Adaptive Robust Optimality via a Fourier-Motzkin Elimination Lens

abstract: We formalize the concept of Pareto Adaptive Robust Optimality (PARO) for linear Adaptive Robust Optimization (ARO) problems. A worst-case optimal solution pair of here-and-now decisions and wait-and-see decisions is PARO if it cannot be Pareto dominated by another solution, i.e., there does not exist another such pair that performs at least as good in all scenarios in the uncertainty set and strictly better in at least one scenario. We argue that, unlike PARO, extant solution approaches -- including those that adopt Pareto Robust Optimality from static robust optimization -- could fail in ARO and yield solutions that can be Pareto dominated. The latter could lead to inefficiencies and suboptimal performance in practice. We prove the existence of PARO solutions, and present particular approaches for finding and approximating such solutions. We present numerical results for a facility location problem that demonstrate the practical value of PARO solutions. Our analysis of PARO relies on an application of Fourier-Motzkin Elimination as a proof technique. We demonstrate how this technique can be valuable in the analysis of ARO problems, besides PARO. In particular, we employ it to devise more concise and more insightful proofs of known results on (worst-case) optimality of decision rule structures.


title: Maximum Coverage with Cluster Constraints: An LP-Based Approximation Technique

abstract: Packing problems constitute an important class of optimization problems, both because of their high practical relevance and theoretical appeal. However, despite the large number of variants that have been studied in the literature, most packing problems encompass a single tier of capacity restrictions only. For example, in the Multiple Knapsack Problem, we assign items to multiple knapsacks such that their capacities are not exceeded. But what if these knapsacks are partitioned into clusters, each imposing an additional capacity restriction on the knapsacks contained in that cluster? In this paper, we study the Maximum Coverage Problem with Cluster Constraints (MCPC), which generalizes the Maximum Coverage Problem with Knapsack Constraints (MCPK) by incorporating cluster constraints. Our main contribution is a general LP-based technique to derive approximation algorithms for cluster capacitated problems. Our technique allows us to reduce the cluster capacitated problem to the respective original packing problem. By using an LP-based approximation algorithm for the original problem, we can then obtain an effective rounding scheme for the problem, which only loses a small fraction in the approximation guarantee. We apply our technique to derive approximation algorithms for MCPC. To this aim, we develop an LP-based $\frac12(1-\frac1e)$-approximation algorithm for MCPK by adapting the pipage rounding technique. Combined with our reduction technique, we obtain a $\frac13(1-\frac1e)$-approximation algorithm for MCPC. We also derive improved results for a special case of MCPC, the Multiple Knapsack Problem with Cluster Constraints (MKPC). Based on a simple greedy algorithm, our approach yields a $\frac13$-approximation algorithm. By combining our technique with a more sophisticated iterative rounding approach, we obtain a $\frac12$-approximation algorithm for certain special cases of MKPC.


title: Uniform reliability tests for forecasting systems with small lead time

abstract: A long noted difficulty when assessing the reliability (or calibration) of forecasting systems is that reliability, in general, is a hypothesis not about a finite dimensional parameter but about an entire functional relationship. A calibrated probability forecast for binary events for instance should equal the conditional probability of the event given the forecast for {\em any} value of the forecast. Attempts to estimate deviations from calibration at a specific forecast value meet with the difficulty that the probability of the forecast assuming that value is typically zero. Considering the estimated {\em cumulative} deviations from reliability instead however, tests are presented for which the asymptotic distribution of the test statistic can be established rigorously. The distribution turns out to be universal, provided the forecasts "look one step ahead" only, or in other words, verify at the next time step in the future. Furthermore, the tests develop power against a wide class of alternatives. Numerical experiments for both artificial data as well as operational weather forecasting systems are also presented, as are possible extensions to forecasts with longer lead times.


title: GLACE survey: galaxy activity in ZwCl0024+1652 cluster from strong optical emission lines

abstract: Although ZwCl0024+1652 galaxy cluster at $z\sim0.4$ has been thoroughly analysed, it lacks a comprehensive study of star formation and nuclear activity of its members. With GaLAxy Cluster Evolution (GLACE) survey, a total of 174 H$\alpha$ emission-line galaxies (ELGs) were detected, most of them having [NII}]. We reduced and analysed a set of [OIII] and H$\beta$ tunable filter (TF) observations within GLACE survey. Using H$\alpha$ priors, we identified [OIII] and H$\beta$ in 35 ($\sim$20%) and 59 ($\sim$34%) sources, respectively, with 21 of them having both emission lines, and 20 having in addition [NII]. Applying BPT-NII diagnostic diagram, we classified these ELGs into 40% star-forming (SF), 55% composites, and 5% LINERs. Star formation rate (SFR) measured through extinction corrected H$\alpha$ fluxes increases with stellar mass ($\mathrm{M}_{*}$), attaining its peak at $\mathrm{M}_{*}\sim10^{9.8}\mathrm{M}_\odot$. We observed that the cluster centre to $\sim$1.3Mpc is devoid of SF galaxies and AGN. Our results suggest that the star formation efficiency declines as the local density increases in the cluster medium. Moreover, the SF and AGN fractions drop sharply towards high-density environments. We observed a strong decline in SF fraction in high $\mathrm{M}_*$, confirming that star formation is highly suppressed in high-mass cluster galaxies. Finally, we determined that SFR correlates with $\mathrm{M}_*$ while specific SFR (sSFR) anti-correlates with $\mathrm{M}_*$, both for cluster and field. This work shows the importance and strength of TF observations when studying ELGs in clusters at higher redshifts. We provide with this paper a catalogue of ELGs with H$\beta$ and/or [OIII] lines in ZwCl0024+1652 cluster.


title: Multiple Hypothesis Semantic Mapping for Robust Data Association

abstract: In this paper, we present a semantic mapping approach with multiple hypothesis tracking for data association. As semantic information has the potential to overcome ambiguity in measurements and place recognition, it forms an eminent modality for autonomous systems. This is particularly evident in urban scenarios with several similar looking surroundings. Nevertheless, it requires the handling of a non-Gaussian and discrete random variable coming from object detectors. Previous methods facilitate semantic information for global localization and data association to reduce the instance ambiguity between the landmarks. However, many of these approaches do not deal with the creation of complete globally consistent representations of the environment and typically do not scale well. We utilize multiple hypothesis trees to derive a probabilistic data association for semantic measurements by means of position, instance and class to create a semantic representation. We propose an optimized mapping method and make use of a pose graph to derive a novel semantic SLAM solution. Furthermore, we show that semantic covisibility graphs allow for a precise place recognition in urban environments. We verify our approach using real-world outdoor dataset and demonstrate an average drift reduction of 33 % w.r.t. the raw odometry source. Moreover, our approach produces 55 % less hypotheses on average than a regular multiple hypotheses approach.


title: On Irrelevant Literals in Pseudo-Boolean Constraint Learning

abstract: Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cutting planes based inference is not as well understood as clause learning in conflict-driven clause learning solvers. In this paper, we show that PB constraints derived using cutting planes may contain \emph{irrelevant literals}, i.e., literals whose assigned values (whatever they are) never change the truth value of the constraint. Such literals may lead to infer constraints that are weaker than they should be, impacting the size of the proof built by the solver, and thus also affecting its performance. This suggests that current implementations of PB solvers based on cutting planes should be reconsidered to prevent the generation of irrelevant literals. Indeed, detecting and removing irrelevant literals is too expensive in practice to be considered as an option (the associated problem is NP-hard.


title: Radio-to-gamma-ray synchrotron and neutrino emission from proton-proton interactions in active galactic nuclei

abstract: We explore possible physical origin of correlation between radio wave and very-high-energy neutrino emission in active galactic nuclei (AGN), suggested by recently reported evidence for correlation between neutrino arrival directions and positions of brightest radio-loud AGN. We show that such correlation is expected if both synchrotron emitting electrons and neutrinos originate from decays of charged pions produced in proton-proton interactions in parsec-scale relativistic jet propagating through circum-nuclear medium of the AGN.


title: Unifying Online and Counterfactual Learning to Rank

abstract: Optimizing ranking systems based on user interactions is a well-studied problem. State-of-the-art methods for optimizing ranking systems based on user interactions are divided into online approaches - that learn by directly interacting with users - and counterfactual approaches - that learn from historical interactions. Existing online methods are hindered without online interventions and thus should not be applied counterfactually. Conversely, counterfactual methods cannot directly benefit from online interventions. We propose a novel intervention-aware estimator for both counterfactual and online Learning to Rank (LTR). With the introduction of the intervention-aware estimator, we aim to bridge the online/counterfactual LTR division as it is shown to be highly effective in both online and counterfactual scenarios. The estimator corrects for the effect of position bias, trust bias, and item-selection bias by using corrections based on the behavior of the logging policy and on online interventions: changes to the logging policy made during the gathering of click data. Our experimental results, conducted in a semi-synthetic experimental setup, show that, unlike existing counterfactual LTR methods, the intervention-aware estimator can greatly benefit from online interventions.


title: Time-reversed photoacoustic guided time-reversed ultrasonically encoded optical focusing

abstract: Deep-tissue optical imaging is a longstanding challenge limited by scattering. Both optical imaging and treatment can benefit from focusing light in deep tissue beyond one transport mean free path. Wavefront shaping based on time-reversed ultrasonically encoded (TRUE) optical focusing utilizes ultrasound focus, which is much less scattered than light in biological tissues as the 'guide star'. However, the traditional TRUE is limited by the ultrasound focusing area and pressure tagging efficiency, especially in acoustically heterogeneous medium. Even the improved version of iterative TRUE comes at a large time consumption, which limits the application of TRUE. To address this problem, we proposed a method called time-reversed photoacoustic wave guided time-reversed ultrasonically encoded (TRPA-TRUE) optical focusing by integrating ultrasonic focus guided by time-reversing PA signals, and the ultrasound modulation of diffused coherent light with optical phase conjugation (OPC), achieving dynamic focusing of light into scattering medium. Simulation results show that the focusing accuracy of the proposed method has been significantly improved compared with conventional TRUE, which is more suitable for practical applications that suffers severe acoustic distortion, e.g. transcranial optical focusing.


title: A General Computational Framework to Measure the Expressiveness of Complex Networks Using a Tighter Upper Bound of Linear Regions

abstract: The expressiveness of deep neural network (DNN) is a perspective to understandthe surprising performance of DNN. The number of linear regions, i.e. pieces thata piece-wise-linear function represented by a DNN, is generally used to measurethe expressiveness. And the upper bound of regions number partitioned by a rec-tifier network, instead of the number itself, is a more practical measurement ofexpressiveness of a rectifier DNN. In this work, we propose a new and tighter up-per bound of regions number. Inspired by the proof of this upper bound and theframework of matrix computation in Hinz & Van de Geer (2019), we propose ageneral computational approach to compute a tight upper bound of regions numberfor theoretically any network structures (e.g. DNN with all kind of skip connec-tions and residual structures). Our experiments show our upper bound is tighterthan existing ones, and explain why skip connections and residual structures canimprove network performance.


title: Variational quantum simulations of stochastic differential equations

abstract: Stochastic differential equations (SDEs), which models uncertain phenomena as the time evolution of random variables, are exploited in various fields of natural and social sciences such as finance. Since SDEs rarely admit analytical solutions and must usually be solved numerically with huge classical-computational resources in practical applications, there is strong motivation to use quantum computation to accelerate the calculation. Here, we propose a quantum-classical hybrid algorithm that solves SDEs based on variational quantum simulation (VQS). We first approximate the target SDE by a trinomial tree structure with discretization and then formulate it as the time-evolution of a quantum state embedding the probability distributions of the SDE variables. We embed the probability distribution directly in the amplitudes of the quantum state while the previous studies did the square-root of the probability distribution in the amplitudes. Our embedding enables us to construct simple quantum circuits that simulate the time-evolution of the state for general SDEs. We also develop a scheme to compute the expectation values of the SDE variables and discuss whether our scheme can achieve quantum speed-up for the expectation-value evaluations of the SDE variables. Finally, we numerically validate our algorithm by simulating several types of stochastic processes. Our proposal provides a new direction for simulating SDEs on quantum computers.


title: Ricci Flow on Manifolds with Boundary with Arbitrary Initial Metric

abstract: In this paper, we study the Ricci flow on manifolds with boundary. In the first part of the paper, we prove short-time existence and uniqueness of the solution, in which the boundary becomes instantaneously umbilic for positive time. In the second part of the paper, we prove that the flow we constructed in the first part preserves natural boundary conditions. More specifically, if the initial metric has a convex boundary, then the flow preserves positive curvature operator and the PIC1, PIC2 conditions. Moreover, if the initial metric has a two-convex boundary, then the flow preserves the PIC condition.


title: On the Zakharov-Mikhailov action: $4$d Chern-Simons origin and covariant Poisson algebra of the Lax connection

abstract: We derive the $2$d Zakharov-Mikhailov action from $4$d Chern-Simons theory. This $2$d action is known to produce as equations of motion the flatness condition of a large class of Lax connections of Zakharov-Shabat type, which includes an ultralocal variant of the principal chiral model as a special case. At the $2$d level, we determine for the first time the covariant Poisson bracket $r$-matrix structure of the Zakharov-Shabat Lax connection, which is of rational type. The flatness condition is then derived as a covariant Hamilton equation. We obtain a remarkable formula for the covariant Hamiltonian in term of the Lax connection which is the covariant analogue of the well-known formula "$H=Tr L^2$".


title: Poisoning Semi-supervised Federated Learning via Unlabeled Data: Attacks and Defenses

abstract: Semi-supervised Federated Learning (SSFL) has recently drawn much attention due to its practical consideration, i.e., the clients may only have unlabeled data. In practice, these SSFL systems implement semi-supervised training by assigning a "guessed" label to the unlabeled data near the labeled data to convert the unsupervised problem into a fully supervised problem. However, the inherent properties of such semi-supervised training techniques create a new attack surface. In this paper, we discover and reveal a simple yet powerful poisoning attack against SSFL. Our attack utilizes the natural characteristic of semi-supervised learning to cause the model to be poisoned by poisoning unlabeled data. Specifically, the adversary just needs to insert a small number of maliciously crafted unlabeled samples (e.g., only 0.1\% of the dataset) to infect model performance and misclassification. Extensive case studies have shown that our attacks are effective on different datasets and common semi-supervised learning methods. To mitigate the attacks, we propose a defense, i.e., a minimax optimization-based client selection strategy, to enable the server to select the clients who hold the correct label information and high-quality updates. Our defense further employs a quality-based aggregation rule to strengthen the contributions of the selected updates. Evaluations under different attack conditions show that the proposed defense can well alleviate such unlabeled poisoning attacks. Our study unveils the vulnerability of SSFL to unlabeled poisoning attacks and provides the community with potential defense methods.


title: Estimating non-flow effects in measurements of directed flow of protons with the HADES experiment at GSI

abstract: Centrality dependence of the directed flow of protons in Au+Au collisions at the beam energy of 1.23A GeV collected by the HADES experiment at GSI is presented. Measurements are performed with respect to the spectators plane estimated using the Forward Wall hodoscope. Biases due to non-flow correlations and correlated detector effects are evaluated. The corresponding systematic uncertainties are quantified using estimates of the spectators plane from various forward rapidity regions constructed from groups of Forward Wall channels and protons reconstructed with the HADES tracking system.


title: Quadratic Regularization of Data-Enabled Predictive Control: Theory and Application to Power Converter Experiments

abstract: Data-driven control that circumvents the process of system identification by providing optimal control inputs directly from system data has attracted renewed attention in recent years. In this paper, we focus on understanding the effects of the regularization on the data-enabled predictive control (DeePC) algorithm. We provide theoretical motivation and interpretation for including a quadratic regularization term. Our analysis shows that the quadratic regularization term leads to robust and optimal solutions with regards to disturbances affecting the data. Moreover, when the input/output constraints are inactive, the quadratic regularization leads to a closed-form solution of the DeePC algorithm and thus enables fast calculations. On this basis, we propose a framework for data-driven synchronization and power regulations of power converters, which is tested by high-fidelity simulations and experiments.


title: Quantitative stability of Gel'fand's inverse boundary problem

abstract: In Gel'fand's inverse problem, one aims to determine the topology, differential structure and Riemannian metric of a compact manifold $M$ with boundary from the knowledge of the boundary $\partial M,$ the Neumann eigenvalues $\lambda_j$ and the boundary values of the eigenfunctions $\varphi_j|_{\partial M}$. We show that this problem has a stable solution with quantitative stability estimates in a class of manifolds with bounded geometry. More precisely, we show that finitely many eigenvalues and the boundary values of corresponding eigenfunctions, known up to small errors, determine a metric space that is close to the manifold in the Gromov-Hausdorff sense. We provide an algorithm to construct this metric space. This result is based on an explicit estimate on the stability of the unique continuation for the wave operator.


title: Towards Communication-efficient and Attack-Resistant Federated Edge Learning for Industrial Internet of Things

abstract: Federated Edge Learning (FEL) allows edge nodes to train a global deep learning model collaboratively for edge computing in the Industrial Internet of Things (IIoT), which significantly promotes the development of Industrial 4.0. However, FEL faces two critical challenges: communication overhead and data privacy. FEL suffers from expensive communication overhead when training large-scale multi-node models. Furthermore, due to the vulnerability of FEL to gradient leakage and label-flipping attacks, the training process of the global model is easily compromised by adversaries. To address these challenges, we propose a communication-efficient and privacy-enhanced asynchronous FEL framework for edge computing in IIoT. First, we introduce an asynchronous model update scheme to reduce the computation time that edge nodes wait for global model aggregation. Second, we propose an asynchronous local differential privacy mechanism, which improves communication efficiency and mitigates gradient leakage attacks by adding well-designed noise to the gradients of edge nodes. Third, we design a cloud-side malicious node detection mechanism to detect malicious nodes by testing the local model quality. Such a mechanism can avoid malicious nodes participating in training to mitigate label-flipping attacks. Extensive experimental studies on two real-world datasets demonstrate that the proposed framework can not only improve communication efficiency but also mitigate malicious attacks while its accuracy is comparable to traditional FEL frameworks.


title: On proof theory in computer science

abstract: The subject logic in computer science should entail proof theoretic applications. So the question arises whether open problems in computational complexity can be solved by advanced proof theoretic techniques. In particular, consider the complexity classes NP, coNP and PSPACE. It is well-known that NP and coNP are contained in PSPACE, but till recently precise characterization of these relationships remained open. Now [2], [3] (see also [4]) presented proofs of corresponding equalities NP = coNP = PSPACE. These results were obtained by appropriate proof theoretic tree-to-dag compressing techniques to be briefy explained below. [2] L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55{83 (2019) [3] L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE II, Bulletin of the Section of Logic (49) (3): 213{230 (2020) http://dx.doi.org/10.18788/0138-0680.2020.16 [4] L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE II: Addendum, arXiv:2011.09262 (2020)


title: Forward quark jet-nucleus scattering in a light-front Hamiltonian approach

abstract: We investigate the scattering of a quark jet on a high-energy heavy nucleus using the time-dependent light-front Hamiltonian approach. We simulate a real-time evolution of the quark in a strong classical color field of the relativistic nucleus, described as the Color Glass Condensate. We study the sub-eikonal effect by letting the quark jet carry realistic finite longitudinal momenta, and we find sizeable changes on the transverse coordinate distribution of the quark. We also observe the energy loss of the quark through gluon emissions in the $\ket{q}+\ket{qg}$ Fock space. This approach provides us with an opportunity to study scattering processes from non-perturbative aspects.


title: SPU-Net: Self-Supervised Point Cloud Upsampling by Coarse-to-Fine Reconstruction with Self-Projection Optimization

abstract: The task of point cloud upsampling aims to acquire dense and uniform point sets from sparse and irregular point sets. Although significant progress has been made with deep learning models, state-of-the-art methods require ground-truth dense point sets as the supervision, which makes them limited to be trained under synthetic paired training data and not suitable to be under real-scanned sparse data. However, it is expensive and tedious to obtain large numbers of paired sparse-dense point sets as supervision from real-scanned sparse data. To address this problem, we propose a self-supervised point cloud upsampling network, named SPU-Net, to capture the inherent upsampling patterns of points lying on the underlying object surface. Specifically, we propose a coarse-to-fine reconstruction framework, which contains two main components: point feature extraction and point feature expansion, respectively. In the point feature extraction, we integrate the self-attention module with the graph convolution network (GCN) to capture context information inside and among local regions simultaneously. In the point feature expansion, we introduce a hierarchically learnable folding strategy to generate upsampled point sets with learnable 2D grids. Moreover, to further optimize the noisy points in the generated point sets, we propose a novel self-projection optimization associated with uniform and reconstruction terms as a joint loss to facilitate the self-supervised point cloud upsampling. We conduct various experiments on both synthetic and real-scanned datasets, and the results demonstrate that we achieve comparable performances to state-of-the-art supervised methods.


title: Functional calculus for a bounded $C_0$-semigroup on Hilbert space

abstract: We introduce a new Banach algebra ${\mathcal A}({\mathbb C}_+)$ of bounded analytic functions on ${\mathbb C}_+=\{z\in{\mathbb C}\, :\, {\rm Re}(z)>0\}$ which is an analytic version of the Figa-Talamenca-Herz algebras on ${\mathbb R}$. Then we prove that the negative generator $A$ of any bounded $C_0$-semigroup on Hilbert space $H$ admits a bounded (natural) functional calculus $\rho_A\colon {\mathcal A}({\mathbb C}_+)\to B(H)$. We prove that this is an improvement of the bounded functional calculus ${\mathcal B}({\mathbb C}_+)\to B(H)$ recently devised by Batty-Gomilko-Tomilov on a certain Besov algebra ${\mathcal B}({\mathbb C}_+)$ of analytic functions on ${\mathbb C}_+$, by showing that ${\mathcal B}({\mathbb C}_+)\subset {\mathcal A}({\mathbb C}_+)$ and ${\mathcal B}({\mathbb C}_+)\not= {\mathcal A}({\mathbb C}_+)$. In the Banach space setting, we give similar results for negative generators of $\gamma$-bounded $C_0$-semigroups. The study of ${\mathcal A}({\mathbb C}_+)$ requires to deal with Fourier multipliers on the Hardy space $H^1({\mathbb R})\subset L^1({\mathbb R})$ of analytic functions.


title: Photoelectrochemical water splitting in separate oxygen and hydrogen cells

abstract: Solar water splitting provides a promising path for sustainable hydrogen production and solar energy storage. One of the greatest challenges towards large-scale utilization of this technology is reducing the hydrogen production cost. The conventional electrolyzer architecture, where hydrogen and oxygen are co-produced in the same cell, gives rise to critical challenges in photoelectrochemical (PEC) water splitting cells that directly convert solar energy and water to hydrogen. Here we overcome these challenges by separating the hydrogen and oxygen cells. The ion exchange in our cells is mediated by auxiliary electrodes, and the cells are connected to each other only by metal wires, enabling centralized hydrogen production. We demonstrate hydrogen generation in separate cells with solar-to-hydrogen conversion efficiency of 7.5%, which can readily surpass 10% using standard commercial components. A basic cost comparison shows that our approach is competitive with conventional PEC systems, enabling safe and potentially affordable solar hydrogen production.


title: URoboSim -- An Episodic Simulation Framework for Prospective Reasoning in Robotic Agents

abstract: Anticipating what might happen as a result of an action is an essential ability humans have in order to perform tasks effectively. On the other hand, robots capabilities in this regard are quite lacking. While machine learning is used to increase the ability of prospection it is still limiting for novel situations. A possibility to improve the prospection ability of robots is through simulation of imagined motions and the physical results of these actions. Therefore, we present URoboSim, a robot simulator that allows robots to perform tasks as mental simulation before performing this task in reality. We show the capabilities of URoboSim in form of mental simulations, generating data for machine learning and the usage as belief state for a real robot.


title: Extractive Opinion Summarization in Quantized Transformer Spaces

abstract: We present the Quantized Transformer (QT), an unsupervised system for extractive opinion summarization. QT is inspired by Vector-Quantized Variational Autoencoders, which we repurpose for popularity-driven summarization. It uses a clustering interpretation of the quantized space and a novel extraction algorithm to discover popular opinions among hundreds of reviews, a significant step towards opinion summarization of practical scope. In addition, QT enables controllable summarization without further training, by utilizing properties of the quantized space to extract aspect-specific summaries. We also make publicly available SPACE, a large-scale evaluation benchmark for opinion summarizers, comprising general and aspect-specific summaries for 50 hotels. Experiments demonstrate the promise of our approach, which is validated by human studies where judges showed clear preference for our method over competitive baselines.


title: Comparison of Atom Representations in Graph Neural Networks for Molecular Property Prediction

abstract: Graph neural networks have recently become a standard method for analysing chemical compounds. In the field of molecular property prediction, the emphasis is now put on designing new model architectures, and the importance of atom featurisation is oftentimes belittled. When contrasting two graph neural networks, the use of different atom features possibly leads to the incorrect attribution of the results to the network architecture. To provide a better understanding of this issue, we compare multiple atom representations for graph models and evaluate them on the prediction of free energy, solubility, and metabolic stability. To the best of our knowledge, this is the first methodological study that focuses on the relevance of atom representation to the predictive performance of graph neural networks.


title: Split: Inferring Unobserved Event Probabilities for Disentangling Brand-Customer Interactions

abstract: Often, data contains only composite events composed of multiple events, some observed and some unobserved. For example, search ad click is observed by a brand, whereas which customers were shown a search ad - an actionable variable - is often not observed. In such cases, inference is not possible on unobserved event. This occurs when a marketing action is taken over earned and paid digital channels. Similar setting arises in numerous datasets where multiple actors interact. One approach is to use the composite event as a proxy for the unobserved event of interest. However, this leads to invalid inference. This paper takes a direct approach whereby an event of interest is identified based on information on the composite event and aggregate data on composite events (e.g. total number of search ads shown). This work contributes to the literature by proving identification of the unobserved events' probabilities up to a scalar factor under mild condition. We propose an approach to identify the scalar factor by using aggregate data that is usually available from earned and paid channels. The factor is identified by adding a loss term to the usual cross-entropy loss. We validate the approach on three synthetic datasets. In addition, the approach is validated on a real marketing problem where some observed events are hidden from the algorithm for validation. The proposed modification to the cross-entropy loss function improves the average performance by 46%.


title: LAMP: Label Augmented Multimodal Pretraining

abstract: Multi-modal representation learning by pretraining has become an increasing interest due to its easy-to-use and potential benefit for various Visual-and-Language~(V-L) tasks. However its requirement of large volume and high-quality vision-language pairs highly hinders its values in practice. In this paper, we proposed a novel label-augmented V-L pretraining model, named LAMP, to address this problem. Specifically, we leveraged auto-generated labels of visual objects to enrich vision-language pairs with fine-grained alignment and correspondingly designed a novel pretraining task. Besides, we also found such label augmentation in second-stage pretraining would further universally benefit various downstream tasks. To evaluate LAMP, we compared it with some state-of-the-art models on four downstream tasks. The quantitative results and analysis have well proven the value of labels in V-L pretraining and the effectiveness of LAMP.


title: Asymptotically Improved Circuit for $d$-ary Grover's Algorithm with Advanced Decomposition of $n$-qudit Toffoli Gate

abstract: The progress in building quantum computers to execute quantum algorithms has recently been remarkable. Grover's search algorithm in a binary quantum system provides considerable speed-up over classical paradigm. Further, Grover's algorithm can be extended to a $d$-ary (qudit) quantum system for utilizing the advantage of larger state space, which helps to reduce the run-time of the algorithm as compared to the traditional binary quantum systems. In a qudit quantum system, an $n$-qudit Toffoli gate plays a significant role in the accurate implementation of Grover's algorithm. In this article, a generalized $n$-qudit Toffoli gate has been realized using higher dimensional qudits to attain a logarithmic depth decomposition without ancilla qudit. The circuit for Grover's algorithm has then been designed for any $d$-ary quantum system, where $d \ge 2$, with the proposed $n$-qudit Toffoli gate to obtain optimized depth compared to earlier approaches. The technique for decomposing an $n$-qudit Toffoli gate requires access to two immediately higher energy levels, making the design susceptible to errors. Nevertheless, we show that the percentage decrease in the probability of error is significant as we have reduced both gate count and circuit depth as compared to that in state-of-the-art works.


title: Nonlinear parabolic stochastic evolution equations in critical spaces Part II. Blow-up criteria and instantaneous regularization

abstract: This paper is a continuation of Part I of this project, where we developed a new local well-posedness theory for nonlinear stochastic PDEs with Gaussian noise. In the current Part II we consider blow-up criteria and regularization phenomena. As in Part I we can allow nonlinearities with polynomial growth, and rough initial values from critical spaces. In the first main result we obtain several new blow-up criteria for quasi- and semilinear stochastic evolution equations. In particular, for semilinear equations we obtain a Serrin type blow-up criterium, which extends a recent result of Pr\"uss-Simonett-Wilke (2018) to the stochastic setting. Blow-up criteria can be used to prove global well-posedness for SPDEs. As in Part I, maximal regularity techniques and weights in time play a central role in the proofs. Our second contribution is a new method to bootstrap Sobolev and H\"older regularity in time and space, which does not require smoothness of the initial data. The blow-up criteria are at the basis of these new methods. Moreover, in applications the bootstrap results can be combined with our blow-up criteria, to obtain efficient ways to prove global existence. This gives new results even in classical $L^2$-settings, which we illustrate for a concrete SPDE. In future works in preparation we apply the results of the current paper to obtain global well-posedness results, and regularity for several concrete SPDEs. These include stochastic Navier-Stokes, reaction diffusion equations, and Allen-Cahn equations. Our setting allows to put these SPDEs into a more flexible framework, where less restrictions on the nonlinearities are needed, and we are able to treat rough initial values from critical spaces. Moreover, we will obtain higher order regularity results.


title: Elliptic problem in an exterior domain driven by a singularity with a nonlocal Neumann condition

abstract: We prove the existence of ground state solution to the following problem. \begin{align*} (-\Delta)^{s}u+u&=\lambda|u|^{-\gamma-1}u+P(x)|u|^{p-1}u,~\text{in}~\mathbb{R}^N\setminus\Omega\\ N_su(x)&=0,~\text{in}~\Omega \end{align*} where $N\geq2$, $\lambda>0$, $0<s,\gamma<1$, $p\in(1,2_s^*-1)$ with $2_s^*=\frac{2N}{N-2s}$. % $0<s^-=\underset{{(x,y)\in\Omega\times\Omega}}{\inf}\{s(x,y)\}\leq s(x,y)\leq s^+=\underset{{(x,y)\in\Omega\times\Omega}}{\sup}\{s(x,y)\}<1$, $0<\gamma^-=\underset{{x\in\Omega}}{\inf}\{\gamma(x)\}\leq \gamma(x)\leq \gamma^+=\underset{{x\in\Omega}}{\sup}\{\gamma(x)\}<1$, $1-\gamma^-<1<p^-=\underset{x\in\Omega}{\inf}\{p(x)\}\leq p(x)\leq p^+=\underset{x\in\Omega}{\sup}\{p(x)\}<2_{s^-}^*=\underset{{x\in\Omega}}{\inf}\{2_s^*(x)\}$ with $2_s^*(x)=\frac{2N}{N-2\tilde{s}(s)}$ where $\tilde{s}(x)=s(x,x)$. Moreover, $\Omega\subset\mathbb{R}^N$ is a smooth bounded domain, $(-\Delta)^s$ denotes the $s$-fractional Laplacian and finally $N_s$ denotes the nonlocal operator that describes the Neumann boundary condition which is given as follows. \begin{align*} N_{s}u(x)&=C_{N,s}\int_{\mathbb{R}^N\setminus\Omega}\frac{u(x)-u(y)}{|x-y|^{N+2s}}dy,~x\in\Omega. \end{align*} We further establish the existence of infinitely many bounded solutions to the problem.


title: Approximate analytical description of apparent horizons for initial data with momentum and spin

abstract: We construct analytical initial data for a slowly moving and rotating black hole for generic orientations of the linear momentum and the spin. We solve the Hamiltonian constraint approximately and work out the properties of the apparent horizon and show the dependence of its shape on the angle between the spin and the linear momentum. In particular a dimple, whose location depends on the mentioned angle, arises on the 2-sphere geometry of the apparent horizon. We exclusively work in the case of conformally flat initial metrics.


title: Noncommutative derived Poisson reduction

abstract: In this paper we propose a procedure for a noncommutative derived Poisson reduction, in the spirit of the Kontsevich-Rosenberg principle: "a noncommutative structure of some kind on $A$ should give an analogous commutative structure on all schemes ${\mathrm{Rep}}_n(A)$". We use double Poisson structures as noncommutative Poisson structures and noncommutative Hamiltonian spaces -- as first introduced by M. Van den Bergh -- to define (derived) zero loci of Hamiltonian actions and a noncommutative Chevalley-Eilenberg and BRST constructions, showing how we recover the corresponding commutative constructions using the representation functor. In a dedicated final short section we highlight how the categorical properties of the representation functor lead to the natural introduction of new interesting notions, such as noncommutative group schemes, group actions, or Poisson-group schemes, which could help to understand the previous results in a different light, and in future research generalise them into a broader, clearer correspondence between noncommutative and commutative equivariant geometry.