title: Streaming instability in a global patch simulation of protoplanetary disks

abstract: In the recent years, sub/mm observations of protoplanetary disks have discovered an incredible diversity of substructures in the dust emission. An important result was the finding that dust grains of mm size are embedded in very thin dusty disks. This implies that the dust mass fraction in the midplane becomes comparable to the gas, increasing the importance of the interaction between the two components there. We address this problem by means of numerical 2.5D simulations in order to study the gas and dust interaction in fully global stratified disks. To this purpose, we employ the recently developed dust grain module in the PLUTO code. Our model focuses on a typical T Tauri disk model, simulating a short patch of the disk at 10 au which includes grains of constant Stokes number of $St=0.01$ and $St=0.1$, corresponding to grains with sizes of 0.9 cm and 0.9 mm, respectively, for the given disk model. By injecting a constant pebble flux at the outer domain, the system reaches a quasi steady state of turbulence and dust concentrations driven by the streaming instability. For our given setup and using resolutions up to 2500 cells per scale height we resolve the streaming instability, leading to local dust clumping and concentrations. Our results show dust density values of around 10-100 times the gas density with a steady state pebble flux between $3.5 \times 10^{-4}$ and $2.5 \times 10^{-3} M_{\rm Earth}/\mathit{year}$ for the models with $\mathit{St}=0.01$ and $\mathit{St}=0.1$. The grain size and pebble flux for model $\mathit{St}=0.01$ compares well with dust evolution models of the first million years of disk evolution. For those grains the scatter opacity dominates the extinction coefficient at mm wavelengths. These types of global dust and gas simulations are a promising tool for studies of the gas and dust evolution at pressure bumps in protoplanetary disks.


title: Symbolic regression outperforms other models for small data sets

abstract: Machine learning is often applied in health science to obtain predictions and new understandings of complex phenomena and relationships, but an availability of sufficient data for model training is a widespread problem. Traditional machine learning techniques, such as random forests and gradient boosting, tend to overfit when working with data sets of only a few hundred observations. This study demonstrates that for small training sets of 250 observations, symbolic regression generalises better to out-of-sample data than traditional machine learning frameworks, as measured by the coefficient of determination R2 on the validation set. In 132 out of 240 cases, symbolic regression achieves a higher R2 than any of the other models on the out-of-sample data. Furthermore, symbolic regression also preserves the interpretability of linear models and decision trees, an added benefit to its superior generalisation. The second best algorithm was found to be a random forest, which performs best in 37 of the 240 cases. When restricting the comparison to interpretable models, symbolic regression performs best in 184 out of 240 cases.


title: Fixed points theorems for unsaturated and saturated classes of contractive mappings in Banach spaces

abstract: Based on the technique of enriching contractive type mappings, a technique that has been used successfully in some recent papers, we introduce the concept of {\it saturated} class of contractive mappings. We show that, from this perspective, the contractive type mappings in the metric fixed point theory can be separated into two distinct classes, unsaturated and saturated, and that, for any unsaturated class of mappings, the technique of enriching contractive type mappings provides genuine new fixed point results. We illustrate the concept by surveying some significant fixed point results obtained recently for five remarkable unsaturated classes of contractive mappings. In the second part of the paper, we also identify some classes of saturated classes of contractive mappings, whose main feature is that they cannot be enlarged by means of the technique of enriching the contractive mappings.


title: Bridging the Visual Gap: Wide-Range Image Blending

abstract: In this paper we propose a new problem scenario in image processing, wide-range image blending, which aims to smoothly merge two different input photos into a panorama by generating novel image content for the intermediate region between them. Although such problem is closely related to the topics of image inpainting, image outpainting, and image blending, none of the approaches from these topics is able to easily address it. We introduce an effective deep-learning model to realize wide-range image blending, where a novel Bidirectional Content Transfer module is proposed to perform the conditional prediction for the feature representation of the intermediate region via recurrent neural networks. In addition to ensuring the spatial and semantic consistency during the blending, we also adopt the contextual attention mechanism as well as the adversarial learning scheme in our proposed method for improving the visual quality of the resultant panorama. We experimentally demonstrate that our proposed method is not only able to produce visually appealing results for wide-range image blending, but also able to provide superior performance with respect to several baselines built upon the state-of-the-art image inpainting and outpainting approaches.


title: Weak Fusion 2-Categories

abstract: We introduce a weakening of the notion of fusion 2-category given in arXiv:1812.11933. Then, we establish a number of properties of (multi)fusion 2-categories. Finally, we describe the fusion rule of the fusion 2-categories associated to certain pointed braided fusion categories.


title: A kinetic theory approach to model crowd dynamics with disease contagion

abstract: We present some ideas on how to extend a kinetic type model for crowd dynamics to account for an infectious disease spreading. We focus on a medium size crowd occupying a confined environment where the disease is easily spread. The kinetic theory approach we choose uses tools of game theory to model the interactions of a person with the surrounding people and the environment and it features a parameter to represent the level of stress. It is known that people choose different walking strategies when subjected to fear or stressful situations. To demonstrate that our model for crowd dynamics could be used to reproduce realistic scenarios, we simulate passengers in one terminal of Hobby Airport in Houston. In order to model disease spreading in a walking crowd, we introduce a variable that denotes the level of exposure to people spreading the disease. In addition, we introduce a parameter that describes the contagion interaction strength and a kernel function that is a decreasing function of the distance between a person and a spreading individual. We test our contagion model on a problem involving a small crowd walking through a corridor.


title: Image Processing Techniques for identifying tumors in an MRI image

abstract: Medical Resonance Imaging or MRI is a medical image processing technique that used radio waves to scan the body. It is a tomographic imaging technique, principally used in the field of radiology. With the advantage of being a painless diagnostic procedure, MRI allows medical personnel to illustrate clear pictures of the anatomy and the physiological processes occurring in the body, thus allowing early detection and treatment of diseases. These images, combined with image processing techniques may be used in the detection of tumors, difficult to identify with the naked eye. This digital assignment surveys the different image processing techniques used in Automated Tumor Detection (ATD). This assignment initiates the discussion with a comparison of traditional techniques such as Morphological Tools (MT) and Region Growing Technique (RGT).


title: A new catalogue of head-tail radio galaxies from LoTSS DR1

abstract: The unique morphology of head-tail (HT) radio galaxies suggests that radio jets and their intra-cluster medium interact strongly. We conducted a systematic search for HT radio galaxies using the LOFAR Two-metre Sky Survey first data release (LoTSS DR1) at 144 MHz. In this paper, a catalogue of fifty-five new HT radio galaxies is presented, ten of which are narrow-angle tailed sources (NATs) and forty-five of which are wide-angle tailed sources (WATs). NATs are characterised by tails that are bent like a narrow `V' shape with a less than 90 degree opening angle. The opening angle between jets in WAT radio galaxies is greater than ninety degrees, exhibiting wide `C'-like morphologies. We found that thirty out of fifty-five HT radio galaxies reported in this article are associated with known galaxy clusters. Most of the sources presented in the current paper have redshifts $<$ 0.5. The various physical properties and statistical studies of these HT radio galaxies are presented.


title: Active RIS vs. Passive RIS: Which Will Prevail in 6G?

abstract: As a revolutionary paradigm for controlling wireless channels, reconfigurable intelligent surfaces (RISs) have emerged as a candidate technology for future 6G networks. However, due to the "multiplicative fading" effect, the existing passive RISs only achieve limited capacity gains in many scenarios with strong direct links. In this paper, the concept of active RISs is proposed to overcome this fundamental limitation. Unlike passive RISs that reflect signals without amplification, active RISs can amplify the reflected signals via amplifiers integrated into their elements. To characterize the signal amplification and incorporate the noise introduced by the active components, we develop and verify the signal model of active RISs through the experimental measurements based on a fabricated active RIS element. Based on the verified signal model, we further analyze the asymptotic performance of active RISs to reveal the substantial capacity gain they provide for wireless communications. Finally, we formulate the sum-rate maximization problem for an active RIS aided multi-user multiple-input single-output (MU-MISO) system and a joint transmit beamforming and reflect precoding scheme is proposed to solve this problem. Simulation results show that, in a typical wireless system, passive RISs can realize only a limited sum-rate gain of 22%, while active RISs can achieve a significant sum-rate gain of 130%, thus overcoming the "multiplicative fading" effect.


title: Optically Controlled Supercapacitors with Semiconductor Embedded Active Carbon Electrodes

abstract: Supercapacitors, S-C - capacitors that take advantage of the large capacitance at the interface between an electrode and an electrolyte - have found many short-term energy applications. We concentrate here on optically induced, electrical and thermal effects. The parallel plate cells were made of two transparent electrodes (ITO), each covered with semiconductor-embedded, active carbon (A-C) layer. While A-C appears black, it is not an ideal blackbody absorber that absorbs all spectral light indiscriminately. In addition to relatively flat optical absorption background, A-C exhibits two distinct absorption bands: in the near-IR and in the blue. The first may be attributed to absorption by OH- group and the latter, by scattering, possibly by surface plasmons. Here, optical and thermal effects of sub-micron size SiC particles that are embedded in A-C electrode, are presented. Similarly to nano-Si particles, SiC exhibits blue band absorption, but it is less likely to oxidize. Using Charge-Discharge (CD) experiments, the relative optically related capacitance increase may be as large as ~34% (68% when the illuminated area is taken into account). Capacitance increase was noted as the illuminated samples became hotter. This thermal effect amounts to 20% of the overall relative change using CD experiments. The thermal effect was quite large when the SiC particles were replaced by CdSe/ZnS quatum dots; for the latter, the thermal effect was 35% compared with 10% for the optical effect. When analyzing the optical effect one may consider two processes: ionization of the semiconductor particles and charge displacement under the cell's terminals - a dipole effect. Our model suggests that the capacitance increase is related to an optically induced dipole.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.chem-ph physics.optics


title: Ridesharing Evacuation Model of Disaster Response

abstract: Timely evacuation is crucial to disaster response, as people can avoid suffering and loss of lives when a major disaster happens. With the development of sharing economy, ridesharing has the advantage of reducing congestion, saving travel time, and optimizing transportation mode to improve disaster evacuation efficiency. The paper proposes to integrate the concept of ridesharing into evacuation and develops a mixed-integer programming model for this problem. A real-world case study based on Houston is used to validate the proposed model. A series of instances are designed to compare the evacuation efficiency using two indicators, evacuation percentage and average travel distance. Results reveal that increasing the number of vehicles to help carless individuals might not be the most efficient method in this model. Moreover, this model offers a specific response strategy based on different disaster scales, which not only develops a better evacuation plan for the people but also provides relief agencies insights on resource utilization.


title: Entropy methods for the confidence assessment of probabilistic classification models

abstract: Many classification models produce a probability distribution as the outcome of a prediction. This information is generally compressed down to the single class with the highest associated probability. In this paper, we argue that part of the information that is discarded in this process can be in fact used to further evaluate the goodness of models, and in particular the confidence with which each prediction is made. As an application of the ideas presented in this paper, we provide a theoretical explanation of a confidence degradation phenomenon observed in the complement approach to the (Bernoulli) Naive Bayes generative model.


title: Defect-GAN: High-Fidelity Defect Synthesis for Automated Defect Inspection

abstract: Automated defect inspection is critical for effective and efficient maintenance, repair, and operations in advanced manufacturing. On the other hand, automated defect inspection is often constrained by the lack of defect samples, especially when we adopt deep neural networks for this task. This paper presents Defect-GAN, an automated defect synthesis network that generates realistic and diverse defect samples for training accurate and robust defect inspection networks. Defect-GAN learns through defacement and restoration processes, where the defacement generates defects on normal surface images while the restoration removes defects to generate normal images. It employs a novel compositional layer-based architecture for generating realistic defects within various image backgrounds with different textures and appearances. It can also mimic the stochastic variations of defects and offer flexible control over the locations and categories of the generated defects within the image background. Extensive experiments show that Defect-GAN is capable of synthesizing various defects with superior diversity and fidelity. In addition, the synthesized defect samples demonstrate their effectiveness in training better defect inspection networks.


title: Heptagon relations parameterized by simplicial 3-cocycles

abstract: We construct a family of heptagon relations -- algebraic imitations of five-dimensional Pachner move 3--4, parameterized by simplicial 3-cocycles.


title: Characterization of the AARTFAAC-12 aperture array: radio source counts at 42 and 61 MHz

abstract: Dense aperture arrays provide key benefits in modern astrophysical research. They are flexible, employing cheap receivers, while relying on the ever more sophisticated compute back-end to deal with the complexities of signal processing required for optimal use. Their advantage is that they offer very large fields of view and are readily scalable to any size, all other things being equal. Since they represent "software telescopes", the science cases these arrays can be applied to are quite broad. Here, we describe the calibration and performance of the AARTFAAC-12 instrument, which is composed of the twelve centrally located stations of the LOFAR array. We go into the details of the data acquisition and pre-processing, we describe the newly developed calibration pipeline as well as the noise properties of the resulting images and present radio source counts at 41.7 MHz and 61 MHz. We find that AARTFAAC-12 is confusion limited at 0.9 Jy/PSF at 61 MHz with a PSF size of 17'x11' and that the normalized source counts agree with the scaled VLSSr and 6C survey counts. The median spectral index of the sources between the two frequencies we observed at is -0.78. Further, we have used the derived source counts to estimate any excess cosmic radio background, and we do not find evidence for it at our observing frequencies compared to published literature values.


title: Commutator Equations in Finite Groups

abstract: The problem of finding the number of ordered commuting tuples of elements in a finite group is equivalent to finding the size of the solution set of the system of equations determined by the commutator relations that impose commutativity among any pair of elements from an ordered tuple. We consider this type of systems for the case of ordered triples and express the size of the solution set in terms of the irreducible characters of the group. The obtained formulas are natural extensions of Frobenius' character formula that calculates the number of ways a group element is a commutator of an ordered pair of elements in a finite group. We discuss how our formulas can be used to study the probability distributions afforded by these systems of equations, and we show explicit calculations for dihedral groups.


title: Scalable Call Graph Constructor for Maven

abstract: As a rich source of data, Call Graphs are used for various applications including security vulnerability detection. Despite multiple studies showing that Call Graphs can drastically improve the accuracy of analysis, existing ecosystem-scale tools like Dependabot do not use Call Graphs and work at the package-level. Using Call Graphs in ecosystem use cases is not practical because of the scalability problems that Call Graph generators have. Call Graph generation is usually considered to be a "full program analysis" resulting in large Call Graphs and expensive computation. To make an analysis applicable to ecosystem scale, this pragmatic approach does not work, because the number of possible combinations of how a particular artifact can be combined in a full program explodes. Therefore, it is necessary to make the analysis incremental. There are existing studies on different types of incremental program analysis. However, none of them focuses on Call Graph generation for an entire ecosystem. In this paper, we propose an incremental implementation of the CHA algorithm that can generate Call Graphs on-demand, by stitching together partial Call Graphs that have been extracted for libraries before. Our preliminary evaluation results show that the proposed approach scales well and outperforms the most scalable existing framework called OPAL.


title: Countering Racial Bias in Computer Graphics Research

abstract: Current computer graphics research practices contain racial biases that have resulted in investigations into "skin" and "hair" that focus on the hegemonic visual features of Europeans and East Asians. To broaden our research horizons to encompass all of humanity, we propose a variety of improvements to quantitative measures and qualitative practices, and pose novel, open research problems.


title: Privacy-Assured Outsourcing of Compressed Sensing Reconstruction Service in Cloud

abstract: Compressed sensing (CS), breaking the constriction of Shannon-Nyquist sampling theorem, is a very promising data acquisition technique in the era of multimedia big data. However, the high complexity of CS reconstruction algorithm is a big trouble for endusers who are hardly provided with great computing power. The combination of CS and cloud has the potential of freeing endusers from the resource constraint by cleverly transforming computational workload from the local cilent to the cloud platform. As a result, the low-complexity encoding virtue of CS is fully leveraged in the resource-constrained sensing devices but its highcomplexity decoding problem is effectively addressed in cloud. It seems to be perfect but privacy and security concerns are ignored. In this paper, a secure outsourcing scheme for CS reconstruction service is proposed. Experimental results and security analyses demonstrate that the proposed scheme can restrict malicious access, verify the integrity of the recovered data, and resist brute-force attack, ciphertext-only attack, and plaintext attack.


title: Thermotaxis of Janus Particles

abstract: The interactions of autonomous microswimmers play an important role for the formation of collective states of motile active matter. We study them in detail for the common microswimmer-design of two-faced Janus spheres with hemispheres made from different materials. Their chemical and physical surface properties may be tailored to fine-tune their mutual attractive, repulsive or aligning behavior. To investigate these effects systematically, we monitor the dynamics of a single gold-capped Janus particle in the external temperature field created by an optically heated metal nanoparticle. We quantify the orientation-dependent repulsion and alignment of the Janus particle and explain it in terms of a simple theoretical model for the induced thermoosmotic surface fluxes. The model reveals that the particle's angular velocity is solely determined by the temperature profile on the equator between the Janus particle's hemispehres and their phoretic mobility contrast. The distortion of the external temperature field by their heterogeneous heat conductivity is moreover shown to break the apparent symmetry of the problem.


title: Uniqueness for inverse problem of determining fractional orders for time-fractional advection-diffusion equations

abstract: We consider initial boundary value problems of time-fractional advection-diffusion equations with the zero Dirichlet boundary value $\partial_t^{\alpha} u(x,t) = -Au(x,t)$, where $-A = \sum}{i,j=1}^d \partial_i(a_{ij}(x)\partial_j) + \sum{j=1}^d b_j(x)\partial_j + c(x)$. We establish the uniqueness for an inverse problem of determining an order $\alpha$ of fractional derivatives by data $u(x_0,t)$ for $0<t<T$ at one point $x_0$ in a spatial domain $\OOO$. The uniqueness holds even under assumption that $\OOO$ and $A$ are unknown, provided that the initial value does not change signs and is not identically zero. The proof is based on the eigenfunction expansions of finitely dimensional approximating solutions, a decay estimate and the asymptotic expansions of the Mittag-Leffler functions for large time.


title: grenepipe: A flexible, scalable, and reproducible pipeline to automate variant and frequency calling from sequence reads

abstract: Processing high-throughput DNA sequencing data of individuals or populations requires stringing together independent software tools with many parameters, often leading to non-reproducible pipelines and datasets. We developed grenepipe to streamline this data processing, an all-in-one Snakemake workflow from raw sequencing data to the end product of a table of individuals' genotypes or population frequencies. Our pipeline allows users to select among a range of popular software tools within a single configuration file, automatically downloads and installs software and dependencies, and runs with two command calls: to prepare and to run. It is highly optimized for scalability in cluster environments and parallel computing, splitting data tasks into manageable genomic sections and automatically consolidating the outputs. grenepipe is published under the GPL-3 license, and freely available at https://github.com/moiexpositoalonsolab/grenepipe.


title: Wavefunction of the universe: Reparametrization invariance and field redefinitions of the minisuperspace path integral

abstract: We consider the Hartle-Hawking wavefunction of the universe defined as a Euclidean path integral that satisfies the "no-boundary proposal." We focus on the simplest minisuperspace model that comprises a single scale factor degree of freedom and a positive cosmological constant. The model can be seen as a non-linear $\sigma$-model with a line-segment base. We reduce the path integral over the lapse function to an integral over the proper length of the base and use diffeomorphism-invariant measures for the ghosts and the scale factor. As a result, the gauge-fixed path integral is independent of the gauge. However, we point out that all field redefinitions of the scale factor degree of freedom yield different choices of gauge-invariant path-integral measures. For each prescription, we compute the wavefunction at the semi-classical level and find a different result. We resolve in each case the ambiguity in the form of the Wheeler-DeWitt equation at this level of approximation. By imposing that the Hamiltonians associated with these possibly distinct quantum theories are Hermitian, we determine the inner products of the corresponding Hilbert spaces and find that they lead to a universal norm, at least semi-classically. Quantum predictions are thus independent of the prescription at this level of approximation. Finally, all wavefunctions of the Hilbert spaces of the minisuperspace model we consider turn out to be non-normalizable, including the no-boundary states.


title: MaPBI3 and 2D hybrid organic inorganic perovskite based microcavities employing periodic, aperiodic and disordered photonic structures and with the possibility of light-induced tuning

abstract: Inorganic-organic perovskites semiconductors are becoming increasingly interesting due to their remarkable optical properties, such as a high photoluminescence quantum yield and the possibility to show optical gain in a broad range of wavelengths. We have here simulated microcavities that embed MaPBI3 and 2D hybrid organic inorganic perovskite semiconductors by sandwiching such active layers between periodic, aperiodic and disordered photonic structures. We have carefully considered the refractive index dispersion of all the materials employed, such silicon dioxide, titanium dioxide and the perovskite layers. Moreover, by employing a photochromatic polymer, namely the diarylethene-based polyester pDTE, we have designed a microcavity with light-induced tuning of the cavity modes is possible.


title: Interactions of solitary waves in the Adlam-Allen model

abstract: We study the interactions of two or more solitary waves in the Adlam-Allen model describing the evolution of a (cold) plasma of positive and negative charges, in the presence of electric and transverse magnetic fields. In order to show that the interactions feature an exponentially repulsive nature, we elaborate two distinct approaches: (a) using energetic considerations and the Hamiltonian structure of the model; (b) using the so-called Manton's method. We compare these findings with results of direct simulations, and identify adjustments necessary to achieve a quantitative match between them. Additional connections are made, such as with solitons of the Korteweg--de Vries equation. New challenges are identified in connection to this model and its solitary waves.


title: A Bayesian Approach to Identifying Representational Errors

abstract: Trained AI systems and expert decision makers can make errors that are often difficult to identify and understand. Determining the root cause for these errors can improve future decisions. This work presents Generative Error Model (GEM), a generative model for inferring representational errors based on observations of an actor's behavior (either simulated agent, robot, or human). The model considers two sources of error: those that occur due to representational limitations -- "blind spots" -- and non-representational errors, such as those caused by noise in execution or systematic errors present in the actor's policy. Disambiguating these two error types allows for targeted refinement of the actor's policy (i.e., representational errors require perceptual augmentation, while other errors can be reduced through methods such as improved training or attention support). We present a Bayesian inference algorithm for GEM and evaluate its utility in recovering representational errors on multiple domains. Results show that our approach can recover blind spots of both reinforcement learning agents as well as human users.


title: Lie triple maps on generalized matrix algebras

abstract: In this article, we introduce the notion of Lie triple centralizer as follows. Let $\mathcal{A}$ be an algebra, and $\phi:\mathcal{A}\to\mathcal{A}$ be a linear mapping. we say $\phi$ is a Lie triple centralizer whenever $\phi([[a,b],c])=[[\phi(a),b],c]$ for all $a,b,c\in\mathcal{A}$. Then we characterize the general form of Lie triple centralizers on generalized matrix algebra $\mathcal{U}$ and under some mild conditions on $\mathcal{U}$, we present the necessary and sufficient conditions for Lie triple centralizers to be proper. As an application of our results, we characterize generalized Lie triple derivations on generalized matrix algebras.


title: Exterior dissipation, proportional decay, and integrals of motion

abstract: Given a dynamical system with $m$ independent conserved quantities, we construct a multi-parameter family of new systems in which these quantities evolve monotonically and proportionally, and are replaced by $m-1$ conserved linear combinations of themselves, with any of the original quantities as limiting cases. The modification of the dynamics employs an exterior product of gradients of the original quantities, and often evolves the system towards asymptotic linear dependence of these gradients in a nontrivial state. The process both generalizes and provides additional structure to existing techniques for selective dissipation in the literature on fluids and plasmas, nonequilibrium thermodynamics, and nonlinear controls. It may be iterated or adapted to obtain any reduction in the degree of integrability. It may enable discovery of extremal states, limit cycles, or solitons, and the construction of new integrable systems from superintegrable systems. We briefly illustrate the approach by its application to the cyclic three-body Toda lattice, driven from an aperiodic orbit towards a limit cycle.


title: A Lower Bound on the Average Size of a Connected Vertex Set of a Graph

abstract: The topic is the average order of a connected induced subgraph of a graph. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs. The main result of this paper confirms this conjecture.


title: Multicolor list Ramsey numbers grow exponentially

abstract: The list Ramsey number $R_{\ell}(H,k)$, recently introduced by Alon, Buci\'c, Kalvari, Kuperwasser, and Szab\'o, is a list-coloring variant of the classical Ramsey number. They showed that if $H$ is a fixed $r$-uniform hypergraph that is not $r$-partite and the number of colors $k$ goes to infinity, $e^{\Omega(\sqrt{k})} \le R_{\ell} (H,k) \le e^{O(k)}$. We prove that $R_{\ell}(H,k) = e^{\Theta(k)}$ if and only if $H$ is not $r$-partite.


title: Bounded cutoff window for the non-backtracking random walk on Ramanujan Graphs

abstract: We prove that the non-backtracking random walk on Ramanujan graphs with large girth exhibits the fastest possible cutoff with a bounded window.


title: The Josephson-Anderson Relation and the Classical D'Alembert Paradox

abstract: Generalizing prior work of P. W. Anderson and E. R. Huggins, we show that a "detailed Josephson-Anderson relation" holds for drag on a finite body held at rest in a classical incompressible fluid flowing with velocity ${\bf V}.$ The relation asserts an exact equality between the instantaneous power consumption by the drag, $-{\bf F}\cdot{\bf V},$ and the vorticity flux across the potential mass current, $-(1/2)\int dJ\int \epsilon_{ijk}\Sigma_{ij}\,d\ell_k.$ Here $\Sigma_{ij}$ is the flux in the $i$th coordinate direction of the conserved $j$th component of vorticity and the line-integrals over $\ell$ are taken along streamlines of the potential flow solution ${\bf u}_\phi=\nabla\phi$ of the ideal Euler equation, carrying mass flux $dJ=\rho\,{\bf u}_\phi\cdot d{\bf A}.$ The results generalize the theories of M. J. Lighthill for flow past a body and, in particular, the steady-state relation $(1/2)\epsilon_{ijk}\langle\Sigma_{jk}\rangle =\partial_i\langle h\rangle,$ where $h=p+(1/2)|{\bf u}|^2$ is the generalized enthalpy or total pressure, extends Lighthill's theory of vorticity generation at solid walls into the interior of the flow. We use these results to explain drag on the body in terms of vortex dynamics, unifying the theories for classical fluids and for quantum superfluids. The results offer a new solution to the "D'Alembert paradox" at infinite Reynolds numbers and imply the necessary conditions for turbulent drag reduction.


title: Broadband optical conductivity of the chiral multifold semimetal PdGa

abstract: We present an optical conductivity study of the multifold semimetal PdGa, performed in a broad spectral range (100 - 20000 cm-1; 12 meV - 2.5 eV) down to T = 10 K. The conductivity at frequencies below 4000 cm-1 is dominated by free carriers while at higher frequencies interband transitions provide the major contribution. The spectra do not demonstrate a significant temperature evolution: only the intraband part changes as a function of temperature with the plasma frequency remaining constant. The interband contribution to the conductivity exhibits a broad peak at around 5500 cm-1 and increases basically monotonously at frequencies above 9000 cm-1. The band-structure-based computations reproduce these features of the interband conductivity and predict its linear-in-frequency behavior as frequency diminishes.


title: Arbitrary Lagrangian-Eulerian hybridizable discontinuous Galerkin methods for fluid-structure interaction

abstract: We present a novel (high-order) hybridizable discontinuous Galerkin (HDG) scheme for the fluid-structure interaction (FSI) problem. The (moving domain) incompressible Navier-Stokes equations are discretized using a divergence-free HDG scheme within the arbitrary Lagrangian-Euler (ALE) framework. The nonlinear elasticity equations are discretized using a novel HDG scheme with an H(curl)-conforming velocity/displacement approximation. We further use a combination of the Nitsche's method (for the tangential component) and the mortar method (for the normal component) to enforce the interface conditions on the fluid/structure interface. A second-order backward difference formula (BDF2) is use for the temporal discretization. Numerical results on the classical benchmark problem by Turek and Hron show a good performance of our proposed method.


title: Watch out for Extrinsic Bugs! A Case Study of their Impact in Just-In-Time Bug Prediction Models on the OpenStack project

abstract: Intrinsic bugs are bugs for which a bug introducing change can be identified in the version control system of a software. In contrast, extrinsic bugs are caused by external changes to a software, such as errors in external APIs; thereby they do not have an explicit bug introducing change in the version control system. Although most previous research literature has assumed that all bugs are of intrinsic nature, in a previous study, we show that not all bugs are intrinsic. This paper shows an example of how considering extrinsic bugs can affect software engineering research. Specifically, we study the impact of extrinsic bugs in Just In Time bug prediction by partially replicating a recent study by McIntosh and Kamei on JIT models. These models are trained using properties of earlier bug-introducing changes. Since extrinsic bugs do not have bug introducing changes in the version control system, we manually curate McIntosh and Kamei's dataset to distinguish between intrinsic and extrinsic bugs. Then, we address their original research questions, this time removing extrinsic bugs, to study whether bug-introducing changes are a moving target in Just-In-Time bug prediction. Finally, we study whether characteristics of intrinsic and extrinsic bugs are different. Our results show that intrinsic and extrinsic bugs are of different nature. When removing extrinsic bugs the performance is different up to 16 % Area Under the Curve points. This indicates that our JIT models obtain a more accurate representation of the real world. We conclude that extrinsic bugs negatively impact Just-In-Time models. Furthermore, we offer evidence that extrinsic bugs should be further investigated, as they can significantly impact how software engineers understand bugs.


title: The DoF Region of Order-(K-1) Messages for the K-user MIMO Broadcast Channel with Delayed CSIT

abstract: This paper theoretically characterizes the degrees-of-freedom (DoF) region of order-$(K-1)$ messages for the $K$-user multiple-input multiple-output (MIMO) broadcast channel with delayed channel state information at the transmitter (CSIT) and arbitrary antenna configurations, where the transmitter has $M$ antennas and the receiver $i=1,2,\cdots,K$ has $N_i$ antennas. For the converse, we first derive the DoF region of order-$(K-1)$ messages for the $K$-user MIMO broadcast channel with no CSIT and arbitrary antenna configurations with the aid of the proposed Genie-bound, and then establish the DoF outer region. For the achievability, we first design a 2-phase transmission scheme, and then propose a backward/forward cancellation algorithm for decoding. Specifically, we efficiently derive the achievable DoF region from the designed transmission scheme by transformation approach. The main implication of this paper is that for the order-$(K-1)$ messages of $K$-user MIMO broadcast channel, the DoF region with delayed CSIT is larger than the DoF region with no CSIT when $N_2<M$, where $N_1 \le N_2 \le \cdots \le N_K$.


title: Verifying Design through Generative Visualization of Neural Activities

abstract: Current neuroscience focused approaches for evaluating the effectiveness of a design do not use direct visualisation of mental activity. A recurrent neural network is used as the encoder to learn latent representation from electroencephalogram (EEG) signals, recorded while subjects looked at 50 categories of images. A generative adversarial network (GAN) conditioned on the EEG latent representation is trained for reconstructing these images. After training, the neural network is able to reconstruct images from brain activity recordings. To demonstrate the proposed method in the context of the mental association with a design, we performed a study that indicates an iconic design image could inspire the subject to create cognitive associations with branding and valued products. The proposed method could have the potential in verifying designs by visualizing the cognitive understanding of underlying brain activity.


title: How has labour market power evolved? Comparing labour market monopsony in Peru and the United States

abstract: We document the evolution of labour market power by employers on the US and Peruvian labour markets during the 2010s. Making use of a structural estimation model of labour market dynamics, we estimate differences in market power that workers face depending on their sector of activity, their age, sex, location and educational level. In particular, we show that differences in cross-sectional market power are significant and higher than variations over the ten-year time span of our data. In contrast to findings of labour market power in developed countries such as the US, we document significant market power of employers in Peru vis-\`a-vis the tertiary educated workforce, regardless of age and sector. In contrast, for the primary educated workforce, market power seems to be high in (private) services and manufacturing. For secondary educated workers, only the mining sector stands out as moderately more monopsonistic than the rest of the labour market. We also show that at least for the 2010s, labour market power declined in Peru. We contrast these findings with similar estimates obtained for the United States where we are able to show that increases in labour market power are particularly acute in certain sectors, such as agriculture and entertainment and recreational services, as well as in specific geographic areas where these sectors are dominant. Moreover, we show that for the US, the labour market power has gradually increased over the past ten years, in line with the general rise in inequality. Importantly, we show that the pervasive gender pay gap cannot be linked to differential market power as men face higher labour market power than women. We also discuss possible reasons for these findings, including for the differences of labour market power across skill levels. Especially, we discuss the reasons for polarization of market power that are specific to sectors and locations.


title: Determining depletion interactions by contracting forces

abstract: We introduce a general physical formulation that allows one to obtain uniquely the effectiveinteractions by contracting the bare forces, even in highly concentrated systems. We tested it bystudying depletion forces in two-dimensional binary and ternary colloidal mixtures with a totalpacking fraction up to 70%. Our result opens up the possibility of finding an efficient route todetermine effective interactions at finite concentration and even at thermodynamic conditions nearto meta-stable or out of equilibrium states.


title: Topological confinement of vortices in two-flavor dense QCD

abstract: We find a novel confinement mechanism in the two-flavor dense quark matter proposed recently, that consists of the 2SC condensates and the $P$-wave diquark condensates of $d$-quarks. This quark matter exhibiting color superconductivity as well as superfluidity is classified into two phases; confined and deconfined phases of vortices. We establish that the criterion of the confinement is color neutrality of Aharonov-Bohm (AB) phases: vortices exhibiting color non-singlet AB phases are confined by the so-called AB defects to form color-singlet bound states. In the deconfined phase, the most stable vortices are non-Abelian Alice strings, which are superfluid vortices with fractional circulation and non-Abelian color magnetic fluxes therein, exhibiting color non-singlet AB phases. On the other hand, in the confined phase, these non-Abelian vortices are confined to either a baryonic or mesonic bound state in which constituent vortices are connected by AB defects. The baryonic bound state consists of three non-Abelian Alice strings with different color magnetic fluxes with the total flux canceled out connected by a domain wall junction, while the mesonic bound state consists of two non-Abelian Alice strings with the same color magnetic fluxes connected by a single domain wall. Interestingly, the latter contains a color magnetic flux in its core, but this can exist because of color neutrality of its AB phase.


title: Hidden Markov Model Based Approach for Diagnosing Cause of Alarm Signals

abstract: When a fault occurs in a process, it slowly propagates within the system and affects the measurements triggering a sequence of alarms in the control room. The operators are required to diagnose the cause of alarms and take necessary corrective measures. The idea of representing the alarm sequence as the fault propagation path and using the propagation path to diagnose the fault is explored. A diagnoser based on hidden Markov model is built to identify the cause of the alarm signals. The proposed approach is applied to an industrial case study: Tennessee Eastman process. The results show that the proposed approach is successful in determining the probable cause of alarms generated with high accuracy. The model was able to identify the cause accurately, even when tested with short alarm sub-sequences. This allows for early identification of faults, providing more time to the operator to restore the system to normal operation.


title: FSEI-GPU: GPU accelerated simulations of the fluid-structure-electrophysiology interaction in the left heart

abstract: The reliability of cardiovascular computational models depends on the accurate solution of the hemodynamics, the realistic characterization of the hyperelastic and electric properties of the tissues along with the correct description of their interaction. The resulting fluid-structure-electrophysiology interaction (FSEI) thus requires an immense computational power, usually available in large supercomputing centers, and requires long time to obtain results even if multi-CPU processors are used (MPI acceleration). In recent years, graphics processing units (GPUs) have emerged as a convenient platform for high performance computing, as they allow for considerable reductions of the time-to-solution. This approach is particularly appealing if the tool has to support medical decisions that require solutions within reduced times and possibly obtained by local computational resources. Accordingly, our multi-physics solver has been ported to GPU architectures using CUDA Fortran to tackle fast and accurate hemodynamics simulations of the human heart without resorting to large-scale supercomputers. This work describes the use of CUDA to accelerate the FSEI on heterogeneous clusters, where both the CPUs and GPUs are used in synergistically with minor modifications of the original source code. The resulting GPU accelerated code solves a single heartbeat within a few hours (from three to ten depending on the grid resolution) running on premises computing facility made of few GPU cards, which can be easily installed in a medical laboratory or in a hospital, thus opening towards a systematic computational fluid dynamics (CFD) aided diagnostic.


title: A bestiary of black holes on the conifold with fluxes

abstract: We present a comprehensive analysis of the black holes on warped deformed conifold with fluxes in Type IIB supergravity. These black holes realize the holographic dual to thermal states of the ${\cal N}=1$ supersymmetric $SU(N)\times SU(N+M)$ cascading gauge theory of Klebanov et.al on round $S^3$. There are three distinct mass scales in the theory: the strong coupling scale $\Lambda$ of the cascading gauge theory, the compactification scale $\mu=1/L_3$ (related to the $S^3$ radius $L_3$) and the temperature $T$ of a thermal state. Depending on $\Lambda\,,\, \mu$ and $T$, there is an intricate pattern of confinement/deconfinement (Hawking-Page) and the chiral symmetry breaking phase transitions. In the $S^3\to {\mathbb R}^3$ decompactification limit, $i.e$, $\mu\to 0$, we recover the Klebanov-Tseytlin and the Klebanov-Strassler black branes.


title: About every convex set in any generic Riemannian manifold

abstract: We give a necessary condition on a geodesic in a Riemannian manifold that can run in some convex hypersurface. As a corollary we obtain peculiar properties that hold true for every convex set in any generic Riemannian manifold (M,g). For example, if a convex set in (M,g) is bounded by a smooth hypersurface, then it is strictly convex.


title: Clique dynamics of locally cyclic graphs with $\delta\geq 6$

abstract: We prove that the clique graph operator $k$ is divergent on a locally cyclic graph $G$ (i.e. $N_G(v)$ is a circle) with minimum degree $\delta(G)=6$ if and only if $G$ is $6$-regular. The clique graph $kG$ of a graph $G$ has the maximal complete subgraphs of $G$ as vertices, and the edges are given by non-empty intersections. If all iterated clique graphs of $G$ are pairwise non-isomorphic, the graph $G$ is $k$-divergent; otherwise, it is $k$-convergent. To prove our claim, we explicitly construct the iterated clique graphs of those infinite locally cyclic graphs with $\delta\geq6$ which induce simply connected simplicial surfaces. These graphs are $k$-convergent if the size of triangular-shaped subgraphs of a specific type is bounded from above. We apply this criterion by using the universal cover of the triangular complex of an arbitrary finite locally cyclic graph with $\delta=6$, which shows our divergence characterisation.


title: Fisher Information in Noisy Intermediate-Scale Quantum Applications

abstract: The recent advent of noisy intermediate-scale quantum devices, especially near-term quantum computers, has sparked extensive research efforts concerned with their possible applications. At the forefront of the considered approaches are variational methods that use parametrized quantum circuits. The classical and quantum Fisher information are firmly rooted in the field of quantum sensing and have proven to be versatile tools to study such parametrized quantum systems. Their utility in the study of other applications of noisy intermediate-scale quantum devices, however, has only been discovered recently. Hoping to stimulate more such applications, this article aims to further popularize classical and quantum Fisher information as useful tools for near-term applications beyond quantum sensing. We start with a tutorial that builds an intuitive understanding of classical and quantum Fisher information and outlines how both quantities can be calculated on near-term devices. We also elucidate their relationship and how they are influenced by noise processes. Next, we give an overview of the core results of the quantum sensing literature and proceed to a comprehensive review of recent applications in variational quantum algorithms and quantum machine learning.


title: Maximal Unipotent Monodromy, congruences "\`a la Lucas" and Algebraic independence

abstract: Let $f(z)$ be in $1+z\mathbb{Q}[[z]]$ and $\mathcal{S}$ be an infinite set of prime numbers such that, for all $p\in\mathcal{S}$, we can reduce $f(z)$ modulo $p$. We let $f(z)_{\mid p}$ denote the reduction of $f(z)$ modulo $p$. Generally, when $f(z)$ is D-finite, $f(z)_{\mid p}$ is algebraic over $\mathbb{F}_p(z)$. It turns out that if $f(z)$ is a solution of a polynomial of the form $X-A_p(z)X^{p^l}$, we can use this type of equations to obtain results of transcendence and algebraic independence over $\mathbb{Q}(z)$. In the present paper, we look for conditions on the differential operators annihilating $f(z)$ to guarantee the existence of these particular equations. Suppose that $f(z)$ is solution of a differential operator $\mathcal{H}\in\mathbb{Q}(z)[d/dz]$ having a strong Frobenius structure for all $p\in\mathcal{S}$ and we also suppose that $f(z)$ annihilates a Fuchsian differential operator $\mathcal{D}\in\mathbb{Q}(z)[d/dz]$ such that zero is a regular singular point of $\mathcal{D}$ and the exponents of $\mathcal{D}$ at zero are equal to zero. Our main result states that, for almost every prime $p\in\mathcal{S}$, $f(z)_{\mid p}$ is solution of a polynomial of the form $X-A_p(z)X^{p^l}$, where $A_p(z)$ is a rational function with coefficients in $\mathbb{F}_p$ of height less than or equal to $Cp^{2l}$ with $C$ a positive constant that does not depend on $p$. We also study the algebraic independence of these power series over $\mathbb{Q}(z)$.


title: Subtyping on Nested Polymorphic Session Types

abstract: The importance of subtyping to enable a wider range of well-typed programs is undeniable. However, the interaction between subtyping, recursion, and polymorphism is not completely understood yet. In this work, we explore subtyping in a system of nested, recursive, and polymorphic types with a coinductive interpretation, and we prove that this problem is undecidable. Our results will be broadly applicable, but to keep our study grounded in a concrete setting, we work with an extension of session types with explicit polymorphism, parametric type constructors, and nested types. We prove that subtyping is undecidable even for the fragment with only internal choices and nested unary recursive type constructors. Despite this negative result, we present a subtyping algorithm for our system and prove its soundness. We minimize the impact of the inescapable incompleteness by enabling the programmer to seed the algorithm with subtyping declarations (that are validated by the algorithm). We have implemented the proposed algorithm in Rast and it showed to be efficient in various example programs.


title: Data-Driven Threat Hunting Using Sysmon

abstract: Threat actors can be persistent, motivated and agile, and leverage a diversified and extensive set of tactics and techniques to attain their goals. In response to that, defenders establish threat intelligence programs to stay threat-informed and lower risk. Actionable threat intelligence is integrated into security information and event management systems (SIEM) or is accessed via more dedicated tools like threat intelligence platforms. A threat intelligence platform gives access to contextual threat information by aggregating, processing, correlating, and analyzing real-time data and information from multiple sources, and in many cases, it provides centralized analysis and reporting of an organization's security events. Sysmon logs is a data source that has received considerable attention for endpoint visibility. Approaches for threat detection using Sysmon have been proposed, mainly focusing on search engine technologies like NoSQL database systems. This paper demonstrates one of the many use cases of Sysmon and cyber threat intelligence. In particular, we present a threat assessment system that relies on a cyber threat intelligence ontology to automatically classify executed software into different threat levels by analyzing Sysmon log streams. The presented system and approach augments cyber defensive capabilities through situational awareness, prediction, and automated courses of action.


title: MergeComp: A Compression Scheduler for Scalable Communication-Efficient Distributed Training

abstract: Large-scale distributed training is increasingly becoming communication bound. Many gradient compression algorithms have been proposed to reduce the communication overhead and improve scalability. However, it has been observed that in some cases gradient compression may even harm the performance of distributed training. In this paper, we propose MergeComp, a compression scheduler to optimize the scalability of communication-efficient distributed training. It automatically schedules the compression operations to optimize the performance of compression algorithms without the knowledge of model architectures or system parameters. We have applied MergeComp to nine popular compression algorithms. Our evaluations show that MergeComp can improve the performance of compression algorithms by up to 3.83x without losing accuracy. It can even achieve a scaling factor of distributed training up to 99% over high-speed networks.


title: Application of Graphics Processing Units for self-consistent modelling of shallow water dynamics and sediment transport

abstract: In this paper, we describe a numerical algorithm for the self-consistent simulations of surface water and sediment dynamics. The method is based on the original Lagrangian-Eulerian CSPH-TVD approach for solving the Saint-Venant and Exner equations, taking into account the physical factors essential for the understanding of the shallow water and surface soil layer motions, including complex terrain structure and its evolution due to sediment transport. Additional Exner equation for sediment transport has been used for the numerical CSPH-TVD scheme stability criteria definition. By using OpenMP-CUDA and GPUDirect technologies for hybrid computing systems (supercomputers) with several graphic coprocessors (GPUs) interacting with each other via the PCI-E / NVLINK interface we also develop a parallel numerical algorithm for the CSPH-TVD method. The developed parallel version of the algorithm demonstrates high efficiency for various configurations of Nvidia Tesla CPU + GPU computing systems. In particular, maximal speed up is 1800 for a system with four C2070 GPUs compare to the serial version for the CPU. The calculation time on the GPU V100~(Volta architecture) is reduced by 95 times compared to the GPU C2070~(Fermi architecture).


title: Reentrant orbital effect against superconductivity in the quasi-two-dimensional superconductor NbS$_2$

abstract: We derive integral equation for superconducting gap, which takes into account the quantum nature of electron motion in a parallel magnetic field in a quasi-two-dimensional (Q2D) superconductor in the presence of a non-zero perpendicular field component. By comparison of our theoretical results with the recent experimental data obtained on the NbS$_2$, we show that the orbital effect against superconductivity partially destroys superconductivity in the so-called Ginzburg-Landau area of this Q2D conductor, as expected. Nevertheless, at relatively high magnetic fields, $H \simeq 15 \ T$, the orbital effect starts to improve the Fulde-Ferrell-Larkin-Ovchinnikov phase in the NbS$_2$, due to the quantum nature of electron motion in a parallel magnetic field. In our opinion, this is the most clear demonstration that the orbital effect against superconductivity in a parallel magnetic field has a reversible nature.


title: Fields interpretable in $P$-minimal fields

abstract: We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically differentiable.


title: Head Tail Radio Sources from VLA FIRST Survey

abstract: The study of Head Tail (HT) radio galaxies track the information of associated galaxy clusters. With the help of the VLA FIRST survey at 1.4 GHz, we detected 607 new HT radio sources, among them, 398 are Wide Angle Tail (WAT) and 216 are Narrow-Angle Tail (NAT) sources. NAT sources generally have `V' shaped structure with an opening angle less than ninety degrees and for WAT sources opening angle between the jets is more than ninety degrees. We found that almost 80 per cent of our sources are associated with a known galaxy cluster. We mentioned various useful physical properties of these HT sources. Taking advantage of a large sample of newly discovered HT sources, various statistical studies have been done. The luminosity range of sources presented in the current paper is $10^{39}$ $\leq$ $L_{1.4GHz}$ $\leq$ $10^{43}$ erg sec$^{-1}$. We identified optical counterparts for 193 WAT and 104 NAT sources. The sources are found up to redshift 2.08.


title: Topological classifications of quadratic bosonic excitations in closed and open systems with examples

abstract: The topological classifications of quadratic bosonic systems according to the symmetries of the dynamic matrices from the equations of motion of closed systems and the effective Hamiltonians from the Lindblad equations of open systems are analyzed. While the non-Hermitian dynamic matrix and effective Hamiltonian both lead to a ten-fold way table, the system-reservoir coupling may cause a system with or without coupling to a reservoir to fall into different classes. A 2D Chern insulator is shown to be insensitive to the different classifications. In contrast, we present a 1D bosonic Su-Schrieffer-Heeger model with chiral symmetry and a 2D bosonic topological insulator with time-reversal symmetry to show the corresponding open systems may fall into different classes.


title: Marginal deformations and RG flows for type IIB S-folds

abstract: We construct a continuous one parameter family of $AdS_4\times S^1\times S^5$ S-fold solutions of type IIB string theory which have nontrivial $SL(2,\mathbb{Z})$ monodromy in the $S^1$ direction. The solutions span a subset of a conformal manifold that contains the known $\mathcal{N}=4$ S-fold SCFT in $d=3$, and generically preserve $\mathcal{N}=2$ supersymmetry. We also construct RG flows across dimensions, from $AdS_5\times S^5$, dual to $\mathcal{N}=4$, $d=4$ SYM compactified with a twisted spatial circle, to various $AdS_4\times S^1\times S^5$ S-fold solutions, dual to $d=3$ SCFTs. We construct additional flows between the $AdS_5$ dual of the Leigh-Strassler SCFT and an $\mathcal{N}=2$ S-fold as well as RG flows between various S-folds.


title: An In-memory Embedding of CPython for Offensive Use

abstract: We offer an embedding of CPython that runs entirely in memory without "touching" the disk. This in-memory embedding can load Python scripts directly from memory instead these scripts having to be loaded from files on disk. Malware that resides only in memory is harder to detect or mitigate against. We intend for our work to be used by security researchers to rapidly develop and deploy offensive techniques that is difficult for security products to analyze given these instructions are in bytecode and only translated to machine-code by the interpreter immediately prior to execution. Our work helps security researchers and enterprise Red Teams who play offense. Red Teams want to rapidly prototype malware for their periodic campaigns and do not want their malware to be detected by the Incident Response (IR) teams prior to accomplishing objectives. Red Teams also have difficulty running malware in production from files on disk as modern enterprise security products emulate, inspect, or quarantine such executables given these files have no reputation. Our work also helps enterprise Hunt and IR teams by making them aware of the viability of this type of attack. Our approach has been in use in production for over a year and meets our customers' needs to quickly emulate threat-actors' tasks, techniques, and procedures (TTPs).


title: Mathematics of Digital Hyperspace

abstract: Social media, e-commerce, streaming video, e-mail, cloud documents, web pages, traffic flows, and network packets fill vast digital lakes, rivers, and oceans that we each navigate daily. This digital hyperspace is an amorphous flow of data supported by continuous streams that stretch standard concepts of type and dimension. The unstructured data of digital hyperspace can be elegantly represented, traversed, and transformed via the mathematics of hypergraphs, hypersparse matrices, and associative array algebra. This paper explores a novel mathematical concept, the semilink, that combines pairs of semirings to provide the essential operations for graph analytics, database operations, and machine learning. The GraphBLAS standard currently supports hypergraphs, hypersparse matrices, the mathematics required for semilinks, and seamlessly performs graph, network, and matrix operations. With the addition of key based indices (such as pointers to strings) and semilinks, GraphBLAS can become a richer associative array algebra and be a plug-in replacement for spreadsheets, database tables, and data centric operating systems, enhancing the navigation of unstructured data found in digital hyperspace.


title: Laplace and Steklov extremal metrics via $n$-harmonic maps

abstract: We present a unified description of extremal metrics for the Laplace and Steklov eigenvalues on manifolds of arbitrary dimension using the notion of $n$-harmonic maps. Our approach extends the well-known results linking extremal metrics for eigenvalues on surfaces with minimal immersions and harmonic maps. In the process, we uncover two previously unknown features of the Steklov eigenvalues. First, we show that in higher dimensions there is a unique normalization involving both the volume of the boundary and of the manifold itself, which leads to meaningful extremal eigenvalue problems. Second, we observe that the critical points of the eigenvalue functionals in a fixed conformal class have a natural geometric interpretation provided one considers the Steklov problem with a density. As an example, we construct a family of free boundary harmonic annuli in the three-dimensional ball and conjecture that they correspond to metrics maximizing the first Steklov eigenvalue in their respective conformal classes.


title: Fullness of exceptional collections via stability conditions -- A case study: the quadric threefold

abstract: A powerful tool of investigation of Fano varieties is provided by exceptional collections in their derived categories. Proving the fullness of such a collection is generally a nontrvial problem, usually solved on a case-by-case basis, with the aid of a deep understanding of the underlying geometry. Likewise, when an exceptional collection is not full, it is not straightforward to determine whether its "residual" category, i.e., its right orthogonal, is the derived category of a variety. We show how one can use the existence of Bridgeland stability condition these residual categories (when they exist) to address these problems. We examine a simple case in detail: the quadric threefold $Q_3$ in $\mathbb{P}^{4}$. We also give an indication how a variety of other classical results could be justified or re-discovered via this technique., e.g., the commutativity of the Kuznetsov component of the Fano threefold $Y_4$.


title: Knowledge, beliefs, attitudes and perceived risk about COVID-19 vaccine and determinants of COVID-19 vaccine acceptance in Bangladesh

abstract: A total of 605 eligible respondents took part in this survey (population size 1630046161 and required sample size 591) with an age range of 18 to 100. A large proportion of the respondents are aged less than 50 (82%) and male (62.15%). The majority of the respondents live in urban areas (60.83%). A total of 61.16% (370/605) of the respondents were willing to accept/take the COVID-19 vaccine. Among the accepted group, only 35.14% showed the willingness to take the COVID-19 vaccine immediately, while 64.86% would delay the vaccination until they are confirmed about the vaccine s efficacy and safety or COVID-19 becomes deadlier in Bangladesh. The regression results showed age, gender, location (urban/rural), level of education, income, perceived risk of being infected with COVID-19 in the future, perceived severity of infection, having previous vaccination experience after age 18, having higher knowledge about COVID-19 and vaccination were significantly associated with the acceptance of COVID-19 vaccines. The research reported a high prevalence of COVID-19 vaccine refusal and hesitancy in Bangladesh.


title: A New Family of Feasible Methods for Distributed Resource Allocation

abstract: Distributed resource allocation is a central task in network systems such as smart grids, water distribution networks, and urban transportation systems. When solving such problems in practice it is often important to have nonasymptotic feasibility guarantees for the iterates, since overallocation of resources easily causes systems to break down. In this paper, we develop a distributed resource reallocation algorithm where every iteration produces a feasible allocation. The algorithm is fully distributed in the sense that nodes communicate only with neighbors over a given communication network. We prove that under mild conditions the algorithm converges to a point arbitrarily close to the optimal resource allocation. Numerical experiments demonstrate the competitive practical performance of the algorithm.


title: Unified Shape and SVBRDF Recovery using Differentiable Monte Carlo Rendering

abstract: Reconstructing the shape and appearance of real-world objects using measured 2D images has been a long-standing problem in computer vision. In this paper, we introduce a new analysis-by-synthesis technique capable of producing high-quality reconstructions through robust coarse-to-fine optimization and physics-based differentiable rendering. Unlike most previous methods that handle geometry and reflectance largely separately, our method unifies the optimization of both by leveraging image gradients with respect to both object reflectance and geometry. To obtain physically accurate gradient estimates, we develop a new GPU-based Monte Carlo differentiable renderer leveraging recent advances in differentiable rendering theory to offer unbiased gradients while enjoying better performance than existing tools like PyTorch3D and redner. To further improve robustness, we utilize several shape and material priors as well as a coarse-to-fine optimization strategy to reconstruct geometry. We demonstrate that our technique can produce reconstructions with higher quality than previous methods such as COLMAP and Kinect Fusion.


title: Understanding the role of importance weighting for deep learning

abstract: The recent paper by Byrd & Lipton (2019), based on empirical observations, raises a major concern on the impact of importance weighting for the over-parameterized deep learning models. They observe that as long as the model can separate the training data, the impact of importance weighting diminishes as the training proceeds. Nevertheless, there lacks a rigorous characterization of this phenomenon. In this paper, we provide formal characterizations and theoretical justifications on the role of importance weighting with respect to the implicit bias of gradient descent and margin-based learning theory. We reveal both the optimization dynamics and generalization performance under deep learning models. Our work not only explains the various novel phenomenons observed for importance weighting in deep learning, but also extends to the studies where the weights are being optimized as part of the model, which applies to a number of topics under active research.


title: Infusing Theory into Deep Learning for Interpretable Reactivity Prediction

abstract: Despite recent advances of data acquisition and algorithms development, machine learning (ML) faces tremendous challenges to being adopted in practical catalyst design, largely due to its limited generalizability and poor explainability. Here, we develop a theory-infused neural network (TinNet) approach that integrates deep learning algorithms with the well-established $d$-band theory of chemisorption for reactivity prediction of transition-metal surfaces. With simple adsorbates (e.g., *OH, *O, and *N) at active site ensembles as representative descriptor species, we demonstrate that the TinNet is on par with purely data-driven ML methods in prediction performance, while being inherently interpretable. Incorporation of scientific knowledge of physical interactions into learning from data sheds further light on the nature of chemical bonding and opens up new avenues for ML discovery of novel motifs with desired catalytic properties.


title: Extractive Summarization of Related Bug-fixing Comments in Support of Bug Repair

abstract: When developers investigate a new bug report, they search for similar previously fixed bug reports and discussion threads attached to them. These discussion threads convey important information about the behavior of the bug including relevant bug-fixing comments. Oftentimes, these discussion threads become extensively lengthy due to the severity of the reported bug. This adds another layer of complexity, especially if relevant bug-fixing comments intermingle with seemingly unrelated comments. To manually detect these relevant comments among various cross-cutting discussion threads can become a daunting task when dealing with high volume of bug reports. To automate this process, our focus is to initially extract and detect comments in the context of query relevance, the use of positive language, and semantic relevance. Then, we merge these comments in the form of a summary for easy understanding. Specifically, we combine Sentiment Analysis and the TextRank Model with the baseline Vector Space Model (VSM). Preliminary findings indicate that bug-fixing comments tend to be positive and there exists a semantic relevance with comments from other cross-cutting discussion threads. The results also indicate that our combined approach improves overall ranking performance against the baseline VSM.


title: On the limits of algorithmic prediction across the globe

abstract: The impact of predictive algorithms on people's lives and livelihoods has been noted in medicine, criminal justice, finance, hiring and admissions. Most of these algorithms are developed using data and human capital from highly developed nations. We tested how well predictive models of human behavior trained in a developed country generalize to people in less developed countries by modeling global variation in 200 predictors of academic achievement on nationally representative student data for 65 countries. Here we show that state-of-the-art machine learning models trained on data from the United States can predict achievement with high accuracy and generalize to other developed countries with comparable accuracy. However, accuracy drops linearly with national development due to global variation in the importance of different achievement predictors, providing a useful heuristic for policymakers. Training the same model on national data yields high accuracy in every country, which highlights the value of local data collection.


title: A Temporal Kernel Approach for Deep Learning with Continuous-time Information

abstract: Sequential deep learning models such as RNN, causal CNN and attention mechanism do not readily consume continuous-time information. Discretizing the temporal data, as we show, causes inconsistency even for simple continuous-time processes. Current approaches often handle time in a heuristic manner to be consistent with the existing deep learning architectures and implementations. In this paper, we provide a principled way to characterize continuous-time systems using deep learning tools. Notably, the proposed approach applies to all the major deep learning architectures and requires little modifications to the implementation. The critical insight is to represent the continuous-time system by composing neural networks with a temporal kernel, where we gain our intuition from the recent advancements in understanding deep learning with Gaussian process and neural tangent kernel. To represent the temporal kernel, we introduce the random feature approach and convert the kernel learning problem to spectral density estimation under reparameterization. We further prove the convergence and consistency results even when the temporal kernel is non-stationary, and the spectral density is misspecified. The simulations and real-data experiments demonstrate the empirical effectiveness of our temporal kernel approach in a broad range of settings.


title: Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges

abstract: We initiate the study of computational complexity of graph coverings, aka locally bijective graph homomorphisms, for {\em graphs with semi-edges}. The notion of graph covering is a discretization of coverings between surfaces or topological spaces, a notion well known and deeply studied in classical topology. Graph covers have found applications in discrete mathematics for constructing highly symmetric graphs, and in computer science in the theory of local computations. In 1991, Abello et al. asked for a classification of the computational complexity of deciding if an input graph covers a fixed target graph, in the ordinary setting (of graphs with only edges). Although many general results are known, the full classification is still open. In spite of that, we propose to study the more general case of covering graphs composed of normal edges (including multiedges and loops) and so-called semi-edges. Semi-edges are becoming increasingly popular in modern topological graph theory, as well as in mathematical physics. They also naturally occur in the local computation setting, since they are lifted to matchings in the covering graph. We show that the presence of semi-edges makes the covering problem considerably harder; e.g., it is no longer sufficient to specify the vertex mapping induced by the covering, but one necessarily has to deal with the edge mapping as well. We show some solvable cases, and completely characterize the complexity of the already very nontrivial problem of covering one- and two-vertex (multi)graphs with semi-edges. Our NP-hardness results are proven for simple input graphs, and in the case of regular two-vertex target graphs, even for bipartite ones. This provides a strengthening of previously known results for covering graphs without semi-edges, and may contribute to better understanding of this notion and its complexity.


title: Range-Visual-Inertial Odometry: Scale Observability Without Excitation

abstract: Traveling at constant velocity is the most efficient trajectory for most robotics applications. Unfortunately without accelerometer excitation, monocular Visual-Inertial Odometry (VIO) cannot observe scale and suffers severe error drift. This was the main motivation for incorporating a 1D laser range finder in the navigation system for NASA's Ingenuity Mars Helicopter. However, Ingenuity's simplified approach was limited to flat terrains. The current paper introduces a novel range measurement update model based on using facet constraints. The resulting range-VIO approach is no longer limited to flat scenes, but extends to any arbitrary structure for generic robotic applications. An important theoretical result shows that scale is no longer in the right nullspace of the observability matrix for zero or constant acceleration motion. In practical terms, this means that scale becomes observable under constant-velocity motion, which enables simple and robust autonomous operations over arbitrary terrain. Due to the small range finder footprint, range-VIO retains the minimal size, weight, and power attributes of VIO, with similar runtime. The benefits are evaluated on real flight data representative of common aerial robotics scenarios. Robustness is demonstrated using indoor stress data and fullstate ground truth. We release our software framework, called xVIO, as open source.


title: A Bulk-Controlled Low-Voltage CMOS Quadrature Oscillator

abstract: In this paper, an schema for controlling the oscillation frequency of a quadrature oscillator is proposed. The method involves controlling the threshold voltage of the PMOS transistors in the inverter through control of the bulk bias voltage. Results obtained using HSPICE simulation are presented in a technology of 0.35{\mu}m, and experimental results using discrete elements (HEF4007) are also shown. Both sets of experiments show the effectiveness of the technique.


title: Euler Meets GPU: Practical Graph Algorithms with Theoretical Guarantees

abstract: The Euler tour technique is a classical tool for designing parallel graph algorithms, originally proposed for the PRAM model. We ask whether it can be adapted to run efficiently on GPU. We focus on two established applications of the technique: (1) the problem of finding lowest common ancestors (LCA) of pairs of nodes in trees, and (2) the problem of finding bridges in undirected graphs. In our experiments, we compare theoretically optimal algorithms using the Euler tour technique against simpler heuristics supposed to perform particularly well on typical instances. We show that the Euler tour-based algorithms not only fulfill their theoretical promises and outperform practical heuristics on hard instances, but also perform on par with them on easy instances.


title: Data Integration through outcome adaptive LASSO and a collaborative propensity score approach

abstract: Administrative data, or non-probability sample data, are increasingly being used to obtain official statistics due to their many benefits over survey methods. In particular, they are less costly, provide a larger sample size, and are not reliant on the response rate. However, it is difficult to obtain an unbiased estimate of the population mean from such data due to the absence of design weights. Several estimation approaches have been proposed recently using an auxiliary probability sample which provides representative covariate information of the target population. However, when this covariate information is high-dimensional, variable selection is not a straight-forward task even for a subject matter expert. In the context of efficient and doubly robust estimation approaches for estimating a population mean, we develop two data adaptive methods for variable selection using the outcome adaptive LASSO and a collaborative propensity score, respectively. Simulation studies are performed in order to verify the performance of the proposed methods versus competing methods. Finally, we presented an anayisis of the impact of Covid-19 on Canadians.


title: Ultrastrong coupling between electron tunneling and mechanical motion

abstract: The ultrastrong coupling of single-electron tunneling and nanomechanical motion opens exciting opportunities to explore fundamental questions and develop new platforms for quantum technologies. We have measured and modeled this electromechanical coupling in a fully-suspended carbon nanotube device and report a ratio of $g_\mathrm{m}/\omega_\mathrm{m} = 2.72 \pm 0.14$, where $g_\mathrm{m}/2\pi = 0.80\pm 0.04$ GHz is the coupling strength and $\omega_\mathrm{m}/2\pi=294.5$ MHz is the mechanical resonance frequency. This is well within the ultrastrong coupling regime and the highest among all other electromechanical platforms. We show that, although this regime was present in similar fully-suspended carbon nanotube devices, it went unnoticed. Even higher ratios could be achieved with improvement on device design.


title: Efficient structural relaxation of polycrystalline graphene models

abstract: Large samples of experimentally produced graphene are polycrystalline. For the study of this material, it helps to have realistic computer samples that are also polycrystalline. A common approach to produce such samples in computer simulations is based on the method of Wooten, Winer, and Weaire, originally introduced for the simulation of amorphous silicon. We introduce an early rejection variation of their method, applied to graphene, which exploits the local nature of the structural changes to achieve a significant speed-up in the relaxation of the material, without compromising the dynamics. We test it on a 3,200 atoms sample, obtaining a speedup between one and two orders of magnitude. We also introduce a further variation called early decision specifically for relaxing large samples even faster and we test it on two samples of 10,024 and 20,000 atoms, obtaining a further speed-up of an order of magnitude. Furthermore, we provide a graphical manipulation tool to remove unwanted artifacts in a sample, such as bond crossings.


title: Data-Driven Distributionally Robust Surgery Planning in Flexible Operating Rooms Over a Wasserstein Ambiguity

abstract: We study elective surgery planning in flexible operating rooms (ORs) where emergency patients are accommodated in the existing elective surgery schedule. Specifically, elective surgeries can be scheduled weeks or months in advance. In contrast, an emergency surgery arrives randomly and must be performed on the day of arrival. Probability distributions of the actual durations of elective and emergency surgeries are unknown, and only a possibly small set of historical realizations may be available. To address distributional uncertainty, we first construct an ambiguity set that encompasses all possible distributions of surgery durations within a 1-Wasserstein distance from the empirical distribution. We then define a distributionally robust surgery assignment (DSA) problem to determine optimal elective surgery assignment decisions to available surgical blocks in multiple ORs, considering the capacity needed for emergency cases. The objective is to minimize the total cost consisting of the fixed cost related to scheduling or rejecting elective surgery plus the maximum expected cost associated with OR overtime and idle time over all distributions defined in the ambiguity set. Using the DSA model's structural properties, we derive an equivalent mixed-integer linear programming (MILP) reformulation that can be implemented and solved efficiently using off-the-shelf optimization software. In addition, we extend the proposed model to determine the number of ORs needed to serve the two competing surgery classes and derive a MILP reformulation of this extension. We conduct extensive numerical experiments based on real-world surgery data, demonstrating our proposed model's computational efficiency and superior out-of-sample operational performance over two state-of-the-art approaches. In addition, we derive insights into surgery scheduling in flexible ORs.


title: TULVCAN: Terahertz Ultra-broadband Learning Vehicular Channel-Aware Networking

abstract: Due to spectrum scarcity and increasing wireless capacity demands, terahertz (THz) communications at 0.1-10THz and the corresponding spectrum characterization have emerged to meet diverse service requirements in future 5G and 6G wireless systems. However, conventional compressed sensing techniques to reconstruct the original wideband spectrum with under-sampled measurements become inefficient as local spectral correlation is deliberately omitted. Recent works extend communication methods with deep learning-based algorithms but lack strong ties to THz channel properties. This paper introduces novel THz channel-aware spectrum learning solutions that fully disclose the uniqueness of THz channels when performing such ultra-broadband sensing in vehicular environments. Specifically, a joint design of spectrum compression and reconstruction is proposed through a structured sensing matrix and two-phase reconstruction based on high spreading loss and molecular absorption at THz frequencies. An end-to-end learning framework, namely compression and reconstruction network (CRNet), is further developed with the mean-square-error loss function to improve sensing accuracy while significantly reducing computational complexity. Numerical results show that the CRNet solutions outperform the latest generative adversarial network (GAN) realization with a much higher cosine and structure similarity measures, smaller learning errors, and 56% less required training overheads. This THz Ultra-broadband Learning Vehicular Channel-Aware Networking (TULVCAN) work successfully achieves effective THz spectrum learning and hence allows frequency-agile access.


title: On symmetric higher-dimensional automata and bisimilarity

abstract: It is shown that a higher-dimensional automaton is hhp-bisimilar to the free symmetric HDA generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power.


title: Sparse and Smooth Functional Data Clustering

abstract: A new model-based procedure is developed for sparse clustering of functional data that aims to classify a sample of curves into homogeneous groups while jointly detecting the most informative portions of domain. The proposed method is referred to as sparse and smooth functional clustering (SaS-Funclust) and relies on a general functional Gaussian mixture model whose parameters are estimated by maximizing a log-likelihood function penalized with a functional adaptive pairwise penalty and a roughness penalty. The former allows identifying the noninformative portion of domain by shrinking the means of separated clusters to some common values, whereas the latter improves the interpretability by imposing some degree of smoothing to the estimated cluster means. The model is estimated via an expectation-conditional maximization algorithm paired with a cross-validation procedure. Through a Monte Carlo simulation study, the SaS-Funclust method is shown to outperform other methods already appeared in the literature, both in terms of clustering performance and interpretability. Finally, three real-data examples are presented to demonstrate the favourable performance of the proposed method. The SaS-Funclust method is implemented in the $\textsf{R}$ package $\textsf{sasfunclust}$, available online at https://github.com/unina-sfere/sasfunclust.


title: Acoustic-pressure-assisted engineering of aluminium foams

abstract: Foaming metals modulates their physical properties, enabling attractive applications where lightweight, low thermal conductivity or acoustic isolation are desirable. Adjusting the size of the bubbles in the foams is particularly relevant for targeted applications. Here we provide a method with a detailed theoretical understanding how to tune the size of the bubbles in aluminium melts in-situ via acoustic pressure. Our description is in full agreement with the high-rate three-dimensional X-Ray radioscopy of the bubble formation. We complement our study with the intriguing results on the effect of foaming on electrical resistivity, Seebeck coefficient and thermal conductivity from cryogenic to room temperature. Compared to bulk materials the investigated foam shows an enhancement in the thermoelectric figure of merit. These results herald promising application of foaming in thermoelectrics materials and devices for thermal energy conversion.


title: Exploiting Local Geometry for Feature and Graph Construction for Better 3D Point Cloud Processing with Graph Neural Networks

abstract: We propose simple yet effective improvements in point representations and local neighborhood graph construction within the general framework of graph neural networks (GNNs) for 3D point cloud processing. As a first contribution, we propose to augment the vertex representations with important local geometric information of the points, followed by nonlinear projection using a MLP. As a second contribution, we propose to improve the graph construction for GNNs for 3D point clouds. The existing methods work with a k-nn based approach for constructing the local neighborhood graph. We argue that it might lead to reduction in coverage in case of dense sampling by sensors in some regions of the scene. The proposed methods aims to counter such problems and improve coverage in such cases. As the traditional GNNs were designed to work with general graphs, where vertices may have no geometric interpretations, we see both our proposals as augmenting the general graphs to incorporate the geometric nature of 3D point clouds. While being simple, we demonstrate with multiple challenging benchmarks, with relatively clean CAD models, as well as with real world noisy scans, that the proposed method achieves state of the art results on benchmarks for 3D classification (ModelNet40) , part segmentation (ShapeNet) and semantic segmentation (Stanford 3D Indoor Scenes Dataset). We also show that the proposed network achieves faster training convergence, i.e. ~40% less epochs for classification. The project details are available at https://siddharthsrivastava.github.io/publication/geomgcnn/


title: Large deviations for discrete $\beta$-ensembles

abstract: We consider discrete $\beta$-ensembles as introduced by Borodin, Gorin and Guionnet in (Publications math{\' e}matiques de l'IH{\' E}S 125, 1-78, 2017). Under general assumptions, we establish a large deviation principle for their rightmost particle. We apply our general results to two classes of measures that are related to Jack symmetric functions.


title: Anomaly Detection Under Multiplicative Noise Model Uncertainty

abstract: State estimators are crucial components of anomaly detectors that are used to monitor cyber-physical systems. Many frequently-used state estimators are susceptible to model risk as they rely critically on the availability of an accurate state-space model. Modeling errors make it more difficult to distinguish whether deviations from expected behavior are due to anomalies or simply a lack of knowledge about the system dynamics. In this research, we account for model uncertainty through a multiplicative noise framework. Specifically, we propose to use the multiplicative noise LQG based compensator in this setting to hedge against the model uncertainty risk. The size of the residual from the estimator can then be compared against a threshold to detect anomalies. Finally, the proposed detector is validated using numerical simulations. Extension of state-of-the-art anomaly detection in cyber-physical systems to handle model uncertainty represents the main novel contribution of the present work.


title: Bayesian Optimal Experimental Design for Inferring Causal Structure

abstract: Inferring the causal structure of a system typically requires interventional data, rather than just observational data. Since interventional experiments can be costly, it is preferable to select interventions that yield the maximum amount of information about a system. We propose a novel Bayesian method for optimal experimental design by sequentially selecting interventions that minimize the expected posterior entropy as rapidly as possible. A key feature is that the method can be implemented by computing simple summaries of the current posterior, avoiding the computationally burdensome task of repeatedly performing posterior inference on hypothetical future datasets drawn from the posterior predictive. After deriving the method in a general setting, we apply it to the problem of inferring causal networks. We present a series of simulation studies in which we find that the proposed method performs favorably compared to existing alternative methods. Finally, we apply the method to real and simulated data from a protein-signaling network.


title: Synchronization and Control for Multi-Weighted and Directed Complex Networks

abstract: The study of complex networks with multi-weights has been a hot topic recently. For a network with a single weight, previous studies have shown that they can promote synchronization. But for complex networks with multi-weights, there are no rigorous analysis to show that synchronization can be reached faster. In this paper, the complex network is allowed to be directed, which will make the synchronization analysis difficult for multiple couplings. In virtue of the normalized left eigenvectors (NLEVec) corresponding to the zero eigenvalue of coupling matrices, we prove that if the Chebyshev distance between NLEVec is less than some value, which is defined as the allowable deviation bound, then the synchronization and control will be realized with sufficiently large coupling strengths, i.e., all coupling matrices do accelerate synchronization. Moreover, adaptive rules are also designed for the coupling strength.


title: ReAgent: Point Cloud Registration using Imitation and Reinforcement Learning

abstract: Point cloud registration is a common step in many 3D computer vision tasks such as object pose estimation, where a 3D model is aligned to an observation. Classical registration methods generalize well to novel domains but fail when given a noisy observation or a bad initialization. Learning-based methods, in contrast, are more robust but lack in generalization capacity. We propose to consider iterative point cloud registration as a reinforcement learning task and, to this end, present a novel registration agent (ReAgent). We employ imitation learning to initialize its discrete registration policy based on a steady expert policy. Integration with policy optimization, based on our proposed alignment reward, further improves the agent's registration performance. We compare our approach to classical and learning-based registration methods on both ModelNet40 (synthetic) and ScanObjectNN (real data) and show that our ReAgent achieves state-of-the-art accuracy. The lightweight architecture of the agent, moreover, enables reduced inference time as compared to related approaches. In addition, we apply our method to the object pose estimation task on real data (LINEMOD), outperforming state-of-the-art pose refinement approaches.


title: Portfolio Optimization with Sparse Multivariate Modelling

abstract: Portfolio optimization approaches inevitably rely on multivariate modeling of markets and the economy. In this paper, we address three sources of error related to the modeling of these complex systems: 1. oversimplifying hypothesis; 2. uncertainties resulting from parameters' sampling error; 3. intrinsic non-stationarity of these systems. For what concerns point 1. we propose a L0-norm sparse elliptical modeling and show that sparsification is effective. The effects of points 2. and 3. are quantifified by studying the models' likelihood in- and out-of-sample for parameters estimated over train sets of different lengths. We show that models with larger off-sample likelihoods lead to better performing portfolios up to when two to three years of daily observations are included in the train set. For larger train sets, we found that portfolio performances deteriorate and detach from the models' likelihood, highlighting the role of non-stationarity. We further investigate this phenomenon by studying the out-of-sample likelihood of individual observations showing that the system changes significantly through time. Larger estimation windows lead to stable likelihood in the long run, but at the cost of lower likelihood in the short-term: the `optimal' fit in finance needs to be defined in terms of the holding period. Lastly, we show that sparse models outperform full-models in that they deliver higher out of sample likelihood, lower realized portfolio volatility and improved portfolios' stability, avoiding typical pitfalls of the Mean-Variance optimization.