title: ADSAGE: Anomaly Detection in Sequences of Attributed Graph Edges applied to insider threat detection at fine-grained level

abstract: Previous works on the CERT insider threat detection case have neglected graph and text features despite their relevance to describe user behavior. Additionally, existing systems heavily rely on feature engineering and audit data aggregation to detect malicious activities. This is time consuming, requires expert knowledge and prevents tracing back alerts to precise user actions. To address these issues we introduce ADSAGE to detect anomalies in audit log events modeled as graph edges. Our general method is the first to perform anomaly detection at edge level while supporting both edge sequences and attributes, which can be numeric, categorical or even text. We describe how ADSAGE can be used for fine-grained, event level insider threat detection in different audit logs from the CERT use case. Remarking that there is no standard benchmark for the CERT problem, we use a previously proposed evaluation setting based on realistic recall-based metrics. We evaluate ADSAGE on authentication, email traffic and web browsing logs from the CERT insider threat datasets, as well as on real-world authentication events. ADSAGE is effective to detect anomalies in authentications, modeled as user to computer interactions, and in email communications. Simple baselines give surprisingly strong results as well. We also report performance split by malicious scenarios present in the CERT datasets: interestingly, several detectors are complementary and could be combined to improve detection. Overall, our results show that graph features are informative to characterize malicious insider activities, and that detection at fine-grained level is possible.


title: Estimating the Potential of Program Repair Search Spaces with Commit Analysis

abstract: The most natural method for evaluating program repair systems is to run them on bug datasets, such as Defects4J. Yet, using this evaluation technique on arbitrary real-world programs requires heavy configuration. In this paper, we propose a purely static method to evaluate the potential of the search space of repair approaches. This new method enables researchers and practitioners to encode the search spaces of repair approaches and select potentially useful ones without struggling with tool configuration and execution. We encode the search spaces by specifying the repair strategies they employ. Next, we use the specifications to check whether past commits lie in repair search spaces. For a repair approach, including many human-written past commits in its search space indicates its potential to generate useful patches. We implement our evaluation method in LighteR. LighteR gets a Git repository and outputs a list of commits whose source code changes lie in repair search spaces. We run LighteR on 55,309 commits from the history of 72 Github repositories with and show that LighteR's precision and recall are 77% and 92%, respectively. Overall, our experiments show that our novel method is both lightweight and effective to study the search space of program repair approaches.


title: Cooperative Pilot Spoofing in MU-MIMO Systems

abstract: In this letter, we consider downlink transmission of a multiuser multiple-input multiple-output (MU-MIMO) system with zero-forcing (ZF) precoders in the presence of multiple attackers. We propose a cooperative pilot spoofing attack (CPSA), where the attackers collaboratively impair the channel estimations in the uplink channel training phase, aiming at deteriorating the downlink throughput of the whole cell. We first evaluate the impacts of CPSA on the channel estimation and the downlink ZF precoding design, and then we derive an analytical expression for the achievable downlink sum-rate. Furthermore, we investigate the optimal attack strategy to minimize the achievable downlink sum-rate. We show that the optimization problem under consideration is a convex one so the global optimum could be obtained conveniently. Numerical results show that the CPSA attack results in a severe performance deterioration with the increase in the attacking power and the number of attackers.


title: Capacity-approaching quantum repeaters for quantum communications

abstract: In present-day quantum communications, one of the main problems is the lack of a quantum repeater design that can simultaneously secure high rates and long distances. Recent literature has established the end-to-end capacities that are achievable by the most general protocols for quantum and private communication within a quantum network, encompassing the case of a quantum repeater chain. However, whether or not a physical design exists to approach such capacities remains a challenging objective. Driven by this motivation, in this work, we put forward a design for continuous-variable quantum repeaters and show that it can actually achieve the feat. We also show that even in a noisy regime our rates surpass the Pirandola-Laurenza-Ottaviani-Banchi (PLOB) bound. Our repeater setup is developed upon using noiseless linear amplifiers, quantum memories, and continuous-variable Bell measurements. We, furthermore, propose a non-ideal model for continuous-variable quantum memories that we make use of in our design. We then show that potential quantum communications rates would deviate from the theoretical capacities, as one would expect, if the quantum link is too noisy and/or low-quality quantum memories and amplifiers are employed.


title: Emergent entanglement structures and self-similarity in quantum spin chains

abstract: We introduce an experimentally accessible network representation for many-body quantum states based on entanglement between all pairs of its constituents. We illustrate the power of this representation by applying it to a paradigmatic spin chain model, the XX model, and showing that it brings to light new phenomena. The analysis of these entanglement networks reveals that the gradual establishment of quasi-long range order is accompanied by a symmetry regarding single-spin concurrence distributions, as well as by instabilities in the network topology. Moreover, we identify the existence of emergent entanglement structures, spatially localised communities enforced by the global symmetry of the system that can be revealed by model-agnostic community detection algorithms. The network representation further unveils the existence of structural classes and a cyclic self-similarity in the state, which we conjecture to be intimately linked to the community structure. Our results demonstrate that the use of tools and concepts from complex network theory enables the discovery, understanding, and description of new physical phenomena even in models studied for decades.


title: Restriction inequalities for the hyperbolic hyperboloid

abstract: In this article we establish new inequalities, both conditional and unconditional, for the restriction problem associated to the hyperbolic, or one-sheeted, hyperboloid in three dimensions, endowed with a Lorentz-invariant measure. These inequalities are unconditional (and optimal) in the bilinear range $q > \frac{10}{3}$.


title: Stellar Oblateness versus Distant Giants in Exciting Kepler Planet Mutual Inclinations

abstract: An overabundance of single-transiting Kepler planets suggests the existence of a sub-population of intrinsically multi-planet systems possessing large mutual inclinations. However, the origin of these mutual inclinations remains unknown. Recent work has demonstrated that mutual inclinations can be excited soon after protoplanetary disk-dispersal due to the oblateness of the rapidly-rotating host star, provided the star is tilted. Alternatively, distant giant planets, which are common in systems of close-in Kepler planets, could drive up mutual inclinations. The relative importance of each of these mechanisms has not been investigated. Here, we show that the influence of the stellar oblateness typically exceeds that of an exterior giant soon after planet formation. However, the magnitude of the resulting mutual inclinations depends critically upon the timescale over which the natal disk disperses. Specifically, we find that if the disk vanishes over a timescale shorter than 10^(3-4) years, comparable to the viscous timescale of the inner ~0.2AU, the inner planets impulsively acquire misalignments that scale with the stellar obliquity. In contrast, if the disk disperses slowly, the inner planets remain coplanar. They first align with the stellar equator but subsequently realign with the distant giant's plane as the star spins down. Our findings are consistent with recent observations that giants tend to be aligned with close-in multis but misaligned with singles. Stellar obliquity measurements offer a promising test of our proposed framework.


title: Elliptic measures and Square function estimates on 1-sided chord-arc domains

abstract: In nice environments, such as Lipschitz or chord-arc domains, it is well-known that the solvability of the Dirichlet problem for an elliptic operator in $L^p$, for some finite $p$, is equivalent to the fact that the associated elliptic measure belongs to the Muckenhoupt class $A_\infty$. In turn, any of these conditions occurs if and only if the gradient of every bounded null solution satisfies a Carleson measure estimate. This has been recently extended to much rougher settings such as those of 1-sided chord-arc domains, that is, sets which are quantitatively open and connected with a boundary which is Ahlfors-David regular. In this paper, we work in the same environment and consider a qualitative analog of the latter equivalence showing that one can characterize the absolute continuity of the surface measure with respect to the elliptic measure in terms of the finiteness almost everywhere of the truncated conical square function for any bounded null solution. As a consequence of our main result particularized to the Laplace operator and some previous results, we show that the boundary of the domain is rectifiable if and only if the truncated conical square function is finite almost everywhere for any bounded harmonic function. Also, we obtain that for two given elliptic operators $L_1$ and $L_2$, the absolute continuity of the surface measure with respect to the elliptic measure of $L_1$ is equivalent to the same property for $L_2$ provided the disagreement of the coefficients satisfy some quadratic estimate in truncated cones for almost everywhere vertex. Finally for the case on which $L_2$ is either the transpose of $L_1$ or its symmetric part we show the equivalence of the corresponding absolute continuity upon assuming that the antisymmetric part of the coefficients has some controlled oscillation in truncated cones for almost every vertex.


title: Adversarial Examples and Metrics

abstract: Adversarial examples are a type of attack on machine learning (ML) systems which cause misclassification of inputs. Achieving robustness against adversarial examples is crucial to apply ML in the real world. While most prior work on adversarial examples is empirical, a recent line of work establishes fundamental limitations of robust classification based on cryptographic hardness. Most positive and negative results in this field however assume that there is a fixed target metric which constrains the adversary, and we argue that this is often an unrealistic assumption. In this work we study the limitations of robust classification if the target metric is uncertain. Concretely, we construct a classification problem, which admits robust classification by a small classifier if the target metric is known at the time the model is trained, but for which robust classification is impossible for small classifiers if the target metric is chosen after the fact. In the process, we explore a novel connection between hardness of robust classification and bounded storage model cryptography.


title: Do Online Courses Provide an Equal Educational Value Compared to In-Person Classroom Teaching? Evidence from US Survey Data using Quantile Regression

abstract: Education has traditionally been classroom-oriented with a gradual growth of online courses in recent times. However, the outbreak of the COVID-19 pandemic has dramatically accelerated the shift to online classes. Associated with this learning format is the question: what do people think about the educational value of an online course compared to a course taken in-person in a classroom? This paper addresses the question and presents a Bayesian quantile analysis of public opinion using a nationally representative survey data from the United States. Our findings show that previous participation in online courses and full-time employment status favor the educational value of online courses. We also find that the older demographic and females have a greater propensity for online education. In contrast, highly educated individuals have a lower willingness towards online education vis-\`a-vis traditional classes. Besides, covariate effects show heterogeneity across quantiles which cannot be captured using probit or logit models.


title: Improving Face Recognition by Clustering Unlabeled Faces in the Wild

abstract: While deep face recognition has benefited significantly from large-scale labeled data, current research is focused on leveraging unlabeled data to further boost performance, reducing the cost of human annotation. Prior work has mostly been in controlled settings, where the labeled and unlabeled data sets have no overlapping identities by construction. This is not realistic in large-scale face recognition, where one must contend with such overlaps, the frequency of which increases with the volume of data. Ignoring identity overlap leads to significant labeling noise, as data from the same identity is split into multiple clusters. To address this, we propose a novel identity separation method based on extreme value theory. It is formulated as an out-of-distribution detection algorithm, and greatly reduces the problems caused by overlapping-identity label noise. Considering cluster assignments as pseudo-labels, we must also overcome the labeling noise from clustering errors. We propose a modulation of the cosine loss, where the modulation weights correspond to an estimate of clustering uncertainty. Extensive experiments on both controlled and real settings demonstrate our method's consistent improvements over supervised baselines, e.g., 11.6% improvement on IJB-A verification.


title: Reciprocity-induced symmetry in the round-trip transmission through complex systems

abstract: Reciprocity is a fundamental principle of wave physics and directly relates to the symmetry in the transmission through a system when interchanging the input and output. The coherent transmission matrix (TM) is a convenient method to characterize wave transmission through general media. Here we demonstrate the optical reciprocal nature of complex media by exploring their TM properties. We measured phase-corrected TMs of forward and round-trip propagation through a looped 1m-long step-index optical multimode fiber (MMF) to experimentally verify a transpose relationship between forward and backward transmission. This symmetry impedes straightforward MMF calibration from proximal measurements of the round-trip TM. Furthermore, we show how focusing through the MMF with digital optical phase conjugation is compromised by system loss, since time reversibility relies on power conservation. These insights may inform development of new imaging techniques through complex media and coherent control of waves in photonic systems.


title: Performance evaluation and enhancement of VLAN via wireless networks using OPNET modeler

abstract: A VLAN is a logical connection that allows hosts to be grouped together in the same broadcast domain, so that packets are delivered only to ports that are combined to the same VLAN. We can improve wireless network performance and save bandwidth through the characteristic VLAN network. In addition, the implementation of VLAN greatly improves wireless network security by reducing the number of hosts receiving copies of frames broadcast by switches, thus keeping hosts holding critical data on a separate VLAN. In this paper we compare wireless network with VLAN via wireless network. The proposed network is evaluated within terms of delay and average throughput using web browsing applications and file transfer in heavy traffic. The simulation was carried out using OPNET 14.5 modeler and the results show that the use of VLAN via wireless network improved performance by reducing traffic resulting in a minimized delay time. Furthermore, VLAN implementation reduces network throughput because the traffic received and transmitted has a positive relationship with throughput. Eventually, we investigated the use of adhoc routing protocols such as AODV, DSR, OLSR, TORA and GPR to improve the performance of wireless VLAN networks.


title: North-South Distribution and Asymmetry of GOES SXR Flares during Solar Cycle 24

abstract: Here we present the results of the study of the north-south (N-S) distribution and asymmetry of GOES soft X-ray (SXR) flares during solar cycle 24. The period of study includes ascending, maximum and descending phases of the cycle. During the cycle double-peaked (2011, 2014) solar maximum has occurred. The cycle peak in the year 2011 is due to B-class flares excess activity in the northern hemisphere (NH) whereas C and M class flares excess activity in the southern hemisphere (SH) supported the second peak of the cycle in 2014. The data analysis shows that the SXR flares are more pronounced in 11 to 20 degree latitudes for each hemisphere. Cumulative values of SXR flare count show northern excess during the ascending phase of the cycle. However, in the descending phase of the cycle, southern excess occurred. In the cycle a significant SH dominated asymmetry exists. Near the maximum of the cycle, the asymmetry enhances pronouncedly and reverses in sign.


title: A characterization of completely bounded normal Jordan $*$-homomorphisms on von Neumann algebras

abstract: We characterize completely bounded normal Jordan $*$-homomorphisms acting on von Neumann algebras. We also characterize completely positive isometries acting on noncommutative $\mathrm{L}^p$-spaces.


title: Inferring Hidden Symmetries of Exotic Magnets from Detecting Explicit Order Parameters

abstract: An unconventional magnet may be mapped onto a simple ferromagnet by the existence of a high-symmetry point. Knowledge of conventional ferromagnetic systems may then be carried over to provide insight into more complex orders. Here we demonstrate how an unsupervised and interpretable machine-learning approach can be used to search for potential high-symmetry points in unconventional magnets without any prior knowledge of the system. The method is applied to the classical Heisenberg-Kitaev model on a honeycomb lattice, where our machine learns the transformations that manifest its hidden $O(3)$ symmetry, without using data of these high-symmetry points. Moreover, we clarify that, in contrast to the stripy and zigzag orders, a set of $D_2$ and $D_{2h}$ ordering matrices provides a more complete description of the magnetization in the Heisenberg-Kitaev model. In addition, our machine also learns the local constraints at the phase boundaries, which manifest a subdimensional symmetry. This paper highlights the importance of explicit order parameters to many-body spin systems and the property of interpretability for the physical application of machine-learning techniques.


title: Adversarial Attacks against Neural Networks in Audio Domain: Exploiting Principal Components

abstract: Adversarial attacks are inputs that are similar to original inputs but altered on purpose. Speech-to-text neural networks that are widely used today are prone to misclassify adversarial attacks. In this study, first, we investigate the presence of targeted adversarial attacks by altering wave forms from Common Voice data set. We craft adversarial wave forms via Connectionist Temporal Classification Loss Function, and attack DeepSpeech, a speech-to-text neural network implemented by Mozilla. We achieve 100% adversarial success rate (zero successful classification by DeepSpeech) on all 25 adversarial wave forms that we crafted. Second, we investigate the use of PCA as a defense mechanism against adversarial attacks. We reduce dimensionality by applying PCA to these 25 attacks that we created and test them against DeepSpeech. We observe zero successful classification by DeepSpeech, which suggests PCA is not a good defense mechanism in audio domain. Finally, instead of using PCA as a defense mechanism, we use PCA this time to craft adversarial inputs under a black-box setting with minimal adversarial knowledge. With no knowledge regarding the model, parameters, or weights, we craft adversarial attacks by applying PCA to samples from Common Voice data set and achieve 100% adversarial success under black-box setting again when tested against DeepSpeech. We also experiment with different percentage of components necessary to result in a classification during attacking process. In all cases, adversary becomes successful.


title: Combining Deep Learning and Optimization for Security-Constrained Optimal Power Flow

abstract: The security-constrained optimal power flow (SCOPF) is fundamental in power systems and connects the automatic primary response (APR) of synchronized generators with the short-term schedule. Every day, the SCOPF problem is repeatedly solved for various inputs to determine robust schedules given a set of contingencies. Unfortunately, the modeling of APR within the SCOPF problem results in complex large-scale mixed-integer programs, which are hard to solve. To address this challenge, leveraging the wealth of available historical data, this paper proposes a novel approach that combines deep learning and robust optimization techniques. Unlike recent machine-learning applications where the aim is to mitigate the computational burden of exact solvers, the proposed method predicts directly the SCOPF implementable solution. Feasibility is enforced in two steps. First, during training, a Lagrangian dual method penalizes violations of physical and operations constraints, which are iteratively added as necessary to the machine-learning model by a Column-and-Constraint-Generation Algorithm (CCGA). Second, another different CCGA restores feasibility by finding the closest feasible solution to the prediction. Experiments on large test cases show that the method results in significant time reduction for obtaining feasible solutions with an optimality gap below 0.1%.


title: Data-driven modelling and characterisation of task completion sequences in online courses

abstract: The intrinsic temporality of learning demands the adoption of methodologies capable of exploiting time-series information. In this study we leverage the sequence data framework and show how data-driven analysis of temporal sequences of task completion in online courses can be used to characterise personal and group learners' behaviors, and to identify critical tasks and course sessions in a given course design. We also introduce a recently developed probabilistic Bayesian model to learn sequence trajectories of students and predict student performance. The application of our data-driven sequence-based analyses to data from learners undertaking an on-line Business Management course reveals distinct behaviors within the cohort of learners, identifying learners or groups of learners that deviate from the nominal order expected in the course. Using course grades a posteriori, we explore differences in behavior between high and low performing learners. We find that high performing learners follow the progression between weekly sessions more regularly than low performing learners, yet within each weekly session high performing learners are less tied to the nominal task order. We then model the sequences of high and low performance students using the probablistic Bayesian model and show that we can learn engagement behaviors associated with performance. We also show that the data sequence framework can be used for task centric analysis; we identify critical junctures and differences among types of tasks within the course design. We find that non-rote learning tasks, such as interactive tasks or discussion posts, are correlated with higher performance. We discuss the application of such analytical techniques as an aid to course design, intervention, and student supervision.


title: Droplet motion on chemically heterogeneous substrates with mass transfer. I. Two-dimensional dynamics

abstract: We consider the dynamics of thin two-dimensional viscous droplets on chemically heterogeneous surfaces moving under the combined effects of slip, mass transfer and capillarity. The resulting long-wave evolution equation for the droplet thickness is treated analytically via the method of matched asymptotic expansions in the limit of slow mass transfer rates, quasi-static dynamics and vanishingly small slip lengths to deduce a lower-dimensional system of integrodifferential equations for the two moving fronts. We demonstrate that the predictions of the deduced system agree excellently with simulations of the full model for a number of representative cases within the domain of applicability of the analysis. Specifically, we focus on situations where the mass of the drop changes periodically to highlight a number of interesting features of the dynamics, which include stick-slip, hysteresis-like effects, as well as the possibility for the droplet to alternate between the constant-radius and constant-angle stages which have been previously reported in related works. These features of the dynamics are further scrutinized by investigating how the bifurcation structure of droplet equilibria evolves as the mass of the droplet varies.


title: An Obscured, Seyfert-2-like State of the Stellar-mass Black Hole GRS 1915+105 Caused by Failed Disk Winds

abstract: We report on Chandra gratings spectra of the stellar-mass black hole GRS 1915+105 obtained during a novel, highly obscured state. As the source entered this state, a dense, massive accretion disk wind was detected through strong absorption lines. Photionization modeling indicates that it must originate close to the central engine, orders of magnitude from the outer accretion disk. Strong, nearly sinusoidal flux variability in this phase yielded a key insight: the wind is blue-shifted when its column density is relatively low, but red-shifted as it approaches the Compton-thick threshold. At no point does the wind appear to achieve the local escape velocity; in this sense, it is a "failed wind." Later observations suggest that the disk ultimately fails to keep even the central engine clear of gas, leading to heavily obscured and Compton-thick states characterized by very strong Fe K emission lines. Indeed, these later spectra are successfully described using models developed for obscured AGN. We discuss our results in terms the remarkable similarity of GRS 1915+105 deep in its "obscured state" to Seyfert-2 and Compton-thick AGN, and explore how our understanding of accretion and obscuration in massive black holes is impacted by our observations.


title: Regimes of heat transfer in particle suspensions

abstract: We present results of interface-resolved simulations of heat transfer in suspensions of finite-size neutrally-buoyant spherical particles for solid volume fractions up to 35% and bulk Reynolds numbers from 500 to 5600. An Immersed Boundary-Volume of Fluid method is used to solve the energy equation in the fluid and solid phase. We relate the heat transfer to the regimes of particle motion previously identified, i.e. a viscous regime at low volume fractions and low Reynolds number, particle-laden turbulence at high Reynolds and moderate volume fraction and particulate regime at high volume fractions. We show that in the viscous dominated regime, the heat transfer is mainly due to thermal diffusion with enhancement due to the particle-induced fluctuations. In the turbulent-like regime, we observe the largest enhancement of the global heat transfer, dominated by the turbulent heat flux. In the particulate shear-thickening regime, however, the heat transfer enhancement decreases as mixing is quenched by the particle migration towards the channel core. As a result, a compact loosely-packed core region forms and the contribution of thermal diffusion to the total heat transfer becomes significant once again. The global heat transfer becomes, in these flows at volume fractions larger than 25%, lower than in single-phase turbulence.


title: Global transversal stability of Euclidean planes under skew mean curvature flow evolutions

abstract: In this paper, we prove that 2 dimensional transversal small perturbations of d-dimensional Euclidean planes under the skew mean curvature flow lead to global solutions which converge to the unperturbed planes in suitable norms. And we clarify the long time behaviors of the solutions in Sobolev spaces.


title: Droplet motion on chemically heterogeneous substrates with mass transfer. II. Three-dimensional dynamics

abstract: We consider a thin droplet that spreads over a flat, horizontal and chemically heterogeneous surface. The droplet is subjected to changes in its volume though a prescribed, arbitrary spatiotemporal function, which varies slowly and vanishes along the contact line. A matched asymptotics analysis is undertaken to derive a set of evolution equations for the Fourier harmonics of nearly circular contact lines, which is applicable in the long-wave limit of the Stokes equations with slip. Numerical experiments highlight the generally excellent agreement between the long-wave model and the derived equations, demonstrating that these are able to capture many of the features which characterize the intricate interplay between substrate heterogeneities and mass transfer on droplet motion.


title: Generalized Contingency Analysis Based on Graph Theory and Line Outage Distribution Factor

abstract: Identifying the multiple critical components in power systems whose absence together has severe impact on system performance is a crucial problem for power systems known as (N-x) contingency analysis. However, the inherent combinatorial feature of the N-x contingency analysis problem incurs by the increase of x in the (N-x) term, making the problem intractable for even relatively small test systems. We present a new framework for identifying the N-x contingencies that captures both topology and physics of the network. Graph theory provides many ways to measure power grid graphs, i.e. buses as nodes and lines as edges, allowing researchers to characterize system structure and optimize algorithms. This paper proposes a scalable approach based on the group betweenness centrality (GBC) concept that measures the impact of multiple components in the electric power grid as well as line outage distribution factors (LODFs) that find the lines whose loss has the highest impact on the power flow in the network. The proposed approach is a quick and efficient solution for identifying the most critical lines in power networks. The proposed approach is validated using various test cases, and results show that the proposed approach is able to quickly identify multiple contingencies that result in violations.


title: Will Gravitational Waves Discover the First Extra-Galactic Planetary System?

abstract: Gravitational waves have opened a new observational window through which some of the most exotic objects in the Universe, as well as some of the secrets of gravitation itself, can now be revealed. Among all these new discoveries, we recently demonstrated [N. Tamanini & C. Danielski, Nat. Astron., 3(9), 858 (2019)] that space-based gravitational wave observations will have the potential to detect a new population of massive circumbinary exoplanets everywhere inside our Galaxy. In this essay we argue that these circumbinary planetary systems can also be detected outside the Milky Way, in particular within its satellite galaxies. Space-based gravitational wave observations might thus constitute the mean to detect the first extra-galactic planetary system, a target beyond the reach of standard electromagnetic searches.

categories: astro-ph.IM astro-ph.EP astro-ph.SR gr-qc


title: Lifelong Policy Gradient Learning of Factored Policies for Faster Training Without Forgetting

abstract: Policy gradient methods have shown success in learning control policies for high-dimensional dynamical systems. Their biggest downside is the amount of exploration they require before yielding high-performing policies. In a lifelong learning setting, in which an agent is faced with multiple consecutive tasks over its lifetime, reusing information from previously seen tasks can substantially accelerate the learning of new tasks. We provide a novel method for lifelong policy gradient learning that trains lifelong function approximators directly via policy gradients, allowing the agent to benefit from accumulated knowledge throughout the entire training process. We show empirically that our algorithm learns faster and converges to better policies than single-task and lifelong learning baselines, and completely avoids catastrophic forgetting on a variety of challenging domains.


title: A Weakly Supervised Region-Based Active Learning Method for COVID-19 Segmentation in CT Images

abstract: One of the key challenges in the battle against the Coronavirus (COVID-19) pandemic is to detect and quantify the severity of the disease in a timely manner. Computed tomographies (CT) of the lungs are effective for assessing the state of the infection. Unfortunately, labeling CT scans can take a lot of time and effort, with up to 150 minutes per scan. We address this challenge introducing a scalable, fast, and accurate active learning system that accelerates the labeling of CT scan images. Conventionally, active learning methods require the labelers to annotate whole images with full supervision, but that can lead to wasted efforts as many of the annotations could be redundant. Thus, our system presents the annotator with unlabeled regions that promise high information content and low annotation cost. Further, the system allows annotators to label regions using point-level supervision, which is much cheaper to acquire than per-pixel annotations. Our experiments on open-source COVID-19 datasets show that using an entropy-based method to rank unlabeled regions yields to significantly better results than random labeling of these regions. Also, we show that labeling small regions of images is more efficient than labeling whole images. Finally, we show that with only 7\% of the labeling effort required to label the whole training set gives us around 90\% of the performance obtained by training the model on the fully annotated training set. Code is available at: \url{https://github.com/IssamLaradji/covid19_active_learning}.


title: Pose2RGBD. Generating Depth and RGB images from absolute positions

abstract: We propose a method at the intersection of Computer Vision and Computer Graphics fields, which automatically generates RGBD images using neural networks, based on previously seen and synchronized video, depth and pose signals. Since the models must be able to reconstruct both texture (RGB) and structure (Depth), it creates an implicit representation of the scene, as opposed to explicit ones, such as meshes or point clouds. The process can be thought of as neural rendering, where we obtain a function f : Pose -> RGBD, which we can use to navigate through the generated scene, similarly to graphics simulations. We introduce two new datasets, one based on synthetic data with full ground truth information, while the other one being recorded from a drone flight in an university campus, using only video and GPS signals. Finally, we propose a fully unsupervised method of generating datasets from videos alone, in order to train the Pose2RGBD networks. Code and datasets are available at:: https://gitlab.com/mihaicristianpirvu/pose2rgbd.


title: Entanglement concentration protocols for GHZ-type entangled coherent state based on linear optics

abstract: We proposed two entanglement concentration protocols (ECPs) to obtain maximally entangled Greenberger-Horne-Zeilinger (GHZ)-type entangled coherent state (ECS) from the corresponding partially entangled GHZ-type ECSs. We obtained the first ECP using a partially entangled GHZ-type ECS assisted with a superposition of single-mode coherent state, however the second ECP is designed using two copies of partially entangled GHZ-type ECSs. The success probabilities have also been calculated and discussed for both the ECPs. We have further compared the success probabilities of our first ECP for 3-mode GHZ-type ECS with an ECP of 3-mode W-type ECS and found that our ECP is more efficient (maximal success probabilities) for larger value (\beta=0.7) of state parameter. For the physical realization, two optical circuits (for two ECPs) using linear optical elements, viz 50:50 beam splitter, phase shifter, and photon detectors are provided, which support the future experimental implementation possible with the present technology.


title: Convergence analysis of the time-stepping numerical methods for time-fractional nonlinear subdiffusion equations

abstract: In 1986, Dixon and McKee developed a discrete fractional Gr\"{o}nwall inequality [Z. Angew. Math. Mech., 66 (1986), pp. 535--544], which can be seen as a generalization of the classical discrete Gr\"{o}nwall inequality. However, this generalized discrete Gr\"{o}nwall inequality has not been widely applied in the numerical analysis of the time-stepping methods for the time-fractional evolution equations. The main purpose of this paper is to show how to apply the generalized discrete Gr\"{o}nwall inequality to prove the convergence of a class of time-stepping numerical methods for time-fractional nonlinear subdiffusion equations, including the popular fractional backward difference type methods of order one and two, and the second-order fractional Crank-Nicolson type methods. We obtain the optimal $L^2$ error estimate in space discretization. The convergence of the fast time-stepping numerical methods is also proved in a simple manner.


title: Public Goods From Private Data -- An Efficacy and Justification Paradox for Digital Contact Tracing

abstract: Debate about the adoption of digital contact tracing (DCT) apps to control the spread of COVID-19 has focussed on risks to individual privacy (Sharma & Bashir 2020, Tang 2020). This emphasis reveals significant challenges to ethical deployment of DCT, but generates constraints which undermine justification to implement DCT. It would be a mistake to view this result solely as the successful operation of ethical foresight analysis (Floridi & Strait 2020), preventing deployment of potentially harmful technology. Privacy-centric analysis treats data as private property, frames the relationship between individuals and governments as adversarial, entrenches technology platforms as gatekeepers, and supports a conception of emergency public health authority as limited by individual consent and considerable corporate influence that is in some tension with the more communitarian values that typically inform public health ethics. To overcome the barriers to ethical and effective DCT, and develop infrastructure and policy that supports the realization of potential public benefits of digital technology, a public resource conception of aggregate data should be developed.


title: {\L}ojasiewicz inequalities near simple bubble trees

abstract: In this paper we prove a gap phenomenon for critical points of the $H$-functional on closed non-spherical surfaces when $H$ is constant, and in this setting furthermore prove that sequences of almost critical points satisfy {\L}ojasiewicz inequalities as they approach the first non-trivial bubble tree. To prove these results we derive sufficient conditions for {\L}ojasiewicz inequalities to hold near a finite-dimensional submanifold of almost-critical points for suitable functionals on a Hilbert space.


title: Correlation filter tracking with adaptive proposal selection for accurate scale estimation

abstract: Recently, some correlation filter based trackers with detection proposals have achieved state-of-the-art tracking results. However, a large number of redundant proposals given by the proposal generator may degrade the performance and speed of these trackers. In this paper, we propose an adaptive proposal selection algorithm which can generate a small number of high-quality proposals to handle the problem of scale variations for visual object tracking. Specifically, we firstly utilize the color histograms in the HSV color space to represent the instances (i.e., the initial target in the first frame and the predicted target in the previous frame) and proposals. Then, an adaptive strategy based on the color similarity is formulated to select high-quality proposals. We further integrate the proposed adaptive proposal selection algorithm with coarse-to-fine deep features to validate the generalization and efficiency of the proposed tracker. Experiments on two benchmark datasets demonstrate that the proposed algorithm performs favorably against several state-of-the-art trackers.


title: Electron nuclear interactions and electronic structure of spin 3/2 color centers in silicon carbide: A high-field pulse EPR and ENDOR study

abstract: High-frequency pulse electron paramagnetic resonance (EPR) and electron nuclear double resonance (ENDOR) were used to clarify the electronic structure of the color centers with an optically induced high-temperature spin-3/2 alignment in hexagonal 4H-, 6H- and rhombic 15R- silicon carbide (SiC) polytypes. The identification is based on resolved ligand hyperfine interactions with carbon and silicon nearest, next nearest and the more distant neighbors and on the determination of the spin state. The ground state and the excited state were demonstrated to have spin S = 3/2. The microscopic model suggested from the EPR and ENDOR results is as follows: a paramagnetic negatively charged silicon vacancy that is noncovalently bonded to a non-paramagnetic neutral carbon vacancy, located on the adjacent site along the SiC symmetry c-axis.


title: Video Object Segmentation with Episodic Graph Memory Networks

abstract: How to make a segmentation model efficiently adapt to a specific video and to online target appearance variations are fundamentally crucial issues in the field of video object segmentation. In this work, a graph memory network is developed to address the novel idea of "learning to update the segmentation model". Specifically, we exploit an episodic memory network, organized as a fully connected graph, to store frames as nodes and capture cross-frame correlations by edges. Further, learnable controllers are embedded to ease memory reading and writing, as well as maintain a fixed memory scale. The structured, external memory design enables our model to comprehensively mine and quickly store new knowledge, even with limited visual information, and the differentiable memory controllers slowly learn an abstract method for storing useful representations in the memory and how to later use these representations for prediction, via gradient descent. In addition, the proposed graph memory network yields a neat yet principled framework, which can generalize well both one-shot and zero-shot video object segmentation tasks. Extensive experiments on four challenging benchmark datasets verify that our graph memory network is able to facilitate the adaptation of the segmentation network for case-by-case video object segmentation.


title: Bayesian Group Regularization in Generalized Linear Models with a Continuous Spike-and-Slab Prior

abstract: We study Bayesian group-regularized estimation in high-dimensional generalized linear models (GLMs) under a continuous spike-and-slab prior. Our framework covers both canonical and non-canonical link functions and subsumes logistic regression, Poisson regression, Gaussian regression, and negative binomial regression with group sparsity. Under milder assumptions than those previously assumed for the group lasso, we obtain the convergence rate for both the maximum a posteriori (MAP) estimator and the full posterior distribution. Our theoretical results thus justify the use of the posterior mode as a point estimator. Furthermore, the posterior distribution contracts at the same rate as the MAP estimator, an attractive feature of our approach which is not the case for the group lasso. For computation, we propose an expectation-maximization (EM) algorithm for rapidly obtaining MAP estimates under our model. We illustrate our method through simulations and a real data application on predicting human immunodeficiency virus (HIV) drug resistance from protein sequences.


title: Wikipedia Citations: A comprehensive dataset of citations with identifiers extracted from English Wikipedia

abstract: Wikipedia's contents are based on reliable and published sources. To this date, relatively little is known about what sources Wikipedia relies on, in part because extracting citations and identifying cited sources is challenging. To close this gap, we release Wikipedia Citations, a comprehensive dataset of citations extracted from Wikipedia. A total of 29.3M citations were extracted from 6.1M English Wikipedia articles as of May 2020, and classified as being to books, journal articles or Web contents. We were thus able to extract 4.0M citations to scholarly publications with known identifiers -- including DOI, PMC, PMID, and ISBN -- and further equip an extra 261K citations with DOIs from Crossref. As a result, we find that 6.7% of Wikipedia articles cite at least one journal article with an associated DOI, and that Wikipedia cites just 2% of all articles with a DOI currently indexed in the Web of Science. We release our code to allow the community to extend upon our work and update the dataset in the future.


title: A Quasi-Doppler Method for Doubling Transmission Efficiency Through Two Orthogonal Directions

abstract: Inspired by the anisotropy of Doppler effect with wave propagations, we propose a new method to leverage one information symbol serving two users located in two geometrically orthogonal directions. Specifically in broadband wireless communication, we use multiple antennas with the proposed signal switching method to emulate a moving emission source and yield the frequency shift, referred to as Quasi Doppler effect, which is converted to the discrete phase modulation. Further, using this discrete modulated phase can adjust the phase of one transmit symbol in achieving two different phases in different directions. The modulation mechanism is explained through theoretical derivations with the analysis on the performance robustness in the application-scenarios of crossroads having small geometric deviations. In contrast to the use of conventional symbols, this approach can double the transmission efficiency which is confirmed by our simulations results.


title: Lusternik-Schnirelman and Morse theory for the Van der Waals-Cahn-Hilliard equation with volume constraint

abstract: We give a multiplicity result for solutions of the Van der Waals-Cahn-Hilliard two-phase transition equation with volume constraints on a closed Riemannian manifold. Our proof employs some results from the classical Lusternik--Schnirelman and Morse theory, together with a technique, the so-called \emph{photography method}, which allows us to obtain lower bounds on the number of solutions in terms of topological invariants of the underlying manifold. The setup for the photography method employs recent results from Riemannian isoperimetry for small volumes.

categories: math.AP math-ph math.DG math.FA math.MG math.MP


title: A Nearly Optimal Deterministic Online Algorithm for Non-Metric Facility Location

abstract: In the online non-metric variant of the facility location problem, there is a given graph consisting of a set $F$ of facilities (each with a certain opening cost), a set $C$ of potential clients, and weighted connections between them. The online part of the input is a sequence of clients from $C$, and in response to any requested client, an online algorithm may open an additional subset of facilities and must connect the given client to an open facility. We give an online, polynomial-time deterministic algorithm for this problem, with a competitive ratio of $O(\log |F| \cdot (\log |C| + \log \log |F|))$. The result is optimal up to loglog factors. Our algorithm improves over the $O((\log |C| + \log |F|) \cdot (\log |C| + \log \log |F|))$-competitive construction that first reduces the facility location instance to a set cover one and then later solves such instance using the deterministic algorithm by Alon et al. [TALG 2006]. This is an asymptotic improvement in a typical scenario where $|F| \ll |C|$. We achieve this by a more direct approach: we design an algorithm for a fractional relaxation of the non-metric facility location problem with clustered facilities. To handle the constraints of such non-covering LP, we combine the dual fitting and multiplicative weight updates approach. By maintaining certain additional monotonicity properties of the created fractional solution, we can handle the dependencies between facilities and connections in a rounding routine. Our result, combined with the algorithm by Naor et al. [FOCS 2011] yields the first deterministic algorithm for the online node-weighted Steiner tree problem. The resulting competitive ratio is $O(\log k \cdot \log^2 \ell)$ on graphs of $\ell$ nodes and $k$ terminals.


title: Exponentially growing bulk Green functions as signature of nontrivial non-Hermitian winding number in one dimension

abstract: A nonzero non-Hermitian winding number indicates that a gapped system is in a nontrivial topological class due to the non-Hermiticity of its Hamiltonian. While for Hermitian systems nontrivial topological quantum numbers are reflected by the existence of edge states, a nonzero non-Hermitian winding number impacts a system's bulk response. To establish this relation, we introduce the bulk Green function, which describes the response of a gapped system to an external perturbation on timescales where the induced excitations have not propagated to the boundary yet, and show that it will grow in space if the non-Hermitian winding number is nonzero. Such spatial growth explains why the response of non-Hermitian systems on longer timescales, where excitations have been reflected at the boundary repeatedly, may be highly sensitive to boundary conditions. This exponential sensitivity to boundary conditions explains the breakdown of the bulk-boundary correspondence in non-Hermitian systems: topological invariants computed for periodic boundary conditions no longer predict the presence or absence of boundary states for open boundary conditions.

categories: cond-mat.mes-hall math-ph math.MP physics.optics


title: Almost Envy-freeness, Envy-rank, and Nash Social Welfare Matchings

abstract: Envy-free up to one good (EF1) and envy-free up to any good (EFX) are two well-known extensions of envy-freeness for the case of indivisible items. It is shown that EF1 can always be guaranteed for agents with subadditive valuations. In sharp contrast, it is unknown whether or not an EFX allocation always exists, even for four agents and additive valuations. In addition, the best approximation guarantee for EFX is $(\phi -1) \simeq 0.61$ by Amanitidis et al.. In order to find a middle ground to bridge this gap, in this paper we suggest another fairness criterion, namely envy-freeness up to a random good or EFR, which is weaker than EFX, yet stronger than EF1. For this notion, we provide a polynomial-time $0.73$-approximation allocation algorithm. For our algorithm, we introduce Nash Social Welfare Matching which makes a connection between Nash Social Welfare and envy freeness. We believe Nash Social Welfare Matching will find its applications in future work.


title: M-theory as a dynamical system generator

abstract: We review our recent work on ellipsoidal M2-brane solutions in the large-N limit of the BMN matrix model. These bosonic finite-energy membranes live inside SO(3)xSO(6) symmetric plane-wave spacetimes and correspond to local extrema of the energy functional. They are static in SO(3) and stationary in SO(6). Chaos appears at the level of radial stability analysis through the explicitly derived spectrum of eigenvalues. The angular perturbation analysis is suggestive of the presence of weak turbulence instabilities that propagate from low to high orders in perturbation theory.


title: Deep Learning for Virtual Screening: Five Reasons to Use ROC Cost Functions

abstract: Computer-aided drug discovery is an essential component of modern drug development. Therein, deep learning has become an important tool for rapid screening of billions of molecules in silico for potential hits containing desired chemical features. Despite its importance, substantial challenges persist in training these models, such as severe class imbalance, high decision thresholds, and lack of ground truth labels in some datasets. In this work we argue in favor of directly optimizing the receiver operating characteristic (ROC) in such cases, due to its robustness to class imbalance, its ability to compromise over different decision thresholds, certain freedom to influence the relative weights in this compromise, fidelity to typical benchmarking measures, and equivalence to positive/unlabeled learning. We also propose new training schemes (coherent mini-batch arrangement, and usage of out-of-batch samples) for cost functions based on the ROC, as well as a cost function based on the logAUC metric that facilitates early enrichment (i.e. improves performance at high decision thresholds, as often desired when synthesizing predicted hit compounds). We demonstrate that these approaches outperform standard deep learning approaches on a series of PubChem high-throughput screening datasets that represent realistic and diverse drug discovery campaigns on major drug target families.


title: Asymptotic stability for a free boundary tumor model with angiogenesis

abstract: In this paper, we study a free boundary problem modeling solid tumor growth with vasculature which supplies nutrients to the tumor; this is characterized in the Robin boundary condition. It was recently established [Discrete Cont. Dyn. Syst. 39 (2019) 2473-2510] that for this model, there exists a threshold value $\mu^\ast$ such that the unique radially symmetric stationary solution is linearly stable under non-radial perturbations for $0<\mu<\mu^\ast$ and linearly unstable for $\mu>\mu^\ast$. In this paper we further study the nonlinear stability of the radially symmetric stationary solution, which introduces a significant mathematical difficulty: the center of the limiting sphere is not known in advance owing to the perturbation of mode 1 terms. We prove a new fixed point theorem to solve this problem, and finally obtain that the radially symmetric stationary solution is nonlinearly stable for $0<\mu<\mu^\ast$ when neglecting translations.


title: A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling

abstract: Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS are developed for critical domains, such as healthcare and transportation, there is an increasing need to attain higher quality levels, which often justifies additional costs that can be incurred by adopting formal and semi-formal approaches (i.e., languages and techniques) for modeling requirements. Various approaches have been employed, but a detailed landscape is still missing, and it is not well known whether they are appropriate for addressing the inherent characteristics of SoS. The main contribution of this article is to present this landscape by reporting on the state of the art in SoS requirements modeling. This landscape was built by means of a systematic mapping and shows formal and semi-formal approaches grouped from model-based to property-oriented ones. Most of them have been tested in safety-critical domains, where formal approaches such as finite state machines are aimed at critical system parts, while semi-formal approaches (e.g., UML and i*) address non-critical parts. Although formal and semi-formal modeling is an essential activity, the quality of SoS requirements does not rely solely on which formalism is used, but also on the availability of supporting tools/mechanisms that enable, for instance, requirements verification along the SoS lifecycle


title: QUALINET White Paper on Definitions of Immersive Media Experience (IMEx)

abstract: With the coming of age of virtual/augmented reality and interactive media, numerous definitions, frameworks, and models of immersion have emerged across different fields ranging from computer graphics to literary works. Immersion is oftentimes used interchangeably with presence as both concepts are closely related. However, there are noticeable interdisciplinary differences regarding definitions, scope, and constituents that are required to be addressed so that a coherent understanding of the concepts can be achieved. Such consensus is vital for paving the directionality of the future of immersive media experiences (IMEx) and all related matters. The aim of this white paper is to provide a survey of definitions of immersion and presence which leads to a definition of immersive media experience (IMEx). The Quality of Experience (QoE) for immersive media is described by establishing a relationship between the concepts of QoE and IMEx followed by application areas of immersive media experience. Influencing factors on immersive media experience are elaborated as well as the assessment of immersive media experience. Finally, standardization activities related to IMEx are highlighted and the white paper is concluded with an outlook related to future developments.


title: Semiclassical limit of topological R\'enyi entropy in $3d$ Chern-Simons theory

abstract: We study the multi-boundary entanglement structure of the state associated with the torus link complement $S^3 \backslash T_{p,q}$ in the set-up of three-dimensional SU(2)$_k$ Chern-Simons theory. The focal point of this work is the asymptotic behavior of the R\'enyi entropies, including the entanglement entropy, in the semiclassical limit of $k \to \infty$. We present a detailed analysis for several torus links and observe that the entropies converge to a finite value in the semiclassical limit. We further propose that the large $k$ limiting value of the R\'enyi entropy of torus links of type $T_{p,pn}$ is the sum of two parts: (i) the universal part which is independent of $n$, and (ii) the non-universal or the linking part which explicitly depends on the linking number $n$. Using the analytic techniques, we show that the universal part comprises of Riemann zeta functions and can be written in terms of the partition functions of two-dimensional topological Yang-Mills theory. More precisely, it is equal to the R\'enyi entropy of certain states prepared in topological $2d$ Yang-Mills theory with SU(2) gauge group. Further, the universal parts appearing in the large $k$ limits of the entanglement entropy and the minimum R\'enyi entropy for torus links $T_{p,pn}$ can be interpreted in terms of the volume of the moduli space of flat connections on certain Riemann surfaces. We also analyze the R\'enyi entropies of $T_{p,pn}$ link in the double scaling limit of $k \to \infty$ and $n \to \infty$ and propose that the entropies converge in the double limit as well.


title: The Landis conjecture on exponential decay

abstract: Consider a solution $u$ to $\Delta u +Vu=0$ on $\mathbb{R}^2$, where $V$ is real-valued, measurable and $|V|\leq 1$. If $|u(x)| \leq \exp(-C |x| \log^{1/2}|x|)$, $|x|>2$, where $C$ is a sufficiently large absolute constant, then $u\equiv 0$.


title: Ergodicity for stochastic conservation laws with multiplicative noise

abstract: We proved that there exists a unique invariant measure for solutions of stochastic conservation laws with Dirichlet boundary condition driven by multiplicative noise. Moreover, a polynomial mixing property is established. This is done in the setting of kinetic solutions taking values in an L^1-weighted space.


title: On periods of Herman rings and relevant poles

abstract: Possible periods of Herman rings are studied for general meromorphic functions with at least one omitted value. A pole is called $H$-relevant for a Herman ring $H$ of such a function $f$ if it is surrounded by some Herman ring of the cycle containing $H$. In this article, a lower bound on the period $p$ of a Herman ring $H$ is found in terms of the number of $H$-relevant poles, say $h$. More precisely, it is shown that $p\geq \frac{h(h+1)}{2}$ whenever $f^j(H)$, for some $j$, surrounds a pole as well as the set of all omitted values of $f$. It is proved that $p \geq \frac{h(h+3)}{2}$ in the other situation. Sufficient conditions are found under which equalities hold. It is also proved that if an omitted value is contained in the closure of an invariant or a two periodic Fatou component then the function does not have any Herman ring.


title: Two-Photon Photocurrent in InGaN/GaN Nanowire Intermediate Band Solar Cells

abstract: Intermediate band solar cells hold the promise of ultrahigh power conversion efficiencies using a single semiconductor junction. Many current implementations use materials with bandgaps too small to achieve maximum efficiency or use cost-prohibitive substrates. Here we demonstrate a material system for intermediate band solar cells using InGaN/GaN quantum-dot-in-nanowire heterostructures grown directly on silicon to provide a lower cost, large-bandgap intermediate band solar cell platform. We demonstrate sequential two-photon current generation with sub-bandgap photons, the hallmark of intermediate band solar cell operation, through vertically stacked quantum dots in the nanowires. Near-infrared light biasing with an 850 nm laser intensity up to 200 W/cm2 increases the photocurrent above and below the bandgap by up to 19% at 78 K, and 44% at room temperature. The nanostructured III-nitride strategy provides a route towards realistic room temperature intermediate band solar cells while leveraging the cost benefits of silicon substrates.


title: On the long-term stability of space-time crystals

abstract: We investigate a space-time crystal in a superfluid Bose gas. Using a well-controlled periodic drive we excite only one crystalline mode in the system, which can be accurately modeled in the rotating frame of the drive. Using holographic imaging we observe the stability of the crystal over an extended period of time and show the robustness of its structure in both space and time. By introducing a fourth-order term in the Hamiltonian we show that the crystal stabilizes at a fixed number of quanta. The results of the model are compared to the experimental data and show good agreement, with a small number of free parameters. The results yield insights in the long-term stability of the crystal, which can only be obtained by the combination of the extended control in the experiment and the nearly ab-initio character of the model. From the model we derive a phase diagram of the system, which can be exploited in the future to study the phase transitions for this new state of matter in even more detail.


title: The role of vascular complexity on optimal junction exponents

abstract: We examine the role of complexity on arterial tree structures, determining globally optimal vessel arrangements using the Simulated AnneaLing Vascular Optimization (SALVO) algorithm, which we have previously used to reproduce features of cardiac and cerebral vasculatures. Fundamental biophysical understanding of complex vascular structure has applications to modelling of cardiovascular diseases, and for improved representations of vasculatures in large artificial tissues. In order to progress in-silico methods for growing arterial networks, we need to understand the stability of computational arterial growth algorithms to complexity, variations in physiological parameters such as tissue demand, and underlying assumptions regarding the value of junction exponents. We determine the globally optimal structure of two-dimensional arterial trees; analysing sensitivity of tree morphology and optimal bifurcation exponent to physiological parameters. We find that, for physiologically relevant simulation parameters, arterial structure is stable, whereas optimal junction exponents vary. We conclude that the full complexity of arterial trees is essential for determining the fundamental properties of vasculatures. These results are important for establishing that optimisation-based arterial growth algorithms are stable against uncertainties in physiological parameters, while identifying that optimal bifurcation exponents (a key parameter for many arterial growth algorithms) are sensitive to complexity and the boundary conditions dictated by organs.


title: Hybrid divide-and-conquer approach for tree search algorithms

abstract: One of the challenges of quantum computers in the near- and mid- term is the limited number of qubits we can use for computations. Finding methods that achieve useful quantum improvements under size limitations is thus a key question in the field. In this vein, it was recently shown that a hybrid classical-quantum method can help provide polynomial speed-ups to classical divide-and-conquer algorithms, even when only given access to a quantum computer much smaller than the problem itself. In this work, we study the hybrid divide-and-conquer method in the context of tree search algorithms, and extend it by including quantum backtracking, which allows better results than previous Grover-based methods. Further, we provide general criteria for polynomial speed-ups in the tree search context, and provide a number of examples where polynomial speed ups, using arbitrarily smaller quantum computers, can be obtained. We provide conditions for speedups for the well known algorithm of DPLL, and we prove threshold-free speed-ups for the PPSZ algorithm (the core of the fastest exact Boolean satisfiability solver) for well-behaved classes of formulas. We also provide a simple example where speed-ups can be obtained in an algorithm-independent fashion, under certain well-studied complexity-theoretical assumptions. Finally, we briefly discuss the fundamental limitations of hybrid methods in providing speed-ups for larger problems.


title: Environmentally friendly method of silicon recycling: synthesis of silica nanoparticles in an aqueous solution

abstract: Future decades will experience tons of silicon waste from various sources, with no reliable recycling route. The transformation of bulk silicon into SiO2 nanoparticles is environmentally significant because it provides a way to recycle residual silicon waste. To address the needs of silicon recycling, we develop a top-down approach that achieves 100% conversion of bulk silicon to silica nanoparticles with outcome sizes of 8-50 nm. In addition to upcycling the potential of silica, our method also possesses several advantages, such as simplicity, scalability and controllable particle size distribution. Many fields of science and manufacturing, such as optics, photonics, medical, and mechanical applications, require size-controllable fabrication of silica nanoparticles. We demonstrate that control over temperature and hydrolysis time has a significant impact on the average particle size and distribution shape. Additionally, we unravel the process of nanoparticle formation using a theoretical nucleation model and quantum density functional theory calculations. Our results provide a theoretical and experimental basis for silica nanoparticle fabrication and pave the way for further silicon conservation research.


title: Inverse Tur\'an numbers

abstract: For given graphs $G$ and $F$, the Tur\'an number $ex(G,F)$ is defined to be the maximum number of edges in an $F$-free subgraph of $G$. Foucaud, Krivelevich and Perarnau and later independently Briggs and Cox introduced a dual version of this problem wherein for a given number $k$, one maximizes the number of edges in a host graph $G$ for which $ex(G,H) < k$. Addressing a problem of Briggs and Cox, we determine the asymptotic value of the inverse Tur\'an number of the paths of length $4$ and $5$ and provide an improved lower bound for all paths of even length. Moreover, we obtain bounds on the inverse Tur\'an number of even cycles giving improved bounds on the leading coefficient in the case of $C_4$. Finally, we give multiple conjectures concerning the asymptotic value of the inverse Tur\'an number of $C_4$ and $P_{\ell}$, suggesting that in the latter problem the asymptotic behavior depends heavily on the parity of $\ell$.


title: Cyclic plasticity and fatigue damage of CrMnFeCoNi high entropy alloy fabricated by laser powder-bed fusion

abstract: The CrMnFeCoNi high-entropy alloy is highly printable and holds great potential for structural applications. However, no significant discussions on cyclic plasticity and fatigue damage in previous studies. This study provides significant insights into the link between print processes, solidification microstructure, cyclic plasticity and fatigue damage evolution in the alloy fabricated by laser powder bed fusion. Thermodynamics-based predictions (validated by scanning transmission electron microscopy (STEM) energy dispersive X-ray spectroscopy (EDX)) showed that Cr, Co and Fe partition to the core of the solidification cells, whilst Mn and Ni to the cell boundaries in all considered print parameters. Both dislocation slip and deformation twinning were found to be responsible for plastic deformation under monotonic loading. However, the former was found to be the single dominant mechanism for cyclic plasticity. The surface finish helped to substantially delay the crack initiation and cause lack-of-fusion porosity to be the main source of crack initiation. Most significantly, the scan strategies significantly affect grain arrangements and grain dimensions, leading to noticeable effects on fatigue crack propagation; in particular, the highest resistance crack propagation was seen in the meander scan strategy with 0{\deg} rotation thanks to the most columnar grains and the smallest spacing of grain boundaries along the crack propagation path.


title: $^7$Be abundance in nova V5668 Sgr doesn't contradict theory

abstract: Resonance lines of $^7$Be are detected currently in five novae. Available abundances for this isotope estimated from equivalent widths of $^7$Be\,II and Ca\,II lines are significantly higher compared to predictions of models for the thermonuclear flash. In attempt to pinpoint the reason for this disparity we explore the possibility for the higher $^7$Be yield via computing kinetics of the thermonuclear burning in the framework of two-zone model and find that even for a favorable choice of parameters $^7$Be mass fraction does not exceed $3\cdot10^{-5}$. This is consistent with known theoretical results and leaves the disparity between the theory and observations unresoved. We find that the contradiction is caused by the assumption that the ionization fraction of Be\,II/Be is equal to that of Ca\,II/Ca, which has been adopted formerly in order to estimate the $^7$Be abundance. In the case of nova V5668 Sgr the ionization fraction of Be\,II/Be turns out to be at least by a factor of $\sim 10$ higher compared to Ca\,II/Ca due to the difference of ionization potentials. Our new estimate of the $^7$Be mass fraction for nova V5668 Sgr does not contradict the theory. The calculated flux of 478 keV gamma-quanta from the $^7$Be decay is consistent with the upper limit according to {\em INTEGRAL} observations.


title: Discovery of ubiquitous lithium production in low-mass stars

abstract: The vast majority of stars with mass similar to the Sun are expected to only destroy lithium over the course of their lives, via low-temperature nuclear burning. This has now been supported by observations of hundreds of thousands of red giant stars (Brown et al. 1989, Kumar et al. 2011, Deepak et al. 2019, Singh et al. 2019, Casey et al. 2019). Here we perform the first large-scale systematic investigation into the Li content of stars in the red clump phase of evolution, which directly follows the red giant branch phase. Surprisingly we find that all red clump stars have high levels of lithium for their evolutionary stage. On average the lithium content increases by a factor of 40 after the end of the red giant branch stage. This suggests that all low-mass stars undergo a lithium production phase between the tip of the red giant branch and the red clump. We demonstrate that our finding is not predicted by stellar theory, revealing a stark tension between observations and models. We also show that the heavily studied (Brown et al. 1989, Reddy et al. 2005, Kumar et al. 2011, Singh et al. 2019, Casey et al. 2019) very Li-rich giants, with A(Li) $> +1.5$ dex, represent only the extreme tail of the lithium enhancement distribution, comprising 3% of red clump stars. Our findings suggest a new definition limit for Li-richness in red clump stars, A(Li) $> -0.9$ dex, which is much lower than the limit of A(Li) $> +1.5$ dex used over many decades (Brown et al. 1989, Castilho et al. 1995, Reddy et al. 2005, Carlberg et al. 2016, Casey et al. 2019, Holanda et al. 2020).


title: TurboCC: A Practical Frequency-Based Covert Channel With Intel Turbo Boost

abstract: Covert channels are communication channels used by attackers to transmit information from a compromised system when the access control policy of the system does not allow doing so. Previous work has shown that CPU frequency scaling can be used as a covert channel to transmit information between otherwise isolated processes. Modern systems either try to save power or try to operate near their power limits in order to maximize performance, so they implement mechanisms to vary the frequency based on load. Existing covert channels based on this approach are either easily thwarted by software countermeasures or only work on completely idle systems. In this paper, we show how the automatic frequency scaling provided by Intel Turbo Boost can be used to construct a covert channel that is both hard to prevent without significant performance impact and can tolerate significant background system load. As Intel Turbo Boost selects the maximum CPU frequency based on the number of active cores, our covert channel modulates information onto the maximum CPU frequency by placing load on multiple additional CPU cores. Our prototype of the covert channel achieves a throughput of up to 61 bit/s on an idle system and up to 43 bit/s on a system with 25% utilization.


title: Quantum Software Engineering: Landscapes and Horizons

abstract: Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it has been drawing increasing attention recently. This paper defines the term "quantum software engineering" and introduces a quantum software life cycle. The paper also gives a generic view of quantum software engineering and discusses the quantum software engineering processes, methods, and tools. Based on these, the paper provides a comprehensive survey of the current state of the art in the field and presents the challenges and opportunities we face. The survey summarizes the technology available in the various phases of the quantum software life cycle, including quantum software requirements analysis, design, implementation, test, and maintenance. It also covers the crucial issues of quantum software reuse and measurement.


title: The Bisq DAO: On the Privacy Cost of Participation

abstract: The Bisq DAO is a core component of Bisq, a decentralized cryptocurrency exchange. The purpose of the Bisq DAO is to decentralize the governance and finance functions of the exchange. However, by interacting with the Bisq DAO, participants necessarily publish data to the Bitcoin blockchain and broadcast additional data to the Bisq peer-to-peer network. We examine the privacy cost to participants in sharing this data. Specifically, we use a novel address clustering heuristic to construct the one-to-many mappings from participants to addresses on the Bitcoin blockchain and augment the address clusters with data stored within the Bisq peer-to-peer network. We show that this technique aggregates activity performed by each participant: trading, voting, transfers, etc. We identify instances where participants are operating under multiple aliases, some of which are real-world names. We identify the dominant transactors and their role in a two-sided market. We conclude with suggestions to better protect the privacy of participants in the future.


title: Quantum exploration algorithms for multi-armed bandits

abstract: Identifying the best arm of a multi-armed bandit is a central problem in bandit optimization. We study a quantum computational version of this problem with coherent oracle access to states encoding the reward probabilities of each arm as quantum amplitudes. Specifically, we show that we can find the best arm with fixed confidence using $\tilde{O}\bigl(\sqrt{\sum_{i=2}^n\Delta^{\smash{-2}}_i}\bigr)$ quantum queries, where $\Delta_{i}$ represents the difference between the mean reward of the best arm and the $i^\text{th}$-best arm. This algorithm, based on variable-time amplitude amplification and estimation, gives a quadratic speedup compared to the best possible classical result. We also prove a matching quantum lower bound (up to poly-logarithmic factors).


title: Angle sums of simplicial polytopes

abstract: The interior angle vector ($\widehat{\alpha}$-vector) of a polytope is a metric analogue of the $f$-vector in which faces are weighted by their solid angle. For simplicial polytopes, Dehn-Sommerville-type relations on the $\widehat{\alpha}$-vector were introduced by Sommerville (1927) and H\"ohn (1953). Camenga (2006) defined the $\widehat{\gamma}$-vector, a linear transformation analogous to the $h$-vector and conjectured it to be non-negative. Using tools from geometric and algebraic combinatorics, we prove this conjecture and show that the $\widehat{\gamma}$-vector increases in the first half and is flawless. In contrast to the $h$-vector, we construct a six-dimensional polytope with non-unimodal $\widehat{\gamma}$-vector. More generally, all result remain valid when solid angles are replaced by simple and non-negative cone valuations.


title: RGB-D Salient Object Detection with Cross-Modality Modulation and Selection

abstract: We present an effective method to progressively integrate and refine the cross-modality complementarities for RGB-D salient object detection (SOD). The proposed network mainly solves two challenging issues: 1) how to effectively integrate the complementary information from RGB image and its corresponding depth map, and 2) how to adaptively select more saliency-related features. First, we propose a cross-modality feature modulation (cmFM) module to enhance feature representations by taking the depth features as prior, which models the complementary relations of RGB-D data. Second, we propose an adaptive feature selection (AFS) module to select saliency-related features and suppress the inferior ones. The AFS module exploits multi-modality spatial feature fusion with the self-modality and cross-modality interdependencies of channel features are considered. Third, we employ a saliency-guided position-edge attention (sg-PEA) module to encourage our network to focus more on saliency-related regions. The above modules as a whole, called cmMS block, facilitates the refinement of saliency features in a coarse-to-fine fashion. Coupled with a bottom-up inference, the refined saliency features enable accurate and edge-preserving SOD. Extensive experiments demonstrate that our network outperforms state-of-the-art saliency detectors on six popular RGB-D SOD benchmarks.


title: Predicting feature imputability in the absence of ground truth

abstract: Data imputation is the most popular method of dealing with missing values, but in most real life applications, large missing data can occur and it is difficult or impossible to evaluate whether data has been imputed accurately (lack of ground truth). This paper addresses these issues by proposing an effective and simple principal component based method for determining whether individual data features can be accurately imputed - feature imputability. In particular, we establish a strong linear relationship between principal component loadings and feature imputability, even in the presence of extreme missingness and lack of ground truth. This work will have important implications in practical data imputation strategies.


title: Unsupervised 3D Human Pose Representation with Viewpoint and Pose Disentanglement

abstract: Learning a good 3D human pose representation is important for human pose related tasks, e.g. human 3D pose estimation and action recognition. Within all these problems, preserving the intrinsic pose information and adapting to view variations are two critical issues. In this work, we propose a novel Siamese denoising autoencoder to learn a 3D pose representation by disentangling the pose-dependent and view-dependent feature from the human skeleton data, in a fully unsupervised manner. These two disentangled features are utilized together as the representation of the 3D pose. To consider both the kinematic and geometric dependencies, a sequential bidirectional recursive network (SeBiReNet) is further proposed to model the human skeleton data. Extensive experiments demonstrate that the learned representation 1) preserves the intrinsic information of human pose, 2) shows good transferability across datasets and tasks. Notably, our approach achieves state-of-the-art performance on two inherently different tasks: pose denoising and unsupervised action recognition. Code and models are available at: \url{https://github.com/NIEQiang001/unsupervised-human-pose.git}


title: Nonlinear Adaptive Cruise Control of Vehicular Platoons

abstract: The paper deals with the design of nonlinear adaptive cruise controllers for vehicular platoons operating on an open road or a ring-road. The constructed feedback controllers are nonlinear functions of the distance between successive vehicles and their speeds. It is shown that the proposed novel controllers guarantee safety (collision avoidance) and bounded vehicle speeds by explicitly characterizing the set of allowable inputs. Moreover, we guarantee global asymptotic stability of the platoon to a desired configuration as well as string stability. Certain macroscopic properties are also investigated. The efficiency of the nonlinear adaptive cruise controllers is demonstrated by means of a numerical example.


title: A detailed study of massive galaxies in a protocluster at z=3.13

abstract: We present a detailed study of Near-IR selected galaxies in a protocluster field at z = 3.13. Protocluster galaxies are selected using the available mutliwavelength data with the photometric redshift (photo-z) at 2.9 < z < 3.3, reaching a mass completeness of ~10^10 M_sun. Diverse types of galaxies have been found in the field including normal star-forming galaxies, quiescent galaxies and dusty star-forming galaxies. The photo-z galaxies form two large overdense structures in the field, largely overlapping with the previously identified galaxy overdensities traced by Ly{\alpha} emitters (LAEs) and Lyman break galaxies (LBGs) respectively. The northern overdensity consists of a large fraction of old and/or dusty galaxy populations, while the southern one is mainly composed of normal star-forming galaxies which are spatially correlated with the LAEs. This agrees with our previous study arguing the spatial offset of different galaxy overdensities may be due to halo assembly bias. Given the large end-to-end sizes of the two overdensities, one possibility is that they will form into a supercluster by the present day. We also find strong evidence that the star-formation activities of the galaxies in the overdense protocluster regions are enhanced in comparison to their field counterparts, which suggests an accelerated mass assembly in this protocluster.


title: Deep Learning for Quantile Regression under Right Censoring: DeepQuantreg

abstract: The computational prediction algorithm of neural network, or deep learning, has drawn much attention recently in statistics as well as in image recognition and natural language processing. Particularly in statistical application for censored survival data, the loss function used for optimization has been mainly based on the partial likelihood from Cox's model and its variations to utilize existing neural network library such as Keras, which was built upon the open source library of TensorFlow. This paper presents a novel application of the neural network to the quantile regression for survival data with right censoring, which is adjusted by the inverse of the estimated censoring distribution in the check function. The main purpose of this work is to show that the deep learning method could be flexible enough to predict nonlinear patterns more accurately compared to existing quantile regression methods such as traditional linear quantile regression and nonparametric quantile regression with total variation regularization, emphasizing practicality of the method for censored survival data. Simulation studies were performed to generate nonlinear censored survival data and compare the deep learning method with existing quantile regression methods in terms of prediction accuracy. The proposed method is illustrated with two publicly available breast cancer data sets with gene signatures. The method has been built into a package and is freely available at \url{https://github.com/yicjia/DeepQuantreg}.


title: Tuning Conductivity and Spin Dynamics in Few-Layer Graphene via In Situ Potassium Exposure

abstract: Chemical modification, such as intercalation or doping of novel materials is of great importance for exploratory material science and applications in various fields of physics and chemistry. In the present work, we report the systematic intercalation of chemically exfoliated few-layer graphene with potassium while monitoring the sample resistance using microwave conductivity. We find that the conductivity of the samples increases by about an order of magnitude upon potassium exposure. The increased of number of charge carriers deduced from the ESR intensity also reflects this increment. The doped phases exhibit two asymmetric Dysonian lines in ESR, a usual sign of the presence of mobile charge carriers. The width of the broader component increases with the doping steps, however, the narrow components seem to have a constant line width.


title: Ultraviolet sensitivity of the cosmological sequester

abstract: We revisit the "sequester" proposal of Kaloper, Padilla and collaborators, in which the amplitude of the cosmological constant is decoupled from large contributions due to loops containing Standard Model particles. We review the different formulations of the model that have appeared in the literature, and estimate the importance of a particular class of quantum corrections-those that dress the interaction between the "rigid" scalars and infrared properties of the spacetime such as its 4-volume and integrated curvature. In formulations that do not adequately sequester graviton loops we argue that dressing of these interactions causes further failures of complete sequestration. We estimate the size of the effect and find that it is typically smaller than the cosmological term directly induced by loops containing a single virtual graviton. Meanwhile, in the most developed formulation of the scenario (where a rigid scalar couples to the Gauss-Bonnet density), this dressing can be absorbed into a rescaling of the rigid fields and is therefore harmless.


title: Rate coefficients of a roaming reaction H + MgH using the ring polymer molecular dynamics

abstract: The ring-polymer molecular dynamics (RPMD) was used to calculate the thermal rate coefficients of the two-channel roaming reaction H + MgH. Both reaction channels, tight and roaming, are explicitly considered. This is a pioneering attempt of exerting RPMD method to multi-channel reactions. With the help of a newly developed optimization-interpolation protocol for preparing the initial structures and adaptive protocol for choosing the force constants, we have successfully obtained the thermal rate coefficients. The results are consistent with those from other theoretical methods, such as variational transition state theory (VTST) and quantum dynamics (QD). Especially, RPMD results exhibit negative temperature dependence, which is similar to results from VTST but different from ones from ground state QD calculations.


title: Template-Based Question Answering over Linked Geospatial Data

abstract: Large amounts of geospatial data have been made available recently on the linked open data cloud and the portals of many national cartographic agencies (e.g., OpenStreetMap data, administrative geographies of various countries, or land cover/land use data sets). These datasets use various geospatial vocabularies and can be queried using SPARQL or its OGC-standardized extension GeoSPARQL. In this paper, we go beyond these approaches to offer a question-answering engine for natural language questions on top of linked geospatial data sources. Our system has been implemented as re-usable components of the Frankenstein question answering architecture. We give a detailed description of the system's architecture, its underlying algorithms, and its evaluation using a set of 201 natural language questions. The set of questions is offered to the research community as a gold standard dataset for the comparative evaluation of future geospatial question answering engines.


title: Polarization in Networks: Identification-alienation Framework

abstract: We introduce a model of polarization in networks as a unifying framework for the measurement of polarization that covers a wide range of applications. We consider a sufficiently general setup for this purpose: node- and edge-weighted, undirected, and connected networks. We generalize the axiomatic characterization of Esteban and Ray (1994) and show that only a particular instance within this class can be used justifiably to measure polarization in networks.


title: Global optimality in model predictive control via hidden invariant convexity

abstract: Non-convex optimal control problems occurring in, e.g., water or power systems, typically involve a large number of variables related through nonlinear equality constraints. The ideal goal is to find a globally optimal solution, and numerical experience indicates that algorithms aiming for Karush-Kuhn-Tucker points often find (near-)optimal solutions. In our paper, we provide a theoretical underpinning for this phenomenon, showing that on a broad class of problems the objective can be shown to be an invariantly convex function (invex function) of the control decision variables when state variables are eliminated using implicit function theory. In this way, near-global optimality can be demonstrated, where the exact nature of the global optimality guarantee depends on the position of the solution within the feasible set. In a numerical example, we show how high-quality solutions are obtained with local search for a river control problem where invexity holds.


title: Floquet Analysis of Space-Time Modulated Huygens' Metasurfaces with Lorentz Dispersion

abstract: A rigorous semi-analytical Floquet analysis is proposed for a zero-thickness space-time modulated Huygens' metasurface to model and determine the strengths of the new harmonic components of the scattered fields. The proposed method is based on Generalized Sheet Transition Conditions (GSTCs) treating a metasurface as a spatial discontinuity. The metasurface is described in terms of Lorentzian electric and magnetic surface susceptibilities, $\chi_\text{e}$ and $\chi_\text{m}$, respectively, with parameters (e.g. resonant frequency) that are periodically modulated in both space and time. The unknown scattered fields are expressed in terms of Floquet harmonics, for which the amplitudes can be found by numerically solving a set of linear equations, leading to the total scattered fields. Using existing computational techniques, the method is validated using several examples of pure-space and pure-time modulation with different modulation strengths and pumping frequencies. Finally, two cases of spacetime modulation (standing wave perturbation and a traveling wave perturbation) are presented to demonstrate the breaking of Lorentz reciprocity. The proposed method is simple and versatile and able to determine the steady-state response of a space-time modulated Huygen's metasurface that is excited with an oblique plane wave, or a general incident field such as a Gaussian beam.


title: The vanishing cohomology of non-isolated hypersurface singularities

abstract: We employ the perverse vanishing cycles to show that each reduced cohomology group of the Milnor fiber, except the top two, can be computed from the restriction of the vanishing cycle complex to only singular strata with a certain lower bound in dimension. Guided by geometric results, we alternately use the nearby and vanishing cycle functors to derive information about the Milnor fiber cohomology via iterated slicing by generic hyperplanes. These lead to the description of the reduced cohomology groups, except the top two, in terms of the vanishing cohomology of the nearby section. We use it to compute explicitly the lowest (possibly nontrivial) vanishing cohomology group of the Milnor fiber.


title: A More Robust t-Test

abstract: Standard inference about a scalar parameter estimated via GMM amounts to applying a t-test to a particular set of observations. If the number of observations is not very large, then moderately heavy tails can lead to poor behavior of the t-test. This is a particular problem under clustering, since the number of observations then corresponds to the number of clusters, and heterogeneity in cluster sizes induces a form of heavy tails. This paper combines extreme value theory for the smallest and largest observations with a normal approximation for the average of the remaining observations to construct a more robust alternative to the t-test. The new test is found to control size much more successfully in small samples compared to existing methods. Analytical results in the canonical inference for the mean problem demonstrate that the new test provides a refinement over the full sample t-test under more than two but less than three moments, while the bootstrapped t-test does not.


title: Towards Realistic 3D Embedding via View Alignment

abstract: Recent advances in generative adversarial networks (GANs) have achieved great success in automated image composition that generates new images by embedding interested foreground objects into background images automatically. On the other hand, most existing works deal with foreground objects in two-dimensional (2D) images though foreground objects in three-dimensional (3D) models are more flexible with 360-degree view freedom. This paper presents an innovative View Alignment GAN (VA-GAN) that composes new images by embedding 3D models into 2D background images realistically and automatically. VA-GAN consists of a texture generator and a differential discriminator that are inter-connected and end-to-end trainable. The differential discriminator guides to learn geometric transformation from background images so that the composed 3D models can be aligned with the background images with realistic poses and views. The texture generator adopts a novel view encoding mechanism for generating accurate object textures for the 3D models under the estimated views. Extensive experiments over two synthesis tasks (car synthesis with KITTI and pedestrian synthesis with Cityscapes) show that VA-GAN achieves high-fidelity composition qualitatively and quantitatively as compared with state-of-the-art generation methods.


title: Observation of decoupling of electrons from phonon bath close to a correlation driven metal-insulator transition

abstract: We observed that close to a Mott transition, over a small temperature range, the predominance of slow relaxations leads to decoupling of electrons from the thermal bath. This has been established by observation of large deviation of the thermal noise in the films of Mott system $NdNiO_{3}$ from the canonical Johnson-Nyquist value of $4k_{B}TR$ close to the transition. It is suggested that such a large noise arise from small isolated pockets of nanometric metallic phases (estimated size $\sim$ 15-20 nm) within the insulating phase with the charging energy as the control parameter.


title: Modeling and measuring incurred claims risk liabilities for a multi-line property and casualty insurer

abstract: We propose a stochastic model allowing property and casualty insurers with multiple business lines to measure their liabilities for incurred claims risk and calculate associated capital requirements. Our model includes many desirable features which enable reproducing empirical properties of loss ratio dynamics. For instance, our model integrates a double generalized linear model relying on accident semester and development lag effects to represent both the mean and dispersion of loss ratio distributions, an autocorrelation structure between loss ratios of the various development lags, and a hierarchical copula model driving the dependence across the various business lines. The model allows for a joint simulation of loss triangles and the quantification of the overall portfolio risk through risk measures. Consequently, a diversification benefit associated to the economic capital requirements can be measured, in accordance with IFRS 17 standards which allow for the recognition of such benefit. The allocation of capital across business lines based on the Euler allocation principle is then illustrated. The implementation of our model is performed by estimating its parameters based on a car insurance data obtained from the General Insurance Statistical Agency (GISA), and by conducting numerical simulations whose results are then presented.