title: Detecting Community Depression Dynamics Due to COVID-19 Pandemic in Australia

abstract: The recent COVID-19 pandemic has caused unprecedented impact across the globe. We have also witnessed millions of people with increased mental health issues, such as depression, stress, worry, fear, disgust, sadness, and anxiety, which have become one of the major public health concerns during this severe health crisis. For instance, depression is one of the most common mental health issues according to the findings made by the World Health Organisation (WHO). Depression can cause serious emotional, behavioural and physical health problems with significant consequences, both personal and social costs included. This paper studies community depression dynamics due to COVID-19 pandemic through user-generated content on Twitter. A new approach based on multi-modal features from tweets and Term Frequency-Inverse Document Frequency (TF-IDF) is proposed to build depression classification models. Multi-modal features capture depression cues from emotion, topic and domain-specific perspectives. We study the problem using recently scraped tweets from Twitter users emanating from the state of New South Wales in Australia. Our novel classification model is capable of extracting depression polarities which may be affected by COVID-19 and related events during the COVID-19 period. The results found that people became more depressed after the outbreak of COVID-19. The measures implemented by the government such as the state lockdown also increased depression levels. Further analysis in the Local Government Area (LGA) level found that the community depression level was different across different LGAs. Such granular level analysis of depression dynamics not only can help authorities such as governmental departments to take corresponding actions more objectively in specific regions if necessary but also allows users to perceive the dynamics of depression over the time.


title: EvilCoder: Automated Bug Insertion

abstract: The art of finding software vulnerabilities has been covered extensively in the literature and there is a huge body of work on this topic. In contrast, the intentional insertion of exploitable, security-critical bugs has received little (public) attention yet. Wanting more bugs seems to be counterproductive at first sight, but the comprehensive evaluation of bug-finding techniques suffers from a lack of ground truth and the scarcity of bugs. In this paper, we propose EvilCoder, a system to automatically find potentially vulnerable source code locations and modify the source code to be actually vulnerable. More specifically, we leverage automated program analysis techniques to find sensitive sinks which match typical bug patterns (e.g., a sensitive API function with a preceding sanity check), and try to find data-flow connections to user-controlled sources. We then transform the source code such that exploitation becomes possible, for example by removing or modifying input sanitization or other types of security checks. Our tool is designed to randomly pick vulnerable locations and possible modifications, such that it can generate numerous different vulnerabilities on the same software corpus. We evaluated our tool on several open-source projects such as for example libpng and vsftpd, where we found between 22 and 158 unique connected source-sink pairs per project. This translates to hundreds of potentially vulnerable data-flow paths and hundreds of bugs we can insert. We hope to support future bug-finding techniques by supplying freshly generated, bug-ridden test corpora so that such techniques can (finally) be evaluated and compared in a comprehensive and statistically meaningful way.


title: Constraints on the quark mixing matrix with vector-like quarks

abstract: While a chiral fourth generation of quarks is almost ruled out from the data on Higgs boson production and decay at the Large Hadron Collider, vector-like quarks are still a feasible option to extend the fermionic sector of the Standard Model. Such an extension does not suffer from any anomalies and easily passes the constraints coming from oblique electroweak parameters. We consider such minimal extensions with $SU(2)$ singlet and doublet vector-like quarks that may mix with one, or at the most two, of the Standard Model quarks. Constraints on the new mixing angles and phases are obtained from several $\Delta B = 1$ and $\Delta B = 2$ processes.


title: Understanding coordination in global software engineering: A mixed-methods study on the use of meetings and Slack

abstract: Given the relevance of coordination in the field of global software engineering, this work was carried out to further understand coordination mechanisms. Specifically, we investigated meetings and the collaboration tool Slack. We conducted a longitudinal case study using a mixed-methods approach with surveys, observations, interviews, and chat logs. Our quantitative results show that employees in global projects spend 7 hours 45 minutes per week on average in scheduled meetings and 8 hours 54 minutes in unscheduled meetings. Furthermore, distributed teams were significantly larger than co-located teams, and people working in distributed teams spent somewhat more time in meetings per day. We found that low availability of key people, absence of organizational support for unscheduled meetings and unbalanced activity from team members in meetings and on Slack were barriers for effective coordination across sites. The positive aspects of using collaboration tools in distributed teams were increased team awareness and informal communication and reduced the need for e-mail. Our study emphasizes the importance of reflecting on how global software engineering teams use meetings and collaboration tools to coordinate. We provide practical advice for conducting better meetings and give suggestions for more efficient use of collaboration tools in global projects.


title: Almost finiteness and homology of certain non-free actions

abstract: We show that Cantor minimal $\mathbb{Z}\rtimes\mathbb{Z}_2$-systems and essentially free amenable odometers are almost finite. We also compute the homology groups of Cantor minimal $\mathbb{Z}\rtimes\mathbb{Z}_2$-systems and show that the associated transformation groupoids satisfy the HK conjecture if and only if the action is free.


title: Universal codes in the shared-randomness model for channels with general distortion capabilities

abstract: We put forth new models for universal channel coding. Unlike standard codes which are designed for a specific type of channel, our most general universal code makes communication resilient on every channel, provided the noise level is below the tolerated bound, where the noise level t of a channel is the logarithm of its ambiguity (the maximum number of strings that can be distorted into a given one). The other more restricted universal codes still work for large classes of natural channels. In a universal code, encoding is channel-independent, but the decoding function knows the type of channel. We allow the encoding and the decoding functions to share randomness, which is unavailable to the channel. There are two scenarios for the type of attack that a channel can perform. In the oblivious scenario, codewords belong to an additive group and the channel distorts a codeword by adding a vector from a fixed set. The selection is based on the message and the encoding function, but not on the codeword. In the Hamming scenario, the channel knows the codeword and is fully adversarial. For a universal code, there are two parameters of interest: the rate, which is the ratio between the message length k and the codeword length n, and the number of shared random bits. We show the existence in both scenarios of universal codes with rate 1-t/n - o(1), which is optimal modulo the o(1) term. The number of shared random bits is O(log n) in the oblivious scenario, and O(n) in the Hamming scenario, which, for typical values of the noise level, we show to be optimal, modulo the constant hidden in the O() notation. In both scenarios, the universal encoding is done in time polynomial in n, but the channel-dependent decoding procedures are in general not efficient. For some weaker classes of channels we construct universal codes with polynomial-time encoding and decoding.


title: Stability estimates for relativistic Schr\"odinger equation from partial boundary data

abstract: In this article we study stability aspects for the determination of time-dependent vector and scalar potentials in relativistic Schr\"odinger equation from partial knowledge of boundary measurements. For space dimensions strictly greater than 2 we obtain log-log stability estimates for the determination of vector potentials (modulo gauge equivalence) and log-log-log stability estimates for the determination of scalar potentials from partial boundary data assuming suitable a-priori bounds on these potentials.


title: Primordial perturbations and inflation in holographic cosmology

abstract: We consider an inflationary scenario in the holographic braneworld with a cosmological fluid occupying the 3+1 dimensional brane located at the holographic boundary of an asymptotic ADS$_5$ bulk. The contribution of the boundary conformal field can be represented as a modification of Einstein's equations on the boundary. Using these effective Einstein equations we calculate the cosmological perturbations and derive the corresponding power spectra assuming a general $k$-essence type of inflaton. We find that the braneworld scenario affects the scalar power spectrum only in the speed of sound dependence on the slow-roll parameters whereas there is no change in the tensor power spectrum. This implies that the changes in the spectral indices appear at the second order in the slow-roll parameter expansion.


title: When Text Simplification Is Not Enough: Could a Graph-Based Visualization Facilitate Consumers' Comprehension of Dietary Supplement Information?

abstract: Dietary supplements are widely used but not always safe. With the rapid development of the Internet, consumers usually seek health information including dietary supplement information online. To help consumers access quality online dietary supplement information, we have identified trustworthy dietary supplement information sources and built an evidence-based knowledge base of dietary supplement information-the integrated DIetary Supplement Knowledge base (iDISK) that integrates and standardizes dietary supplement related information across these different sources. However, as information in iDISK was collected from scientific sources, the complex medical jargon is a barrier for consumers' comprehension. To assess how different approaches to simplify and represent dietary supplement information from iDISK will affect lay consumers' comprehension, using a crowdsourcing platform, we recruited participants to read dietary supplement information in four different representations from iDISK: original text, syntactic and lexical text simplification, manual text simplification, and a graph-based visualization. We then assessed how the different simplification and representation strategies affected consumers' comprehension of dietary supplement information in terms of accuracy and response time to a set of comprehension questions. With responses from 690 qualified participants, our experiments confirmed that the manual approach had the best performance for both accuracy and response time to the comprehension questions, while the graph-based approach ranked the second outperforming other representations. In some cases, the graph-based representation outperformed the manual approach in terms of response time. A hybrid approach that combines text and graph-based representations might be needed to accommodate consumers' different information needs and information seeking behavior.


title: Multi-Manifold Learning for Large-scale Targeted Advertising System

abstract: Messenger advertisements (ads) give direct and personal user experience yielding high conversion rates and sales. However, people are skeptical about ads and sometimes perceive them as spam, which eventually leads to a decrease in user satisfaction. Targeted advertising, which serves ads to individuals who may exhibit interest in a particular advertising message, is strongly required. The key to the success of precise user targeting lies in learning the accurate user and ad representation in the embedding space. Most of the previous studies have limited the representation learning in the Euclidean space, but recent studies have suggested hyperbolic manifold learning for the distinct projection of complex network properties emerging from real-world datasets such as social networks, recommender systems, and advertising. We propose a framework that can effectively learn the hierarchical structure in users and ads on the hyperbolic space, and extend to the Multi-Manifold Learning. Our method constructs multiple hyperbolic manifolds with learnable curvatures and maps the representation of user and ad to each manifold. The origin of each manifold is set as the centroid of each user cluster. The user preference for each ad is estimated using the distance between two entities in the hyperbolic space, and the final prediction is determined by aggregating the values calculated from the learned multiple manifolds. We evaluate our method on public benchmark datasets and a large-scale commercial messenger system LINE, and demonstrate its effectiveness through improved performance.


title: Bilinear Decomposition and Divergence-Curl Estimates on Products Related to Local Hardy Spaces and Their Dual Spaces

abstract: Let $p\in(0,1)$, $\alpha:=1/p-1$ and, for any $\tau\in [0,\infty)$, $\Phi_{p}(\tau):=\tau/(1+\tau^{1-p})$. Let $H^p(\mathbb R^n)$, $h^p(\mathbb R^n)$ and $\Lambda_{n\alpha}(\mathbb{R}^n)$ be, respectively, the Hardy space, the local Hardy space and the inhomogeneous Lipschitz space on $\mathbb{R}^n$. In this article, applying the inhomogeneous renormalization of wavelets, the authors establish a bilinear decomposition for multiplications of elements in $h^p(\mathbb R^n)$ [or $H^p(\mathbb R^n)$] and $\Lambda_{n\alpha}(\mathbb{R}^n)$, and prove that these bilinear decompositions are sharp in some sense. As applications, the authors also obtain some estimates of the product of elements in the local Hardy space $h^p(\mathbb R^n)$ with $p\in(0,1]$ and its dual space, respectively, with zero $\lfloor n\alpha\rfloor$-inhomogeneous curl and zero divergence, where $\lfloor n\alpha\rfloor$ denotes the largest integer not greater than $n\alpha$. Moreover, the authors find new structures of $h^{\Phi_p}(\mathbb R^n)$ and $H^{\Phi_p}(\mathbb R^n)$ by showing that $h^{\Phi_p}(\mathbb R^n)=h^1(\mathbb R^n)+h^p(\mathbb R^n)$ and $H^{\Phi_p}(\mathbb R^n)=H^1(\mathbb R^n)+H^p(\mathbb R^n)$ with equivalent quasi-norms, and also prove that the dual spaces of both $h^{\Phi_p}(\mathbb R^n)$ and $h^p(\mathbb R^n)$ coincide. These results give a complete picture on the multiplication between the local Hardy space and its dual space.


title: Insight into Potential Well Based Nanoscale FDSOI MOSFET Using Doped Silicon Tubs- A Simulation and Device Physics Based Study: Part II: Scalability to 10 nm Gate Length

abstract: The doped silicon regions (tubs) in PWFDSOI MOSFET cause significant reduction in OFF current by reducing the number of carriers contributing to the OFF current. The emphasis of the simulation and device physics study on PWFDSOI MOSFET presented in this paper is on the scalability of the device to 10 nm gate length and its related information. A high ION /IOFF ratio of 7.6 x 10^5 and subthreshold swing of 87 mV/decade were achieved in 10 nm gate length PWFDSOI MOSFET. The study was performed on devices with unstrained silicon channel.


title: Effect of microstructure on polymer chain dynamics in polyethylene glycol solutions

abstract: Effect of microstructures and interactions on segmental dynamics in polyethylene glycol (PEG) solution in water is probed with macro-scale oscillatory rheology and micro-scale diffusion of a fluorescent probe. PEG solution fluorescence recovery after photobleaching (FRAP) curves have immobile fractions which increase with PEG concentration, for PEG volume fraction (c) > 0.2, indicating structuring. PEG solution micro-scale diffusion coefficients follow Rouse scaling D {\ alpha} c^(-0.54) for c < 0.8, resembling unentangled neutral polymers in good solvent. Addition of nanoclay bentonite (B) in PEG matrix slows down probe diffusion 3-7 times, with heterogeneous dynamics. With addition of carboxymethyl cellulose (CMC) in PEG matrix, probe diffusion is homogeneous with negligibly small enhancement in diffusion time. The macroscale storage modulii for PEG, PEG+B, and PEG + CMC solutions scale as viscous fluid-like, followed by short elastic plateau. Beyond the elastic plateau, the scaling is a concentration-dependent power law greater than the Rouse scaling of 0.5 for 0.1<c<0.2 PEG solutions. We identify a time scale {\tau}_b due to intermolecular interactions in PEG, such that for {\omega}>{\tau}_b^(-1) , Rouse scaling is recovered. Addition of CMC to PEG also restores Rouse scaling. Addition of B gives contributions from both polymer matrix and network of B particles, leading to departure from pure Rouse behaviour. Static microstructural studies reveal clay aggregation due to depletion interactions on increasing the concentration of clay particles in PEG matrix, which leads to a non-monotonic concentration dependence of storage modulus with c.


title: Predicting potential drug targets and repurposable drugs for COVID-19 via a deep generative model for graphs

abstract: Coronavirus Disease 2019 (COVID-19) has been creating a worldwide pandemic situation. Repurposing drugs, already shown to be free of harmful side effects, for the treatment of COVID-19 patients is an important option in launching novel therapeutic strategies. Therefore, reliable molecule interaction data are a crucial basis, where drug-/protein-protein interaction networks establish invaluable, year-long carefully curated data resources. However, these resources have not yet been systematically exploited using high-performance artificial intelligence approaches. Here, we combine three networks, two of which are year-long curated, and one of which, on SARS-CoV-2-human host-virus protein interactions, was published only most recently (30th of April 2020), raising a novel network that puts drugs, human and virus proteins into mutual context. We apply Variational Graph AutoEncoders (VGAEs), representing most advanced deep learning based methodology for the analysis of data that are subject to network constraints. Reliable simulations confirm that we operate at utmost accuracy in terms of predicting missing links. We then predict hitherto unknown links between drugs and human proteins against which virus proteins preferably bind. The corresponding therapeutic agents present splendid starting points for exploring novel host-directed therapy (HDT) options.


title: SMIM: a unified framework of Survival sensitivity analysis using Multiple Imputation and Martingale

abstract: Censored survival data are common in clinical trial studies. We propose a unified framework for sensitivity analysis to censoring at random in survival data using multiple imputation and martingale, called SMIM. The proposed framework adopts the \delta-adjusted and control-based models, indexed by the sensitivity parameter, entailing censoring at random and a wide collection of censoring not at random assumptions. Also, it targets for a broad class of treatment effect estimands defined as functionals of treatment-specific survival functions, taking into account of missing data due to censoring. Multiple imputation facilitates the use of simple full-sample estimation; however, the standard Rubin's combining rule may overestimate the variance for inference in the sensitivity analysis framework. We decompose the multiple imputation estimator into a martingale series based on the sequential construction of the estimator and propose the wild bootstrap inference by resampling the martingale series. The new bootstrap inference has a theoretical guarantee for consistency and is computationally efficient compared to the non-parametric bootstrap counterpart. We evaluate the finite-sample performance of the proposed SMIM through simulation and an application on a HIV clinical trial.


title: The structure of general quantum Gaussian observable

abstract: The structure theorem is established which shows that an arbitrary multi-mode bosonic Gaussian observable can be represented as a combination of four basic cases, the physical prototypes of which are homodyne and heterodyne, noiseless or noisy, measurements in quantum optics. The proof establishes connection between the description of Gaussian observable in terms of the characteristic function and in terms of density of the probability operator-valued measure (POVM) and has remarkable parallels with treatment of bosonic Gaussian channels in terms of their Choi-Jamiolkowski form. Along the way we give the ``most economical'', in the sense of minimal dimensions of the quantum ancilla, construction of the Naimark extension of a general Gaussian observable. It is also shown that the Gaussian POVM has bounded operator-valued density with respect to the Lebesgue measure if and only if its noise covariance matrix is nondegenerate.


title: Large deviations of the ballistic L\'evy walk model

abstract: We study the ballistic L\'evy walk stemming from an infinite mean traveling time between collision events. Our study focuses on the density of spreading particles all starting from a common origin, which is limited by a `light' cone $-v_0 t<x<v_0 t$. In particular we study this density close to its maximum in the vicinity of the `light' cone. The spreading density follows the Lamperti-arcsine law describing typical fluctuations far from the `light' cone. However this law blows up in the vicinity of the `light' cone horizon which is nonphysical, in the sense that any finite time observation will never diverge. We claim that one can find two laws for the spatial density, the first one is the mentioned Lamperti-arcsine law describing the central part of the distribution and the second is an infinite density illustrating the dynamics for large $x$. We identify the relationship between a large position and the longest traveling time describing the single big jump principle. From the renewal theory we find that the distribution of rare events of the position is related to the derivative of the average of the number of renewals at a short `time' using a rate formalism.


title: Improving Chinese Segmentation-free Word Embedding With Unsupervised Association Measure

abstract: Recent work on segmentation-free word embedding(sembei) developed a new pipeline of word embedding for unsegmentated language while avoiding segmentation as a preprocessing step. However, too many noisy n-grams existing in the embedding vocabulary that do not have strong association strength between characters would limit the quality of learned word embedding. To deal with this problem, a new version of segmentation-free word embedding model is proposed by collecting n-grams vocabulary via a novel unsupervised association measure called pointwise association with times information(PATI). Comparing with the commonly used n-gram filtering method like frequency used in sembei and pointwise mutual information(PMI), the proposed method leverages more latent information from the corpus and thus is able to collect more valid n-grams that have stronger cohesion as embedding targets in unsegmented language data, such as Chinese texts. Further experiments on Chinese SNS data show that the proposed model improves performance of word embedding in downstream tasks.


title: Reflection Backdoor: A Natural Backdoor Attack on Deep Neural Networks

abstract: Recent studies have shown that DNNs can be compromised by backdoor attacks crafted at training time. A backdoor attack installs a backdoor into the victim model by injecting a backdoor pattern into a small proportion of the training data. At test time, the victim model behaves normally on clean test data, yet consistently predicts a specific (likely incorrect) target class whenever the backdoor pattern is present in a test example. While existing backdoor attacks are effective, they are not stealthy. The modifications made on training data or labels are often suspicious and can be easily detected by simple data filtering or human inspection. In this paper, we present a new type of backdoor attack inspired by an important natural phenomenon: reflection. Using mathematical modeling of physical reflection models, we propose reflection backdoor (Refool) to plant reflections as backdoor into a victim model. We demonstrate on 3 computer vision tasks and 5 datasets that, Refool can attack state-of-the-art DNNs with high success rate, and is resistant to state-of-the-art backdoor defenses.


title: Distribution function

abstract: From a known result of diophantine equations of the first degree with 2 unknowns we simply find the results of the distribution function of the sequences of positive integers generated by the functions at the origin of the 3x+1 and 5x+1 problems .


title: Existence of at least $k$ solutions to a fractional $p$-Kirchhoff problem involving singularity and critical exponent

abstract: We study the existence of nonnegative solutions to the following nonlocal elliptic problem involving singularity \begin{align} \mathfrak{M}\left(\int_{Q}\frac{|u(x)-u(y)|^p}{|x-y|^{N+ps}}dxdy\right)(-\Delta)_{p}^{s} u&=\frac{\lambda}{|u|^{\gamma-1}u}+|u|^{p_s^*-2}u~\text{in}~\Omega,\nonumber u&>0~\text{in}~\Omega,\nonumber u&=0~\text{in}~\mathbb{R}^N\setminus\Omega,\nonumber \end{align} where $\Omega\subset\mathbb{R}^N$, is a bounded domain with Lipschitz boundary, $\lambda>0$, $N>ps$, $0<s,\gamma<1$, $(-\Delta)_{p}^{s}$ is the fractional $p$-Laplacian operator for $1<p<\infty$ and $p_s^*=\frac{Np}{N-ps}$ is the critical Sobolev exponent. We employ a {\it cut-off} argument to obtain the existence of $k$ (being an arbitrarily large integer) solutions. Furthermore, by using the Moser iteration technique, we prove a uniform $L^{\infty}({\Omega})$ bound for the solutions. The novelty of this work lies in proving the existence of small energy solutions by using the symmetric mountain pass theorem in spite of the presence of a critical nonlinear term which, of course, is super-linear.


title: On the logarithmic epiperimetric inequality for the obstacle problem

abstract: We give three different proofs of the log-epiperimetric inequality at singular points for the obstacle problem. In the first, direct proof, we write the competitor explicitly; the second proof is also constructive, but this time the competitor is given through the solution of an evolution problem on the sphere. We compare the competitors obtained in the different proofs and their relation to other similar results that appeared recently. Finally, in the appendix, we give a general theorem, which can be applied also in other contexts and in which the construction of the competitor is reduced to finding a flow satisfying two differential inequalities.


title: VLBI20-30: a scientific roadmap for the next decade -- The future of the European VLBI Network

abstract: This white paper describes the science case for Very Long Baseline Interferometry (VLBI) and provides suggestions towards upgrade paths for the European VLBI Network (EVN). The EVN is a distributed long-baseline radio interferometric array, that operates at the very forefront of astronomical research. Recent results, together with the new science possibilities outlined in this vision document, demonstrate the EVN's potential to generate new and exciting results that will transform our view of the cosmos. Together with e-MERLIN, the EVN provides a range of baseline lengths that permit unique studies of faint radio sources to be made over a wide range of spatial scales. The science cases are reviewed in six chapters that cover the following broad areas: cosmology, galaxy formation and evolution, innermost regions of active galactic nuclei, explosive phenomena and transients, stars and stellar masers in the Milky Way, celestial reference frames and space applications. The document concludes with identifying the synergies with other radio, as well as multi-band/multi-messenger instruments, and provide the recommendations for future improvements. The appendices briefly describe other radio VLBI arrays, the technological framework for EVN developments, and a selection of spectral lines of astrophysical interest below 100 GHz. The document includes a glossary for non-specialists, and a list of acronyms at the end.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.HE astro-ph.SR


title: Reconfigurable honeycomb metamaterial absorber having incident angular stability

abstract: Ultrawide-angle electromagnetic wave absorbers with excellent mechanical properties are required in many diverse applications such as sensing, and stealth technologies. Here, a novel 3D reconfigurable metamaterial absorber (MMA) consisting of honeycomb and VO2 films is proposed. The proposed MMA exhibits a strong absorptivity above 90\% in the widest incident angle up to $87^\circ$ for TM- and TE- polarized oblique incidences for THz wave propagating in yoz-plane. According to simulation results, under normal incidence, when VO2 films are in the insulating state, the proposed absorber exhibits high absorptivity in the frequency band of 1-4 THz. By increasing the temperature of the whole structure, the structural transformation of VO2 occurs and turns into the metallic phase. We have shown that under oblique incidence, the ohmic losses of VO2 films especially those parallel to the direction of the incident electric field are the most important absorption principles of the proposed MMA. Furthermore, to understand the physical mechanism of absorption, the induced electric field as well as the power loss density of the proposed structure are investigated. In addition, it is shown that the presented VO2 based honeycomb absorber retains its full-coverage incident angle characteristics for TM-polarized incidences propagating in the xoz-plane. Due to the ultra wide-angle absorption (angular stability) and mechanical performance, it is expected that the presented MMA may find potential applications, such as camouflage technologies, electromagnetic interference, imaging, and sensing. To the best knowledge of authors, the proposed MMA configuration exhibits the absorptivity in the widest incident angle ever reported.


title: Transfer operators and limit laws for typical cocycles

abstract: We show that typical cocycles (in the sense of Bonatti and Viana) over irreducible subshifts of finite type obey several limit laws with respect to the unique equilibrium states for H\"older potentials. These include the central limit theorem and the large deviation principle. We also establish the analytic dependence of the top Lyapunov exponent on the underlying equilibrium state. The transfer operator and its spectral properties play key roles in establishing these limit laws.


title: Orbits of 47 Dwarf Satellite Galaxies of the Milky Way in Three Models of the Gravitational Potential with Different Masses

abstract: The analysis of the orbits of 47 dwarf satellite galaxies of the Milky Way, built using three models of the Galactic gravitational potential with different masses, is presented. The models of the Galactic potential were chosen based on the analysis of a large number of the Galaxy mass estimates known from the literature. The astrometric data needed for calculation of the initial positions and velocities (6D phase space) of the dwarf galaxies are also taken from the literature, where the average proper motions were determined on the basis of the data from the Gaia DR2 Catalog. We present the orbits and their properties of all 47 dwarf galaxies obtained by integration for 13.5 Gyr backward in all three models of the Galactic potential and give a comparison of the orbital parameters. For each model of the Galactic potential we have identified dwarf galaxies that are not connected gravitationally with the Milky Way.


title: Offline Model Guard: Secure and Private ML on Mobile Devices

abstract: Performing machine learning tasks in mobile applications yields a challenging conflict of interest: highly sensitive client information (e.g., speech data) should remain private while also the intellectual property of service providers (e.g., model parameters) must be protected. Cryptographic techniques offer secure solutions for this, but have an unacceptable overhead and moreover require frequent network interaction. In this work, we design a practically efficient hardware-based solution. Specifically, we build Offline Model Guard (OMG) to enable privacy-preserving machine learning on the predominant mobile computing platform ARM - even in offline scenarios. By leveraging a trusted execution environment for strict hardware-enforced isolation from other system components, OMG guarantees privacy of client data, secrecy of provided models, and integrity of processing algorithms. Our prototype implementation on an ARM HiKey 960 development board performs privacy-preserving keyword recognition using TensorFlow Lite for Microcontrollers in real time.


title: Mission schedule of agile satellites based on Proximal Policy Optimization Algorithm

abstract: Mission schedule of satellites is an important part of space operation nowadays, since the number and types of satellites in orbit are increasing tremendously and their corresponding tasks are also becoming more and more complicated. In this paper, a mission schedule model combined with Proximal Policy Optimization Algorithm(PPO) is proposed. Different from the traditional heuristic planning method, this paper incorporate reinforcement learning algorithms into it and find a new way to describe the problem. Several constraints including data download are considered in this paper.


title: Topological defects and SUSY RG flow

abstract: We study the effect of bulk perturbations of N=(2,2) superconformal minimal models on topological defects. In particular, symmetries and more general topological defects which survive the flow to the IR are identified. Our method is to consider the topological subsector and make use of the Landau-Ginzburg formulation to describe RG flows and topological defects in terms of matrix factorizations.


title: Analysis of a splitting scheme for a class of nonlinear stochastic Schr\"odinger equations

abstract: We analyze the qualitative properties and the order of convergence of a splitting scheme for a class of nonlinear stochastic Schr\"odinger equations driven by additive It\^o noise. The class of nonlinearities of interest includes nonlocal interaction cubic nonlinearities. We show that the numerical solution is symplectic and preserves the expected mass for all times. On top of that, for the convergence analysis, some exponential moment bounds for the exact and numerical solutions are proved. This enables us to provide strong orders of convergence as well as orders of convergence in probability and almost surely. Finally, extensive numerical experiments illustrate the performance of the proposed numerical scheme.


title: HoughNet: Integrating near and long-range evidence for bottom-up object detection

abstract: This paper presents HoughNet, a one-stage, anchor-free, voting-based, bottom-up object detection method. Inspired by the Generalized Hough Transform, HoughNet determines the presence of an object at a certain location by the sum of the votes cast on that location. Votes are collected from both near and long-distance locations based on a log-polar vote field. Thanks to this voting mechanism, HoughNet is able to integrate both near and long-range, class-conditional evidence for visual recognition, thereby generalizing and enhancing current object detection methodology, which typically relies on only local evidence. On the COCO dataset, HoughNet's best model achieves 46.4 $AP$ (and 65.1 $AP_{50}$), performing on par with the state-of-the-art in bottom-up object detection and outperforming most major one-stage and two-stage methods. We further validate the effectiveness of our proposal in another task, namely, "labels to photo" image generation by integrating the voting module of HoughNet to two different GAN models and showing that the accuracy is significantly improved in both cases. Code is available at https://github.com/nerminsamet/houghnet.


title: Quantum magnetic monopole condensate

abstract: Despite decades-long efforts, magnetic monopoles were never found as elementary particles. Monopoles and associated currents were directly measured in experiments and identified as topological quasiparticle excitations in emergent condensed matter systems. These monopoles and the related electric-magnetic symmetry were restricted to classical electrodynamics, with monopoles behaving as classical particles. Here we show that the electric-magnetic symmetry is most fundamental and extends to full quantum behavior. We demonstrate that at low temperatures magnetic monopoles can form a quantum Bose condensate dual to the charge Cooper pair condensate in superconductors. The monopole Bose condensate manifests as a superinsulating state with infinite resistance, dual to superconductivity. Monopole supercurrents result in the electric analog of the Meissner effect and lead to linear confinement of Cooper pairs by Polyakov electric strings in analogy to quarks in hadrons.


title: Existence and uniqueness of some Cauchy Type Problems in fractional q-difference calculus

abstract: In this paper we derive a sufficient condition for the existence of a unique solution of a Cauchy type q-fractional problem (involving the fractional q-derivative of Riemann-Liouville type) for some nonlinear differential equations. The key technique is to first prove that this Cauchy type q-fractional problem is equivalent to a corresponding Volterra q-integral equation. Moreover, we define the $q$-analogue of the Hilfer fractional derivative or composite fractional derivative operator and prove some similar new equivalence, existence and uniqueness results as above. Finally, some examples are presented to illustrate our main results in cases where we can even give concrete formulas for these unique solutions.


title: Contour-based Bone Axis Detection for X-Ray Guided Surgery on the Knee

abstract: The anatomical axis of long bones is an important reference line for guiding fracture reduction and assisting in the correct placement of guide pins, screws, and implants in orthopedics and trauma surgery. This study investigates an automatic approach for detection of such axes on X-ray images based on the segmentation contour of the bone. For this purpose, we use the medically established two-line method and translate it into a learning-based approach. The proposed method is evaluated on 38 clinical test images of the femoral and tibial bone and achieves a median angulation error of 0.19{\deg} and 0.33{\deg} respectively. An inter-rater study with three trauma surgery experts confirms reliability of the method and recommends further clinical application.


title: Cultures as networks of cultural traits: A unifying framework for measuring culture and cultural distances

abstract: Making use of the information from the World Value Survey (WVS), and operationalizing a definition of national culture that encompasses both the relevance of specific cultural traits and the interdependence among them, this paper proposes a methodology to reveal the latent structure of national culture and to measure cultural distance between countries that takes into account both the difference in cultural traits and the difference in the network structure of national cultures. Exploiting the possibilities offered by copula graphical models for discrete data, this paper infers the cultural networks of all the countries included in the WVS (Wave 6) and proposes a novel unifying framework to measure national culture and international cultural distances. The Jeffreys' divergence between copula graphical models, taken as the measure of cultural distance between countries, captures the orthogonality of the two components of cultural distance: the one based on cultural traits and the one based on the network structure among them. Moreover, the two components are shown to correlate with different national and structural characteristics of cultural networks, thus encompassing the different informational sets related to national cultures.


title: On Molecular Flow Velocity Meters

abstract: Flow velocity is an important characteristic of the fluidic mediums. In this paper, we introduce a molecular based flow velocity meter consisting of a molecule releasing node and a receiver that counts these molecules. We consider both flow velocity detection and estimation problems, which are employed in different applications. For the flow velocity detection, we obtain the maximum a posteriori (MAP) decision rule. To analyze the performance of the proposed flow velocity detector, we obtain the error probability, its Gaussian approximation and Chernoff information (CI) upper bound, and investigate the optimum and sub-optimum sampling times accordingly. We show that, for binary hypothesis, the sub-optimum sampling times using CI upper bound are the same. Further, the sub-optimum sampling times are close to the optimum sampling times. For the flow velocity estimation, we obtain the MAP and minimum mean square error (MMSE) estimators. We consider the mean square error (MSE) to investigate the error performance of the flow velocity estimators and obtain the Bayesian Cramer-Rao (BCR) and expected Cramer-Rao (ECR) lower bounds. Further, we obtain the optimum sampling times for each estimator. It is seen that the optimum sampling times for each estimator are nearly the same. The proposed flow velocity meter can be used to design a new modulation technique in molecular communication (MC), where information is encoded in the flow velocity of the medium instead of the concentration, type, or release time of the molecules. The setup and performance analysis of the proposed flow velocity detector and estimator for molecular communication system need further investigation.


title: Self-supervised Depth Estimation to Regularise Semantic Segmentation in Knee Arthroscopy

abstract: Intra-operative automatic semantic segmentation of knee joint structures can assist surgeons during knee arthroscopy in terms of situational awareness. However, due to poor imaging conditions (e.g., low texture, overexposure, etc.), automatic semantic segmentation is a challenging scenario, which justifies the scarce literature on this topic. In this paper, we propose a novel self-supervised monocular depth estimation to regularise the training of the semantic segmentation in knee arthroscopy. To further regularise the depth estimation, we propose the use of clean training images captured by the stereo arthroscope of routine objects (presenting none of the poor imaging conditions and with rich texture information) to pre-train the model. We fine-tune such model to produce both the semantic segmentation and self-supervised monocular depth using stereo arthroscopic images taken from inside the knee. Using a data set containing 3868 arthroscopic images captured during cadaveric knee arthroscopy with semantic segmentation annotations, 2000 stereo image pairs of cadaveric knee arthroscopy, and 2150 stereo image pairs of routine objects, we show that our semantic segmentation regularised by self-supervised depth estimation produces a more accurate segmentation than a state-of-the-art semantic segmentation approach modeled exclusively with semantic segmentation annotation.


title: Electrically switchable Rashba-type Dzyaloshinskii-Moriya interaction and skyrmion in two-dimensional magnetoelectric multiferroics

abstract: Realizing topological magnetism and its electric control are intensive topics in the spintronics due to their promising applications in information storage and logic technologies. Here we unveil that both can be achieved in the two-dimensional (2D) magnetoelectric multiferroics. Using first-principles calculations, we show that strong Dzyaloshinskii-Moriya interaction (DMI), which is the key ingredient for the formation of exotic chiral magnetism, could be induced in 2D multiferroics with vertical electric polarization via Rashba effect. We verify that such significant DMI can promote sub-10 nm skyrmion in 2D multiferroics with perpendicular magnetic anisotropy such as CrN monolayer. In addition, the presence of both magnetization and electric polarization in 2D multiferroics provides us unique opportunity for the effective electric control of both strength and chirality of DMI and thereby the topological magnetism. As an example, we introduce the four multiferroic skyrmions with different chirality and polarity that can be manipulated by external field.


title: Aligning Partially Overlapping Point Sets: an Inner Approximation Algorithm

abstract: Aligning partially overlapping point sets where there is no prior information about the value of the transformation is a challenging problem in computer vision. To achieve this goal, we first reduce the objective of the robust point matching algorithm to a function of a low dimensional variable. The resulting function, however, is only concave over a finite region including the feasible region. To cope with this issue, we employ the inner approximation optimization algorithm which only operates within the region where the objective function is concave. Our algorithm does not need regularization on transformation, and thus can handle the situation where there is no prior information about the values of the transformations. Our method is also $\epsilon-$globally optimal and thus is guaranteed to be robust. Moreover, its most computationally expensive subroutine is a linear assignment problem which can be efficiently solved. Experimental results demonstrate the better robustness of the proposed method over state-of-the-art algorithms. Our method is also efficient when the number of transformation parameters is small.


title: A new generalized inverse of matrices from core-EP decomposition

abstract: A new generalized inverse for a square matrix $H\in\mathbb{C}^{n\times n}$, called CCE-inverse, is established by the core-EP decomposition and Moore-Penrose inverse $H^{\dag}$. We propose some characterizations of the CCE-inverse. Furthermore, two canonical forms of the CCE-inverse are presented. At last, we introduce the definitions of CCE-matrices and $k$-CCE matrices, and prove that CCE-matrices are the same as $i$-EP matrices studied by Wang and Liu in [The weak group matrix, Aequationes Mathematicae, 93(6): 1261-1273, 2019].


title: Decreased resilience in power grids under dynamically induced vulnerabilities

abstract: In this paper, a methodology inspired on bond and site percolation methods is applied to the estimation of the resilience against failures in power grids. Our approach includes vulnerability measures with both dynamical and structural foundations as an attempt to find more insights about the relationships between topology and dynamics in the second-order Kuramoto model on complex networks. As test cases for numerical simulations, we use the real-world topology of the Colombian power transmission system, as well as randomly generated networks with spatial embedding. It is observed that, by focusing the attacks on those dynamical vulnerabilities, the power grid becomes, in general, more prone to reach a state of total blackout, which in the case of node removal procedures it is conditioned by the homogeneity of power distribution in the network.


title: Starfish: A Prototype for Universal Preprocessing and Text-Embedded Programming

abstract: We present a novel concept of universal text preprocessing and text-embedded programming (PTEP). Preprocessing and text-embedded programming has been widely used in programming languages and frameworks in a fragmented and mutually isolated way. The PTEP ideas can be found in the implementation of the \TeX\ typesetting system; they are prominent in PHP and similar web languages, and finally they are used in the Jupyter data science framework. This paper presents this area of research and related work in a more unified framework, and we describe the implemented system Starfish that satisfies the following novel principles of PTEP: universality, update and replace modes, flexiblity, configurability, and transparency. We describe the operating model and design of Starfish, which is an open-source system implementing universal preprocessing and text-embedded programming in Perl. The system is transparent and its design allows direct implementation in other programming languages as well.


title: GanglionNet: Objectively Assess the Density and Distribution of Ganglion Cells With NABLA-N Network

abstract: Hirschsprungs disease (HD) is a birth defect which is diagnosed and managed by multiple medical specialties such as pediatric gastroenterology, surgery, radiology, and pathology. HD is characterized by absence of ganglion cells in the distal intestinal tract with a gradual normalization of ganglion cell numbers in adjacent upstream bowel, termed as the transition zone (TZ). Definitive surgical management to remove the abnormal bowel requires accurate assessment of ganglion cell density in histological sections from the TZ, which is difficult, time-consuming and prone to operator error. We present an automated method to detect and count immunostained ganglion cells using a new NABLA_N network based deep learning (DL) approach, called GanglionNet. The morphological image analysis methods are applied for refinement of the regions for counting of the cells and define ganglia regions (a set of ganglion cells) from the predicted masks. The proposed model is trained with single point annotated samples by the expert pathologist. The GanglionNet is tested on ten completely new High Power Field (HPF) images with dimension of 2560x1920 pixels and the outputs are compared against the manual counting results by the expert pathologist. The proposed method shows a robust 97.49% detection accuracy for ganglion cells, when compared to counts by the expert pathologist, which demonstrates the robustness of GanglionNet. The proposed DL based ganglion cell detection and counting method will simplify and standardize TZ diagnosis for HD patients.


title: Criteria for realizing room temperature electrical transport applications of topological materials

abstract: The unusual electronic states found in topological materials can enable a new generation of devices and technologies, yet a long-standing challenge has been finding materials without deleterious parallel bulk conduction. This can arise either from defects or thermally activated carriers. Here, I clarify the criteria that materials need to meet to realize transport properties dominated by the topological states, a necessity for a topological device. This is demonstrated for 3-dimensional topological insulators, 3D Dirac materials, and 1D quantum anomalous Hall insulators, though this can be applied to similar systems. The key parameters are electronic band gap, dielectric constant, and carrier effective mass, which dictate under what circumstances (defect density, temperature, etc.) the unwanted bulk state will conduct in parallel to the topological states. As these are fundamentally determined by the basic atomic properties, simple chemical arguments can be used to navigate the phase space to ultimately find improved materials. This will enable rapid identification of new systems with improved properties, which is crucial to design new materials systems and push into a new generation of topological technologies.


title: Interplay between Swampland and Bayesian Machine Learning in constraining cosmological models

abstract: Constraints on a dark energy dominated Universe are obtained from an interplay between Bayesian Machine Learning and string Swampland criteria. The approach here differs from previous studies, since in the generative process Swampland criteria are used and, only later, the results of the fit are validated, by using observational data-sets. A generative process based Bayesian Learning approach is applied to two models and the results are validated by means of available $H(z)$ data. For the first model, a parametrization of the Hubble constant is considered and, for the second, a parametrization of the deceleration parameter. This study is motivated by a recent work, where constraints on string Swampland criteria have been obtained from a Gaussian Process and $H(z)$ data. However, the results obtained here are fully independent of the observational data and allow to estimate how the high-redshift behavior of the Universe will affect the low-redshift one. Moreover, both parameterizations in the generative process, for the Hubble and for the deceleration parameters, are independent of the dark energy model. The outcome, both data- and dark energy model-independent, may highlight, in the future, the borders of the Swampland for the low-redshift Universe and help to develop new string-theory motivated dark-energy models. The string Swampland criteria considered might be in tension with recent observations indicating that phantom dark energy cannot be in the Swampland. Finally, a spontaneous sign switch in the dark energy equation of state parameter is observed when the field traverses are in the $z\in[0,5]$ redshift range, a remarkable phenomenon requiring further analysis.


title: Complexity of the Multilevel Critical Node Problem

abstract: In this work, we analyze a sequential game played in a graph called the Multilevel Critical Node problem (MCN). A defender and an attacker are the players of this game. The defender starts by preventively interdicting vertices (vaccination) from being attacked. Then, the attacker infects a subset of non-vaccinated vertices and, finally, the defender reacts with a protection strategy. We provide the first computational complexity results associated with MCN and its subgames. Moreover, by considering unitary, weighted, undirected, and directed graphs, we clarify how the theoretical tractability of those problems vary. Our findings contribute with new NP-complete, $\Sigma_2^p$-complete and $\Sigma_3^p$-complete problems. Furthermore, for the last level of the game, the protection stage, we build polynomial time algorithms for certain graph classes.


title: Modelling Human Mobility considering Spatial,Temporal and Social Dimensions

abstract: Modelling human mobility is crucial in several areas, from urban planning to epidemic modeling, traffic forecasting, and what-if analysis. On the one hand, existing models focus mainly on reproducing the spatial and temporal dimensions of human mobility, while the social aspect, though it influences human movements significantly, is often neglected. On the other hand, those models that capture some social aspects of human mobility have trivial and unrealistic spatial and temporal mechanisms. In this paper, we propose STS-EPR, a modeling framework that embeds mechanisms to capture the spatial, temporal, and social aspects together. Our experiments show that STS-EPR outperforms existing spatial-temporal or social models on a set of standard mobility metrics and that it can be used with a limited amount of information without any significant loss of realism. STS-EPR, which is open-source and tested on open data, is a step towards the design of mechanistic models that can capture all the aspects of human mobility in a comprehensive way.


title: Constant-Time Snapshots with Applications to Concurrent Data Structures

abstract: We present an approach for efficiently taking snapshots of the state of a collection of CAS objects. Taking a snapshot allows later operations to read the value that each CAS object had at the time the snapshot was taken. Taking a snapshot requires a constant number of steps and returns a handle to the snapshot. Reading a snapshotted value of an individual CAS object using this handle is wait-free, taking time proportional to the number of successful CASes on the object since the snapshot was taken. Our fast, flexible snapshots yield simple, efficient implementations of atomic multi-point queries on concurrent data structures built from CAS objects. For example, in a search tree where child pointers are updated using CAS, once a snapshot is taken, one can atomically search for ranges of keys, find the first key that matches some criteria, or check if a collection of keys are all present, simply by running a standard sequential algorithm on a snapshot of the tree. To evaluate the performance of our approach, we apply it to two search trees, one balanced and one not. Experiments show that the overhead of supporting snapshots is low across a variety of workloads. Moreover, in almost all cases, range queries on the trees built from our snapshots perform as well as or better than state-of-the-art concurrent data structures that support atomic range queries.


title: Minimal Free Resolutions of Certain Equigenerated Monomial Ideals

abstract: Let $R = k[x_1, \dotsc , x_n]$ denote the standard graded polynomial ring over a field $k$. We study certain classes of equigenerated monomial ideals with the property that the so-called complementary ideal has no linear relations on the generators. We then use iterated trimming complexes to deduce Betti numbers for such ideals. Furthermore, using a result on splitting mapping cones by Miller and Rahmati, we construct the minimal free resolutions for all ideals under consideration explicitly and conclude with questions about extra structure on these complexes.


title: Detail Preserved Point Cloud Completion via Separated Feature Aggregation

abstract: Point cloud shape completion is a challenging problem in 3D vision and robotics. Existing learning-based frameworks leverage encoder-decoder architectures to recover the complete shape from a highly encoded global feature vector. Though the global feature can approximately represent the overall shape of 3D objects, it would lead to the loss of shape details during the completion process. In this work, instead of using a global feature to recover the whole complete surface, we explore the functionality of multi-level features and aggregate different features to represent the known part and the missing part separately. We propose two different feature aggregation strategies, named global \& local feature aggregation(GLFA) and residual feature aggregation(RFA), to express the two kinds of features and reconstruct coordinates from their combination. In addition, we also design a refinement component to prevent the generated point cloud from non-uniform distribution and outliers. Extensive experiments have been conducted on the ShapeNet dataset. Qualitative and quantitative evaluations demonstrate that our proposed network outperforms current state-of-the art methods especially on detail preservation.


title: Auto-captions on GIF: A Large-scale Video-sentence Dataset for Vision-language Pre-training

abstract: In this work, we present Auto-captions on GIF, which is a new large-scale pre-training dataset for generic video understanding. All video-sentence pairs are created by automatically extracting and filtering video caption annotations from billions of web pages. Auto-captions on GIF dataset can be utilized to pre-train the generic feature representation or encoder-decoder structure for video captioning, and other downstream tasks (e.g., sentence localization in videos, video question answering, etc.) as well. We present a detailed analysis of Auto-captions on GIF dataset in comparison to existing video-sentence datasets. We also provide an evaluation of a Transformer-based encoder-decoder structure for vision-language pre-training, which is further adapted to video captioning downstream task and yields the compelling generalizability on MSR-VTT. The dataset is available at \url{http://www.auto-video-captions.top/2020/dataset}.


abstract: Feature selection is a core area of data mining with a recent innovation of graph-driven unsupervised feature selection for linked data. In this setting we have a dataset $\mathbf{Y}$ consisting of $n$ instances each with $m$ features and a corresponding $n$ node graph (whose adjacency matrix is $\mathbf{A}$) with an edge indicating that the two instances are similar. Existing efforts for unsupervised feature selection on attributed networks have explored either directly regenerating the links by solving for $f$ such that $f(\mathbf{y}_i,\mathbf{y}_j) \approx \mathbf{A}_{i,j}$ or finding community structure in $\mathbf{A}$ and using the features in $\mathbf{Y}$ to predict these communities. However, graph-driven unsupervised feature selection remains an understudied area with respect to exploring more complex guidance. Here we take the novel approach of first building a block model on the graph and then using the block model for feature selection. That is, we discover $\mathbf{F}\mathbf{M}\mathbf{F}^T \approx \mathbf{A}$ and then find a subset of features $\mathcal{S}$ that induces another graph to preserve both $\mathbf{F}$ and $\mathbf{M}$. We call our approach Block Model Guided Unsupervised Feature Selection (BMGUFS). Experimental results show that our method outperforms the state of the art on several real-world public datasets in finding high-quality features for clustering.


title: New Hardness Results for Planar Graph Problems in P and an Algorithm for Sparsest Cut

abstract: The Sparsest Cut is a fundamental optimization problem that has been extensively studied. For planar inputs the problem is in $P$ and can be solved in $\tilde{O}(n^3)$ time if all vertex weights are $1$. Despite a significant amount of effort, the best algorithms date back to the early 90's and can only achieve $O(\log n)$-approximation in $\tilde{O}(n)$ time or a constant factor approximation in $\tilde{O}(n^2)$ time [Rao, STOC92]. Our main result is an $\Omega(n^{2-\epsilon})$ lower bound for Sparsest Cut even in planar graphs with unit vertex weights, under the $(min,+)$-Convolution conjecture, showing that approximations are inevitable in the near-linear time regime. To complement the lower bound, we provide a constant factor approximation in near-linear time, improving upon the 25-year old result of Rao in both time and accuracy. Our lower bound accomplishes a repeatedly raised challenge by being the first fine-grained lower bound for a natural planar graph problem in P. Moreover, we prove near-quadratic lower bounds under SETH for variants of the closest pair problem in planar graphs, and use them to show that the popular Average-Linkage procedure for Hierarchical Clustering cannot be simulated in truly subquadratic time. We prove an $\Omega(n/\log{n})$ lower bound on the number of communication rounds required to compute the weighted diameter of a network in the CONGEST model, even when the underlying graph is planar and all nodes are $D=4$ hops away from each other. This is the first poly($n$) + $\omega(D)$ lower bound in the planar-distributed setting, and it complements the recent poly$(D, \log{n})$ upper bounds of Li and Parter [STOC 2019] for (exact) unweighted diameter and for ($1+\epsilon$) approximate weighted diameter.


title: Three Fuss-Catalan posets in interaction and their associative algebras

abstract: We introduce $\delta$-cliffs, a generalization of permutations and increasing trees depending on a range map $\delta$. We define a first lattice structure on these objects and we establish general results about its subposets. Among them, we describe sufficient conditions to have EL-shellable posets, lattices with algorithms to compute the meet and the join of two elements, and lattices constructible by interval doubling. Some of these subposets admit natural geometric realizations. Then, we introduce three families of subposets which, for some maps $\delta$, have underlying sets enumerated by the Fuss-Catalan numbers. Among these, one is a generalization of Stanley lattices and another one is a generalization of Tamari lattices. These three families of posets fit into a chain for the order extension relation and they share some properties. Finally, in the same way as the product of the Malvenuto-Reutenauer algebra forms intervals of the right weak Bruhat order of permutations, we construct algebras whose products form intervals of the lattices of $\delta$-cliff. We provide necessary and sufficient conditions on $\delta$ to have associative, finitely presented, or free algebras. We end this work by using the previous Fuss-Catalan posets to define quotients of our algebras of $\delta$-cliffs. In particular, one is a generalization of the Loday-Ronco algebra.


title: MetaConcept: Learn to Abstract via Concept Graph for Weakly-Supervised Few-Shot Learning

abstract: Meta-learning has been proved to be an effective framework to address few-shot learning problems. The key challenge is how to minimize the generalization error of base learner across tasks. In this paper, we explore the concept hierarchy knowledge by leveraging concept graph, and take the concept graph as explicit meta-knowledge for the base learner, instead of learning implicit meta-knowledge, so as to boost the classification performance of meta-learning on weakly-supervised few-shot learning problems. To this end, we propose a novel meta-learning framework, called MetaConcept, which learns to abstract concepts via the concept graph. Specifically, we firstly propose a novel regularization with multi-level conceptual abstraction to constrain a meta-learner to learn to abstract concepts via the concept graph (i.e. identifying the concepts from low to high levels). Then, we propose a meta concept inference network as the meta-learner for the base learner, aiming to quickly adapt to a novel task by the joint inference of the abstract concepts and a few annotated samples. We have conducted extensive experiments on two weakly-supervised few-shot learning benchmarks, namely, WS-ImageNet-Pure and WS-ImageNet-Mix. Our experimental results show that 1) the proposed MetaConcept outperforms state-of-the-art methods with an improvement of 2% to 6% in classification accuracy; 2) the proposed MetaConcept can be able to yield a good performance though merely training with weakly-labeled data sets.


title: Spectral rigidity of non-Hermitian symmetric random matrices near Anderson transition

abstract: We study the spectral rigidity of the non-Hermitian analog of the Anderson model suggested by Tzortzakakis, Makris and Economou (TME). This is a $L\times L \times L$ tightly bound cubic lattice, where both real and imaginary parts of on-site energies are independent random variables uniformly distributed between $-W/2$ and $W/2$. The TME model may be used to describe a random laser. In a recent paper we proved that this model has the Anderson transition at $W= W_c \simeq 6$ in three dimension. Here we numerically diagonalize TME $L \times L \times L$ cubic lattice matrices and calculate the number variance of eigenvalues in a disk of their complex plane. We show that on the metallic side $W < 6$ of the Anderson transition, complex eigenvalues repel each other as strongly as in the complex Ginibre ensemble only in a disk containing $N_c(L,W)$ eigenvalues. We find that $N_c(L,W)$ is proportional to $L$ and grows with decreasing $W$ similarly to the number of energy levels $N_c$ in the Thouless energy band of the Anderson model.


title: Simplicial Complex based Point Correspondence between Images warped onto Manifolds

abstract: Recent increase in the availability of warped images projected onto a manifold (e.g., omnidirectional spherical images), coupled with the success of higher-order assignment methods, has sparked an interest in the search for improved higher-order matching algorithms on warped images due to projection. Although currently, several existing methods "flatten" such 3D images to use planar graph / hypergraph matching methods, they still suffer from severe distortions and other undesired artifacts, which result in inaccurate matching. Alternatively, current planar methods cannot be trivially extended to effectively match points on images warped onto manifolds. Hence, matching on these warped images persists as a formidable challenge. In this paper, we pose the assignment problem as finding a bijective map between two graph induced simplicial complexes, which are higher-order analogues of graphs. We propose a constrained quadratic assignment problem (QAP) that matches each p-skeleton of the simplicial complexes, iterating from the highest to the lowest dimension. The accuracy and robustness of our approach are illustrated on both synthetic and real-world spherical / warped (projected) images with known ground-truth correspondences. We significantly outperform existing state-of-the-art spherical matching methods on a diverse set of datasets.


title: Decentralized Reinforcement Learning: Global Decision-Making via Local Economic Transactions

abstract: This paper seeks to establish a framework for directing a society of simple, specialized, self-interested agents to solve what traditionally are posed as monolithic single-agent sequential decision problems. What makes it challenging to use a decentralized approach to collectively optimize a central objective is the difficulty in characterizing the equilibrium strategy profile of non-cooperative games. To overcome this challenge, we design a mechanism for defining the learning environment of each agent for which we know that the optimal solution for the global objective coincides with a Nash equilibrium strategy profile of the agents optimizing their own local objectives. The society functions as an economy of agents that learn the credit assignment process itself by buying and selling to each other the right to operate on the environment state. We derive a class of decentralized reinforcement learning algorithms that are broadly applicable not only to standard reinforcement learning but also for selecting options in semi-MDPs and dynamically composing computation graphs. Lastly, we demonstrate the potential advantages of a society's inherent modular structure for more efficient transfer learning.


title: Universal scaling and phase transitions of coupled phase oscillator populations

abstract: The Kuramoto model, which serves as a paradigm for investigating synchronization phenomenon of oscillatory system, is known to exhibit second-order, i.e., continuous, phase transitions in the macroscopic order parameter. Here, we generalize a number of classical results by presenting a general framework for capturing, analytically, the critical scaling of the order parameter at the onset of synchronization. Using a self-consistent approach and constructing a characteristic function, we identify various phase transitions toward synchrony and establish scaling relations describing the asymptotic dependence of the order parameter on coupling strength near the critical point. We find that the geometric properties of the characteristic function, which depends on the natural frequency distribution, determines the scaling properties of order parameter above the criticality.


title: DrugDBEmbed : Semantic Queries on Relational Database using Supervised Column Encodings

abstract: Traditional relational databases contain a lot of latent semantic information that have largely remained untapped due to the difficulty involved in automatically extracting such information. Recent works have proposed unsupervised machine learning approaches to extract such hidden information by textifying the database columns and then projecting the text tokens onto a fixed dimensional semantic vector space. However, in certain databases, task-specific class labels may be available, which unsupervised approaches are unable to lever in a principled manner. Also, when embeddings are generated at individual token level, then column encoding of multi-token text column has to be computed by taking the average of the vectors of the tokens present in that column for any given row. Such averaging approach may not produce the best semantic vector representation of the multi-token text column, as observed while encoding paragraphs or documents in natural language processing domain. With these shortcomings in mind, we propose a supervised machine learning approach using a Bi-LSTM based sequence encoder to directly generate column encodings for multi-token text columns of the DrugBank database, which contains gold standard drug-drug interaction (DDI) labels. Our text data driven encoding approach achieves very high Accuracy on the supervised DDI prediction task for some columns and we use those supervised column encodings to simulate and evaluate the Analogy SQL queries on relational data to demonstrate the efficacy of our technique.


title: Interference-based universal decoupling and swapping for multimode bosonic systems

abstract: Beam-splitter operations are widely used to process information encoded in bosonic modes. In hybrid quantum systems, however, it might be challenging to implement a reliable beam-splitter operation between two distinct bosonic modes. Without beam-splitters, some basic operations such as decoupling modes and swapping states between modes can become highly non-trivial or not feasible at all. In this work, we develop novel interference-based protocols for decoupling and swapping selected modes of a multimode bosonic system without requiring beam-splitters. Specifically, for a given generic coupler characterized by a Gaussian unitary process, we show how to decouple a single mode or swap any pair of modes with a constant depth sequence of operations, while maintaining the coupling for the remaining system. These protocols require only multiple uses of the given coupler, interleaved with single-mode Gaussian unitary operations, and thus enable efficient construction of operations crucial to quantum information science, such as high-fidelity quantum transduction. Our results are directly derived from fundamental physical properties of bosonic systems and are therefore broadly applicable to various existing platforms.


title: Configurational Mean-Field Reduced Transfer Matrix Method for Ising Systems

abstract: A mean-field method for the hypercubic nearest-neighbor Ising system is introduced and applications to the method are demonstrated. The main idea of this work is to combine the Kadanoff's mean-field approach with the model presented by one of us previously. The mean-field approximation is introduced with the replacement of the central spin in Ising Hamiltonian with an average value of particular spin configuration, i.e, the approximation is taken into account within each configuration. This approximation is used in two different mean-field-type approaches. The first consideration is a pure-mean-field-type treatment in which all the neighboring spins are replaced with the assumed configurational average. The second consideration is introduced by the reduced transfer matrix method. The estimations of critical coupling values of the systems are evaluated both numerically and also analytically by the using of saddle point approximation. The analytical estimation of critical values in the first and second considerations are $ K_{c}=\frac{1}{z} $ and $ (z-2) K_{c}e^{2K_{c}} =1 $ respectively. Obviously, both of the considerations have some significant deviation from the exact treatment. In this work, we conclude that the method introduced here is more appropriate physical picture than self-consistent mean-field-type models, because the method introduced here does not presume the presence of the phase transition from the outset. Consequently, the introduced approach potentially makes our research very valuable mean-field-type picture for phase transition treatment.


title: Few-shot Relation Extraction via Bayesian Meta-learning on Relation Graphs

abstract: This paper studies few-shot relation extraction, which aims at predicting the relation for a pair of entities in a sentence by training with a few labeled examples in each relation. To more effectively generalize to new relations, in this paper we study the relationships between different relations and propose to leverage a global relation graph. We propose a novel Bayesian meta-learning approach to effectively learn the posterior distribution of the prototype vectors of relations, where the initial prior of the prototype vectors is parameterized with a graph neural network on the global relation graph. Moreover, to effectively optimize the posterior distribution of the prototype vectors, we propose to use the stochastic gradient Langevin dynamics, which is related to the MAML algorithm but is able to handle the uncertainty of the prototype vectors. The whole framework can be effectively and efficiently optimized in an end-to-end fashion. Experiments on two benchmark datasets prove the effectiveness of our proposed approach against competitive baselines in both the few-shot and zero-shot settings.


title: Learning Color Compatibility in Fashion Outfits

abstract: Color compatibility is important for evaluating the compatibility of a fashion outfit, yet it was neglected in previous studies. We bring this important problem to researchers' attention and present a compatibility learning framework as solution to various fashion tasks. The framework consists of a novel way to model outfit compatibility and an innovative learning scheme. Specifically, we model the outfits as graphs and propose a novel graph construction to better utilize the power of graph neural networks. Then we utilize both ground-truth labels and pseudo labels to train the compatibility model in a weakly-supervised manner.Extensive experimental results verify the importance of color compatibility alone with the effectiveness of our framework. With color information alone, our model's performance is already comparable to previous methods that use deep image features. Our full model combining the aforementioned contributions set the new state-of-the-art in fashion compatibility prediction.


title: Formation dynamics of black- and white-hole horizons in an analogue gravity model

abstract: We investigate the formation dynamics of sonic horizons in a Bose gas confined in a (quasi) one-dimensional trap. This system is one of the most promising realizations of the analogue gravity paradigm and has already been successfully studied experimentally. Taking advantage of the exact solution of the one-dimensional, hard-core, Bose model (Tonks-Girardeau gas) we show that, by switching on a step potential, either a sonic (black-hole-like) horizon or a black/white hole pair may form, according to the initial velocity of the fluid. Our simulations never suggest the formation of an isolated white-hole horizon, although a stable stationary solution of the dynamical equations with those properties is analytically found. Moreover, we show that the semiclassical dynamics, based on the Gross-Pitaevskii equation, conforms to the exact solution only in the case of fully subsonic flows while a stationary solution exhibiting a supersonic transition is never reached dynamically.


title: The (homological) persistence of gerrymandering

abstract: We apply persistent homology, the dominant tool from the field of topological data analysis, to study electoral redistricting. Our method combines the geographic information from a political districting plan with election data to produce a persistence diagram. We are then able to visualize and analyze large ensembles of computer-generated districting plans of the type commonly used in modern redistricting research (and court challenges). We set out three applications: zoning a state at each scale of districting, comparing elections, and seeking signals of gerrymandering. Our case studies focus on redistricting in Pennsylvania and North Carolina, two states whose legal challenges to enacted plans have raised considerable public interest in the last few years. To address the question of robustness of the persistence diagrams to perturbations in vote data and in district boundaries, we translate the classical stability theorem of Cohen--Steiner et al. into our setting and find that it can be phrased in a manner that is easy to interpret. We accompany the theoretical bound with an empirical demonstration to illustrate diagram stability in practice.


title: Simultaneous density-velocity inversion by extended Gel'fand-Levitan-Marchenko solution in layered acoustic media for oblique incidence

abstract: Original GLM (Gel'fand-Levitan-Marchenko) theory is for scattering potential recovery of Schr\"odinger equation. In this paper, we formulate the GLM impedance solution of oblique incidence for simultaneous inversion of velocity and density including boundary jumps based on acoustic wave equation. In addition to the use of reflection amplitude, traveltime information of reflection arrivals is also utilized for inversion based on the focusing principle. Numerical tests demonstrate the recovery of velocity and density, verified the validity of the theory and method. The theory of Schr\"odinger impedance inverse-scattering studied in this paper is closely related to the direct envelope inversion.


title: Efficient Parameter Estimation of Truncated Boolean Product Distributions

abstract: We study the problem of estimating the parameters of a Boolean product distribution in $d$ dimensions, when the samples are truncated by a set $S \subset \{0, 1\}^d$ accessible through a membership oracle. This is the first time that the computational and statistical complexity of learning from truncated samples is considered in a discrete setting. We introduce a natural notion of fatness of the truncation set $S$, under which truncated samples reveal enough information about the true distribution. We show that if the truncation set is sufficiently fat, samples from the true distribution can be generated from truncated samples. A stunning consequence is that virtually any statistical task (e.g., learning in total variation distance, parameter estimation, uniformity or identity testing) that can be performed efficiently for Boolean product distributions, can also be performed from truncated samples, with a small increase in sample complexity. We generalize our approach to ranking distributions over $d$ alternatives, where we show how fatness implies efficient parameter estimation of Mallows models from truncated samples. Exploring the limits of learning discrete models from truncated samples, we identify three natural conditions that are necessary for efficient identifiability: (i) the truncation set $S$ should be rich enough; (ii) $S$ should be accessible through membership queries; and (iii) the truncation by $S$ should leave enough randomness in all directions. By carefully adapting the Stochastic Gradient Descent approach of (Daskalakis et al., FOCS 2018), we show that these conditions are also sufficient for efficient learning of truncated Boolean product distributions.

categories: cs.LG cs.DS math.ST stat.CO stat.ML stat.TH


title: Deep Convolutional Neural Network for Identifying Seam-Carving Forgery

abstract: Seam carving is a representative content-aware image retargeting approach to adjust the size of an image while preserving its visually prominent content. To maintain visually important content, seam-carving algorithms first calculate the connected path of pixels, referred to as the seam, according to a defined cost function and then adjust the size of an image by removing and duplicating repeatedly calculated seams. Seam carving is actively exploited to overcome diversity in the resolution of images between applications and devices; hence, detecting the distortion caused by seam carving has become important in image forensics. In this paper, we propose a convolutional neural network (CNN)-based approach to classifying seam-carving-based image retargeting for reduction and expansion. To attain the ability to learn low-level features, we designed a CNN architecture comprising five types of network blocks specialized for capturing subtle signals. An ensemble module is further adopted to both enhance performance and comprehensively analyze the features in the local areas of the given image. To validate the effectiveness of our work, extensive experiments based on various CNN-based baselines were conducted. Compared to the baselines, our work exhibits state-of-the-art performance in terms of three-class classification (original, seam inserted, and seam removed). In addition, our model with the ensemble module is robust for various unseen cases. The experimental results also demonstrate that our method can be applied to localize both seam-removed and seam-inserted areas.


title: Meta-Semi: A Meta-learning Approach for Semi-supervised Learning

abstract: Deep learning based semi-supervised learning (SSL) algorithms have led to promising results in recent years. However, they tend to introduce multiple tunable hyper-parameters, making them less practical in real SSL scenarios where the labeled data is scarce for extensive hyper-parameter search. In this paper, we propose a novel meta-learning based SSL algorithm (Meta-Semi) that requires tuning only one additional hyper-parameter, compared with a standard supervised deep learning algorithm, to achieve competitive performance under various conditions of SSL. We start by defining a meta optimization problem that minimizes the loss on labeled data through dynamically reweighting the loss on unlabeled samples, which are associated with soft pseudo labels during training. As the meta problem is computationally intensive to solve directly, we propose an efficient algorithm to dynamically obtain the approximate solutions. We show theoretically that Meta-Semi converges to the stationary point of the loss function on labeled data under mild conditions. Empirically, Meta-Semi outperforms state-of-the-art SSL algorithms significantly on the challenging semi-supervised CIFAR-100 and STL-10 tasks, and achieves competitive performance on CIFAR-10 and SVHN.


title: Gravitational Particle Production in Loop Quantum Cosmology

abstract: We investigate the gravitational particle production in the bounce phase of Loop Quantum Cosmology (LQC). We perform both analytical and numerical analysis of the particle production process in a LQC scenario with Bunch-Davies vacuum initial condition in the contracting phase. We obtain that if we extend the validity of the dressed metric approach beyond the limit of small backreaction in which it is well justified, this process would lead to a radiation dominated phase in the pre-inflationary phase of LQC. Our results indicate that the test field approximation, which is required in the truncation scheme used in the dressed metric approach, might not be a valid assumption in a LQC scenario with such initial conditions.


title: The Bernstein projector determined by a weak associate class of good cosets

abstract: Let $G$ be a reductive group over a $p$-adic field $F$ of characteristic zero, with $p \gg 0$. In [Kim04], J.-L. Kim studied an equivalence relation called weak associativity on the set of unrefined minimal $K$-types for $G$ in the sense of A. Moy and G. Prasad. Following [Kim04], we attach to the set \(\overline{\mathfrak s}\) of good \(K\)-types in a weak associate class of positive-depth unrefined minimal $K$-types a $G(F)$-invariant open and closed subset $\mathfrak g(F)_{\overline{\mathfrak s}}$ of the Lie algebra $\mathfrak g(F)$ of $G(F)$, and a subset $\tilde G_{\overline{\mathfrak s}}$ of the admissible dual \(\tilde G\) of \(G(F)\) consisting of those representations containing an unrefined minimal $K$-type that belongs to $\overline{\mathfrak s}$. Then \(\tilde G_{\overline{\mathfrak s}}\) is the union of finitely many Bernstein components for $G$, so that we can consider the Bernstein projector $E_{\overline{\mathfrak s}}$ that it determines. We show that $E_{\overline{\mathfrak s}}$ vanishes outside the Moy--Prasad $G(F)$-domain $G(F)_r \subset G(F)$, and reformulate a result of Kim as saying that the restriction of $E_{\overline{\mathfrak s}}$ to $G(F)_r$, pushed forward via the logarithm to the Moy--Prasad $G(F)$-domain $\mathfrak g(F)_r \subset \mathfrak g(F)$, agrees on $\mathfrak g(F)_r$ with the inverse Fourier transform of the characteristic function of $\mathfrak g(F)_{\overline{\mathfrak s}}$. This is a variant of one of the descriptions given by R. Bezrukavnikov, D. Kazhdan and Y. Varshavsky in arXiv:1504.01353 for the depth-$r$ Bernstein projector.


title: High space-bandwidth in quantitative phase imaging using partially spatially coherent optical coherence microscopy and deep neural network

abstract: Quantitative phase microscopy (QPM) is a label-free technique that enables to monitor morphological changes at subcellular level. The performance of the QPM system in terms of spatial sensitivity and resolution depends on the coherence properties of the light source and the numerical aperture (NA) of objective lenses. Here, we propose high space-bandwidth QPM using partially spatially coherent optical coherence microscopy (PSC-OCM) assisted with deep neural network. The PSC source synthesized to improve the spatial sensitivity of the reconstructed phase map from the interferometric images. Further, compatible generative adversarial network (GAN) is used and trained with paired low-resolution (LR) and high-resolution (HR) datasets acquired from PSC-OCM system. The training of the network is performed on two different types of samples i.e. mostly homogenous human red blood cells (RBC) and on highly heterogenous macrophages. The performance is evaluated by predicting the HR images from the datasets captured with low NA lens and compared with the actual HR phase images. An improvement of 9 times in space-bandwidth product is demonstrated for both RBC and macrophages datasets. We believe that the PSC-OCM+GAN approach would be applicable in single-shot label free tissue imaging, disease classification and other high-resolution tomography applications by utilizing the longitudinal spatial coherence properties of the light source.


title: Truncated Hausdorff Moment Problem and Analytic Solution of the Time-Optimal Problem for One Class of Nonlinear Control Systems

abstract: A complete analytic solution for the time-optimal control problem for nonlinear control systems of the form $\dot x_1=u$, $\dot x_j=x_1^{j-1}$, $j=2,\ldots,n$, is obtained for arbitrary $n$. The main goal of the paper is to present the following surprising observation: this nonlinear optimality problem leads to a truncated Hausdorff moment problem, which is applied essentially for finding the optimal time and optimal controls.


title: Novel magnetic states and nematic spin chirality in the kagome lattice metal YMn$_{6}$Sn$_{6}$

abstract: Identification, understanding, and manipulation of novel magnetic textures is essential for the discovery of new quantum materials for future spin-based electronic devices. In particular, materials that manifest a large response to external stimuli such as a magnetic field are subject to intense investigation. Here, we study the kagome-net magnet YMn$_{6}$Sn$_{6}$ by magnetometry, transport, and neutron diffraction measurements combined with first principles calculations. We identify a number of nontrivial magnetic phases, explain their microscopic nature, and demonstrate that one of them hosts a large topological Hall effect (THE). We propose a new nematic chirality mechanism, reminiscent of the nematicity in Fe-based superconductors, which leads to the THE at elevated temperatures. This interesting physics comes from parametrically frustrated interplanar exchange interactions that trigger strong magnetic fluctuations. Our results pave a path to new chiral spin textures, promising for novel spintronics.


title: On the true fractions of repeating and non-repeating FRB sources

abstract: Observationally, fast radio bursts (FRBs) can be divided into repeating and apparently non-repeating (one-off) ones. It is unclear whether all FRBs repeat and whether there are genuine non-repeating FRBs. We attempt to address these questions using Monte Carlo simulations. We define a parameter $T_c$ at which the accumulated number of non-repeating sources becomes comparable to the total number of the repeating sources, which is a good proxy to denote the intrinsic repeater fraction among FRBs. Assuming that both types of sources exist and that their burst energies follow power law distributions, we investigate how the {\em observed} repeater fraction evolves with time for different parameters. If the lifetime of repeaters is sufficiently long so that the evolutionary effect can be neglected within the observational time span, unless $T_c \rightarrow \infty$ (i.e. there is no genuine non-repeating FRB source) the observed repeater fraction should increase with time first, reach a peak, and then decline. The peak time $T_p$ and the peak fraction $F_{\rm r,obs,p}$ depend on $T_c$ and other repeating rate parameters. With the current data, we pose a lower limit $T_c > 0.1$ d for reasonable parameter values. We predict that future continuous monitoring of FRBs with CHIME or similar wide-field radio telescopes would obtain an $F_{\rm r,obs}$ less than $0.04$. The detection of a smaller peak value $F_{\rm r,obs,p}<0.04$ in the near future would disfavor the ansatz that "all FRB sources repeat".


title: Graded Betti numbers of some circulant graphs

abstract: Let $G$ be the circulant graph $C_n(S)$ with $S \subseteq \{1, 2, \dots, \lfloor \frac{n}{2} \rfloor\}$, and let $I(G)$ denote the edge ideal in the polynomial ring $R=\mathbb{K}[x_0, x_1, \dots, x_{n-1}]$ over a field $\mathbb{K}$. In this paper, we compute the $\mathbb{N}$-graded Betti numbers of the edge ideals of three families of circulant graphs $C_n(1,2,\dots,\widehat{j},\dots,\lfloor \frac{n}{2} \rfloor)$, $C_{lm}(1,2,\dots,\widehat{2l},\dots, \widehat{3l},\dots,\lfloor \frac{lm}{2} \rfloor)$ and $C_{lm}(1,2,\dots,\widehat{l},\dots,\widehat{2l},\dots, \widehat{3l},\dots,\lfloor \frac{lm}{2} \rfloor)$. Other algebraic and combinatorial properties like regularity, projective dimension, induced matching number and when such graphs are well-covered, Cohen-Macaulay, Sequentially Cohen-Macaulay, Buchsbaum and $S_2$ are also discussed.


title: Dust Reverberation Mapping in Distant Quasars from Optical and Mid-Infrared Imaging Surveys

abstract: The size of the dust torus in Active Galactic Nuclei (AGN) and their high-luminosity counterparts, quasars, can be inferred from the time delay between UV/optical accretion disk continuum variability and the response in the mid-infrared (MIR) torus emission. This dust reverberation mapping (RM) technique has been successfully applied to $\sim 70$ $z\lesssim 0.3$ AGN and quasars. Here we present first results of our dust RM program for distant quasars covered in the SDSS Stripe 82 region combining $\sim 20$-yr ground-based optical light curves with 10-yr MIR light curves from the WISE satellite. We measure a high-fidelity lag between W1-band (3.4 $\mu$m) and $g$ band for 587 quasars over $0.3\lesssim z\lesssim 2$ ($\left<z\right>\sim 0.8$) and two orders of magnitude in quasar luminosity. They tightly follow (intrinsic scatter $\sim 0.17$ dex in lag) the IR lag-luminosity relation observed for $z<0.3$ AGN, revealing a remarkable size-luminosity relation for the dust torus over more than four decades in AGN luminosity, with little dependence on additional quasar properties such as Eddington ratio and variability amplitude. This study motivates further investigations in the utility of dust RM for cosmology, and strongly endorses a compelling science case for the combined 10-yr Vera C. Rubin Observatory Legacy Survey of Space and Time (optical) and 5-yr Nancy Grace Roman Space Telescope 2$\mu$m light curves in a deep survey for low-redshift AGN dust RM with much lower luminosities and shorter, measurable IR lags. The compiled optical and MIR light curves for 7,384 quasars in our parent sample are made public with this work.


title: A proof of the Koebe-Andre'ev-Thurston theorem via flow from tangency packings

abstract: Recently, Connelly and Gortler gave a novel proof of the circle packing theorem for tangency packings by introducing a hybrid combinatorial-geometric operation, flip-and-flow, that allows two tangency packings whose contact graphs differ by a combinatorial edge flip to be continuously deformed from one to the other while maintaining tangencies across all of their common edges. Starting from a canonical tangency circle packing with the desired number of circles a finite sequence of flip-and-flow operations may be applied to obtain a circle packing for any desired (proper) contact graph with the same number of circles. In this paper, we extend the Connelly-Gortler method to allow circles to overlap by angles up to $\pi/2$. As a result, we obtain a new proof of the general Koebe-Andre'ev-Thurston theorem for disk packings on $\mathbb{S}^2$ with overlaps and a numerical algorithm for computing them. Our development makes use of the correspondence between circles and disks on $\mathbb{S}^2$ and hyperplanes and half-spaces in the 4-dimensional Minkowski spacetime $\mathbb{R}^{1,3}$, which we illuminate in a preliminary section. Using this view we generalize a notion of convexity of circle polyhedra that has recently been used to prove the global rigidity of certain circle packings. Finally, we use this view to show that all convex circle polyhedra are infinitesimally rigid, generalizing a recent related result.