title: Gelfand-Kirillov dimensions and associated varieties of highest weight modules

abstract: In this paper, we present a uniform formula of Lusztig's $ \mathbf{a}$-functions on classical Weyl groups. Then we obtain an efficient algorithm for the Gelfand-Kirillov dimensions of simple highest weight modules of classical Lie algebras, whose highest weight is not necessarily regular or integral. To deal with type $ D $, we prove an interesting property about domino tableaux by introducing an invariant, called the hollow tableau. As an application, the associated varieties of all the simple highest weight Harish-Chandra modules are explicitly determined, including the exceptional cases.


title: Gaia 18dvy: a new FUor in the Cygnus OB3 association

abstract: We present optical-infrared photometric and spectroscopic observations of Gaia18dvy, located in the Cygnus OB3 association at a distance of 1.88 kpc. The object was noted by the Gaia alerts system when its lightcurve exhibited a $\gtrsim$4 mag rise in 2018-2019. The brightening was also observable at mid-infared wavelengths. The infrared colors of Gaia18dvy became bluer as the outburst progressed. Its optical and near-infrared spectroscopic characteristics in the outburst phase are consistent with those of bona fide FU Orionis-type young eruptive stars. The progenitor of the outburst is probably a low-mass K-type star with an optical extinction of $\sim$3 mag. A radiative transfer modeling of the circumstellar structure, based on the quiescent spectral energy distribution, indicates a disk with a mass of $4{\times}10^{-3}\,M_{\odot}$. Our simple accretion disk modeling implies that the accretion rate had been exponentially increasing for more than 3 years until mid-2019, when it reached a peak value of $6.9 \times 10^{-6}\,M_{\odot}$yr$^{-1}$. In many respects, Gaia18dvy is similar to the FU Ori-type object HBC 722


title: Optimal Dividend Payout under Stochastic Discounting

abstract: Adopting a probabilistic approach we determine the optimal dividend payout policy of a firm whose surplus process follows a controlled arithmetic Brownian motion and whose cash-flows are discounted at a stochastic dynamic rate. Dividends can be paid to shareholders at unrestricted rates so that the problem is cast as one of singular stochastic control. The stochastic interest rate is modelled by a Cox-Ingersoll-Ross (CIR) process and the firm's objective is to maximize the total expected flow of discounted dividends until a possible insolvency time. We find an optimal dividend payout policy which is such that the surplus process is kept below an endogenously determined stochastic threshold expressed as a decreasing continuous function $r \mapsto b(r)$ of the current interest rate value. We also prove that the value function of the singular control problem solves a variational inequality associated to a second-order, non-degenerate elliptic operator, with a gradient constraint.


title: Fault-tolerant quantum speedup from constant depth quantum circuits

abstract: A defining feature in the field of quantum computing is the potential of a quantum device to outperform its classical counterpart for a specific computational task. By now, several proposals exist showing that certain sampling problems can be done efficiently quantumly, but are not possible efficiently classically, assuming strongly held conjectures in complexity theory. A feature dubbed quantum speedup. However, the effect of noise on these proposals is not well understood in general, and in certain cases it is known that simple noise can destroy the quantum speedup. Here we develop a fault-tolerant version of one family of these sampling problems, which we show can be implemented using quantum circuits of constant depth. We present two constructions, each taking $poly(n)$ physical qubits, some of which are prepared in noisy magic states. The first of our constructions is a constant depth quantum circuit composed of single and two-qubit nearest neighbour Clifford gates in four dimensions. This circuit has one layer of interaction with a classical computer before final measurements. Our second construction is a constant depth quantum circuit with single and two-qubit nearest neighbour Clifford gates in three dimensions, but with two layers of interaction with a classical computer before the final measurements. For each of these constructions, we show that there is no classical algorithm which can sample according to its output distribution in $poly(n)$ time, assuming two standard complexity theoretic conjectures hold. The noise model we assume is the so-called local stochastic quantum noise. Along the way, we introduce various new concepts such as constant depth magic state distillation (MSD), and constant depth output routing, which arise naturally in measurement based quantum computation (MBQC), but have no constant-depth analogue in the circuit model.


title: NLO corrections to Vector Dark Matter Direct Detection -- An update

abstract: In this work we present an update to a previous calculation of the Next-to-Leading Order (NLO) corrections to the Vector Dark Matter (VDM) direct detection cross section. The model under investigation is a minimal extension of the Standard Model (SM) with one extra vector boson and one extra complex scalar field, where the vector is the DM candidate. We have computed the spin-independent cross section for the scattering of the VDM particle with a nucleon. We now provide an update to the NLO cross section for the direct detection of the DM particle. We further discuss the phenomenological implications of the NLO corrections for the sensitivity of the direct detection DM experiments.


title: Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfaction

abstract: To study the question under which circumstances small solutions can be found faster than by exhaustive search (and by how much), we study the fine-grained complexity of Boolean constraint satisfaction with size constraint exactly $k$. More precisely, we aim to determine, for any finite constraint family, the optimal running time $f(k)n^{g(k)}$ required to find satisfying assignments that set precisely $k$ of the $n$ variables to $1$. Under central hardness assumptions on detecting cliques in graphs and 3-uniform hypergraphs, we give an almost tight characterization of $g(k)$ into four regimes: (1) Brute force is essentially best-possible, i.e., $g(k) = (1\pm o(1))k$, (2) the best algorithms are as fast as current $k$-clique algorithms, i.e., $g(k)=(\omega/3\pm o(1))k$, (3) the exponent has sublinear dependence on $k$ with $g(k) \in [\Omega(\sqrt[3]{k}), O(\sqrt{k})]$, or (4) the problem is fixed-parameter tractable, i.e., $g(k) = O(1)$. This yields a more fine-grained perspective than a previous FPT/W[1]-hardness dichotomy (Marx, Computational Complexity 2005). Our most interesting technical contribution is a $f(k)n^{4\sqrt{k}}$-time algorithm for SubsetSum with precedence constraints parameterized by the target $k$ -- particularly the approach, based on generalizing a bound on the Frobenius coin problem to a setting with precedence constraints, might be of independent interest.


title: Routing Oblivious Measurement Analytics

abstract: Network-wide traffic analytics are often needed for various network monitoring tasks. These measurements are often performed by collecting samples at network switches, which are then sent to the controller for aggregation. However, performing such analytics without ``overcounting'' flows or packets that traverse multiple measurement switches is challenging. Therefore, existing solutions often simplify the problem by making assumptions on the routing or measurement switch placement. We introduce AROMA, a measurement infrastructure that generates a uniform sample of packets and flows regardless of the topology, workload and routing. Therefore, AROMA can be deployed in many settings, and can also work in the data plane using programmable PISA switches. The AROMA infrastructure includes controller algorithms that approximate a variety of essential measurement tasks while providing formal accuracy guarantees. Using extensive simulations on real-world network traces, we show that our algorithms are competitively accurate compared to the best existing solutions despite the fact that they make no assumptions on the underlying network or the placement of measurement switches.


title: Hyperfine interaction and coherence time of praseodymium ions at the site 2 in yttrium orthosilicate

abstract: Praseodymium (Pr$^{3+}$) ions doped in the site 1 of yttrium orthosilicate (Y$_2$SiO$_5$) has been widely employed as the photonic quantum memory due to their excellent optical coherence and spin coherence. While praseodymium ions occupying the site 2 in Y$_2$SiO$_5$ crystal have better optical coherence as compared with those at site 1, which may enable better performance in quantum memory. Here we experimentally characterize the hyperfine interactions of the ground state $^3$H$_4$ and excited state $^1$D$_2$ of Pr$^{3+}$ at site 2 in Y$_2$SiO$_5$ using Raman heterodyne detected nuclear magnetic resonance. The Hamiltonians for the hyperfine interaction are reconstructed for both ground state $^3$H$_4$ and excited state $^1$D$_2$ based on the Raman heterodyne spectra in 201 magnetic fields. The two-pulse spin-echo coherence lifetime for the ground state is measured to be 2.6$\pm$0.1 ms at site 2 with zero magnetic field, which is more than five times longer than that at site 1. The magnetic fields with zero first order Zeeman shift in the hyperfine transition for Pr$^{3+}$ at site 2 in Y$_2$SiO$_5$ are identified.


title: Joint Deployment and Multiple Access Design for Intelligent Reflecting Surface Assisted Networks

abstract: The fundamental intelligent reflecting surface (IRS) deployment problem is investigated for IRS-assisted networks, where one IRS is arranged to be deployed in a specific region for assisting the communication between an access point (AP) and multiple users. Specifically, three multiple access schemes are considered, namely non-orthogonal multiple access (NOMA), frequency division multiple access (FDMA), and time division multiple access (TDMA). The weighted sum rate maximization problem for joint optimization of the deployment location and the reflection coefficients of the IRS as well as the power allocation at the AP is formulated. The non-convex optimization problems obtained for NOMA and FDMA are solved by employing monotonic optimization and semidefinite relaxation to find a performance upper bound. The problem obtained for TDMA is optimally solved by leveraging the time-selective nature of the IRS. Furthermore, for all three multiple access schemes, low-complexity suboptimal algorithms are developed by exploiting alternating optimization and successive convex approximation techniques, where a local region optimization method is applied for optimizing the IRS deployment location. Numerical results are provided to show that: 1) near-optimal performance can be achieved by the proposed suboptimal algorithms; 2) asymmetric and symmetric IRS deployment strategies are preferable for NOMA and FDMA/TDMA, respectively; 3) the performance gain achieved with IRS can be significantly improved by optimizing the deployment location.


title: Characterising DNA T-motifs by Simulation and Experiment

abstract: The success of DNA nanotechnology has been driven by the discovery of novel structural motifs with a wide range of shapes and uses. We present a comprehensive study of the T-motif, a 3-armed, planar, right-angled junction that has been used in the self-assembly of DNA polyhedra and periodic structures. The motif is formed through the interaction of a bulge loop in one duplex and a sticky end of another. The polarity of the sticky end has significant consequences for the thermodynamic and geometrical properties of the T-motif: different polarities create junctions spanning different grooves of the duplex. We compare experimental binding strengths with predictions of oxDNA, a coarse-grained model of DNA, for various loop sizes. We find that, although both sticky-end polarities can create stable junctions, junctions resulting from 5$'$ sticky ends are stable over a wider range of bulge loop sizes. We highlight the importance of possible coaxial stacking interactions within the motif and investigate how each coaxial stacking interaction stabilises the structure and favours a particular geometry.


title: ProAlignNet : Unsupervised Learning for Progressively Aligning Noisy Contours

abstract: Contour shape alignment is a fundamental but challenging problem in computer vision, especially when the observations are partial, noisy, and largely misaligned. Recent ConvNet-based architectures that were proposed to align image structures tend to fail with contour representation of shapes, mostly due to the use of proximity-insensitive pixel-wise similarity measures as loss functions in their training processes. This work presents a novel ConvNet, "ProAlignNet" that accounts for large scale misalignments and complex transformations between the contour shapes. It infers the warp parameters in a multi-scale fashion with progressively increasing complex transformations over increasing scales. It learns --without supervision-- to align contours, agnostic to noise and missing parts, by training with a novel loss function which is derived an upperbound of a proximity-sensitive and local shape-dependent similarity metric that uses classical Morphological Chamfer Distance Transform. We evaluate the reliability of these proposals on a simulated MNIST noisy contours dataset via some basic sanity check experiments. Next, we demonstrate the effectiveness of the proposed models in two real-world applications of (i) aligning geo-parcel data to aerial image maps and (ii) refining coarsely annotated segmentation labels. In both applications, the proposed models consistently perform superior to state-of-the-art methods.


title: DartMinHash: Fast Sketching for Weighted Sets

abstract: Weighted minwise hashing is a standard dimensionality reduction technique with applications to similarity search and large-scale kernel machines. We introduce a simple algorithm that takes a weighted set $x \in \mathbb{R}_{\geq 0}^{d}$ and computes $k$ independent minhashes in expected time $O(k \log k + \Vert x \Vert_{0}\log( \Vert x \Vert_1 + 1/\Vert x \Vert_1))$, improving upon the state-of-the-art BagMinHash algorithm (KDD '18) and representing the fastest weighted minhash algorithm for sparse data. Our experiments show running times that scale better with $k$ and $\Vert x \Vert_0$ compared to ICWS (ICDM '10) and BagMinhash, obtaining $10$x speedups in common use cases. Our approach also gives rise to a technique for computing fully independent locality-sensitive hash values for $(L, K)$-parameterized approximate near neighbor search under weighted Jaccard similarity in optimal expected time $O(LK + \Vert x \Vert_0)$, improving on prior work even in the case of unweighted sets.


title: Single Photon Sources with Near Unity Collection Efficiencies by Deterministic Placement of Quantum Dots in Nanoantennas

abstract: Deterministic coupling between photonic nodes in a quantum network is an essential step towards implementing various quantum technologies. The omnidirectionality of free-standing emitters, however, makes this coupling highly inefficient, in particular if the distant nodes are coupled via low numerical aperture (NA) channels such as optical fibers. This limitation requires placing quantum emitters in nanoantennas that can direct the photons into the channels with very high efficiency. Moreover, to be able to scale such technologies to a large number of channels, the placing of the emitters should be deterministic. In this work we present a method for directly locating single free-standing quantum emitters with high spatial accuracy at the center of highly directional bullseye metal-dielectric nanoantennas. We further employ non-blinking, high quantum yield colloidal quantum dots (QDs) for on-demand single-photon emission that is uncompromised by instabilities or non-radiative exciton recombination processes. Taken together this approach results in a record-high collection efficiency of 85% of the single photons into a low NA of 0.5, setting the stage for efficient coupling between on-chip, room temperature nanoantenna-emitter devices and a fiber or a remote free-space node without the need for additional optics.


title: Self-supervised Robust Object Detectors from Partially Labelled Datasets

abstract: In the object detection task, merging various datasets from similar contexts but with different sets of Objects of Interest (OoI) is an inexpensive way (in terms of labor cost) for crafting a large-scale dataset covering a wide range of objects. Moreover, merging datasets allows us to train one integrated object detector, instead of training several ones, which in turn resulting in the reduction of computational and time costs. However, merging the datasets from similar contexts causes samples with partial labeling as each constituent dataset is originally annotated for its own set of OoI and ignores to annotate those objects that are become interested after merging the datasets. With the goal of training \emph{one integrated robust object detector with high generalization performance}, we propose a training framework to overcome missing-label challenge of the merged datasets. More specifically, we propose a computationally efficient self-supervised framework to create on-the-fly pseudo-labels for the unlabeled positive instances in the merged dataset in order to train the object detector jointly on both ground truth and pseudo labels. We evaluate our proposed framework for training Yolo on a simulated merged dataset with missing rate $\approx\!48\%$ using VOC2012 and VOC2007. We empirically show that generalization performance of Yolo trained on both ground truth and the pseudo-labels created by our method is on average $4\%$ higher than the ones trained only with the ground truth labels of the merged dataset.


title: Nonlinear Time Domain Spectroscopy Near a Band Inversion

abstract: We develop a theory for the nonlinear time domain response of a Weyl semimetal driven by an ultrafast optical pulse. At quadratic order in the driving field we find that the response near a band inversion transition contains a coherent oscillating component proportional field intensity and with a frequency that can be tuned over a wide range (from THz to the near IR) selected by the chemical potential. We illustrate the effect by calculating the induced current as a function of time for a model of a parity broken Weyl semimetal where large Berry curvature near the band inversion transition promotes this nonlinear response.


title: Minimisation in Logical Form

abstract: Stone-type dualities provide a powerful mathematical framework for studying properties of logical systems. They have recently been fruitfully explored in understanding minimisation of various types of automata. In Bezhanishvili et al. (2012), a dual equivalence between a category of coalgebras and a category of algebras was used to explain minimisation. The algebraic semantics is dual to a coalgebraic semantics in which logical equivalence coincides with trace equivalence. It follows that maximal quotients of coalgebras correspond to minimal subobjects of algebras. Examples include partially observable deterministic finite automata, linear weighted automata viewed as coalgebras over finite-dimensional vector spaces, and belief automata, which are coalgebras on compact Hausdorff spaces. In Bonchi et al. (2014), Brzozowski's double-reversal minimisation algorithm for deterministic finite automata was described categorically and its correctness explained via the duality between reachability and observability. This work includes generalisations of Brzozowski's algorithm to Moore and weighted automata over commutative semirings. In this paper we propose a general categorical framework within which such minimisation algorithms can be understood. The goal is to provide a unifying perspective based on duality. Our framework consists of a stack of three interconnected adjunctions: a base dual adjunction that can be lifted to a dual adjunction between coalgebras and algebras and also to a dual adjunction between automata. The approach provides an abstract understanding of reachability and observability. We illustrate the general framework on range of concrete examples, including deterministic Kripke frames, weighted automata, topological automata (belief automata), and alternating automata.


title: Underwater object detection using Invert Multi-Class Adaboost with deep learning

abstract: In recent years, deep learning based methods have achieved promising performance in standard object detection. However, these methods lack sufficient capabilities to handle underwater object detection due to these challenges: (1) Objects in real applications are usually small and their images are blurry, and (2) images in the underwater datasets and real applications accompany heterogeneous noise. To address these two problems, we first propose a novel neural network architecture, namely Sample-WeIghted hyPEr Network (SWIPENet), for small object detection. SWIPENet consists of high resolution and semantic rich Hyper Feature Maps which can significantly improve small object detection accuracy. In addition, we propose a novel sample-weighted loss function which can model sample weights for SWIPENet, which uses a novel sample re-weighting algorithm, namely Invert Multi-Class Adaboost (IMA), to reduce the influence of noise on the proposed SWIPENet. Experiments on two underwater robot picking contest datasets URPC2017 and URPC2018 show that the proposed SWIPENet+IMA framework achieves better performance in detection accuracy against several state-of-the-art object detection approaches.


title: The classification of extremely primitive groups

abstract: Let $G$ be a finite primitive permutation group on a set $\Omega$ with nontrivial point stabilizer $G_{\alpha}$. We say that $G$ is extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$. These groups arise naturally in several different contexts and their study can be traced back to work of Manning in the 1920s. In this paper, we determine the almost simple extremely primitive groups with socle an exceptional group of Lie type. By combining this result with earlier work of Burness, Praeger and Seress, this completes the classification of the almost simple extremely primitive groups. Moreover, in view of results by Mann, Praeger and Seress, our main theorem gives a complete classification of all finite extremely primitive groups, up to finitely many affine exceptions (and it is conjectured that there are no exceptions). Along the way, we also establish several new results on base sizes for primitive actions of exceptional groups, which may be of independent interest.


title: A note on extremely primitive affine groups

abstract: Let $G$ be a finite primitive permutation group on a set $\Omega$ with nontrivial point stabilizer $G_{\alpha}$. We say that $G$ is extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$. In earlier work, Mann, Praeger and Seress have proved that every extremely primitive group is either almost simple or of affine type and they have classified the affine groups up to the possibility of at most finitely many exceptions. More recently, the almost simple extremely primitive groups have been completely determined. If one assumes Wall's conjecture on the number of maximal subgroups of almost simple groups, then the results of Mann et al. show that it just remains to eliminate an explicit list of affine groups in order to complete the classification of the extremely primitive groups. Mann et al. have conjectured that none of these affine candidates are extremely primitive and our main result confirms this conjecture.


title: ChirpOTLE: A Framework for Practical LoRaWAN Security Evaluation

abstract: Low-power wide-area networks (LPWANs) are becoming an integral part of the Internet of Things. As a consequence, businesses, administration, and, subsequently, society itself depend on the reliability and availability of these communication networks. Released in 2015, LoRaWAN gained popularity and attracted the focus of security research, revealing a number of vulnerabilities. This lead to the revised LoRaWAN 1.1 specification in late 2017. Most of previous work focused on simulation and theoretical approaches. Interoperability and the variety of implementations complicate the risk assessment for a specific LoRaWAN network. In this paper, we address these issues by introducing ChirpOTLE, a LoRa and LoRaWAN security evaluation framework suitable for rapid iteration and testing of attacks in testbeds and assessing the security of real-world networks.We demonstrate the potential of our framework by verifying the applicability of a novel denial-of-service attack targeting the adaptive data rate mechanism in a testbed using common off-the-shelf hardware. Furthermore, we show the feasibility of the Class B beacon spoofing attack, which has not been demonstrated in practice before.


title: A traceability and auditing framework for electronic equipment reverse logistics based on blockchain: the case of mobile phones

abstract: Human beings produce electronic waste (e-waste) at an unprecedented pace. Mobile phones and other inter-connected smart devices make a significant contribution to the generation of e-waste. Reverse logistics (RL) activities play an essential role in managing mobile phones during their end-of-life. However, remanufacturing and/or refurbishing of mobile phones might prove difficult not only from an operational point of view but also from a data management and privacy perspective (due to privacy-related regulatory frameworks like the EU General Data Protection Regulation directive). In this paper, we propose a distributed trustless and secure framework for electronic equipment RL activities based on blockchain technology. We consider the remanufacturing/refurbishing recovery option for mobile phones, and we develop an autonomous and effective back-end data sharing architecture based on smart contracts/blockchain technology for keeping track of all the remanufacturing/refurbishing processes. For demonstrating the applicability of our approach, we develop a functional set of smart contracts and a local private blockchain. The benefits of our framework are further discussed, along with fruitful areas for future research.


title: Scattering in quantum wires and junctions of quantum wires with edge states of quantum spin Hall insulators

abstract: An integral part of scattering theory calculations in continuum quantum systems involves identifying appropriate boundary conditions in addition to writing down the correct Hamiltonian. In the simplest problem of scattering in one dimensional lattice, scattering due to an on-site potential and scattering due to an unequal bond (in otherwise translationally invariant lattice) give different results for scattering amplitudes. While the scattering problems in the continuum and the lattice models can be mapped to one another for scattering due to on-site potential, the equivalent continuum model for scattering due to an unequal bond is missing. We introduce a new parameter $c$ in the boundary condition of the continuum model that is equivalent to scattering due to an unequal bond on the lattice. Further, we study a junction between a normal metal quantum wire and a one dimensional edge of quantum spin Hall insulator (QSHI) in continuum using the parameter $c$. In the case of a junction between a normal metal quantum wire and the edge of QSHI, we identify the boundary condition that permits maximum transmission. Further, we solve the scattering problem between the junction of quantum wire and QSHI using a lattice model and map it to continuum model results. The problem of transport between four channels of spinful normal metal quantum wire and two channels of QSHI edge is not well-defined. We rectify this situation by formulating the scattering problem in terms of a junction of a semi-infinite normal metal quantum wire with an infinite edge of QSHI, gapping out one semi-infinite section of the QSHI edge by a Zeeman field and applying an appropriate boundary condition at the junction. We calculate the scattering amplitudes analytically.


title: Invariant 3D Shape Recognition using Predictive Modular Neural Networks

abstract: In this paper PREMONN (PREdictive MOdular Neural Networks) model/architecture is generalized to functions of two variables and to non-Euclidean spaces. It is presented in the context of 3D invariant shape recognition and texture recognition. PREMONN uses local relation, it is modular and exhibits incremental learning. The recognition process can start at any point on a shape or texture, so a reference point is not needed. Its local relation characteristic enables it to recognize shape and texture even in presence of occlusion. The analysis is mainly mathematical. However, we present some experimental results. The methods presented in this paper can be applied to many problems such as gesture recognition, action recognition, dynamic texture recognition etc.


title: The Uniformity Conjecture in Additive Combinatorics

abstract: In this paper we show examples for applications of the Bombieri-Lang conjecture in additive combinatorics, giving bounds on the cardinality of sumsets of squares and higher powers of integers. Using similar methods we give bounds on the sum-product problem for matchings.


title: Adversarial Attack on Hierarchical Graph Pooling Neural Networks

abstract: Recent years have witnessed the emergence and development of graph neural networks (GNNs), which have been shown as a powerful approach for graph representation learning in many tasks, such as node classification and graph classification. The research on the robustness of these models has also started to attract attentions in the machine learning field. However, most of the existing work in this area focus on the GNNs for node-level tasks, while little work has been done to study the robustness of the GNNs for the graph classification task. In this paper, we aim to explore the vulnerability of the Hierarchical Graph Pooling (HGP) Neural Networks, which are advanced GNNs that perform very well in the graph classification in terms of prediction accuracy. We propose an adversarial attack framework for this task. Specifically, we design a surrogate model that consists of convolutional and pooling operators to generate adversarial samples to fool the hierarchical GNN-based graph classification models. We set the preserved nodes by the pooling operator as our attack targets, and then we perturb the attack targets slightly to fool the pooling operator in hierarchical GNNs so that they will select the wrong nodes to preserve. We show the adversarial samples generated from multiple datasets by our surrogate model have enough transferability to attack current state-of-art graph classification models. Furthermore, we conduct the robust train on the target models and demonstrate that the retrained graph classification models are able to better defend against the attack from the adversarial samples. To the best of our knowledge, this is the first work on the adversarial attack against hierarchical GNN-based graph classification models.


title: Fluid Antenna Systems

abstract: Over the past decades, multiple antenna technologies have appeared in many different forms, most notably as multiple-input multiple-output (MIMO), to transform wireless communications for extraordinary diversity and multiplexing gains. The variety of technologies has been based on placing a number of antennas at fixed locations which dictates the fundamental limit on the achievable performance. By contrast, this paper envisages the scenario where the physical position of an antenna can be switched freely to one of the N positions over a fixed-length line space to pick up the strongest signal in the manner of traditional selection combining. We refer to this system as a fluid antenna system (FAS) for tremendous flexibility in its possible shape and position. The aim of this paper is to study the achievable performance of a single-antenna FAS system with a fixed length and N in arbitrarily correlated Rayleigh fading channels. Our contributions include exact and approximate closed-form expressions for the outage probability of FAS. We also derive an upper bound for the outage probability, from which it is shown that a single-antenna FAS given any arbitrarily small space can outperform an L-antenna maximum ratio combining (MRC) system if N is large enough. Our analysis also reveals the minimum required size of the FAS, and how large N is considered enough for the FAS to surpass MRC.


title: Mass accretion rates of clusters of galaxies: CIRS and HeCS

abstract: We use a new spherical accretion recipe tested on N-body simulations to measure the observed mass accretion rate (MAR) of 129 clusters in the Cluster Infall Regions in the Sloan Digital Sky Survey (CIRS) and in the Hectospec Cluster Survey (HeCS). The observed clusters cover the redshift range of $0.01<z<0.30$ and the mass range of $\sim 10^{14}-10^{15} {h^{-1}~\rm{M_\odot}}$. Based on three-dimensional mass profiles of simulated clusters reaching beyond the virial radius, our recipe returns MARs that agree with MARs based on merger trees. We adopt this recipe to estimate the MAR of real clusters based on measurements of the mass profile out to $\sim 3R_{200}$. We use the caustic method to measure the mass profiles to these large radii. We demonstrate the validity of our estimates by applying the same approach to a set of mock redshift surveys of a sample of 2000 simulated clusters with a median mass of $M_{200}= 10^{14} {h^{-1}~\rm{M_{\odot}}}$ as well as a sample of 50 simulated clusters with a median mass of $M_{200}= 10^{15} {h^{-1}~\rm{M_{\odot}}}$: the median MARs based on the caustic mass profiles of the simulated clusters are unbiased and agree within $19\%$ with the median MARs based on the real mass profile of the clusters. The MAR of the CIRS and HeCS clusters increases with the mass and the redshift of the accreting cluster, which is in excellent agreement with the growth of clusters in the $\Lambda$CDM model.


title: Constraints on light dark matter particles using white dwarf stars

abstract: We report constraints on the nucleon-dark matter particle cross section using the internal luminosity of observed white dwarf stars in the globular cluster Messier 4. Our results cover the parameter space corresponding to relatively light dark matter particles, in the mass range $0.1~GeV-5~GeV$, which is known to be very difficult to be probed by direct dark matter searches. The additional luminosity coming from self-annihilations of dark matter particles captured inside the stars must not exceed the observed luminosity. Imposing that condition, we obtain for the spin independent cross section of light dark matter particles on baryons $\sigma_{N\chi}$ the upper bound: $\sigma_{N\chi} < 4 \times 10^{-41}{\rm cm^2}$.


title: The strangest non-strange meson is not so strange after all

abstract: The broad non-strange meson $f_0$(500) is considered to be a non-Breit-Wigner resonance. It is generally assumed that if a resonance is broad it can hardly be described by a Breit-Wigner form. We show here that is not true neither for the broad Z boson, nor for the much narrower $\Delta(1232)$, and explain why the $f_0$(500) fits with them perfectly. Key differences between them boil down to a single parameter: the angle at which we see the resonance pole from the threshold, which explains the background, the residue phase, and the difference between the pole and Breit-Wigner parameters.


title: Retrieval of Particle Size Distribution of Polar Stratospheric Clouds Based on Wide-Angle Color and Polarization Analysis

abstract: The intensive polar stratospheric vortex in the Arctic that shifted to northern Europe in the winter of 2019-2020 caused low temperatures and the frequent occurrence of polar stratospheric clouds followed by a significant decrease in the total ozone content. Polarimetry and multi-color photometry using all-sky cameras in Lovozero (Murmansk Region, Russia, 68.0 deg N, 35.1 deg E) together with a new method of cloud field separation against the twilight background allowed for finding the light scattering characteristics related to the particle size distribution of polar stratospheric clouds. The results are compared with lidar and balloon experiments. The conditions of the appearance of visually bright polar stratospheric clouds of type I are discussed.


title: On the Metamorphosis of the Bailey diagram for RR Lyrae stars

abstract: We collected over 6000 high-resolution spectra of four dozen field RR Lyrae (RRL) variables pulsating either in the fundamental (39 RRab) or in the first overtone (9 RRc) mode. We measured radial velocities (RVs) of four strong metallic and four Balmer lines along the entire pulsational cycle and derived RV amplitudes with accuracies better than 1$-$2~\kmsec. The new amplitudes were combined with literature data for 23~RRab and 3~RRc stars (total sample 74 RRLs) which allowed us to investigate the variation of the Bailey diagram (photometric amplitude versus period) when moving from optical to mid-infrared bands and to re-cast the Bailey diagram in terms of RV amplitudes. We found that RV amplitudes for RRab are minimally affected by nonlinear phenomena (shocks) and multi-periodicity (Blazhko effect). The RV slope ($\log P$--A(V$_r$)) when compared with the visual slope ($\log P$--A($V$)) is shallower and the dispersion, at fixed period, decreases by a factor of two. We constructed homogeneous sets of Horizontal Branch evolutionary models and nonlinear, convective pulsation models of RRLs to constrain the impact of evolutionary effects on their pulsation properties. Evolution causes, on the Bailey diagram based on RV amplitudes, a modest variation in pulsation period and a large dispersion in amplitude. The broad dispersion in period of the Bailey diagram is mainly caused by variation in RRL intrinsic parameters (stellar mass, chemical composition). Empirical evidence indicates that RV amplitudes are an optimal diagnostic for tracing the mean effective temperature across the RRab instability strip.


title: Elliptic supersonic jet morphology manipulation using sharp-tipped lobes

abstract: Elliptic nozzle geometry is attractive for mixing enhancement of supersonic jets. However, jet dynamics, such as flapping, gives rise to high-intensity tonal sound. We experimentally manipulate the supersonic elliptic jet morphology by using two sharp-tipped lobes. The lobes are placed on either end of the minor axis in an elliptic nozzle. The design Mach number and the aspect ratio of the elliptic nozzle and the lobed nozzle are 2.0 and 1.65. The supersonic jet is exhausted into ambient at almost perfectly expanded conditions. Time-resolved schlieren imaging, longitudinal and cross-sectional planar laser Mie-scattering imaging, planar Particle Image Velocimetry, and near-field microphone measurements are performed to assess the fluidic behavior of the two nozzles. Dynamic Mode and Proper Orthogonal Decomposition (DMD and POD) analysis are carried out on the schlieren and the Mie-scattering images. Mixing characteristics are extracted from the Mie-scattering images through the image processing routines. The flapping elliptic jet consists of two dominant DMD modes, while the lobed nozzle has only one dominant mode, and the flapping is suppressed. Microphone measurements show the associated noise reduction. The jet column bifurcates in the lobed nozzle enabling a larger surface contact area with the ambient fluid and higher mixing rates in the near-field of the nozzle exit. The jet width growth rate of the two-lobed nozzle is about twice as that of the elliptic jet in the near-field, and there is a 40\% reduction in the potential core length. Particle Image Velocimetry (PIV) contours substantiate the results.


title: Independence of permutation limits at infinitely many scales

abstract: We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite number of scales.


title: Generalized scaling law for exciton binding energy in two-dimensional materials

abstract: Binding energy calculation in two-dimensional (2D) materials is crucial in determining their electronic and optical properties pertaining to enhanced Coulomb interactions between charge carriers due to quantum confinement and reduced dielectric screening. Based on full solutions of the Schr\"odinger equation in screened hydrogen model with a modified Coulomb potential ($1/r^{\beta-2}$), we present a generalized and analytical scaling law for exciton binding energy, $E_{\beta} = E_{0}\times \big (\,a\beta^{b}+c\big )\, (\mu/\epsilon^{2})$, where $\beta$ is a fractional-dimension parameter accounted for the reduced dielectric screening. The model is able to provide accurate binding energies, benchmarked with the reported Bethe-Salpeter Equation (BSE) and experimental data, for 58 mono-layer 2D and 8 bulk materials respectively through $\beta$. For a given material, $\beta$ is varied from $\beta$ = 3 for bulk 3D materials to a value lying in the range 2.55$-$2.7 for 2D mono-layer materials. With $\beta_{\text{mean}}$ = 2.625, our model improves the average relative mean square error by 3 times in comparison to existing models. The results can be used for Coulomb engineering of exciton binding energies in the optimal design of 2D materials.


title: Homotopy fibrations with a section after looping

abstract: We analyze a general family of fibrations which, after looping, have sections. Methods are developed to determine the homotopy type of the fibre and the homotopy classes of the map from the fibre to the base. The methods are driven by applications to two-cones, Poincare Duality complexes, the connected sum operation, and polyhedral products.


title: On partial Galois abelian extensions

abstract: In this article we construct the inverse semigroup of equivalence classes of partial Galois abelian extensions of a commutative ring R with same group G, called the Harrison partial inverse semigroup.


title: Physical implications of a fundamental period of time

abstract: If time is described by a fundamental process rather than a coordinate, it interacts with any physical system that evolves in time. The resulting dynamics is shown here to be consistent provided the fundamental period of the time system is sufficiently small. A strong upper bound T_C < 10^{-33}s of the fundamental period of time, several orders of magnitude below any direct time measurement, is obtained from bounds on dynamical variations of the period of a system evolving in time.


title: Nuclear obscuration structure in Mrk 417 based on NuSTAR and Swift/BAT data

abstract: We present the results of X-ray spectral analysis of the Seyfert type 2 galaxy Mrk 417 observed by the NuSTAR (3-60 keV) and the Swift/BAT (14-150) observatories. The NuSTAR data shows a good fit with a baseline model which composed of an absorbed cutoff power-law component and reflected emission from the cold neutral medium. We found that the spectrum is steep $\Gamma = 1.63_{-0.11}^{+0.10}$ and obscured by hydrogen column density of $N_{H} = 3.22_{-0.39}^{+0.41} \cdot 10^{23} cm^{-2}$, narrow $FeK_\alpha$ emission line has an equivalent width of $EW = 115_{-1}^{+2}$ eV that suggests this feature is originated in a moderate density of obscurer. In combining NuSTAR data with Swift/BAT spectrum we also applied a more physically motivated approach using complex physical models MYTorus and BNTorus. For the first case the photon index of $\Gamma_{MYTorus} = 1.68_{-0.09}^{+0.09}$ and the line-of-sight column density of the absorber $N_{H,l.o.s} = 3.36_{-0.07}^{+0.04} \cdot 10^{23} cm^{-2}$. Applying BNTorus model shows the photon index $\Gamma_{BNTorus} = 1.75_{-0.09}^{+0.09}$ and absorption $N_{H,l.o.s} = 3.72_{-0.39}^{+0.49} \cdot 10^{23} cm^{-2}$. Based on the results we get an estimation of gas-dust torus covering factor $f_{c} = 0.29-0.34$ and an intrinsic X-ray luminosity in 2-10 keV of $\approx 3.16\cdot 10^{43}$ erg/s. Further analysis of Mid-Infrared (MIR) observational data, indicates that the covering factor maybe even smaller $f_{c} \approx 0.12$. Our results allow us to suggest that obscuring material of Mrk 417 has preferably a ring-like geometry.


title: On weighted estimates for a class of Volterra integral operators

abstract: Volterra integral operators ${\cal A}=\sum_{k=0}^m {\cal A}_k$, $({\cal A}_k f)(x)= a_k (x)\int_0^x t^k f(t) \,dt$, are studied acting between weighted $L_2$ spaces on $(0,+\infty)$. Under certain conditions on the weights and functions $a_k$, it is shown that $\cal A$ is bounded if and only if each ${\cal A}_k$ is bounded. This result is then applied to describe spaces of pointwise multipliers in weighted Sobolev spaces on $(0,+\infty)$.


title: Stochastic resetting on comb-like structures

abstract: We study a diffusion process on a three-dimensional comb under stochastic resetting. We consider three different types of resetting: global resetting from any point in the comb to the initial position, resetting from a finger to the corresponding backbone and resetting from secondary fingers to the main fingers. The transient dynamics along the backbone in all three cases is different due to the different resetting mechanisms, finding a wide range of dynamics for the mean squared displacement. For the particular geometry studied herein, we compute the stationary solution and the mean square displacement and find that the global resetting breaks the transport in the three directions. Regarding the resetting to the backbone, the transport is broken in two directions but it is enhanced in the main axis. Finally, the resetting to the fingers enhances the transport in the backbone and the main fingers but reaches a steady value for the mean squared displacement in the secondary fingers.


title: Hierarchical Feature Embedding for Attribute Recognition

abstract: Attribute recognition is a crucial but challenging task due to viewpoint changes, illumination variations and appearance diversities, etc. Most of previous work only consider the attribute-level feature embedding, which might perform poorly in complicated heterogeneous conditions. To address this problem, we propose a hierarchical feature embedding (HFE) framework, which learns a fine-grained feature embedding by combining attribute and ID information. In HFE, we maintain the inter-class and intra-class feature embedding simultaneously. Not only samples with the same attribute but also samples with the same ID are gathered more closely, which could restrict the feature embedding of visually hard samples with regard to attributes and improve the robustness to variant conditions. We establish this hierarchical structure by utilizing HFE loss consisted of attribute-level and ID-level constraints. We also introduce an absolute boundary regularization and a dynamic loss weight as supplementary components to help build up the feature embedding. Experiments show that our method achieves the state-of-the-art results on two pedestrian attribute datasets and a facial attribute dataset.


title: PhyAAt: Physiology of Auditory Attention to Speech Dataset

abstract: Auditory attention to natural speech is a complex brain process. Its quantification from physiological signals can be valuable to improving and widening the range of applications of current brain-computer-interface systems, however it remains a challenging task. In this article, we present a dataset of physiological signals collected from an experiment on auditory attention to natural speech. In this experiment, auditory stimuli consisting of reproductions of English sentences in different auditory conditions were presented to 25 non-native participants, who were asked to transcribe the sentences. During the experiment, 14 channel electroencephalogram, galvanic skin response, and photoplethysmogram signals were collected from each participant. Based on the number of correctly transcribed words, an attention score was obtained for each auditory stimulus presented to subjects. A strong correlation ($p<<0.0001$) between the attention score and the auditory conditions was found. We also formulate four different predictive tasks involving the collected dataset and develop a feature extraction framework. The results for each predictive task are obtained using a Support Vector Machine with spectral features, and are better than chance level. The dataset has been made publicly available for further research, along with a python library - phyaat to facilitate the preprocessing, modeling, and reproduction of the results presented in this paper. The dataset and other resources are shared on webpage - https://phyaat.github.io.


title: On the generic behavior of the metric entropy, and related quantities, of uniformly continuous maps over Polish metric spaces

abstract: In this work, we show that if $f$ is a uniformly continuous map defined over a Polish metric space, then the set of $f$-invariant measures with zero metric entropy is a $G_\delta$ set (in the weak topology). In particular, this set is generic if the set of $f$-periodic measures is dense in the set of $f$-invariant measures. This settles a conjecture posed by Sigmund (Sigmund, K. On dynamical systems with the specification property. Trans. Amer. Math. Soc. 190 (1974), 285-299) which states that the metric entropy of an invariant measure of a topological dynamical system that satisfies the periodic specification property is typically zero. We also show that if $X$ is compact and if $f$ is an expansive or a Lipschitz map with a dense set of periodic measures, typically the lower correlation entropy for $q\in(0,1)$ is equal to zero. Moreover, we show that if $X$ is a compact metric space and if $f$ is an expanding map with a dense set of periodic measures, then the set of invariant measures with packing dimension, upper rate of recurrence and upper quantitative waiting time indicator equal to zero is residual. Finally, we present an alternative proof of the fact that the set of expansive measures is a $G_{\delta\sigma}$ set in the set of probability measures $\M(X)$, if $X$ is a Polish metric space and if $f$ is uniformly continuous; this result was originally proved by Lee, Morales and Shin (Lee, K., Morales, C. A., and Shin, B. On the set of expansive measures. Commun. Contemp. Math. 20, 7 (2018), 1750086, 10) for compact metric spaces.


title: Acoustic measurements of the nucleus size distribution at the cavitation threshold

abstract: Understanding the acoustic cavitation threshold is essential for minimizing cavitation bioeffects in diagnostic ultrasound and for controlling cavitation--mediated tissue ablation in focused ultrasound procedures. The homogeneous cavitation threshold is an intrinsic material property of recognized importance to a variety of applications requiring cavitation control. However, acoustic measurements of the cavitation threshold in water differ from those predicted by classical nucleation theories. This persistent discrepancy is explained by combining novel methods for acoustically nucleating single bubbles at threshold with numerical modeling to obtain a nucleus size distribution consistent with first--principles estimates for ion--stabilized nucleii. We identify acoustic cavitation at threshold as a reproducible subtype of heterogeneous cavitation with a characteristic nucleus size distribution. Knowledge of the nucleus size distribution could inspire new approaches for achieving cavitation control in water, tissue, and a variety of other media.


title: Evolution of Cooperative Hunting in Artificial Multi-layered Societies

abstract: The complexity of cooperative behavior is a crucial issue in multiagent-based social simulation. In this paper, an agent-based model is proposed to study the evolution of cooperative hunting behaviors in an artificial society. In this model, the standard hunting game of stag is modified into a new situation with social hierarchy and penalty. The agent society is divided into multiple layers with supervisors and subordinates. In each layer, the society is divided into multiple clusters. A supervisor controls all subordinates in a cluster locally. Subordinates interact with rivals through reinforcement learning, and report learning information to their corresponding supervisor. Supervisors process the reported information through repeated affiliation-based aggregation and by information exchange with other supervisors, then pass down the reprocessed information to subordinates as guidance. Subordinates, in turn, update learning information according to guidance, following the "win stay, lose shift" strategy. Experiments are carried out to test the evolution of cooperation in this closed-loop semi-supervised emergent system with different parameters. We also study the variations and phase transitions in this game setting.


title: Gamma-ray counterparts of 2WHSP high-synchrotron-peaked BL Lac objects as possible signatures of ultra-high-energy cosmic-ray emission

abstract: We present a search for high-energy $\gamma$-ray emission from 566 Active Galactic Nuclei at redshift $z > 0.2$, from the 2WHSP catalog of high-synchrotron peaked BL Lac objects with eight years of Fermi-LAT data. We focus on a redshift range where electromagnetic cascade emission induced by ultra-high-energy cosmic rays can be distinguished from leptonic emission based on the spectral properties of the sources. Our analysis leads to the detection of 160 sources above $\approx$ $5\sigma$ (TS $\geq 25$) in the 1 - 300 GeV energy range. By discriminating significant sources based on their $\gamma$-ray fluxes, variability properties, and photon index in the Fermi-LAT energy range, and modeling the expected hadronic signal in the TeV regime, we select a list of promising sources as potential candidate ultra-high-energy cosmic-ray emitters for follow-up observations by Imaging Atmospheric Cherenkov Telescopes.


title: Strongly peaking representations and compressions of operator systems

abstract: We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separable operator system is unique up to unitary equivalence. Under various additional assumptions, minimality conditions are sufficient to determine a separable operator system uniquely.


title: What do class comments tell us? An investigation of comment evolution and practices in Pharo Smalltalk

abstract: Previous studies have characterized code comments in various programming languages to support better program comprehension activities and maintenance tasks. However, very few studies have focused on understanding developer practices to write comments. None of them has compared such developer practices to the standard comment guidelines to study the extent to which developers follow the guidelines. This paper reports the first empirical study investigating commenting practices in Pharo Smalltalk. First, we analyze class comment evolution over seven Pharo versions. Then, we investigate the information types embedded in class comments. Finally, we study the adherence of developer commenting practices to the official class comment template over Pharo versions. The results of this study show that there is a rapid increase in class comments in the initial three Pharo versions, while in subsequent versions developers added comments to both new and old classes, thus maintaining a similar code to comment ratio. We furthermore found three times as many information types in class comments as those suggested by the template. However, the information types suggested by the template tend to be present more often than other types of information. Additionally, we find that a substantial proportion of comments follow the writing style of the template in writing these information types, but they are written and formatted in a non-uniform way.This suggests the need to standardize the commenting guidelines for formatting the text, and to provide headers for the different information types to ensure a consistent style and to identify the information easily. Given the importance of high-quality code comments, we draw numerous implications for developers and researchers to improve the support for comment quality assessment tools.


title: Structural, Electronic, and Magnetic Properties of HiPIMS Grown Co-N Thin Films

abstract: We studied the growth behavior, structural, electronic, and magnetic properties of cobalt nitride (Co-N) thin films deposited using direct current (dc) and high power impulse magnetron sputtering (HiPIMS) processes. The N$_2$ partial gas flow (\pn) was varied in close intervals to achieve the optimum conditions for the growth of tetra cobalt nitride (\tcn) phase. We found that Co-N films grown using HiPIMS process adopt (111) orientation as compared to the growth taking place along the (100) direction in the dcMS process. It was observed that HiPIMS grown Co-N~films were superior in terms of crystallite size and uniform surface morphology. The local structure of films was investigated using x-ray absorption fine structure (XAFS) measurements. We found that the high energy of adatoms in the HiPIMS technique assisted in the greater stabilization of fcc-Co and novel \tcn~phase relative to the dcMS process. Magnetic properties of Co-N thin films were studied using magneto-optical Kerr effect, vibrating sample magnetometry and polarized neutron reflectivity. It was found that though the saturation magnetization remains almost similar in films grown by dcMS or HiPIMS processes, they differ in terms of their magnetic anisotropy. Such variation can be understood in terms of differences in the growth mechanisms in dcMS and HiPIMS processes affecting the local structure of resulting \tcn~phase.


title: Two families of graphs that are Cayley on nonisomorphic groups

abstract: A number of authors have studied the question of when a graph can be represented as a Cayley graph on more than one nonisomorphic group. The work to date has focussed on a few special situations: when the groups are $p$-groups; when the groups have order $pq$; when the Cayley graphs are normal; or when the groups are both abelian. In this paper, we construct two infinite families of graphs, each of which is Cayley on an abelian group and a nonabelian group. These families include the smallest examples of such graphs that had not appeared in other results.


title: Bayesian Integrative Analysis and Prediction with Application to Atherosclerosis Cardiovascular Disease

abstract: Cardiovascular diseases (CVD), including atherosclerosis CVD (ASCVD), are multifactorial diseases that present a major economic and social burden worldwide. Tremendous efforts have been made to understand traditional risk factors for ASCVD, but these risk factors account for only about half of all cases of ASCVD. It remains a critical need to identify nontraditional risk factors (e.g., genetic variants, genes) contributing to ASCVD. Further, incorporating functional knowledge in prediction models have the potential to reveal pathways associated with disease risk. We propose Bayesian hierarchical factor analysis models that associate multiple omics data, predict a clinical outcome, allow for prior functional information, and can accommodate clinical covariates. The models, motivated by available data and the need for other risk factors of ASCVD, are used for the integrative analysis of clinical, demographic, and multi-omics data to identify genetic variants, genes, and gene pathways potentially contributing to 10-year ASCVD risk in healthy adults. Our findings revealed several genetic variants, genes and gene pathways that were highly associated with ASCVD risk. Interestingly, some of these have been implicated in CVD risk. The others could be explored for their potential roles in CVD. Our findings underscore the merit in joint association and prediction models.


title: The Space Environment and Atmospheric Joule Heating of the Habitable Zone Exoplanet TOI700-d

abstract: We investigate the space environment conditions near the Earth-size planet TOI~700~d using a set of numerical models for the stellar corona and wind, the planetary magnetosphere, and the planetary ionosphere. We drive our simulations using a scaled-down stellar input and a scaled-up solar input in order to obtain two independent solutions. We find that for the particular parameters used in our study, the stellar wind conditions near the planet are not very extreme -- slightly stronger than that near the Earth in terms of the stellar wind ram pressure and the intensity of the interplanetary magnetic field. Thus, the space environment near TOI700-d may not be extremely harmful to the planetary atmosphere, assuming the planet resembles the Earth. Nevertheless, we stress that the stellar input parameters and the actual planetary parameters are unconstrained, and different parameters may result in a much greater effect on the atmosphere of TOI700-d. Finally, we compare our results to solar wind measurements in the solar system and stress that modest stellar wind conditions may not guarantee atmospheric retention of exoplanets.


title: Subgradient Regularized Multivariate Convex Regression at Scale

abstract: We present new large-scale algorithms for fitting a subgradient regularized multivariate convex regression function to $n$ samples in $d$ dimensions -- a key problem in shape constrained nonparametric regression with applications in statistics, engineering and the applied sciences. The infinite-dimensional learning task can be expressed via a convex quadratic program (QP) with $O(nd)$ decision variables and $O(n^2)$ constraints. While instances with $n$ in the lower thousands can be addressed with current algorithms within reasonable runtimes, solving larger problems (e.g., $n\approx 10^4$ or $10^5$) is computationally challenging. To this end, we present an active set type algorithm on the dual QP. For computational scalability, we allow for approximate optimization of the reduced sub-problems; and propose randomized augmentation rules for expanding the active set. We derive novel computational guarantees for our algorithms. We demonstrate that our framework can approximately solve instances of the subgradient regularized convex regression problem with $n=10^5$ and $d=10$ within minutes; and shows strong computational performance compared to earlier approaches.


title: MaxSAT Resolution and Subcube Sums

abstract: We study the MaxRes rule in the context of certifying unsatisfiability. We show that it can be exponentially more powerful than tree-like resolution, and when augmented with weakening (the system MaxResW), p-simulates tree-like resolution. In devising a lower bound technique specific to MaxRes (and not merely inheriting lower bounds from Res), we define a new proof system called the SubCubeSums proof system. This system, which p-simulates MaxResW, can be viewed as a special case of the semialgebraic Sherali-Adams proof system. In expressivity, it is the integral restriction of conical juntas studied in the contexts of communication complexity and extension complexity. We show that it is not simulated by Res. Using a proof technique qualitatively different from the lower bounds that MaxResW inherits from Res, we show that Tseitin contradictions on expander graphs are hard to refute in SubCubeSums. We also establish a lower bound technique via lifting: for formulas requiring large degree in SubCubeSums, their XOR-ification requires large size in SubCubeSums.


title: On algebraic and combinatorial properties of weighted simplicial complexes

abstract: Weighted simplicial complexes (WSCs) are powerful tools for describing weighted cloud data or networks with weighted nodes. In this paper, we propose a novel approach to study WSCs via the concept of polarization. Polarization of a WSC allows one to construct a new (unweighted) simplicial complex which coincides with an object called the mixed wreath product. This new construction preserves several properties and invariants of the underlying simplicial complex of a WSC. Our main focus is to analyze WSCs through their underlying simplicial complexes and mixed wreath products. Combinatorially, we investigate properties such as vertex-decomposability, shellability, constructibility; algebraically, we study Betti numbers, associated primes and primary decompositions of ideals associated to WSCs.


title: Classical simulation of qubit by a new hardware design and its applications

abstract: In this paper, we develop a new classical simulation of quantum bit (qubit) by use of analog components in order to be able to simulate the quantum properties such as the superposition of states. As part of this new approach, we have also implemented many logical gates (Pauli-X, Hadamard, and Conditional phase-shift gates). Simulation of Hadamard and Conditional phase-shift gates using Proteus Design Suite is also presented and discussed in this work.


title: Revisiting Street-to-Aerial View Image Geo-localization and Orientation Estimation

abstract: Street-to-aerial image geo-localization, which matches a query street-view image to the GPS-tagged aerial images in a reference set, has attracted increasing attention recently. In this paper, we revisit this problem and point out the ignored issue about image alignment information. We show that the performance of a simple Siamese network is highly dependent on the alignment setting and the comparison of previous works can be unfair if they have different assumptions. Instead of focusing on the feature extraction under the alignment assumption, we show that improvements in metric learning techniques significantly boost the performance regardless of the alignment. Without leveraging the alignment information, our pipeline outperforms previous works on both panorama and cropped datasets. Furthermore, we conduct visualization to help understand the learned model and the effect of alignment information using Grad-CAM. With our discovery on the approximate rotation-invariant activation maps, we propose a novel method to estimate the orientation/alignment between a pair of cross-view images with unknown alignment information. It achieves state-of-the-art results on the CVUSA dataset.


title: A Novel Confidence-Based Algorithm for Structured Bandits

abstract: We study finite-armed stochastic bandits where the rewards of each arm might be correlated to those of other arms. We introduce a novel phased algorithm that exploits the given structure to build confidence sets over the parameters of the true bandit problem and rapidly discard all sub-optimal arms. In particular, unlike standard bandit algorithms with no structure, we show that the number of times a suboptimal arm is selected may actually be reduced thanks to the information collected by pulling other arms. Furthermore, we show that, in some structures, the regret of an anytime extension of our algorithm is uniformly bounded over time. For these constant-regret structures, we also derive a matching lower bound. Finally, we demonstrate numerically that our approach better exploits certain structures than existing methods.


title: Residually finite dimensional algebras and polynomial almost identities

abstract: Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over $k$ is almost $d$-Engel, then $L$ has a nilpotent (resp. locally nilpotent) ideal of finite codimension if char $k=0$ (resp. char $k > 0$). Next, suppose that $k$ is finite (so $A$ is residually finite). We prove that, if $A$ satisfies a homogeneous probabilistic identity $Q$, then $Q$ is a coset identity of $A$. Moreover, if $Q$ is multilinear, then $Q$ is an identity of some finite index ideal of $A$. Along the way we show that, if $Q\in k\langle x_1,\ldots,x_n\rangle$ has degree $d$, and $A$ is a finite $k$-algebra such that the probability that $Q(a_1, \ldots , a_n)=0$ (where $a_i \in A$ are randomly chosen) is at least $1-2^{-d}$, then $Q$ is an identity of $A$. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon.


title: Multicycle terahertz pulse generation by optical rectification in LiNbO$_3$, LiTaO$_3$, and BBO crystals

abstract: We report multicycle, narrowband, terahertz radiation at 14.8 THz produced by phase-matched optical rectification of femtosecond laser pulses in bulk lithium niobate (LiNbO$_3$) crystals. Our experiment and simulation show that the output terahertz energy greatly enhances when the input laser pulse is highly chirped, contrary to a common optical rectification process. We find this abnormal behavior is attributed to a linear electro-optic (or Pockels) effect, in which the laser pulse propagating in LiNbO$_3$ is modulated by the terahertz field it produces, and this in turn drives optical rectification more effectively to produce the terahertz field. This resonant cascading effect can greatly increase terahertz conversion efficiencies when the input laser pulse is properly pre-chirped with additional third order dispersion. We also observe similar multicycle terahertz emission from lithium tantalate (LiTaO$_3$) at 14 THz and barium borate (BBO) at 7 THz, 10.6 THz, and 14.6 THz, all produced by narrowband phase-matched optical rectification.


title: Data-driven kinetic energy density fitting for orbital-free DFT: linear vs Gaussian process regression

abstract: We study the dependence of kinetic energy densities (KED) on density-dependent variables that have been suggested in previous works on kinetic energy functionals (KEF) for orbital-free DFT (OF-DFT). We focus on the role of data distribution and on data and regressor selection. We compare unweighted and weighted linear and Gaussian process regressions of KED for light metals and a semiconductor. We find that good quality linear regression resulting in good energy-volume dependence is possible over density-dependent variables suggested in previous literature. This is achieved with weighted fitting based on KED histogram. With Gaussian process regressions, excellent KED fit quality well exceeding that of linear regressions is obtained as well as a good energy-volume dependence which was somewhat better than that of best linear regressions. We find that while the use of the effective potential as a descriptor improves linear KED fitting, it does not improve the quality of the energy-volume dependence with linear regressions but substantially improves it with Gaussian process regression. Gaussian process regression is also able to perform well without data weighting.


title: A simplicial category for higher correspondences

abstract: In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences between them and higher morphisms are higher correspondences. We will obtain this as a corollary of a more general result which classifies all simplicial maps between ordinary simplicial sets in a similar fashion. Correspondences between simplicial sets (and $\infty$-categories) are a generalization of the concept of profunctor (or bimodule) pertaining to categories. While categories, functors and profunctors are organized in a double category, we will exhibit simplicial sets, simplicial maps, and correspondences as part of a simplicial category. This allows us to make precise statements and provide proofs. Our main tool is the language of double categories, which we use in the context of simplicial categories as well.


title: The cosmic web connection to the dark matter halo distribution through gravity

abstract: This work investigates the connection between the cosmic web and the halo distribution through the gravitational potential at the field level. We combine three fields of research, cosmic web classification, perturbation theory expansions of the halo bias, and halo (galaxy) mock catalogue making methods. In particular, we use the invariants of the tidal field and the velocity shear tensor as generating functions to reproduce the halo number counts of a reference catalogue from full gravity calculations, populating the dark matter field on a mesh well into the non-linear regime ($3\,h^{-1}\,{\rm Mpc}$ scales). Our results show an unprecedented agreement with the reference power spectrum within 1% up to $k=0.72\,h\,{\rm Mpc}^{-1}$. By analysing the three-point statistics on large scales (configurations of up to $k=0.2\,h\,{\rm Mpc}^{-1}$), we find evidence for non-local bias at the 4.8 $\sigma$ confidence level, being compatible with the reference catalogue. In particular, we find that a detailed description of tidal anisotropic clustering on large scales is crucial to achieve this accuracy at the field level. These findings can be particularly important for the analysis of the next generation of galaxy surveys in mock galaxy production.


title: Component-wise Adaptive Trimming For Robust Mixture Regression

abstract: Parameter estimation of mixture regression model using the expectation maximization (EM) algorithm is highly sensitive to outliers. Here we propose a fast and efficient robust mixture regression algorithm, called Component-wise Adaptive Trimming (CAT) method. We consider simultaneous outlier detection and robust parameter estimation to minimize the effect of outlier contamination. Robust mixture regression has many important applications including in human cancer genomics data, where the population often displays strong heterogeneity added by unwanted technological perturbations. Existing robust mixture regression methods suffer from outliers as they either conduct parameter estimation in the presence of outliers, or rely on prior knowledge of the level of outlier contamination. CAT was implemented in the framework of classification expectation maximization, under which a natural definition of outliers could be derived. It implements a least trimmed squares (LTS) approach within each exclusive mixing component, where the robustness issue could be transformed from the mixture case to simple linear regression case. The high breakdown point of the LTS approach allows us to avoid the pre-specification of trimming parameter. Compared with multiple existing algorithms, CAT is the most competitive one that can handle and adaptively trim off outliers as well as heavy tailed noise, in different scenarios of simulated data and real genomic data. CAT has been implemented in an R package `RobMixReg' available in CRAN.


title: Knee Point Identification Based on Trade-Off Utility

abstract: Knee points, characterised as their smallest trade-off loss at all objectives, are attractive to decision makers in multi-criterion decision-making. In contrast, other Pareto-optimal solutions are less attractive since a small improvement on one objective can lead to a significant degradation on at least one of the other objectives. In this paper, we propose a simple and effective knee point identification method based on trade-off utility, dubbed KPITU, to help decision makers identify knee points from a given set of trade-off solutions. The basic idea of KPITU is to sequentially validate whether a solution is a knee point or not by comparing its trade-off utility with others within its neighbourhood. In particular, a solution is a knee point if and only if it has the best trade-off utility among its neighbours. Moreover, we implement a GPU version of KPITU that carries out the knee point identification in a parallel manner. This GPU version reduces the worst-case complexity from quadratic to linear. To validate the effectiveness of KPITU, we compare its performance with five state-of-the-art knee point identification methods on 134 test problem instances. Empirical results fully demonstrate the outstanding performance of KPITU especially on problems with many local knee points. At the end, we further validate the usefulness of KPITU for guiding EMO algorithms to search for knee points on the fly during the evolutionary process.


title: New Examples from the Jigsaw Groups Construction

abstract: A pseudomodular group is a discrete subgroup $\Gamma \leq PGL(2,\mathbb{Q})$ which is not commensurable with $PSL(2,\mathbb{Z})$ and has cusp set precisely $\mathbb{Q}\cup\{\infty\}$. The existence of such groups was proved by Long and Reid. Later, Lou, Tan and Vo constructed two infinite families of non-commensurable pseudomodular groups which they called jigsaw groups. In this paper we construct a new infinite family of non-commensurable pseudomodular groups obtained via this jigsaw construction. We also find that infinitely many of the simplest jigsaw groups are not pseudomodular, providing a partial answer to questions posed by the aforementioned authors.


title: How does tempering affect the local and global properties of fractional Brownian motion?

abstract: The present paper investigates the effects of tempering the power law kernel of moving average representation of a fractional Brownian motion (fBm) on some local and global properties of this Gaussian stochastic process. Tempered fractional Brownian motion (TFBM) and tempered fractional Brownian motion of the second kind (TFBMII) are the processes that are considered in order to investigate the role of tempering. Tempering does not change the local properties of fBm including the sample paths and p-variation, but it has a strong impact on the Breuer-Major theorem, asymptotic behavior of the 3rd and 4th cumulants of fBm and the optimal fourth moment theorem.


title: Geometric algorithms for predicting resilience and recovering damage in neural networks

abstract: Biological neural networks have evolved to maintain performance despite significant circuit damage. To survive damage, biological network architectures have both intrinsic resilience to component loss and also activate recovery programs that adjust network weights through plasticity to stabilize performance. Despite the importance of resilience in technology applications, the resilience of artificial neural networks is poorly understood, and autonomous recovery algorithms have yet to be developed. In this paper, we establish a mathematical framework to analyze the resilience of artificial neural networks through the lens of differential geometry. Our geometric language provides natural algorithms that identify local vulnerabilities in trained networks as well as recovery algorithms that dynamically adjust networks to compensate for damage. We reveal striking vulnerabilities in commonly used image analysis networks, like MLP's and CNN's trained on MNIST and CIFAR10 respectively. We also uncover high-performance recovery paths that enable the same networks to dynamically re-adjust their parameters to compensate for damage. Broadly, our work provides procedures that endow artificial systems with resilience and rapid-recovery routines to enhance their integration with IoT devices as well as enable their deployment for critical applications.


title: The recovery model for the calculation of correspondence matrix for Moscow

abstract: In this paper, we consider the problem of restoring the correspondence matrix based on the observations of real correspondences in Moscow. Following the conventional approach, the transport network is considered as a directed graph whose edges correspond to road sections and the graph vertices correspond to areas that the traffic participants leave or enter. The number of city residents is considered constant. The problem of restoring the correspondence matrix is to calculate all the correspondence from the $i$ area to the $j$ area. To restore the matrix, we propose to use one of the most popular methods of calculating the correspondence matrix in urban studies -- the entropy model. In our work, we describe the evolutionary justification of the entropy model and the main idea of the transition to solving the problem of entropy-linear programming (ELP) in calculating the correspondence matrix. To solve the ELP problem, it is proposed to pass to the dual problem. In this paper, we describe several numerical optimization methods for solving this problem: the Sinkhorn method and the Accelerated Sinkhorn method. We provide numerical experiments for the following variants of cost functions: a linear cost function and a superposition of the power and logarithmic cost functions. In these functions, the cost is a combination of average time and distance between areas, which depends on the parameters. The correspondence matrix is calculated for multiple sets of parameters and then we calculate the quality of the restored matrix relative to the known correspondence matrix. We assume that the noise in the restored correspondence matrix is Gaussian, as a result, we use the standard deviation as a quality metric.


title: Local persistence of geometric structures of the inviscid nonlinear Boussinesq system

abstract: Inspired by the recently published paper \cite{Hassainia-Hmidi}, the current paper investigates the local well-posedness for the generalized $2d-$Boussinesq system in the setting of regular/singular vortex patch. Under the condition that the initial vorticity $\omega_{0}={\bf 1}_{D_0}$, with $\partial D_0$ is a Jordan curve with a H\"older regularity $C^{1+\EE},\;0<\EE<1$ and the density is a smooth function, we show that the velocity vector field is locally well-posed and we also establish local-in-time regularity persistence of the advected patch. Although, in the case of the singular patch, the analysis is rather complicated due to the coupling phenomena of the system and the structure of the patch. For this purpose, we must assume that the initial nonlinear term is constant around the singular part of the patch boundary.


title: New Gamma-Ray Bursts Found in the Archival Data from the IBIS/ISGRI Telescope of the INTEGRAL Observatory

abstract: A systematic search for cosmic gamma-ray bursts (GRBs) and other short hard X-ray events in the archival data from the IBIS/ISGRI telescope of the INTEGRAL observatory over 2003-2018 has been carried out. Seven previously unknown GRBs have been recorded in the telescope field of view; all of them have been localized with an accuracy < 2 arcmin. These events were not revealed by the INTEGRAL burst alert system (IBAS) designed for an automatic GRB search and alert. Four more such localized events missed by IBAS, but known previously, i.e., observed in other experiments, have been found. Eight hundred and eighty six GRBs outside the field of view that arrived at large angles to the IBIS/ISGRI axis have also been recorded. All of them were previously recorded in other experiments, primarily by the anticoincidence shield (ACS) of the SPI gamma-ray spectrometer onboard INTEGRAL, the PICsIT detector of the IBIS gamma-ray telescope, and the KONUS/WIND monitor. An order of magnitude more events without any confirmations in other experiments have been recorded. Both GRBs and solar flares or magnetospheric transient events can be among them. Catalogs with the basic parameters of confirmed and previously unknown GRBs recorded by IBIS/ISGRI have been compiled. The statistical distributions of bursts in various parameters have been constructed and investigated.


title: Decomposition of symmetric separable states and ground state energy of bosonic systems

abstract: We prove that every symmetric separable state admits a convex decomposition into symmetric pure product states. While the result is not new in itself, here we focus on convex geometry. We discuss the decomposition in the context of numerical ranges and ground state problems of infinite bosonic systems.


title: Benchmarking and Performance Modelling of MapReduce Communication Pattern

abstract: Understanding and predicting the performance of big data applications running in the cloud or on-premises could help minimise the overall cost of operations and provide opportunities in efforts to identify performance bottlenecks. The complexity of the low-level internals of big data frameworks and the ubiquity of application and workload configuration parameters makes it challenging and expensive to come up with comprehensive performance modelling solutions. In this paper, instead of focusing on a wide range of configurable parameters, we studied the low-level internals of the MapReduce communication pattern and used a minimal set of performance drivers to develop a set of phase level parametric models for approximating the execution time of a given application on a given cluster. Models can be used to infer the performance of unseen applications and approximate their performance when an arbitrary dataset is used as input. Our approach is validated by running empirical experiments in two setups. On average the error rate in both setups is plus or minus 10% from the measured values.


title: Barrow's black hole entropy and the equipartition theorem

abstract: The Barrow entropy appears from the fact that the black hole surface can be modified due to quantum gravitational outcome. The measure of this perturbation is given by a new exponent $\Delta$. In this letter we have shown that, from the standard mathematical form of the equipartition theorem, we can relate it with Barrow entropy. From this equivalence, we have calculated precisely the value of the exponent for the equipartition law. After that, we tested the thermodynamical coherence of the system by calculating the heat capacity which established an interval of the possible thermodynamical coherent values of Barrow entropic exponent and corroborated our first result.


title: One-Shot Unsupervised Cross-Domain Detection

abstract: Despite impressive progress in object detection over the last years, it is still an open challenge to reliably detect objects across visual domains. Although the topic has attracted attention recently, current approaches all rely on the ability to access a sizable amount of target data for use at training time. This is a heavy assumption, as often it is not possible to anticipate the domain where a detector will be used, nor to access it in advance for data acquisition. Consider for instance the task of monitoring image feeds from social media: as every image is created and uploaded by a different user it belongs to a different target domain that is impossible to foresee during training. This paper addresses this setting, presenting an object detection algorithm able to perform unsupervised adaption across domains by using only one target sample, seen at test time. We achieve this by introducing a multi-task architecture that one-shot adapts to any incoming sample by iteratively solving a self-supervised task on it. We further enhance this auxiliary adaptation with cross-task pseudo-labeling. A thorough benchmark analysis against the most recent cross-domain detection methods and a detailed ablation study show the advantage of our method, which sets the state-of-the-art in the defined one-shot scenario.


title: Exploring the Best Loss Function for DNN-Based Low-latency Speech Enhancement with Temporal Convolutional Networks

abstract: Recently, deep neural networks (DNNs) have been successfully used for speech enhancement, and DNN-based speech enhancement is becoming an attractive research area. While time-frequency masking based on the short-time Fourier transform (STFT) has been widely used for DNN-based speech enhancement over the last years, time domain methods such as the time-domain audio separation network (TasNet) have also been proposed. The most suitable method depends on the scale of the dataset and the type of task. In this paper, we explore the best speech enhancement algorithm on two different datasets. We propose a STFT-based method and a loss function using problem-agnostic speech encoder (PASE) features to improve subjective quality for the smaller dataset. Our proposed methods are effective on the Voice Bank + DEMAND dataset and compare favorably to other state-of-the-art methods. We also implement a low-latency version of TasNet, which we submitted to the DNS Challenge and made public by open-sourcing it. Our model achieves excellent performance on the DNS Challenge dataset.


title: Efficient Integration of Multi-channel Information for Speaker-independent Speech Separation

abstract: Although deep-learning-based methods have markedly improved the performance of speech separation over the past few years, it remains an open question how to integrate multi-channel signals for speech separation. We propose two methods, namely, early-fusion and late-fusion methods, to integrate multi-channel information based on the time-domain audio separation network, which has been proven effective in single-channel speech separation. We also propose channel-sequential-transfer learning, which is a transfer learning framework that applies the parameters trained for a lower-channel network as the initial values of a higher-channel network. For fair comparison, we evaluated our proposed methods using a spatialized version of the wsj0-2mix dataset, which is open-sourced. It was found that our proposed methods can outperform multi-channel deep clustering and improve the performance proportionally to the number of microphones. It was also proven that the performance of the late-fusion method is consistently higher than that of the single-channel method regardless of the angle difference between speakers.


title: How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

abstract: Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover security vulnerabilities in smart contracts before deployment. A number of static analysis tools have been developed for finding security bugs in smart contracts. However, despite the numerous bug-finding tools, there is no systematic approach to evaluate the proposed tools and gauge their effectiveness. This paper proposes SolidiFI, an automated and systematic approach for evaluating smart contract static analysis tools. SolidiFI is based on injecting bugs (i.e., code defects) into all potential locations in a smart contract to introduce targeted security vulnerabilities. SolidiFI then checks the generated buggy contract using the static analysis tools, and identifies the bugs that the tools are unable to detect (false-negatives) along with identifying the bugs reported as false-positives. SolidiFI is used to evaluate six widely-used static analysis tools, namely, Oyente, Securify, Mythril, SmartCheck, Manticore and Slither, using a set of 50 contracts injected by 9369 distinct bugs. It finds several instances of bugs that are not detected by the evaluated tools despite their claims of being able to detect such bugs, and all the tools report many false positives


title: Optimized Quantum Circuit Partitioning

abstract: The main objective of this paper is to improve the communication costs in distributed quantum circuits. To this end, we present a method for generating distributed quantum circuits from monolithic quantum circuits in such a way that communication between partitions of a distributed quantum circuit is minimized. Thus, the communication between distributed components is performed at a lower cost. Compared to existing works, our approach can effectively map a quantum circuit into an appropriate number of distributed components. Since teleportation is usually the protocol used to connect components in a distributed quantum circuit, our approach ultimately reduces the number of teleportations. The results of applying our approach to the benchmark quantum circuits determine its effectiveness and show that partitioning is a necessary step in constructing distributed quantum circuit.


title: Proofreading through spatial gradients

abstract: Key enzymatic processes in biology use the nonequilibrium error correction mechanism called kinetic proofreading to enhance their specificity. Kinetic proofreading typically requires several dedicated structural features in the enzyme, such as a nucleotide hydrolysis site and multiple enzyme-substrate conformations that delay product formation. Such requirements limit the applicability and the adaptability of traditional proofreading schemes. Here, we explore an alternative conceptual mechanism of error correction that achieves delays between substrate binding and subsequent product formation by having these events occur at distinct physical locations. The time taken by the enzyme-substrate complex to diffuse from one location to another is leveraged to discard wrong substrates. This mechanism does not require dedicated structural elements on the enzyme, making it easier to overlook in experiments but also making proofreading tunable on the fly. We discuss how tuning the length scales of enzyme or substrate concentration gradients changes the fidelity, speed and energy dissipation, and quantify the performance limitations imposed by realistic diffusion and reaction rates in the cell. Our work broadens the applicability of kinetic proofreading, and sets the stage for the study of spatial gradients as a possible route to specificity.


title: Wavelet based multivariate signal denoising using Mahalanobis distance and EDF statistics

abstract: A multivariate signal denoising method is proposed which employs a novel multivariate goodness of fit (GoF) test that is applied at multiple data scales obtained from discrete wavelet transform (DWT). In the proposed multivariate GoF test, we first utilize squared Mahalanobis distance (MD) measure to transform input multivariate data residing in M-dimensional space $\mathcal{R}^M$ to a single-dimensional space of positive real numbers $\mathcal{R}_+$, i.e., $\mathcal{R}^M \rightarrow \mathcal{R}_+$, where $M > 1$. Owing to the properties of the MD measure, the transformed data in $\mathcal{R}_+$ follows a distinct distribution. That enables us to apply the GoF test using statistic based on empirical distribution function (EDF) on the resulting data in order to define a test for multivariate normality. We further propose to apply the above test locally on multiple input data scales obtained from discrete wavelet transform, resulting in a multivariate signal denoising framework. Within the proposed method, the reference cumulative distribution function (CDF) is defined as a quadratic transformation of multivariate Gaussian random process. Consequently, the proposed method checks whether a set of DWT coefficients belong to multivariate reference distribution or not; the coefficients belonging to the reference distribution are discarded. The effectiveness of our proposed method is demonstrated by performing extensive simulations on both synthetic and real world datasets.


title: MeshODE: A Robust and Scalable Framework for Mesh Deformation

abstract: We present MeshODE, a scalable and robust framework for pairwise CAD model deformation without prespecified correspondences. Given a pair of shapes, our framework provides a novel shape feature-preserving mapping function that continuously deforms one model to the other by minimizing fitting and rigidity losses based on the non-rigid iterative-closest-point (ICP) algorithm. We address two challenges in this problem, namely the design of a powerful deformation function and obtaining a feature-preserving CAD deformation. While traditional deformation directly optimizes for the coordinates of the mesh vertices or the vertices of a control cage, we introduce a deep bijective mapping that utilizes a flow model parameterized as a neural network. Our function has the capacity to handle complex deformations, produces deformations that are guaranteed free of self-intersections, and requires low rigidity constraining for geometry preservation, which leads to a better fitting quality compared with existing methods. It additionally enables continuous deformation between two arbitrary shapes without supervision for intermediate shapes. Furthermore, we propose a robust preprocessing pipeline for raw CAD meshes using feature-aware subdivision and a uniform graph template representation to address artifacts in raw CAD models including self-intersections, irregular triangles, topologically disconnected components, non-manifold edges, and nonuniformly distributed vertices. This facilitates a fast deformation optimization process that preserves global and local details. Our code is publicly available.