title: Finding the fixed points of a Boolean network from a positive feedback vertex set

abstract: In the modeling of biological systems by Boolean networks a key problem is finding the set of fixed points of a given network. Some constructed algorithms consider certain structural properties of the interaction graph like those proposed by Akutsu et al. in \cite{akutsu1998system,zhang2007algorithms} which consider a feedback vertex set of the graph. However, these methods do not take into account the type of action (activation, inhibition) between its components. In this paper we propose a new algorithm for finding the set of fixed points of a Boolean network, based on a positive feedback vertex set $P$ of its interaction graph and which works, by applying a sequential update schedule, in time $O(2^{|P|} \cdot n^2)$, where $n$ is the number of components. The theoretical foundation of this algorithm is due a nice characterization, that we give, of the dynamical behavior of the Boolean networks without positive cycles and with a fixed point. An executable file of \Afp made in Java and some examples of input files are available at: \href{http://www.inf.udec.cl/~lilian/FPCollector/}{\url{www.inf.udec.cl/~lilian/FPCollector/}}


title: Chaotic wave dynamics in weakly magnetised spherical Couette flows

abstract: Direct numerical simulations of a liquid metal filling the gap between two concentric spheres are presented. The flow is governed by the interplay between the rotation of the inner sphere (measured by the Reynolds number Re) and a weak externally applied axial magnetic field (measured by the Hartmann number Ha). By varying the latter a rich variety of flow features, both in terms of spatial symmetry and temporal dependence, is obtained. Flows with two or three independent frequencies describing their time evolution are found as a result of Hopf bifurcations. They are stable on a sufficiently large interval of Hartmann numbers where regions of multistability of two, three and even four types of these different flows are detected. The temporal character of the solutions is analysed by means of an accurate frequency analysis and Poincar\'e sections. An unstable branch of flows undergoing a period doubling cascade and frequency locking of three-frequency solutions is described as well.


title: LabVIEW-based Automated Setup for Interferometric Refractive Index Probing

abstract: In the paper, we explain an automated LabVIEW controlled setup that enables interferometric measurements of refractive indices in crystalline materials using a laser light source. The setup combines a mechanical system, a microcomputer-controlled gearless drive, a Michelson interferometer, an optical detector, a data acquisition system and a LabVIEW virtual instrument for an accurate non-destructive determination of the refractive index of given plane-parallel samples. We explain a concept, implementation, and hardware/software peculiarities of the developed system. Test experiments on different crystals yielded results that are in good agreement with available reference data. The range of potential applications of the proposed setup extends from fundamental optical research to biophotonics instrumentation, where efficient delivery of light is of crucial importance and reliable automated probing tools are needed for optical components characterization.


title: On the Noether and the Cayley-Bacharach theorems with PD multiplicities

abstract: In this paper, we prove the Noether theorem with the multiplicities described by PD operators. Despite the known analogue versions in this case the provided conditions are necessary and sufficient. We also prove the Cayley-Bacharach theorem with PD multiplicities. As far as we know this is the first generalization of this theorem in the case of multiple intersections.


title: The highly variable time evolution of star-forming cores identified with dendrograms

abstract: We investigate the time evolution of dense cores identified in molecular cloud simulations using dendrograms, which are a common tool to identify hierarchical structure in simulations and observations of star formation. We develop an algorithm to link dendrogram structures through time using the three-dimensional density field from magnetohydrodynamical simulations, thus creating histories for all dense cores in the domain. We find that the population-wide distributions of core properties are relatively invariant in time, and quantities like the core mass function match with observations. Despite this consistency, an individual core may undergo large (>40%), stochastic variations due to the redefinition of the dendrogram structure between timesteps. This variation occurs independent of environment and stellar content. We identify a population of short-lived (<200 kyr) overdensities masquerading as dense cores that may comprise ~20% of any time snapshot. Finally, we note the importance of considering the full history of cores when interpreting the origin of the initial mass function; we find that, especially for systems containing multiple stars, the core mass defined by a dendrogram leaf in a snapshot is typically less than the final system stellar mass. This work reinforces that there is no time-stable density contour that defines a star-forming core. The dendrogram itself can induce significant structure variation between timesteps due to small changes in the density field. Thus, one must use caution when comparing dendrograms of regions with different ages or environment properties because differences in dendrogram structure may not come solely from the physical evolution of dense cores.


title: Quasiparticle poisoning of Majorana qubits

abstract: Qubits based on Majorana zero modes are a promising path towards topological quantum computing. Such qubits, though, are susceptible to quasiparticle poisoning which does not have to be small by topological argument. We study the main sources of the quasiparticle poisoning relevant for realistic devices -- non-equilibrium above-gap quasiparticles and equilibrium localized subgap states. Depending on the parameters of the system and the architecture of the qubit either of these sources can dominate the qubit decoherence. However, we find in contrast to naive estimates that in moderately disordered, floating Majorana islands the quasiparticle poisoning can have timescales exceeding seconds.


title: Late time dynamics of $f(R, T, R_{\mu\nu}T^{\mu\nu})$ gravity

abstract: Dynamical behavior and future singularities of $f(R, T,R_{\mu\nu}T^{\mu\nu})$ gravitational theory are investigated. This gravitational model is a more complete form of the $f(R,T)$ gravity which can offer new dynamics for the universe. We investigate this gravitational theory for the case $f = R + \alpha R_{\mu\nu}T^{\mu\nu}$ using the method of autonomous dynamical systems and by assuming an interaction between matter and dark energy. The fixed points are identified and the results are consistent with standard cosmology and show that for small $\alpha$, the radiation dominated era is an unstable fixed point of the theory and the universe will continue its procedure toward matter era which is a saddle point of the theory and allows the evolution to dark energy dominated universe. Finally the dark energy dominated epoch is a stable fixed point and will be the late time attractor for the universe. We also consider future singularities for the two $f = R + \alpha R_{\mu\nu}T^{\mu\nu}$ and $f = R +\alpha RR_{\mu\nu}T^{\mu\nu}$ cases and for $w = 0,\dfrac{1}{3},1$ and $-1$. Our results show that for the case of $f = R + \alpha R_{\mu\nu}T^{\mu\nu}$, the future singularities of the universe will happen in the same condition as do for the Einstein-Hilbert FRW universe. However, a new type of singularity is obtained for $f = R +\alpha RR_{\mu\nu}T^{\mu\nu}$ that is captured by $t\rightarrow t_s;\ a \rightarrow a_s;\ \rho\rightarrow \infty;$ and $\ |p| \rightarrow 0$.


title: On Explicit Milstein-type Scheme for Mckean-Vlasov Stochastic Differential Equations with Super-linear Drift Coefficient

abstract: We develop an explicit Milstein-type scheme for McKean-Vlasov stochastic differential equations using the notion of derivative with respect to measure introduced by Lions and discussed in \cite{cardaliaguet2013}. The drift coefficient is allowed to grow super-linearly in the space variable. Further, both drift and diffusion coefficients are assumed to be only once differentiable in variables corresponding to space and measure. The rate of strong convergence is shown to be equal to $1.0$ without using It\^o's formula for functions depending on measure. The challenges arising due to the dependence of coefficients on measure are tackled and our findings are consistent with the analogous results for stochastic differential equations.


title: MZET: Memory Augmented Zero-Shot Fine-grained Named Entity Typing

abstract: Named entity typing (NET) is a classification task of assigning an entity mention in the context with given semantic types. However, with the growing size and granularity of the entity types, rare researches in previous concern with newly emerged entity types. In this paper, we propose MZET, a novel memory augmented FNET (Fine-grained NET) model, to tackle the unseen types in a zero-shot manner. MZET incorporates character-level, word-level, and contextural-level information to learn the entity mention representation. Besides, MZET considers the semantic meaning and the hierarchical structure into the entity type representation. Finally, through the memory component which models the relationship between the entity mention and the entity type, MZET transfer the knowledge from seen entity types to the zero-shot ones. Extensive experiments on three public datasets show prominent performance obtained by MZET, which surpasses the state-of-the-art FNET neural network models with up to 7% gain in Micro-F1 and Macro-F1 score.


title: Jamming, Fragility and Pinning Phenomena in Superconducting Vortex Systems

abstract: We examine driven superconducting vortices interacting with quenched disorder where we measure the memory effects under a sequence of drive pulses applied perpendicular to each other. As a function of disorder strength, we find four types of behavior: an elastic response, a fragile phase, a jammed phase, and a pinning dominated regime. These phases can be distinguished by the presence or absence of different types of memory effects. The fragile and jammed states exhibit memory, while the elastic and pinning dominated regimes do not. In the fragile regime, the system organizes into a pinned state during the first drive pulse, flows during the second drive pulse which is applied in the perpendicular direction, and then returns to a pinned state during the third drive pulse which is applied in the same direction as the first pulse. This behavior is the hallmark of fragility that has been proposed for jamming in particulate matter by Cates et al. [Phys. Rev. Lett. 81, 1841 (1998)]. For stronger disorder, we observe a robust jamming state in which a memory effect is still present but the system reaches a pinned or reduced flow state during the perpendicular drive pulse, similar to what appears in granular systems under shear jamming. We show that the different states produce signatures in the spatial vortex configurations, with memory effects arising from the coexistence of an elastic component and a pinned component in the vortex assembly. The sequential perpendicular driving protocol we propose for distinguishing fragile, jammed, and pinned phases should be general to the broader class of driven interacting particles in the presence of quenched disorder.


title: Series Elastic Force Control for Soft Robotic Fluid Actuators

abstract: Fluid-based soft actuators are an attractive option for lightweight and human-safe robots. These actuators, combined with fluid pressure force feedback, are in principle a form of series-elastic actuation (SEA), in which nearly all driving-point (e.g. motor/gearbox) friction can be eliminated. Fiber-elastomer soft actuators offer unique low-friction and low-hysteresis mechanical properties which are particularly suited to force-control based on internal pressure force feedback, rather than traditional external force feedback using force/tactile sensing, since discontinuous (Coulomb) endpoint friction is unobservable to internal fluid pressure. However, compensation of endpoint smooth hysteresis through a model-based feedforward term is possible. We report on internal-pressure force feedback through a disturbance observer (DOB) and model-based feedforward compensation of endpoint friction and nonlinear hysteresis for a 2-DOF lightweight robotic gripper driven by rolling-diaphragm linear actuators coupled to direct-drive brushless motors, achieving an active low-frequency endpoint impedance range ("Z-width") of 50dB.


title: Electrically-driven Acousto-optics and Broadband Non-reciprocity in Silicon Photonics

abstract: Emerging technologies based on tailorable interactions between photons and phonons promise new capabilities ranging from high-fidelity microwave signal processing to non-reciprocal optics and quantum state control. While such light-sound couplings have been studied in a variety of physical systems, many implementations rely on non-standard materials and fabrication schemes that are challenging to co-implement with standard integrated photonic circuitry. Notably, despite significant advances in integrated electro-optic modulators, related acousto-optic modulator concepts have remained relatively unexplored in silicon photonics. In this article, we demonstrate direct acousto-optic modulation within silicon waveguides using electrically-driven surface acoustic waves (SAWs). By co-integrating SAW transducers in piezoelectric AlN with a standard silicon-on-insulator photonic platform, we harness silicon's strong elasto-optic effect to mediate linear light-sound coupling. Through lithographic design, acousto-optic phase and single-sideband amplitude modulators in the range of 1-5 GHz are fabricated, exhibiting index modulation strengths comparable to existing electro-optic technologies. Extending this traveling-wave, acousto-optic interaction to cm-scales, we create electrically-driven non-reciprocal modulators in silicon. Non-reciprocal operation bandwidths of >100 GHz and insertion losses <0.6 dB are achieved. Building on these results, we show that unity-efficiency non-reciprocal modulation, necessary for a robust acousto-optic isolator, is within reach. The acousto-optic modulator design is compatible with both CMOS fabrication and existing silicon photonic device technologies. These results represent a promising new approach to implement compact and scalable acousto-optic modulators, frequency-shifters, and non-magnetic optical isolators and circulators in integrated photonic circuits.


title: Amenable dynamical systems over locally compact groups

abstract: We establish several new characterizations of amenable $W^*$- and $C^*$-dynamical systems over arbitrary locally compact groups. In the $W^*$-setting we show that amenability is equivalent to (1) a Reiter property and (2) the existence of a certain net of completely positive Herz-Schur multipliers of $(M,G,\alpha)$ converging point weak* to the identity of $G\bar{\ltimes}M$. In the $C^*$-setting, we prove that amenability of $(A,G,\alpha)$ is equivalent to an analogous Herz-Schur multiplier approximation of the identity of the reduced crossed product $G\ltimes A$, as well as a particular case of the positive weak approximation property of B\'{e}dos and Conti (generalized the locally compact setting). When $Z(A^{**})=Z(A)^{**}$, it follows that amenability is equivalent to the 1-positive approximation property of Exel and Ng. In particular, when $A=C_0(X)$ is commutative, amenability of $(C_0(X),G,\alpha)$ coincides with topological amenability the $G$-space $(G,X)$. Our results answer 2 open questions from the literature; one of Anantharaman--Delaroche, and one from recent work of Buss--Echterhoff--Willett.


title: Algebraic treatment of the Bateman Hamiltonian

abstract: We apply the algebraic method to the Bateman Hamiltonian and obtain its natural frequencies and ladder operators from the adjoint or regular matrix representation of that operator. Present analysis shows that the eigenfunctions compatible with the complex eigenvalues obtained earlier by other authors are not square integrable. In addition to this, the ladder operators annihilate an infinite number of such eigenfunctions.


title: Infrared Colours and Spectral Energy Distributions of Hard X-ray Selected Obscured and Compton-thick AGN

abstract: We investigate infrared colours and spectral energy distributions (SEDs) of 338 X-ray selected AGN from Swift-BAT 105-month survey catalogue that have AKARI detection, in order to find a new selection criteria for Compton-thick AGN. By combining data from Galaxy Evolution Explore (GALEX), Sloan Digital Sky Survey (SDSS) Data Release 14 (DR14), Two Micron All Sky Survey (2MASS), Wide-field Infrared Survey Explorer (WISE), AKARI and Herschel for the first time we perform ultraviolet (UV) to far-infrared (FIR) SED fitting 158 Swift BAT AGN by CIGALE and constrain the AGN model parameters of obscured and Compton-thick AGN. The comparison of average SEDs show while the mid-IR (MIR) SEDs are similar for the three AGN populations, optical/UV and FIR regions have differences. We measure the dust luminosity, the pure AGN luminosity and the total infrared (IR) luminosity. We examine the relationships between the measured infrared luminosities and the hard X-ray luminosity in the 14-195 keV band. We show that the average covering factor of Compton-thick AGN is higher compared to the obscured and unobscured AGN. We present a new infrared selection for Compton-thick AGN based on MIR and FIR colours ([9$\mu$m - 22$\mu$m]$ > 3.0$ and [22$\mu$m - 90$\mu$m]$ < 2.7$) from WISE and AKARI. We find two known Compton-thick AGN that are not included in the Swift-BAT sample, and conclude that MIR colours covering 9.7$\mu$m silicate absorption and MIR continuum can be a promising new tool to identify Compton-thick AGN.


title: Does Comma Selection Help To Cope With Local Optima

abstract: One hope when using non-elitism in evolutionary computation is that the ability to abandon the current-best solution aids leaving local optima. To improve our understanding of this mechanism, we perform a rigorous runtime analysis of a basic non-elitist evolutionary algorithm (EA), the $(\mu,\lambda)$ EA, on the most basic benchmark function with a local optimum, the jump function. We prove that for all reasonable values of the parameters and the problem, the expected runtime of the $(\mu,\lambda)$~EA is, apart from lower order terms, at least as large as the expected runtime of its elitist counterpart, the $(\mu+\lambda)$~EA (for which we conduct the first runtime analysis on jump functions to allow this comparison). Consequently, the ability of the $(\mu,\lambda)$~EA to leave local optima to inferior solutions does not lead to a runtime advantage. We complement this lower bound with an upper bound that, for broad ranges of the parameters, is identical to our lower bound apart from lower order terms. This is the first runtime result for a non-elitist algorithm on a multi-modal problem that is tight apart from lower order terms.


title: AI4COVID-19: AI Enabled Preliminary Diagnosis for COVID-19 from Cough Samples via an App

abstract: Background: The inability to test at scale has become humanity's Achille's heel in the ongoing war against the COVID-19 pandemic. A scalable screening tool would be a game changer. Building on the prior work on cough-based diagnosis of respiratory diseases, we propose, develop and test an Artificial Intelligence (AI)-powered screening solution for COVID-19 infection that is deployable via a smartphone app. The app, named AI4COVID-19 records and sends three 3-second cough sounds to an AI engine running in the cloud, and returns a result within two minutes. Methods: Cough is a symptom of over thirty non-COVID-19 related medical conditions. This makes the diagnosis of a COVID-19 infection by cough alone an extremely challenging multidisciplinary problem. We address this problem by investigating the distinctness of pathomorphological alterations in the respiratory system induced by COVID-19 infection when compared to other respiratory infections. To overcome the COVID-19 cough training data shortage we exploit transfer learning. To reduce the misdiagnosis risk stemming from the complex dimensionality of the problem, we leverage a multi-pronged mediator centered risk-averse AI architecture. Results: Results show AI4COVID-19 can distinguish among COVID-19 coughs and several types of non-COVID-19 coughs. The accuracy is promising enough to encourage a large-scale collection of labeled cough data to gauge the generalization capability of AI4COVID-19. AI4COVID-19 is not a clinical grade testing tool. Instead, it offers a screening tool deployable anytime, anywhere, by anyone. It can also be a clinical decision assistance tool used to channel clinical-testing and treatment to those who need it the most, thereby saving more lives.


title: The Five Problems of Irreversibility

abstract: Thermodynamics has a clear arrow of time, characterized by the irreversible approach to equilibrium. This stands in contrast to the laws of microscopic theories, which are invariant under time-reversal. Foundational discussions of this "problem of irreversibility" often focus on historical considerations, and do therefore not take results of modern physical research on this topic into account. In this article, I will close this gap by studying the implications of dynamical density functional theory (DDFT), a central method of modern nonequilibrium statistical mechanics not previously considered in philosophy of physics, for this debate. For this purpose, the philosophical discussion of irreversibility is structured into five problems, concerned with the source of irreversibility in thermodynamics, the definition of equilibrium and entropy, the justification of coarse-graining, the approach to equilibrium and the arrow of time. For each of these problems, it is shown that DDFT provides novel insights that are of importance for both physicists and philosophers of physics.


title: The Courtade-Kumar Most Informative Boolean Function Conjecture and a Symmetrized Li-M\'edard Conjecture are Equivalent

abstract: We consider the Courtade-Kumar most informative Boolean function conjecture for balanced functions, as well as a conjecture by Li and M\'edard that dictatorship functions also maximize the $L^\alpha$ norm of $T_pf$ for $1\leq\alpha\leq2$ where $T_p$ is the noise operator and $f$ is a balanced Boolean function. By using a result due to Laguerre from the 1880's, we are able to bound how many times an $L^\alpha$-norm related quantity can cross zero as a function of $\alpha$, and show that these two conjectures are essentially equivalent.


title: Knowing What, Where and When to Look: Efficient Video Action Modeling with Attention

abstract: Attentive video modeling is essential for action recognition in unconstrained videos due to their rich yet redundant information over space and time. However, introducing attention in a deep neural network for action recognition is challenging for two reasons. First, an effective attention module needs to learn what (objects and their local motion patterns), where (spatially), and when (temporally) to focus on. Second, a video attention module must be efficient because existing action recognition models already suffer from high computational cost. To address both challenges, a novel What-Where-When (W3) video attention module is proposed. Departing from existing alternatives, our W3 module models all three facets of video attention jointly. Crucially, it is extremely efficient by factorizing the high-dimensional video feature data into low-dimensional meaningful spaces (1D channel vector for `what' and 2D spatial tensors for `where'), followed by lightweight temporal attention reasoning. Extensive experiments show that our attention model brings significant improvements to existing action recognition models, achieving new state-of-the-art performance on a number of benchmarks.


title: Automated Quantification of CT Patterns Associated with COVID-19 from Chest CT

abstract: Purpose: To present a method that automatically segments and quantifies abnormal CT patterns commonly present in coronavirus disease 2019 (COVID-19), namely ground glass opacities and consolidations. Materials and Methods: In this retrospective study, the proposed method takes as input a non-contrasted chest CT and segments the lesions, lungs, and lobes in three dimensions, based on a dataset of 9749 chest CT volumes. The method outputs two combined measures of the severity of lung and lobe involvement, quantifying both the extent of COVID-19 abnormalities and presence of high opacities, based on deep learning and deep reinforcement learning. The first measure of (PO, PHO) is global, while the second of (LSS, LHOS) is lobewise. Evaluation of the algorithm is reported on CTs of 200 participants (100 COVID-19 confirmed patients and 100 healthy controls) from institutions from Canada, Europe and the United States collected between 2002-Present (April, 2020). Ground truth is established by manual annotations of lesions, lungs, and lobes. Correlation and regression analyses were performed to compare the prediction to the ground truth. Results: Pearson correlation coefficient between method prediction and ground truth for COVID-19 cases was calculated as 0.92 for PO (P < .001), 0.97 for PHO(P < .001), 0.91 for LSS (P < .001), 0.90 for LHOS (P < .001). 98 of 100 healthy controls had a predicted PO of less than 1%, 2 had between 1-2%. Automated processing time to compute the severity scores was 10 seconds per case compared to 30 minutes required for manual annotations. Conclusion: A new method segments regions of CT abnormalities associated with COVID-19 and computes (PO, PHO), as well as (LSS, LHOS) severity scores.


title: Rigorous FEM for 1D Burgers equation

abstract: We propose a method to integrate dissipative PDEs rigorously forward in time with the use of Finite Element Method (FEM). The technique is based on the Galerkin projection on the FEM space and estimates on the residual terms. The proposed approach is illustrated on a periodically forced one-dimensional Burgers equation with Dirichlet conditions. For two particular choices of the forcing we prove the existence of the periodic globally attracting trajectory and give precise bounds on its shape.


title: Eliashberg theory of phonon-mediated superconductivity -- when it is valid and how it breaks down

abstract: We analyze the validity of Eliashberg theory of phonon-mediated superconductivity in 2D systems in light of recent extensive Monte-Carlo studies of the Holstein model. Conventional wisdom says that Eliashberg theory is applicable as long as vertex corrections remain small. For small ratio of the phonon energy $\Omega_0$ and the Fermi energy $E_F$, this condition is supposed to hold even when the dimensionless electron-phonon coupling $\lambda$ is larger than one, i.e., in the strong coupling regime. A comparison between various quantities computed in the Migdal approximation and those computed by Quantum Monte Carlo prove that this belief is wrong, and we identify analytically some of the ways in which this breakdown occurs for various "normal state" properties at $\lambda = \lambda_{cr}$, where $\lambda_{cr} = O(1)$. The breakdown occurs at temperatures high enough that neither superconducting nor charge-density wave correlations extend over any significant range of distances, so it cannot be associated with the onset of an instability toward any of the relevant ordered ground-states - rather it is associated with the local physics of classical bipolaron formation. Still, we show that certain properties, including the superconducting $T_c$ and the superconducting gap structure below $T_c$, can be accurately inferred from the strong-coupling limit of Eliashberg theory at $\lambda \leq \lambda_{cr}$.


title: Simulation of XXZ Spin Models using Sideband Transitions in Trapped Bosonic Gases

abstract: We theoretically propose and experimentally demonstrate the use of motional sidebands in a trapped ensemble of $^{87}$Rb atoms to engineer tunable long-range XXZ spin models. We benchmark our simulator by probing a ferromagnetic to paramagnetic dynamical phase transition in the Lipkin-Meshkov-Glick (LMG) model, a collective XXZ model plus additional transverse and longitudinal fields, via Rabi spectroscopy. We experimentally reconstruct the boundary between the dynamical phases, which is in good agreement with mean-field theoretical predictions. Our work introduces new possibilities in quantum simulation of anisotropic spin-spin interactions and quantum metrology enhanced by many-body entanglement.


title: BosphorusSign22k Sign Language Recognition Dataset

abstract: Sign Language Recognition is a challenging research domain. It has recently seen several advancements with the increased availability of data. In this paper, we introduce the BosphorusSign22k, a publicly available large scale sign language dataset aimed at computer vision, video recognition and deep learning research communities. The primary objective of this dataset is to serve as a new benchmark in Turkish Sign Language Recognition for its vast lexicon, the high number of repetitions by native signers, high recording quality, and the unique syntactic properties of the signs it encompasses. We also provide state-of-the-art human pose estimates to encourage other tasks such as Sign Language Production. We survey other publicly available datasets and expand on how BosphorusSign22k can contribute to future research that is being made possible through the widespread availability of similar Sign Language resources. We have conducted extensive experiments and present baseline results to underpin future research on our dataset.


title: Past and recent contributions to indefinite sublinear elliptic problems

abstract: We review the indefinite sublinear elliptic equation $-\Delta u=a(x)u^{q}$ in a smooth bounded domain $\Omega\subset\mathbb{R}^{N}$, with Dirichlet or Neumann homogeneous boundary conditions. Here $0<q<1$ and $a$ is continuous and changes sign, in which case the strong maximum principle does not apply. As a consequence, the set of nonnegative solutions of these problems has a rich structure, featuring in particular both dead core and/or positive solutions. Overall, we are interested in sufficient and necessary conditions on $a$ and $q$ for the existence of positive solutions. We describe the main results from the past decades, and combine it with our recent contributions. The proofs are briefly sketched.


title: Unconditional Prime-representing Functions, Following Mills

abstract: Mills proved that there exists a real constant $A>1$ such that for all $n\in \mathbb{N}$ the values $\lfloor A^{3^n}\rfloor$ are prime numbers. No explicit value of $A$ is known, but assuming the Riemann hypothesis one can choose $A= 1.3063778838\ldots .$ Here we give a first unconditional variant: $\lfloor A^{10^{10n}}\rfloor$ is prime, where $A=1.00536773279814724017\ldots$ can be computed to millions of digits. Similarly, $\lfloor A^{3^{13n}}\rfloor$ is prime, with $A=3.8249998073439146171615551375\ldots .$


abstract: With the rapid development of autonomous driving, collision avoidance has attracted attention from both academia and industry. Many collision avoidance strategies have emerged in recent years, but the dynamic and complex nature of driving environment poses a challenge to develop robust collision avoidance algorithms. Therefore, in this paper, we propose a decentralized framework named RACE: Reinforced Cooperative Autonomous Vehicle Collision AvoidancE. Leveraging a hierarchical architecture we develop an algorithm named Co-DDPG to efficiently train autonomous vehicles. Through a security abiding channel, the autonomous vehicles distribute their driving policies. We use the relative distances obtained by the opponent sensors to build the VANET instead of locations, which ensures the vehicle's location privacy. With a leader-follower architecture and parameter distribution, RACE accelerates the learning of optimal policies and efficiently utilizes the remaining resources. We implement the RACE framework in the widely used TORCS simulator and conduct various experiments to measure the performance of RACE. Evaluations show that RACE quickly learns optimal driving policies and effectively avoids collisions. Moreover, RACE also scales smoothly with varying number of participating vehicles. We further compared RACE with existing autonomous driving systems and show that RACE outperforms them by experiencing 65% less collisions in the training process and exhibits improved performance under varying vehicle density.


title: Abelian subgroups and semisimple elements in $2$-modular representations of the symplectic group $Sp_{2n}(2)$

abstract: We determine the irreducible 2-modular representations of the symplectic group $G=Sp_{2n}(2)$ whose restriction to every abelian subgroup has a trivial constituent. A similar result is obtained for maximal tori of $G$. There is significant information on the existence of eigenvalue 1 of elements of $G$ in a given irreducible representation of $G$.


title: Extraction and Assessment of Naturalistic Human Driving Trajectories from Infrastructure Camera and Radar Sensors

abstract: Collecting realistic driving trajectories is crucial for training machine learning models that imitate human driving behavior. Most of today's autonomous driving datasets contain only a few trajectories per location and are recorded with test vehicles that are cautiously driven by trained drivers. In particular in interactive scenarios such as highway merges, the test driver's behavior significantly influences other vehicles. This influence prevents recording the whole traffic space of human driving behavior. In this work, we present a novel methodology to extract trajectories of traffic objects using infrastructure sensors. Infrastructure sensors allow us to record a lot of data for one location and take the test drivers out of the loop. We develop both a hardware setup consisting of a camera and a traffic surveillance radar and a trajectory extraction algorithm. Our vision pipeline accurately detects objects, fuses camera and radar detections and tracks them over time. We improve a state-of-the-art object tracker by combining the tracking in image coordinates with a Kalman filter in road coordinates. We show that our sensor fusion approach successfully combines the advantages of camera and radar detections and outperforms either single sensor. Finally, we also evaluate the accuracy of our trajectory extraction pipeline. For that, we equip our test vehicle with a differential GPS sensor and use it to collect ground truth trajectories. With this data we compute the measurement errors. While we use the mean error to de-bias the trajectories, the error standard deviation is in the magnitude of the ground truth data inaccuracy. Hence, the extracted trajectories are not only naturalistic but also highly accurate and prove the potential of using infrastructure sensors to extract real-world trajectories.


title: Weak saturation numbers of complete bipartite graphs in the clique

abstract: The notion of weak saturation was introduced by Bollob\'as in 1968. Let $F$ and $H$ be graphs. A spanning subgraph $G \subseteq F$ is weakly $(F,H)$-saturated if it contains no copy of $H$ but there exists an ordering $e_1,\ldots,e_t$ of $E(F)\setminus E(G)$ such that for each $i \in [t]$, the graph $G \cup \{e_1,\ldots,e_i\}$ contains a copy $H'$ of $H$ such that $e_i \in H'$. Define $wsat(F,H)$ to be the minimum number of edges in a weakly $(F,H)$-saturated graph. In this paper, we prove for all $t \ge 2$ and $n \ge 3t-3$, that $wsat(K_n,K_{t,t}) = (t-1)(n + 1 - t/2)$, and we determine the value of $wsat(K_n,K_{t-1,t})$ as well. For fixed $2 \le s < t$, we also obtain bounds on $wsat(K_n,K_{s,t})$ that are asymptotically tight.


title: An introduction to the Gabor wave front set

abstract: In this expository note we present an introduction to the Gabor wave front set. As is often the case, this tool in microlocal analysis has been introduced and reinvented in different forms which turn out to be equivalent or intimately related. We provide a short review of the history of this notion and then focus on some recent variations inspired by function spaces in time-frequency analysis. Old and new results are presented, together with a number of concrete examples and applications to the problem of propagation of singularities.


title: Mapping Three Decades of Intellectual Change in Academia

abstract: Research on the development of science has focused on the creation of multidisciplinary teams. However, while this coming together of people is symmetrical, the ideas, methods, and vocabulary of science have a directional flow. We present a statistical model of the text of dissertation abstracts from 1980 to 2010, revealing for the first time the large-scale flow of language across fields. Results of the analysis include identifying methodological fields that export broadly, emerging topical fields that borrow heavily and expand, and old topical fields that grow insular and retract. Particular findings show a growing split between molecular and ecological forms of biology and a sea change in the humanities and social sciences driven by the rise of gender and ethnic studies.


title: Generalized inverse-Gaussian frailty models with application to TARGET neuroblastoma data

abstract: A new class of survival frailty models based on the Generalized Inverse-Gaussian (GIG) distributions is proposed. We show that the GIG frailty models are flexible and mathematically convenient like the popular gamma frailty model. Furthermore, our proposed class is robust and does not present some computational issues experienced by the gamma model. By assuming a piecewise-exponential baseline hazard function, which gives a semiparametric flavour for our frailty class, we propose an EM-algorithm for estimating the model parameters and provide an explicit expression for the information matrix. Simulated results are addressed to check the finite sample behavior of the EM-estimators and also to study the performance of the GIG models under misspecification. We apply our methodology to a TARGET (Therapeutically Applicable Research to Generate Effective Treatments) data about survival time of patients with neuroblastoma cancer and show some advantages of the GIG frailties over existing models in the literature.


title: Motif-Based Spectral Clustering of Weighted Directed Networks

abstract: Clustering is an essential technique for network analysis, with applications in a diverse range of fields. Although spectral clustering is a popular and effective method, it fails to consider higher-order structure and can perform poorly on directed networks. One approach is to capture and cluster higher-order structures using motif adjacency matrices. However, current formulations fail to take edge weights into account, and thus are somewhat limited when weight is a key component of the network under study. We address these shortcomings by exploring motif-based weighted spectral clustering methods. We present new and computationally useful matrix formulae for motif adjacency matrices on weighted networks, which can be used to construct efficient algorithms for any anchored or non-anchored motif on three nodes. In a very sparse regime, our proposed method can handle graphs with a million nodes and tens of millions of edges. We further use our framework to construct a motif-based approach for clustering bipartite networks. We provide comprehensive experimental results, demonstrating (i) the scalability of our approach, (ii) advantages of higher-order clustering on synthetic examples, and (iii) the effectiveness of our techniques on a variety of real world data sets; and compare against several techniques from the literature. We conclude that motif-based spectral clustering is a valuable tool for analysis of directed and bipartite weighted networks, which is also scalable and easy to implement.


title: Novel View Synthesis of Dynamic Scenes with Globally Coherent Depths from a Monocular Camera

abstract: This paper presents a new method to synthesize an image from arbitrary views and times given a collection of images of a dynamic scene. A key challenge for the novel view synthesis arises from dynamic scene reconstruction where epipolar geometry does not apply to the local motion of dynamic contents. To address this challenge, we propose to combine the depth from single view (DSV) and the depth from multi-view stereo (DMV), where DSV is complete, i.e., a depth is assigned to every pixel, yet view-variant in its scale, while DMV is view-invariant yet incomplete. Our insight is that although its scale and quality are inconsistent with other views, the depth estimation from a single view can be used to reason about the globally coherent geometry of dynamic contents. We cast this problem as learning to correct the scale of DSV, and to refine each depth with locally consistent motions between views to form a coherent depth estimation. We integrate these tasks into a depth fusion network in a self-supervised fashion. Given the fused depth maps, we synthesize a photorealistic virtual view in a specific location and time with our deep blending network that completes the scene and renders the virtual view. We evaluate our method of depth estimation and view synthesis on diverse real-world dynamic scenes and show the outstanding performance over existing methods.


title: Different scenarios in the Dynamics of SARS-Cov-2 Infection: an adapted ODE model

abstract: A mathematical model to calculate the transmissibility of SARS-Cov-2 in Wuhan City was developed and published recently by Tian-Mu Chen et al., Infectious Diseases of Poverty, 2020, https://doi.org/10.1186/s40249-020-00640-3. This paper improves this model in order to study the effect of different scenarios that include actions to contain the pandemic, such as isolation and quarantine of infected and at-risk people. Comparisons made between the different scenarios show that the progress of the infection is found to strongly depend on measures taken in each case. The particular case of Brazil was studied, showing the dynamics of the first days of the infection in comparison with the different scenarios contained in the model and the reality of the Brazilian health system was exposed, in front of each possible scenario. The relative evolution of the number of new infection and reported cases was employed to estimate a containment date of the pandemic. Finally, the basic reproduction number R0 values were estimated for each scenario, ranging from 4.04 to 1.12.


title: On Auslander-Reiten components of string complexes for a certain class of symmetric special biserial algebras

abstract: Let $\mathbf{k}$ be an algebraically closed field. In this article, inspired by the description of indecomposable objects in the derived category of a gentle algebra obtained by V. Bekkert and H. A. Merklen, we define string complexes for a certain class $\mathscr{C}$ of symmetric special biserial algebras, which are indecomposable perfect complexes in the corresponding derived category. We also prove that if $\Lambda$ is a $\mathbf{k}$-algebra in the class $\mathscr{C}$ and $P^\bullet$ is a string complex over $\Lambda$, then $P^\bullet$ lies in the rim of its Auslander-Reiten component.


title: Spintronics on Chiral Objects

abstract: Chirality, handedness, is one of the most fundamental intriguing asymmetries in nature. By definition, chiral objects cannot be superimposed onto each other after mirror reflection operation. Numerous examples of chiral structures can be found in nature, for example, chiral molecules and chiral magnetic nanostructures. Moving electrons are associated with handedness by their own spins due to spin-orbit interaction thus exhibiting various emergent phenomena as they interact with chiral materials, which otherwise would not be observed in achiral systems. This new paradigm allows the potential development of new forms of devices or methods by utilizing reciprocal interaction of chiral objects with moving electron spins. This review updates the remarkable progresses in Spintronics on Chiral Objects that have been made over the past few years providing provides an outlook for new opportunities and potential applications with new insights.


title: Trajectory Optimization for Nonlinear Multi-Agent Systems using Decentralized Learning Model Predictive Control

abstract: We present a decentralized minimum-time trajectory optimization scheme based on learning model predictive control for multi-agent systems with nonlinear decoupled dynamics and coupled state constraints. By performing the same task iteratively, data from previous task executions is used to construct and improve local time-varying safe sets and an approximate value function. These are used in a decoupled MPC problem as terminal sets and terminal cost functions. Our framework results in a decentralized controller, which requires no communication between agents over each iteration of task execution, and guarantees persistent feasibility, finite-time closed-loop convergence, and non-decreasing performance of the global system over task iterations. Numerical experiments of a multi-vehicle collision avoidance scenario demonstrate the effectiveness of the proposed scheme.


title: IVFS: Simple and Efficient Feature Selection for High Dimensional Topology Preservation

abstract: Feature selection is an important tool to deal with high dimensional data. In unsupervised case, many popular algorithms aim at maintaining the structure of the original data. In this paper, we propose a simple and effective feature selection algorithm to enhance sample similarity preservation through a new perspective, topology preservation, which is represented by persistent diagrams from the context of computational topology. This method is designed upon a unified feature selection framework called IVFS, which is inspired by random subset method. The scheme is flexible and can handle cases where the problem is analytically intractable. The proposed algorithm is able to well preserve the pairwise distances, as well as topological patterns, of the full data. We demonstrate that our algorithm can provide satisfactory performance under a sharp sub-sampling rate, which supports efficient implementation of our proposed method to large scale datasets. Extensive experiments validate the effectiveness of the proposed feature selection scheme.


title: Data-Driven Path Selection for Real-Time Video Streaming at the Network Edge

abstract: In this paper, we present a framework for the dynamic selection of the wireless channels used to deliver information-rich data streams to edge servers. The approach we propose is data-driven, where a predictor, whose output informs the decision making of the channel selector, is built from available data on the transformation imposed by the network on previously transmitted packets. The proposed technique is contextualized to real-time video streaming for immediate processing. The core of our framework is the notion of probes, that is, short bursts of packets transmitted over unused channels to acquire information while generating a controlled impact on other active links. Results indicate a high accuracy of the prediction output and a significant improvement in terms of received video quality when the prediction output is used to dynamically select the used channel for transmission.


title: Generative PointNet: Deep Energy-Based Learning on Unordered Point Sets for 3D Generation, Reconstruction and Classification

abstract: We propose a generative model of unordered point sets, such as point clouds, in the form of an energy-based model, where the energy function is parameterized by an input-permutation-invariant bottom-up neural network. The energy function learns a coordinate encoding of each point and then aggregates all individual point features into an energy for the whole point cloud. We call our model the Generative PointNet because it can be derived from the discriminative PointNet. Our model can be trained by MCMC-based maximum likelihood learning (as well as its variants), without the help of any assisting networks like those in GANs and VAEs. Unlike most point cloud generators that rely on hand-crafted distance metrics, our model does not require any hand-crafted distance metric for the point cloud generation, because it synthesizes point clouds by matching observed examples in terms of statistical properties defined by the energy function. Furthermore, we can learn a short-run MCMC toward the energy-based model as a flow-like generator for point cloud reconstruction and interpolation. The learned point cloud representation can be useful for point cloud classification. Experiments demonstrate the advantages of the proposed generative model of point clouds.


title: Distributed Inference with Sparse and Quantized Communication

abstract: We consider the problem of distributed inference where agents in a network observe a stream of private signals generated by an unknown state, and aim to uniquely identify this state from a finite set of hypotheses. We focus on scenarios where communication between agents is costly, and takes place over channels with finite bandwidth. To reduce the frequency of communication, we develop a novel event-triggered distributed learning rule that is based on the principle of diffusing low beliefs on each false hypothesis. Building on this principle, we design a trigger condition under which an agent broadcasts only those components of its belief vector that have adequate innovation, to only those neighbors that require such information. We prove that our rule guarantees convergence to the true state exponentially fast almost surely despite sparse communication, and that it has the potential to significantly reduce information flow from uninformative agents to informative agents. Next, to deal with finite-precision communication channels, we propose a distributed learning rule that leverages the idea of adaptive quantization. We show that by sequentially refining the range of the quantizers, every agent can learn the truth exponentially fast almost surely, while using just $1$ bit to encode its belief on each hypothesis. For both our proposed algorithms, we rigorously characterize the trade-offs between communication-efficiency and the learning rate.


title: On the limiting behaviour of some nonlocal seminorms: a new phenomenon

abstract: In this note we study the behaviour as $s\to 0^+$ of some semigroup based Besov seminorms associated with a non-symmetric and hypoelliptic diffusion with a drift. Our results generalise a previous one of Maz'ya and Shaposhnikova for the classical fractional Sobolev spaces $W^{s,p}$, and they also underscore a new phenomenon caused by the presence of the drift.


title: While Stability Lasts: A Stochastic Model of Non-Custodial Stablecoins

abstract: The `Black Thursday' crisis in cryptocurrency markets demonstrated deleveraging risks in over-collateralized non-custodial stablecoins. We develop a stochastic model that helps explain deleveraging crises in these over-collateralized systems. In our model, the stablecoin supply is decided by speculators who optimize the profitability of a leveraged position while incorporating the forward-looking cost of collateral liquidations, which involves the endogenous price of the stablecoin. We formally characterize regimes that are interpreted as stable and unstable for the stablecoin. We prove bounds on quadratic variation and the probability of large deviations in the stable domain and we demonstrate distinctly greater price variance in the unstable domain. We identify a deflationary deleveraging spiral by means of a submartingale. These deleveraging spirals, which resemble short squeezes, lead to faster collateral drawdown (and potential shortfalls) and are accompanied by higher price variance, as experienced on Black Thursday. We conclude by discussing non-custodial ways in which the issues raised in this paper can be mitigated.


title: Distributed Primal-Dual Optimization for Online Multi-Task Learning

abstract: Conventional online multi-task learning algorithms suffer from two critical limitations: 1) Heavy communication caused by delivering high velocity of sequential data to a central machine; 2) Expensive runtime complexity for building task relatedness. To address these issues, in this paper we consider a setting where multiple tasks are geographically located in different places, where one task can synchronize data with others to leverage knowledge of related tasks. Specifically, we propose an adaptive primal-dual algorithm, which not only captures task-specific noise in adversarial learning but also carries out a projection-free update with runtime efficiency. Moreover, our model is well-suited to decentralized periodic-connected tasks as it allows the energy-starved or bandwidth-constraint tasks to postpone the update. Theoretical results demonstrate the convergence guarantee of our distributed algorithm with an optimal regret. Empirical results confirm that the proposed model is highly effective on various real-world datasets.


title: Distributed Hypothesis Testing and Social Learning in Finite Time with a Finite Amount of Communication

abstract: We consider the problem of distributed hypothesis testing (or social learning) where a network of agents seeks to identify the true state of the world from a finite set of hypotheses, based on a series of stochastic signals that each agent receives. Prior work on this problem has provided distributed algorithms that guarantee asymptotic learning of the true state, with corresponding efforts to improve the rate of learning. In this paper, we first argue that one can readily modify existing asymptotic learning algorithms to enable learning in finite time, effectively yielding arbitrarily large (asymptotic) rates. We then provide a simple algorithm for finite-time learning which only requires the agents to exchange a binary vector (of length equal to the number of possible hypotheses) with their neighbors at each time-step. Finally, we show that if the agents know the diameter of the network, our algorithm can be further modified to allow all agents to learn the true state and stop transmitting to their neighbors after a finite number of time-steps.


title: STAN-CT: Standardizing CT Image using Generative Adversarial Network

abstract: Computed tomography (CT) plays an important role in lung malignancy diagnostics and therapy assessment and facilitating precision medicine delivery. However, the use of personalized imaging protocols poses a challenge in large-scale cross-center CT image radiomic studies. We present an end-to-end solution called STAN-CT for CT image standardization and normalization, which effectively reduces discrepancies in image features caused by using different imaging protocols or using different CT scanners with the same imaging protocol. STAN-CT consists of two components: 1) a novel Generative Adversarial Networks (GAN) model that is capable of effectively learning the data distribution of a standard imaging protocol with only a few rounds of generator training, and 2) an automatic DICOM reconstruction pipeline with systematic image quality control that ensure the generation of high-quality standard DICOM images. Experimental results indicate that the training efficiency and model performance of STAN-CT have been significantly improved compared to the state-of-the-art CT image standardization and normalization algorithms.


title: A flare in the optical spotted in the changing-look Seyfert NGC 3516

abstract: We present observations from the short-term intensive optical campaign (from Sep2019 to Jan2020) of the changing-look Seyfert NGC 3516. This active galactic nucleus is known to have strong optical variability and has changed its type in the past. It has been in the low-activity state in the optical since 2013, with some rebrightening from the end of 2015 to the beginning of 2016, after which it remained dormant. We aim to study the photometric and spectral variability of NGC 3516 from the new observations in U- and B-bands and examine the profiles of the optical broad emission lines in order to demonstrate that this object may be entering a new state of activity. NGC 3516 has been monitored intensively for the past 4 months with an automated telescope in U and B filters, enabling accurate photometry of 0.01 precision. Spectral observations were triggered when an increase in brightness was spotted. We support our analysis of past-episodes of violent variability with the UV and X-ray long-term light curves constructed from the archival Swift data. An increase of the photometric magnitude is seen in both U and B filters to a maximum amplitude of 0.25mag and 0.1 mag, respectively. During the flare, we observe stronger forbidden high-ionization iron lines than reported before, as well as the complex broad Ha and Hb lines. This is especially seen in Ha which appears to be double-peaked. It seems that a very broad component of ~10,000 km/s in width in the Balmer lines is appearing. The trends in the optical, UV, and X-ray light curves are similar, with the amplitudes of variability being significantly larger in the case of UV and X-ray bands. The increase of the continuum emission, the variability of the coronal lines, and the very broad component in the Balmer lines may indicate that the AGN of NGC 3516 is finally leaving the low-activity state in which it has been for the last ~3 years.


title: In Situ Study of the Impact of Aberration-Corrected Electron-Beam Lithography on the Electronic Transport of Suspended Graphene Devices

abstract: The implementation of aberration-corrected electron beam lithography (AC-EBL) in a 200 keV scanning transmission electron microscope (STEM) is a novel technique that could be used for the fabrication of quantum devices based on 2D atomic crystals with single nanometer critical dimensions, allowing to observe more robust quantum effects. In this work we study electron beam sculpturing of nanostructures on suspended graphene field effect transistors using AC-EBL, focusing on the in situ characterization of the impact of electron beam exposure on device electronic transport quality. When AC-EBL is performed on a graphene channel (local exposure) or on the outside vicinity of a graphene channel (non-local exposure), the charge transport characteristics of graphene can be significantly affected due to charge doping and scattering. While the detrimental effect of non-local exposure can be largely removed by vigorous annealing, local-exposure induced damage is irreversible and cannot be fixed by annealing. We discuss the possible causes of the observed exposure effects. Our results provide guidance to the future development of high-energy electron beam lithography for nanomaterial device fabrication.


title: Available Energy from Diffusive and Reversible Phase Space Rearrangements

abstract: Rearranging the six-dimensional phase space of particles in plasma can release energy. The rearrangement may happen through the application of electric and magnetic fields, subject to various constraints. The maximum energy that can be released through a rearrangement of a distribution of particles can be called its available or free energy. Rearrangement subject to phase space volume conservation leads to the classic Gardner free energy. Less free energy is available when constraints are applied, such as respecting conserved quantities. Also, less energy is available if particles can only be diffused in phase-space from regions of high phase-space density to regions of lower phase-space density. The least amount of free energy is available if particles can only be diffused in phase space, while conserved quantities still need to be respected.


title: Predicting Skill Shortages in Labor Markets: A Machine Learning Approach

abstract: Skill shortages are a drain on society. They hamper economic opportunities for individuals, slow growth for firms, and impede labor productivity in aggregate. Therefore, the ability to understand and predict skill shortages in advance is critical for policy-makers and educators to help alleviate their adverse effects. This research implements a high-performing Machine Learning approach to predict occupational skill shortages. In addition, we demonstrate methods to analyze the underlying skill demands of occupations in shortage and the most important features for predicting skill shortages. For this work, we compile a unique dataset of both Labor Demand and Labor Supply occupational data in Australia from 2012 to 2018. This includes data from 7.7 million job advertisements (ads) and 20 official labor force measures. We use these data as explanatory variables and leverage the XGBoost classifier to predict yearly skills shortage classifications for 132 standardized occupations. The models we construct achieve macro-F1 average performance scores of up to 83 per cent. Our results show that job ads data and employment statistics were the highest performing feature sets for predicting year-to-year skills shortage changes for occupations. We also find that features such as 'Hours Worked', years of 'Education', years of 'Experience', and median 'Salary' are highly important features for predicting occupational skill shortages. This research provides a robust data-driven approach for predicting and analyzing skill shortages, which can assist policy-makers, educators, and businesses to prepare for the future of work.


title: Preserving Statistical Privacy in Distributed Optimization

abstract: We present a distributed optimization protocol that preserves statistical privacy of agents' local cost functions against a passive adversary that corrupts some agents in the network. The protocol is a composition of a distributed ``{\em zero-sum}" obfuscation protocol that obfuscates the agents' local cost functions, and a standard non-private distributed optimization method. We show that our protocol protects the statistical privacy of the agents' local cost functions against a passive adversary that corrupts up to $t$ arbitrary agents as long as the communication network has $(t+1)$-vertex connectivity. The ``{\em zero-sum}" obfuscation protocol preserves the sum of the agents' local cost functions and therefore ensures accuracy of the computed solution.


title: 2-limits and 2-terminal objects are too different

abstract: In ordinary category theory, limits are known to be equivalent to terminal objects in the slice category of cones. In this paper, we prove that the 2-categorical analogues of this theorem relating 2-limits and 2-terminal objects in the various choices of slice 2-categories of 2-cones are false. Furthermore we show that, even when weakening the 2-cones to pseudo- or lax-natural transformations, or considering bi-type limits and bi-terminal objects, there is still no such correspondence.


title: Towards Better Generalization: Joint Depth-Pose Learning without PoseNet

abstract: In this work, we tackle the essential problem of scale inconsistency for self-supervised joint depth-pose learning. Most existing methods assume that a consistent scale of depth and pose can be learned across all input samples, which makes the learning problem harder, resulting in degraded performance and limited generalization in indoor environments and long-sequence visual odometry application. To address this issue, we propose a novel system that explicitly disentangles scale from the network estimation. Instead of relying on PoseNet architecture, our method recovers relative pose by directly solving fundamental matrix from dense optical flow correspondence and makes use of a two-view triangulation module to recover an up-to-scale 3D structure. Then, we align the scale of the depth prediction with the triangulated point cloud and use the transformed depth map for depth error computation and dense reprojection check. Our whole system can be jointly trained end-to-end. Extensive experiments show that our system not only reaches state-of-the-art performance on KITTI depth and flow estimation, but also significantly improves the generalization ability of existing self-supervised depth-pose learning methods under a variety of challenging scenarios, and achieves state-of-the-art results among self-supervised learning-based methods on KITTI Odometry and NYUv2 dataset. Furthermore, we present some interesting findings on the limitation of PoseNet-based relative pose estimation methods in terms of generalization ability. Code is available at https://github.com/B1ueber2y/TrianFlow.


title: A Tertiary and Secondary Study Canvas

abstract: Over the past years, more secondary (Systematic Literature Reviews and Systematic Mappings) and tertiary studies have been conducted. Their conduction is considered a quite large task and labor-intensive since it involves a detailed process including a protocol development, which is one of the most challenging phase reported by the software engineering research community. In this scenario, we propose a Secondary and Tertiary Study Canvas aiming to simplify and clarify the understanding of the steps that need to be performed during the secondary and tertiary process conduction, including the protocol development. For this, we synthesized and organized the existing secondary studies' protocols in a Canvas format as well as suggesting a step-based approach to assist the secondary and tertiary studies' conduction.


title: From Paris to Berlin: Discovering Fashion Style Influences Around the World

abstract: The evolution of clothing styles and their migration across the world is intriguing, yet difficult to describe quantitatively. We propose to discover and quantify fashion influences from everyday images of people wearing clothes. We introduce an approach that detects which cities influence which other cities in terms of propagating their styles. We then leverage the discovered influence patterns to inform a forecasting model that predicts the popularity of any given style at any given city into the future. Demonstrating our idea with GeoStyle---a large-scale dataset of 7.7M images covering 44 major world cities, we present the discovered influence relationships, revealing how cities exert and receive fashion influence for an array of 50 observed visual styles. Furthermore, the proposed forecasting model achieves state-of-the-art results for a challenging style forecasting task, showing the advantage of grounding visual style evolution both spatially and temporally.


title: A Fast Fully Octave Convolutional Neural Network for Document Image Segmentation

abstract: The Know Your Customer (KYC) and Anti Money Laundering (AML) are worldwide practices to online customer identification based on personal identification documents, similarity and liveness checking, and proof of address. To answer the basic regulation question: are you whom you say you are? The customer needs to upload valid identification documents (ID). This task imposes some computational challenges since these documents are diverse, may present different and complex backgrounds, some occlusion, partial rotation, poor quality, or damage. Advanced text and document segmentation algorithms were used to process the ID images. In this context, we investigated a method based on U-Net to detect the document edges and text regions in ID images. Besides the promising results on image segmentation, the U-Net based approach is computationally expensive for a real application, since the image segmentation is a customer device task. We propose a model optimization based on Octave Convolutions to qualify the method to situations where storage, processing, and time resources are limited, such as in mobile and robotic applications. We conducted the evaluation experiments in two new datasets CDPhotoDataset and DTDDataset, which are composed of real ID images of Brazilian documents. Our results showed that the proposed models are efficient to document segmentation tasks and portable.


title: A Model of Supply-Chain Decisions for Resource Sharing with an Application to Ventilator Allocation to Combat COVID-19

abstract: This paper presents a stochastic optimization model for allocating and sharing a critical resource in the case of a pandemic. The demand for different entities peaks at different times, and an initial inventory from a central agency is to be allocated. The entities (states) may share the critical resource with a different state under a risk-averse condition. The model is applied to study the allocation of ventilator inventory in the COVID-19 pandemic by the Federal Emergency Management Agency of the US Department of Homeland Security (FEMA) to different states in the US. Findings suggest that if less than 60% of the ventilator inventory is available for non-COVID-19 patients, FEMA's stockpile of 20,000 ventilators (as of 03/23/2020) would be nearly adequate to meet the projected needs. However, when more than 75% of the available ventilator inventory must be reserved for non-COVID-19 patients, various degrees of shortfall are expected. In an extreme case, where the demand is assumed to be concentrated in the top-most quartile of the forecast confidence interval, the total shortfall over the planning horizon (till 05/31/20) is about 28,500 ventilator days, with a peak shortfall of 2,700 ventilators on 04/12/20. The results also suggest that in the worse-than-average to severe demand scenario cases, NY requires between 7,600-9,200 additional ventilators for COVID-19 patients during its peak demand. However, between 400 to 2,000 of these ventilators can be given to a different state after the peak demand in NY has subsided.


title: Landscape of pear-shaped even-even nuclei

abstract: The phenomenon of reflection-asymmetric nuclear shapes is relevant to nuclear stability, nuclear spectroscopy, nuclear decays and fission, and the search for new physics beyond the standard model. Global surveys of ground-state octupole deformation, performed with a limited number of models, suggest that the number of pear-shaped isotopes is fairly limited across the nuclear landscape. We carry out global analysis of ground-state octupole deformations for particle-bound even-even nuclei with $Z \leq 110$ and $N \leq 210$ using nuclear density functional theory (DFT) with several non-relativistic and covariant energy density functionals. In this way, we can identify the best candidates for reflection-asymmetric shapes. The calculations are performed in the frameworks of axial reflection-asymmetric Hartree-Fock-Bogoliubov theory and relativistic Hartree-Bogoliubov theory using DFT solvers employing harmonic oscillator basis expansion. We consider five Skyrme and four covariant energy density functionals. We predict several regions of ground-state octupole deformation. In addition to the "traditional" regions of neutron-deficient actinide nuclei around $^{224}$Ra and neutron-rich lanthanides around $^{146}$Ba, we identified vast regions of reflecion-asymmetric shapes in very neutron-rich nuclei around $^{200}$Gd and $^{288}$Pu, as well as in several nuclei around $^{112}$Ba. Our analysis suggests several promising candidates with stable ground-state octupole deformation, primarily in the neutron-deficient actinide region, that can be reached experimentally. Detailed comparison between Skyrme and covariant models is performed.


title: Session Type Systems based on Linear Logic: Classical versus Intuitionistic

abstract: Session type systems have been given logical foundations via Curry-Howard correspondences based on both intuitionistic and classical linear logic. The type systems derived from the two logics enforce communication correctness on the same class of pi-calculus processes, but they are significantly different. Caires, Pfenning and Toninho informally observed that, unlike the classical type system, the intuitionistic type system enforces locality for shared channels, i.e. received channels cannot be used for replicated input. In this paper, we revisit this observation from a formal standpoint. We develop United Linear Logic (ULL), a logic encompassing both classical and intuitionistic linear logic. Then, following the Curry-Howard correspondences for session types, we define piULL, a session type system for the pi-calculus based on ULL. Using piULL we can formally assess the difference between the intuitionistic and classical type systems, and justify the role of locality and symmetry therein.


title: Generating Interactive WebSocket Applications in TypeScript

abstract: Advancements in mobile device computing power have made interactive web applications possible, allowing the web browser to render contents dynamically and support low-latency communication with the server. This comes at a cost to the developer, who now needs to reason more about correctness of communication patterns in their application as web applications support more complex communication patterns. Multiparty session types (MPST) provide a framework for verifying conformance of implementations to their prescribed communication protocol. Existing proposals for applying the MPST framework in application developments either neglect the event-driven nature of web applications, or lack compatibility with industry tools and practices, which discourages mainstream adoption by web developers. In this paper, we present an implementation of the MPST framework for developing interactive web applications using familiar industry tools using TypeScript and the React.js framework. The developer can use the Scribble protocol language to specify the protocol and use the Scribble toolchain to validate and obtain the local protocol for each role. The local protocol describes the interactions of the global communication protocol observed by the role. We encode the local protocol into TypeScript types, catering for server-side and client-side targets separately. We show that our encoding guarantees that only implementations which conform to the protocol can type-check. We demonstrate the effectiveness of our approach through a web-based implementation of the classic Noughts and Crosses game from an MPST formalism of the game logic.


title: Duality of Session Types: The Final Cut

abstract: Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been published. As their connection is not obvious, we compare the competing definitions, discuss tradeoffs, and prove some equivalences. Some of the results are mechanized in Agda.


title: Bounded verification of message-passing concurrency in Go using Promela and Spin

abstract: This paper describes a static verification framework for the message-passing fragment of the Go programming language. Our framework extracts models that over-approximate the message-passing behaviour of a program. These models, or behavioural types, are encoded in Promela, hence can be efficiently verified with Spin. We improve on previous works by verifying programs that include communication-related parameters that are unknown at compile-time, i.e., programs that spawn a parameterised number of threads or that create channels with a parameterised capacity. These programs are checked via a bounded verification approach with bounds provided by the user.


title: Mixed Sessions: the Other Side of the Tape

abstract: The original paper on Mixed Sessions introduce the side A of the tape: there is an encoding of classical sessions into mixed sessions. Here we present side B: there is a translation of (a subset of) mixed sessions into classical session types. We prove that the translation is a minimal encoding, according to the criteria put forward by Kouzapas, P\'erez, and Yoshida.


title: Fluent Session Programming in C#

abstract: We propose SessionC#, a lightweight session typed library for safe concurrent/distributed programming. The key features are (1) the improved fluent interface which enables writing communication in chained method calls, by exploiting C#'s out variables, and (2) amalgamation of session delegation with async/await, which materialises session cancellation in a limited form, which we call session intervention. We show the effectiveness of our proposal via a Bitcoin miner application.


title: Non-adiabatic Hall effect at Berry curvature hot spot

abstract: Hot spot of Berry curvature is usually found at Bloch band anti-crossings, where the Hall effect due to the Berry phase can be most pronounced. With small gaps there, the adiabatic limit for the existing formulations of Hall current can be exceeded in a moderate electric field. Here we present a theory of non-adiabatic Hall effect, capturing non-perturbatively the across gap electron-hole excitations by the electric field. We find a general connection between the field induced electron-hole coherence and intrinsic Hall velocity. In coherent evolution, the electron-hole coherence can manifest as a sizeable ac Hall velocity. When environmental noise is taken into account, its joint action with the electric field favors a form of electron-hole coherence that is function of wavevector and field only, leading to a dc nonlinear Hall effect. The Hall current has all odd order terms in field, and still retains the intrinsic role of the Berry curvature. The quantitative demonstration uses the example of gapped Dirac cones, and our theory can be used to describe the bulk pseudospin Hall current in insulators with gapped edge such as graphene and 2D MnBi$_{2}$Te$_{4}$


title: Counterexamples to "A Conjecture on Induced Subgraphs of Cayley Graphs" [arXiv:2003.13166]

abstract: Recently, Huang gave a very elegant proof of the Sensitivity Conjecture by proving that hypercube graphs have the following property: every induced subgraph on a set of more than half its vertices has maximum degree at least $\sqrt{d}$, where $d$ is the valency of the hypercube. This was generalised by Alon and Zheng who proved that every Cayley graph on an elementary abelian $2$-group has the same property. Very recently, Potechin and Tsang proved an analogous results for Cayley graphs on abelian groups. They also conjectured that all Cayley graphs have the analogous property. We disprove this conjecture by constructing various counterexamples, including an infinite family of Cayley graphs of unbounded valency which admit an induced subgraph of maximum valency $1$ on a set of more than half its vertices.


title: Penalized composite likelihood for colored graphical Gaussian models

abstract: This paper proposes a penalized composite likelihood method for model selection in colored graphical Gaussian models. The method provides a sparse and symmetry-constrained estimator of the precision matrix, and thus conducts model selection and precision matrix estimation simultaneously. In particular, the method uses penalty terms to constrain the elements of the precision matrix, which enables us to transform the model selection problem into a constrained optimization problem. Further, computer experiments are conducted to illustrate the performance of the proposed new methodology. It is shown that the proposed method performs well in both the selection of nonzero elements in the precision matrix and the identification of symmetry structures in graphical models. The feasibility and potential clinical application of the proposed method are demonstrated on a microarray gene expression data set.


title: How to Compute Using Quantum Walks

abstract: Quantum walks are widely and successfully used to model diverse physical processes. This leads to computation of the models, to explore their properties. Quantum walks have also been shown to be universal for quantum computing. This is a more subtle result than is often appreciated, since it applies to computations run on qubit-based quantum computers in the single walker case, and physical quantum walks in the multi-walker case (quantum cellular automata). Nonetheless, quantum walks are powerful tools for quantum computing when correctly applied. In this paper, I explain the relationship between quantum walks as models and quantum walks as computational tools, and give some examples of their application in both contexts.


title: Detecting Temporal Correlation via Quantum Random Number Generation

abstract: All computing devices, including quantum computers, must exhibit that for a given input, an output is produced in accordance with the program. The outputs generated by quantum computers that fulfill these requirements are not temporally correlated, however. In a quantum-computing device comprising solid-state qubits such as superconducting qubits, any operation to rest the qubits to their initial state faces a practical problem. We applied a statistical analysis to a collection of random numbers output from a 20-qubit superconducting-qubit cloud quantum computer using the simplest random number generation scheme. The analysis indicates temporal correlation in the output of some sequences obtained from the 20 qubits. This temporal correlation is not related to the relaxation time of each qubit. We conclude that the correlation could be a result of a systematic error.


title: Growing Random Graphs with Quantum Rules

abstract: Random graphs are a central element of the study of complex dynamical networks such as the internet, the brain, or socioeconomic phenomena. New methods to generate random graphs can spawn new applications and give insights into more established techniques. We propose two variations of a model to grow random graphs and trees, based on continuous-time quantum walks on the graphs. After a random characteristic time, the position of the walker(s) is measured and new nodes are attached to the nodes where the walkers collapsed. Such dynamical systems are reminiscent of the class of spontaneous collapse theories in quantum mechanics. We investigate several rates of this spontaneous collapse for an individual quantum walker and for two non-interacting walkers. We conjecture (and report some numerical evidence) that the models are scale-free.


title: Projection Theorem for Discrete-Time Quantum Walks

abstract: We make and generalize the observation that summing of probability amplitudes of a discrete-time quantum walk over partitions of the walking graph consistent with the step operator results in a unitary evolution on the reduced graph which is also a quantum walk. Since the effective walking graph of the projected walk is not necessarily simpler than the original, this may bring new insights into the dynamics of some kinds of quantum walks using known results from thoroughly studied cases like Euclidean lattices. We use abstract treatment of the walking space and walker displacements in aim for a generality of the presented statements. Using this approach we also identify some pathological cases in which the projection mapping breaks down. For walks on lattices, the operation typically results in quantum walks with hyper-dimensional coin spaces. Such walks can, conversely, be viewed as projections of walks on inaccessible, larger spaces, and their properties can be inferred from the parental walk. We show that this is is the case for a lazy quantum walk, a walk with large coherent jumps and a walk on a circle with a twisted boundary condition. We also discuss the relation of this theory to the time-multiplexing optical implementations of quantum walks. Moreover, this manifestly irreversible operation can, in some cases and with a minor adjustment, be undone, and a quantum walk can be reconstructed from a set of its projections.


title: Theoretical Studies on Quantum Walks with a Time-varying Coin

abstract: Quantum walks can reconstruct quantum algorithms for quantum computation, where the precise controls of quantum state transfers between arbitrary distant sites are required. Here, we investigate quantum walks using a periodically time-varying coin both numerically and analytically, in order to explore the controllability of quantum walks while preserving its random nature.


title: A Generalized Quantum Optical Scheme for Implementing Open Quantum Walks

abstract: Open quantum walks (OQWs) are a new type of quantum walks which are entirely driven by the dissipative interaction with external environments and are formulated as completely positive trace-preserving maps on graphs. A generalized quantum optical scheme for implementing OQWs that includes non-zero temperature of the environment is suggested. In the proposed quantum optical scheme, a two-level atom plays the role of the "walker", and the Fock states of the cavity mode correspond to the lattice sites for the "walker". Using the small unitary rotations approach the effective dynamics of the system is shown to be an OQW. For the chosen set of parameters, an increase in the temperature of the environment causes the system to reach the asymptotic distribution much faster compared to the scheme proposed earlier where the temperature of the environment is zero. For this case the asymptotic distribution is given by a steady Gaussian distribution.


title: The Gambler's Ruin Problem and Quantum Measurement

abstract: The dynamics of a single microscopic or mesoscopic non quantum system interacting with a macroscopic environment is generally stochastic. In the same way, the reduced density operator of a single quantum system interacting with a macroscopic environment is a priori a stochastic variable, and decoherence describes only the average dynamics of this variable, not its fluctuations. It is shown that a general unbiased quantum measurement can be reformulated as a gambler's ruin problem where the game is a martingale. Born's rule then appears as a direct consequence of the optional stopping theorem for martingales. Explicit computations are worked out in detail on a specific simple example.


title: Polariton interactions in microcavities with atomically thin semiconductor layers

abstract: We investigate the interactions between exciton-polaritons in N two-dimensional semiconductor layers embedded in a planar microcavity. In the limit of low-energy scattering, where we can ignore the composite nature of the excitons, we obtain exact analytical expressions for the spin-triplet and spin-singlet interaction strengths, which go beyond the Born approximation employed in previous calculations. Crucially, we find that the strong light-matter coupling enhances the strength of polariton-polariton interactions compared to that of the exciton-exciton interactions, due to the Rabi coupling and the small photon-exciton mass ratio. We furthermore obtain the dependence of the polariton interactions on the number of layers N, and we highlight the important role played by the optically dark states that exist in multiple layers. In particular, we predict that the singlet interaction strength is stronger than the triplet one for a wide range of parameters in most of the currently used transition metal dichalcogenides. This has consequences for the pursuit of polariton condensation and other interaction-driven phenomena in these materials.


title: Partial orders on conjugacy classes in the Weyl group and on unipotent conjugacy classes

abstract: Let $G$ be a reductive group over an algebraically closed field and let $W$ be its Weyl group. In a series of papers, Lusztig introduced a map from the set $[W]$ of conjugacy classes of $W$ to the set $[G_u]$ of unipotent classes of $G$. This map, when restricted to the set of elliptic conjugacy classes $[W_e]$ of $W$, is injective. In this paper, we show that Lusztig's map $[W_e] \to [G_u]$ is order-reversing, with respect to the natural partial order on $[W_e]$ arising from combinatorics and the natural partial order on $[G_u]$ arising from geometry.


title: Extinction at the Galactic Center Using Near- and Mid-infrared Broadband Photometry: A Twist on the Rayleigh-Jeans Color Excess Method

abstract: We present an extinction map of the inner $\sim$\SI{15}{\arcminute} by {16}{\arcminute} of the Galactic Center (GC) with map `pixels' measuring \SI{5}{\arcsecond} $\times$ \SI{5}{\arcsecond} using integrated light color measurements in the near- and mid-infrared. We use a variant of the Rayleigh-Jeans Color Excess (RJCE) method first described by Majewski et al. (2011) as the basis of our work, although we have approached our problem with a Bayesian mindset and dispensed with point-source photometry in favor of surface photometry, turning the challenge of the extremely crowded field at the GC into an advantage. Our results show that extinction at the GC is not inconsistent with a single power law coefficient, $\beta=2.03\pm0.06$, and compare our results with those using the Red Clump (RC) point-source photometry method of extinction estimation. We find that our measurement of $\beta$ and its apparent lack of spatial variation are in agreement with prior studies, despite the bimodal distribution of values in our extinction map at the GC with peaks at \num{5} and \SI{7.5}{mag}. This bimodal nature of extinction is likely due to the InfraRed Dark Clouds that obscure portions of the inner GC field. We present our extinction law and map and de-reddened NIR CMDs and color-color diagram of the GC region using the point-source catalog of IR sources compiled by DeWitt et al. (2010). The de-reddening is limited by the error in the extinction measurement (typically \SI{0.6}{mag}), which is affected by the size of our map pixels and is not fine-grained enough to separate out the multiple stellar populations present toward the GC.


title: Multi-agent Reinforcement Learning for Networked System Control

abstract: This paper considers multi-agent reinforcement learning (MARL) in networked system control. Specifically, each agent learns a decentralized control policy based on local observations and messages from connected neighbors. We formulate such a networked MARL (NMARL) problem as a spatiotemporal Markov decision process and introduce a spatial discount factor to stabilize the training of each local agent. Further, we propose a new differentiable communication protocol, called NeurComm, to reduce information loss and non-stationarity in NMARL. Based on experiments in realistic NMARL scenarios of adaptive traffic signal control and cooperative adaptive cruise control, an appropriate spatial discount factor effectively enhances the learning curves of non-communicative MARL algorithms, while NeurComm outperforms existing communication protocols in both learning efficiency and control performance.


title: The Nature of Ultra-diffuse Galaxies in Distant Massive Galaxy Clusters: Abell 370 in the Hubble Frontier Fields

abstract: We report the discovery of ultra-diffuse galaxies (UDGs) in Abell 370 ($z=0.375$). We find 46 UDGs in Abell 370 from the images of the Hubble Frontier Fields (HFF). Most UDGs are low-luminosity red sequence galaxies, while a few of them are blue UDGs. We estimate the abundance of UDGs in Abell 370, $N(\rm UDG)=644\pm104$. Combining these results with those of Abell S1063 ($z=0.348$) and Abell 2744 ($z=0.308$) \citep{Lee17}, we derive a mean radial number density profile of UDGs in the three clusters. The number density profiles of UDGs and bright galaxies show a discrepancy in the central region of the clusters: the profile of UDGs shows a flattening as clustercentric distance decreases, while that of bright galaxies shows a continuous increase. This implies that UDGs are prone to disruption in the central region of the clusters. The relation between the abundance of UDGs and virial masses of their host systems is described by a power-law with an index nearly one: $N({\rm UDG})\propto M_{200}^{0.99\pm0.05}$ for $M_{200}>10^{13}~M_{\odot}$. We estimate approximately dynamical masses of UDGs using the fundamental manifold method, and find that most UDGs have dwarf-like masses $(M_{200}<10^{11}$ $M_{\odot})$. This implies that most UDGs have a dwarf-like origin and a small number of them could be failed $L^{*}$ galaxies. These results suggest that multiple origins may contribute to the formation and evolution of UDGs in massive galaxy clusters.


title: Hierarchical Bayesian Nearest Neighbor Co-Kriging Gaussian Process Models; An Application to Intersatellite Calibration

abstract: Recent advancements in remote sensing technology and the increasing size of satellite constellations allows massive geophysical information to be gathered daily on a global scale by numerous platforms of different fidelity. The auto-regressive co-kriging model is a suitable framework to analyse such data sets because it accounts for cross-dependencies among different fidelity satellite outputs. However, its implementation in multifidelity large spatial data-sets is practically infeasible because its computational complexity increases cubically with the total number of observations. In this paper, we propose a nearest neighbour co-kriging Gaussian process that couples the auto-regressive model and nearest neighbour GP by using augmentation ideas; reducing the computational complexity to be linear with the total number of spatial observed locations. The latent process of the nearest neighbour GP is augmented in a manner which allows the specification of semi-conjugate priors. This facilitates the design of an efficient MCMC sampler involving mostly direct sampling updates which can be implemented in parallel computational environments. The good predictive performance of the proposed method is demonstrated in a simulation study. We use the proposed method to analyze High-resolution Infrared Radiation Sounder data gathered from two NOAA polar orbiting satellites.


title: Formation and Evolution of Disks around Young Stellar Objects

abstract: Recent observations have suggested that circumstellar disks may commonly form around young stellar objects. Although the formation of circumstellar disks can be a natural result of the conservation of angular momentum in the parent cloud, theoretical studies instead show disk formation to be difficult from dense molecular cores magnetized to a realistic level, owing to efficient magnetic braking that transports a large fraction of the angular momentum away from the circumstellar region. We review recent progress in the formation and early evolution of disks around young stellar objects of both low-mass and high-mass, with an emphasis on mechanisms that may bridge the gap between observation and theory, including non-ideal MHD effects and asymmetric perturbations in the collapsing core (e.g., magnetic field misalignment and turbulence). We also address the associated processes of outflow launching and the formation of multiple systems, and discuss possible implications in properties of protoplanetary disks.


title: Efficient UAV Physical Layer Security based on Deep Learning and Artificial Noise

abstract: Network-connected unmanned aerial vehicle (UAV) communications is a common solution to achieve high-rate image transmission. The broadcast nature of these wireless networks makes this communication vulnerable to eavesdropping. This paper considers the problem of compressed secret image transmission between two nodes, in the presence of a passive eavesdropper. In this paper, we use auto encoder/decoder convolutional neural networks, which by using deep learning algorithms, allow us to compress/decompress images. Also we use network physical layer features to generate high rate artificial noise to secure the data. Using features of the channel with applying artificial noises, reduce the channel capacity of the unauthorized users and prevent eavesdropper from detecting received data. Our simulation experiments show that for received data with SNR fewer than 5 in the authorized node, the MSE is less than 0.05.


title: Minkowski functionals for phase behavior under confinement

abstract: In this work, the Minkowski functionals are used as a framework to study how morphology (i.e. the shape of a structure) and topology (i.e. how different structures are connected) influence wall adsorption and capillary condensation under tight confinement. Numerical simulations based on classical density functional theory (DFT) are run for a wide variety of geometries using both hard-sphere and Lennard-Jones fluids. These DFT computations are compared to results obtained using the Minkowski functionals. It is found that the Minkowski functionals can provide a good description of the behavior of Lennard-Jones fluids down to small system sizes. In addition, through decomposition of the free energy, the Minkowski functionals provide a good framework to better understand what are the dominant contributions to the physics of a system. Lastly, while studying the phase envelope shift as a function of the Minkowski functionals it is found that topology has a different effect depending on whether the phase transition under consideration is a first- or a second-order transition.


title: A note on pair dependent linear statistics with slowly growing variance

abstract: We prove Gaussian fluctuation for pair counting statistics of the form $ \sum_{1\leq i\neq j\leq N} f(\theta_i-\theta_j)$ for the Circular Unitary Ensemble (CUE) of random matrices in the case of a slowly growing variance in the limit of large $N.$


title: Weak localization competes with the quantum oscillations in a natural electronic superlattice: the case of Na$_{1.5}$(PO$_2$)$_4$(WO$_3$)$_{20}$

abstract: We report an investigation of the combined structural and electronic properties of the bronze Na$_{1.5}$(PO$_{2}$)$_{4}$(WO$_{3}$)$_{20}$. Its low dimensional structure and possible large reconstruction of the Fermi surface due to charge density wave instability makes this bulk material a natural superlattice with a reduced number of carriers and Fermi energy. Signatures of multilayered 2D electron weak localization are consequently reported, with an enhanced influence of quantum oscillations. A crossover between these two antagonistic entities previously observed only in genuine low dimensional materials and devices, is shown to occur in a bulk crystal due to its hidden 2D nature.