title: Self-Supervised Learning of Event-Based Optical Flow with Spiking Neural Networks

abstract: The field of neuromorphic computing promises extremely low-power and low-latency sensing and processing. Challenges in transferring learning algorithms from traditional artificial neural networks (ANNs) to spiking neural networks (SNNs) have so far prevented their application to large-scale, complex regression tasks. Furthermore, realizing a truly asynchronous and fully neuromorphic pipeline that maximally attains the abovementioned benefits involves rethinking the way in which this pipeline takes in and accumulates information. In the case of perception, spikes would be passed as-is and one-by-one between an event camera and an SNN, meaning all temporal integration of information must happen inside the network. In this article, we tackle these two problems. We focus on the complex task of learning to estimate optical flow from event-based camera inputs in a self-supervised manner, and modify the state-of-the-art ANN training pipeline to encode minimal temporal information in its inputs. Moreover, we reformulate the self-supervised loss function for event-based optical flow to improve its convexity. We perform experiments with various types of recurrent ANNs and SNNs using the proposed pipeline. Concerning SNNs, we investigate the effects of elements such as parameter initialization and optimization, surrogate gradient shape, and adaptive neuronal mechanisms. We find that initialization and surrogate gradient width play a crucial part in enabling learning with sparse inputs, while the inclusion of adaptivity and learnable neuronal parameters can improve performance. We show that the performance of the proposed ANNs and SNNs are on par with that of the current state-of-the-art ANNs trained in a self-supervised manner.


title: Robust Reference-based Super-Resolution via C2-Matching

abstract: Reference-based Super-Resolution (Ref-SR) has recently emerged as a promising paradigm to enhance a low-resolution (LR) input image by introducing an additional high-resolution (HR) reference image. Existing Ref-SR methods mostly rely on implicit correspondence matching to borrow HR textures from reference images to compensate for the information loss in input images. However, performing local transfer is difficult because of two gaps between input and reference images: the transformation gap (e.g. scale and rotation) and the resolution gap (e.g. HR and LR). To tackle these challenges, we propose C2-Matching in this work, which produces explicit robust matching crossing transformation and resolution. 1) For the transformation gap, we propose a contrastive correspondence network, which learns transformation-robust correspondences using augmented views of the input image. 2) For the resolution gap, we adopt a teacher-student correlation distillation, which distills knowledge from the easier HR-HR matching to guide the more ambiguous LR-HR matching. 3) Finally, we design a dynamic aggregation module to address the potential misalignment issue. In addition, to faithfully evaluate the performance of Ref-SR under a realistic setting, we contribute the Webly-Referenced SR (WR-SR) dataset, mimicking the practical usage scenario. Extensive experiments demonstrate that our proposed C2-Matching significantly outperforms state of the arts by over 1dB on the standard CUFED5 benchmark. Notably, it also shows great generalizability on WR-SR dataset as well as robustness across large scale and rotation transformations.


title: Comparison of interface capturing methods for the simulation of two-phase flow in a unified low-Mach framework

abstract: This paper proposes a comparison of four popular interface capturing methods : the volume of fluid (VOF), the standard level set (SLS), the accurate conservative level set (ACLS) and the coupled level set and volume of fluid (CLSVOF). All methods are embedded into a unified low-Mach framework based on a Cartesian-grid finite-volume discretization. This framework includes a sharp transport of the interface, a wellbalanced surface tension discretization and a consistent mass and momentum transport which allows capillary-driven simulations with high density ratio. The comparison relies on shared metrics for geometrical accuracy, mass and momentum conservation which exposes the weakness and strengths of each method. Finally, the versatility and capabilities of the proposed solver are demonstrated on the simulation of a 3D head-on collision of two water droplets. Overall, all methods manage to retrieve reasonable results for all test cases presented. VOF, CLSVOF and ACLS tend to artificially create little structures while SLS suffers from conservation issues in the mesh resolution limit. This study leads us to the conclusion that CLSVOF is the most promising method for two-phase flow simulations in our specific framework because of its inherent conservation properties and topology accuracy.


title: Heart Sound Classification Considering Additive Noise and Convolutional Distortion

abstract: Cardiac auscultation is an essential point-of-care method used for the early diagnosis of heart diseases. Automatic analysis of heart sounds for abnormality detection is faced with the challenges of additive noise and sensor-dependent degradation. This paper aims to develop methods to address the cardiac abnormality detection problem when both types of distortions are present in the cardiac auscultation sound. We first mathematically analyze the effect of additive and convolutional noise on short-term filterbank-based features and a Convolutional Neural Network (CNN) layer. Based on the analysis, we propose a combination of linear and logarithmic spectrogram-image features. These 2D features are provided as input to a residual CNN network (ResNet) for heart sound abnormality detection. Experimental validation is performed on an open-access heart sound abnormality detection dataset involving noisy recordings obtained from multiple stethoscope sensors. The proposed method achieves significantly improved results compared to the conventional approaches, with an area under the ROC (receiver operating characteristics) curve (AUC) of 91.36%, F-1 score of 84.09%, and Macc (mean of sensitivity and specificity) of 85.08%. We also show that the proposed method shows the best mean accuracy across different source domains including stethoscope and noise variability, demonstrating its effectiveness in different recording conditions. The proposed combination of linear and logarithmic features along with the ResNet classifier effectively minimizes the impact of background noise and sensor variability for classifying phonocardiogram (PCG) signals. The proposed method paves the way towards developing computer-aided cardiac auscultation systems in noisy environments using low-cost stethoscopes.


title: Simultaneous Multi-View Object Recognition and Grasping in Open-Ended Domains

abstract: To aid humans in everyday tasks, robots need to know which objects exist in the scene, where they are, and how to grasp and manipulate them in different situations. Therefore, object recognition and grasping are two key functionalities for autonomous robots. Most state-of-the-art approaches treat object recognition and grasping as two separate problems, even though both use visual input. Furthermore, the knowledge of the robot is fixed after the training phase. In such cases, if the robot encounters new object categories, it must be retrained to incorporate new information without catastrophic forgetting. In order to resolve this problem, we propose a deep learning architecture with an augmented memory capacity to handle open-ended object recognition and grasping simultaneously. In particular, our approach takes multi-views of an object as input and jointly estimates pixel-wise grasp configuration as well as a deep scale- and rotation-invariant representation as output. The obtained representation is then used for open-ended object recognition through a meta-active learning technique. We demonstrate the ability of our approach to grasp never-seen-before objects and to rapidly learn new object categories using very few examples on-site in both simulation and real-world settings. A video of these experiments is available online at: https://youtu.be/n9SMpuEkOgk


title: Plasticity as a link between spatially explicit, distance-independent, and whole-stand forest growth models

abstract: Models at various levels of resolution are commonly used, both for forest management and in ecological research. They all have comparative advantages and disadvantages, making desirable a better understanding of the relationships between the various approaches. It is found that accounting for crown and root plasticity creates more realistic links between spatial and non-spatial models than simply ignoring spatial structure. The article reviews also the connection between distance-independent models and size distributions, and how distributions evolve over time and relate to whole-stand descriptions. In addition, some ways in which stand-level knowledge feeds back into detailed individual-tree formulations are demonstrated. The presentation intends to be accessible to non-specialists. Study implications: Introducing plasticity improves the representation of physio-ecological processes in spatial modelling. Plasticity explains in part the practical success of distance-independent models. The nature of size distributions and their relationship to individual-tree and whole-stand models are discussed. I point out limitations of various approaches and questions for future research.


title: Composition series of arbitrary cardinality in modular lattices and abelian categories

abstract: For a certain family of complete modular lattices, we prove a Jordan--H\"older--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as well as the lattices of subobjects of any object in an abelian category satisfying properties related to Grothendieck's axioms (AB5) and (AB5*). We then give several examples of objects in abelian categories which satisfy these axioms, including pointwise finite-dimensional persistence modules, presheaves, and certain Pr\"ufer modules. Moreover, we show that, over an arbitrary ring, the infinite product of isomorphic simple modules both fails to satisfy our axioms and admits at least two composition series with distinct cardinalities. We conclude by giving a lattice-theoretic proof that any object which is locally finitely generated and satisfies our axioms can be expressed as a direct sum of indecomposable subobjects. We conjecture that this decomposition is unique.


title: Decoupling and integrability of nonassociative vacuum phase space gravitational equations with star and R-flux parametric deformations

abstract: We prove that nonassociative star deformed vacuum Einstein equations can be decoupled and integrated in certain general forms on phase spaces involving real R-flux terms induced as parametric corrections on base Lorentz manifold spacetimes. The geometric constructions are elaborated with parametric (on respective Planck, $\hbar $, and string, $\kappa :=\mathit{\ell }_{s}^{3}/6\hbar $, constants) and nonholonomic dyadic decompositions of fundamental geometric and physical objects. This is our second partner work on elaborating nonassociative geometric and gravity theories with symmetric and nonsymmetric metrics, (non) linear connections, star deformations defined by generalized Moyal-Weyl products, endowed with quasi-Hopf algebra, or other type algebraic and geometric structures, and all adapted to nonholonomic distributions and frames. We construct exact and parametric solutions for nonassociative vacuum configurations (with nontrivial or effective cosmological constants) defined by star deformed generic off-diagonal (non) symmetric metrics and (generalized) nonlinear and linear connections. The coefficients of geometric objects defining such solutions are determined by respective classes of generating and integration functions and constants and may depend on all phase space coordinates [spacetime ones, $(x^{i},t)$; and momentum like variables, $(p_{a},E$)]. Quasi-stationary configurations are stated by solutions with spacetime Killing symmetry on a time like vector $\partial _{t}$ but with possible dependencies on momentum like coordinates on star deformed phase spaces.


title: Maximizing Extractable Value from Automated Market Makers

abstract: Automated Market Makers (AMMs) are decentralized applications that allow users to exchange crypto-tokens without the need for a matching exchange order. AMMs are one of the most successful DeFi use cases: indeed, major AMM platforms process a daily volume of transactions worth USD billions. Despite their popularity, AMMs are well-known to suffer from transaction-ordering issues: adversaries can influence the ordering of user transactions, and possibly front-run them with their own, to extract value from AMMs, to the detriment of users. We devise an effective procedure to construct a strategy through which an adversary can maximize the value extracted from user transactions.


title: Short-term Maintenance Planning of Autonomous Trucks for Minimizing Economic Risk

abstract: New autonomous driving technologies are emerging every day and some of them have been commercially applied in the real world. While benefiting from these technologies, autonomous trucks are facing new challenges in short-term maintenance planning, which directly influences the truck operator's profit. In this paper, we implement a vehicle health management system by addressing the maintenance planning issues of autonomous trucks on a transport mission. We also present a maintenance planning model using a risk-based decision-making method, which identifies the maintenance decision with minimal economic risk of the truck company. Both availability losses and maintenance costs are considered when evaluating the economic risk. We demonstrate the proposed model by numerical experiments illustrating real-world scenarios. In the experiments, compared to three baseline methods, the expected economic risk of the proposed method is reduced by up to $47\%$. We also conduct sensitivity analyses of different model parameters. The analyses show that the economic risk significantly decreases when the estimation accuracy of remaining useful life, the maximal allowed time of delivery delay before order cancellation, or the number of workshops increases. The experiment results contribute to identifying future research and development attentions of autonomous trucks from an economic perspective.


title: Symmetry-preserving enforcement of low-dissipation method based on boundary variation diminishing principle

abstract: A class of high-order shock-capturing schemes, P$_n$T$_m$-BVD (Deng et al., J. Comp. Phys., 386:323-349, 2019; Comput. & Fluids, 200:104433, 2020.) schemes, have been devised to solve the Euler equations with substantially reduced numerical dissipation, which enable high-resolution simulations to resolve flow structures of wider range scales. In such simulations with low dissipation, errors of round-off level might grow and contaminate the numerical solutions. A typical example of such problems is the loss of symmetry in the numerical solutions for physical problems of symmetric configurations even if the schemes are mathematically in line with the symmetry rules. In this study, the mechanisms of symmetry-breaking in a finite volume framework with the P$_4$T$_2$-BVD reconstruction scheme are thoroughly examined. Particular attention has been paid to remove the possible causes due to the lack of associativity in floating-point arithmetic which is associated with round-off errors. Modifications and new techniques are proposed to completely remove the possible causes for symmetry breaking in different components of the P$_4$T$_2$-BVD finite volume solver. Benchmark tests that have symmetric solution structures are used to verify the proposed methods. The numerical results demonstrate the perfect symmetric solution structures.


title: Remarks on criticality and crisis in pure exchange economies

abstract: In the framework of the theory of Equilibrium Manifold of a Pure Exchange Economy, introduced by Balasko, we give a rigorous definition of a crisis transition and establish some infinitesimal criteria which distinguish unavoidable crises from other critical equilibria. Our approach builds on the relationship between the mathematical notions of branching, envelopes, and the intrinsic derivative.


title: Averaging Principle for Backward Stochastic Differential Equations driven both standard and fractional Brownian motions

abstract: Stochastic averaging for a class of backward stochastic differential equations driven by both standard and fractional Brownian motions (SFrBSDEs in short), is investigated. An averaged SFrBSDEs for the original SFrBSDEs is proposed, and their solutions are quantitatively compared. Under some appropriate assumptions, the solutions to original systems can be approximated by the solutions to averaged stochastic systems in the sense of mean square and also in probability.


title: Cliques in geometric inhomogeneous random graph

abstract: Many real-world networks were found to be highly clustered, and contain a large amount of small cliques. We here investigate the number of cliques of any size k contained in a geometric inhomogeneous random graph: a scale-free network model containing geometry. The interplay between scale-freeness and geometry ensures that connections are likely to form between either high-degree vertices, or between close by vertices. At the same time it is rare for a vertex to have a high degree, and most vertices are not close to one another. This trade-off makes cliques more likely to appear between specific vertices. In this paper, we formalize this trade-off and prove that there exists a typical type of clique in terms of the degrees and the positions of the vertices that span the clique. Moreover, we show that the asymptotic number of cliques as well as the typical clique type undergoes a phase transition, in which only k and the degree-exponent tau are involved. Interestingly, this phase transition shows that for small values of tau, the underlying geometry of the model is irrelevant: the number of cliques scales the same as in a non-geometric network


title: Black holes with topological charges in Chern-Simons AdS$_5$ supergravity

abstract: We study static black hole solutions with locally spherical horizons coupled to non-Abelian field in $\mathcal{N}=4$ Chern-Simons AdS$_5$ supergravity. They are governed by three parameters associated to the mass, axial torsion and amplitude of the internal soliton, and two ones to the gravitational hair. They describe geometries that can be a global AdS space, naked singularity or a (non-)extremal black hole. We analyze physical properties of two inequivalent asymptotically AdS solutions when the spatial section at radial infinity is either a 3-sphere or a projective 3-space. An important feature of these 3-parametric solutions is that they possess a topological structure including two $SU(2)$ solitons that wind nontrivially around the black hole horizon, as characterized by the Pontryagin index. In the extremal black hole limit, the solitons' strengths match and a soliton-antisoliton system unwinds. That limit admits both non-BPS and BPS configurations. For the latter, the pure gauge and non-pure gauge solutions preserve $1/2$ and $1/16$ of the original supersymmetries, respectively. In a general case, we compute conserved charges in Hamiltonian formalism, finding many similarities with standard supergravity black holes.


title: Optimal laser focusing for positron production in laser-electron scattering

abstract: Laser-electron beam collisions that aim to generate electron-positron pairs require laser intensities $I \gtrsim 10^{21} ~\textrm{W/cm}^2$, which can be obtained by focusing a 1-PW optical laser to a spot smaller than 10 $~\mu$m. Spatial synchronization is a challenge, because of the Poynting instability that can be a concern both for the interacting electron beam (if laser-generated) and the scattering laser. One strategy to overcome this problem is to use an electron beam coming from an accelerator (e.g. the planned E-320 experiment at FACET-II). Even using a stable accelerator beam, the plane wave approximation is too simplistic to describe the laser-electron scattering. This work extends analytical scaling laws for pair production, previously derived for the case of a plane wave and a short electron beam. We consider a focused laser beam colliding with electron beams of different shapes and sizes. The results take the spatial and temporal synchronization of the interaction into account, can be extended to arbitrary beam shapes, and prescribe the optimization strategies for near-future experiments.


title: Chu representations of categories related to constructive mathematics

abstract: If C is a closed symmetric monoidal category, the Chu category Chu(C, g) over C and an object g of it was defined by Chu, as a *-autonomous category generated from C. Bishop introduced the category of complemented subsets of a set, in order to overcome the problems generated by the use of negation in constructive measure theory. Shulman mentions that Bishop's complemented subsets correspond roughly to the Chu construction. In this paper we explain this correspondence by showing that there is a Chu representation (a full embedding) of the category of complemented subsets of a set X into Chu(Set, X x X). A Chu representation of the category of Bishop spaces into Chu(Set, R) is shown, as the constructive analogue to the standard Chu representation of the category of topological spaces into Chu(Set, 2). In order to represent the category of predicates (with objects pairs (X, A), where A is a subset of X, and the category of complemented predicates (with objects pairs (X, A), where A is a complemented subset of X, we generalise the Chu construction by defining the Chu category over a cartesian closed category C and an endofunctor on C. Finally, we introduce the antiparallel Grothendieck construction over a product category and a contra-variant Set-valued functor on it of which the Chu construction is a special case, in case C is a locally small, cartesian closed category.


title: The Brinkman viscosity for porous media exposed to a free flow

abstract: The Brinkman equation has found great popularity in modelling the interfacial flow between free fluid and a porous medium. However, it is still unclear how to determine an appropriate effective Brinkman viscosity without resolving the flow at the pore scale. Here, we propose to determine the Brinkman viscosity for rough porous media from the interface slip length and the interior permeability. Both slip and permeability can be determined from unit-cell analysis, thus enabling an a priori estimate of the effective viscosity. By comparing the velocity distribution in the porous material predicted from the Brinkman equation with that obtained from pore-scale resolved simulations, we show that modelling errors are $\sim 10\%$ and not larger than $40\%$. We highlight the physical origins of the obtained errors and demonstrate that the Brinkman model can be much more accurate for irregular porous structures.


title: Component Stability in Low-Space Massively Parallel Computation

abstract: We study the power and limitations of component-stable algorithms in the low-space model of Massively Parallel Computation (MPC). Recently Ghaffari, Kuhn and Uitto (FOCS 2019) introduced the class of component-stable low-space MPC algorithms, which are, informally, defined as algorithms for which the outputs reported by the nodes in different connected components are required to be independent. This very natural notion was introduced to capture most (if not all) of the known efficient MPC algorithms to date, and it was the first general class of MPC algorithms for which one can show non-trivial conditional lower bounds. In this paper we enhance the framework of component-stable algorithms and investigate its effect on the complexity of randomized and deterministic low-space MPC. Our key contributions include: 1) We revise and formalize the lifting approach of Ghaffari, Kuhn and Uitto. This requires a very delicate amendment of the notion of component stability, which allows us to fill in gaps in the earlier arguments. 2) We also extend the framework to obtain conditional lower bounds for deterministic algorithms and fine-grained lower bounds that depend on the maximum degree $\Delta$. 3) We demonstrate a collection of natural graph problems for which non-component-stable algorithms break the conditional lower bound obtained for component-stable algorithms. This implies that, for both deterministic and randomized algorithms, component-stable algorithms are conditionally weaker than the non-component-stable ones. Altogether our results imply that component-stability might limit the computational power of the low-space MPC model, at least in certain contexts, paving the way for improved upper bounds that escape the conditional lower bound setting of Ghaffari, Kuhn, and Uitto.


title: Transient Optoplasmonic Detection of Single Proteins with Sub-Microsecond Resolution

abstract: Optoplasmonic methods capable of single protein detection so far rely on analyte immobilization in order to facilitate detection [1-6]. These detection schemes, even if they facilitate transient single-molecule detection [7,8] via consequent formation and cleavage of chemical bonds, typically exhibit time resolutions on the order of milliseconds. The need for analyte immobilisation is a direct consequence of the minuscule dimensions of plasmonic near fields typically providing sub-attolitre-sized detection volumes which in turn demand sub-microsecond temporal resolution for the direct detection of proteins in motion. Here we show that such temporal resolution can indeed be achieved. We demonstrate the observation of single proteins as small as Hemoglobin (molecular weight: 64 kDa) as they traverse plasmonic near fields of gold nanorods and interact with their surface, all while maintaining signal-to-noise ratios larger than 5 and an unprecedented temporal resolution well below microseconds. This method enables the label-free observation of single-molecule dynamics on previously unaccessible timescales.


title: Quantum solvability of quadratic Li'enard type nonlinear oscillators possessing maximal Lie point symmetries: An implication of arbitrariness of ordering parameters

abstract: In this paper, we investigate the quantum dynamics of underlying two one-dimensional quadratic Li'enard type nonlinear oscillators which are classified under the category of maximal (eight parameter) Lie point symmetry group (J. Math. Phys.54 , 053506 (2013)). Classically, both the systems were also shown to be linearizable as well as isochronic. In this work, we study the quantum dynamics of the nonlinear oscillators by considering a general ordered position dependent mass Hamiltonian. The ordering parameters of the mass term are treated to be arbitrary to start with. We observe that the quantum version of these nonlinear oscillators are exactly solvable provided that the ordering parameters of the mass term are subjected to certain constraints imposed on the arbitrariness of the ordering parameters. We obtain the eigenvalues and eigenfunctions associated with both the systems. We also consider briefly the quantum versions of other examples of quadratic Li'enard oscillators which are classically linearizable.


title: Learning High-Precision Bounding Box for Rotated Object Detection via Kullback-Leibler Divergence

abstract: Existing rotated object detectors are mostly inherited from the horizontal detection paradigm, as the latter has evolved into a well-developed area. However, these detectors are difficult to perform prominently in high-precision detection due to the limitation of current regression loss design, especially for objects with large aspect ratios. Taking the perspective that horizontal detection is a special case for rotated object detection, in this paper, we are motivated to change the design of rotation regression loss from induction paradigm to deduction methodology, in terms of the relation between rotation and horizontal detection. We show that one essential challenge is how to modulate the coupled parameters in the rotation regression loss, as such the estimated parameters can influence to each other during the dynamic joint optimization, in an adaptive and synergetic way. Specifically, we first convert the rotated bounding box into a 2-D Gaussian distribution, and then calculate the Kullback-Leibler Divergence (KLD) between the Gaussian distributions as the regression loss. By analyzing the gradient of each parameter, we show that KLD (and its derivatives) can dynamically adjust the parameter gradients according to the characteristics of the object. It will adjust the importance (gradient weight) of the angle parameter according to the aspect ratio. This mechanism can be vital for high-precision detection as a slight angle error would cause a serious accuracy drop for large aspect ratios objects. More importantly, we have proved that KLD is scale invariant. We further show that the KLD loss can be degenerated into the popular $l_{n}$-norm loss for horizontal detection. Experimental results on seven datasets using different detectors show its consistent superiority, and codes are available at https://github.com/yangxue0827/RotationDetection and https://github.com/open-mmlab/mmrotate.


title: Construction of new solutions to field equations by using one nonseparable solution and one symmetry of the system

abstract: Symmetries of the field equations are used to construct infinitely many nontrivial linearly independent new solutions to different partial differential equations such as the Schroedinger, the diffusion, and the paraxial equations, among many others, including Klein Gordon, Dirac, Maxwell, Rarita Schwinger, linear Einstein field equations and even some especial seed solutions of fully nonlinear general relativity. The construction is done by applying one symmetry operator of the differential system to one nonseparable seed solution of the same system.


title: How does Software Change?

abstract: Software evolves with changes to its codebase over time. Internally, software changes in response to decisions to include some code change into the codebase and discard others. Explaining the mechanism of software evolution, this paper presents a theory of software change. Our theory is grounded in multiple evidence sources (e.g., GitHub documentation and relevant scientific literature) relating to the pull-based development model in GitHub. The resulting theory explains the influence of project-related core concepts (e.g., people and governance) as well as its ecosystem on the decision of software change.


title: Primitive normalisers in quasipolynomial time

abstract: The normaliser problem has as input two subgroups $H$ and $K$ of the symmetric group $S_n$, and asks for a generating set for $N_K(H)$: it is not known to have a subexponential time solution. It is proved in [Roney-Dougal & Siccha, 2020] that if $H$ is primitive then the normaliser problem can be solved in quasipolynomial time. We show that for all subgroups $H$ and $K$ of $S_n$, in quasipolynomial time we can decide whether $N_{S_n}(H)$ is primitive, and if so compute $N_K(H)$. Hence we reduce the question of whether one can solve the normaliser problem in quasipolynomial time to the case where the normaliser is known not to be primitive.


title: Long 48-cm ULE cavities in vertical and horizontal orientations for Sr optical clock

abstract: The development of an optical clock with ultimate accuracy and stability requires lasers with very narrow linewidth. We present two ultrastable laser systems based on 48 cm long Fabry-Perot cavities made of ULE glass in horizontal and vertical configurations operating at 698 nm. Fractional frequency instability of the beat signal between two lasers reaches 1.6e-15 at the averaging time of 1 s. We experimentally characterized the contribution of the different noise sources (power fluctuations, residual amplitude modulation, the Doppler noise, sensitivity to the shock impact) and found that in our case the laser frequency instability to a large extent is determined by an optoelectronic feedback loop. Although the vertical configuration proved to be easier to manufacture and to transport, it turned out that it is much more sensitive to acoustics and horizontal accelerations compared to the horizontal one. Both laser systems were transported over a 60 km distance from the Lebedev Physical Institute to the Russian National Metrology Institute (VNIIFTRI) where they serve as local oscillators for spectroscopy of the clock transition in the recently developed strontium optical clock.


title: The almost periodic gauge transform -- An abstract scheme with applications to Dirac Operators

abstract: One of the main tools used to understand both qualitative and quantitative spectral behaviour of periodic and almost periodic Schr\"odinger operators is the method of gauge transform. In this paper, we extend this method to an abstract setting, thus allowing for greater flexibility in its applications that include, among others, matrix-valued operators. In particular, we obtain asymptotic expansions for the density of states of certain almost periodic systems of elliptic operators, including systems of Dirac type. We also prove that a range of periodic systems including the two-dimensional Dirac operators satisfy the Bethe--Sommerfeld property, that the spectrum contains a semi-axis -- or indeed two semi-axes in the case of operators that are not semi-bounded.


title: The Transition from Generation-Recombination Noise in Bulk Semiconductors to Discrete Switching in Small-Area Semiconductors

abstract: The master-equation approach provides generation-recombination (g-r) noise in bulk semiconductors in terms of parameters of conduction electrons. It is shown that the g-r bulk noise can also be described by the random succession of elementary g-r pulses. This enables g-r bulk noise to be interpreted in terms of the numbers of traps. The transition from g-r bulk noise to discrete switching in small-area semiconductors is found by reducing the number of traps to just one single active trap. The resulting g-r noise spectrum is shown to be equivalent to Machlups noise spectrum. The probability of an overlap of succeeding g-r pulses is calculated. Such an overlap is attributed to the occupation of an empty single trap by an electron transferred from a neighboring trap. Simulating a g-r pulse train we find a large variety of patterns similar to those observed in MOSFETs. Excluding overlapping g-r pulses, the up and down distribution of succeeding g-r pulses is estimated.


title: SimCLS: A Simple Framework for Contrastive Learning of Abstractive Summarization

abstract: In this paper, we present a conceptually simple while empirically powerful framework for abstractive summarization, SimCLS, which can bridge the gap between the learning objective and evaluation metrics resulting from the currently dominated sequence-to-sequence learning framework by formulating text generation as a reference-free evaluation problem (i.e., quality estimation) assisted by contrastive learning. Experimental results show that, with minor modification over existing top-scoring systems, SimCLS can improve the performance of existing top-performing models by a large margin. Particularly, 2.51 absolute improvement against BART and 2.50 over PEGASUS w.r.t ROUGE-1 on the CNN/DailyMail dataset, driving the state-of-the-art performance to a new level. We have open-sourced our codes and results: https://github.com/yixinL7/SimCLS. Results of our proposed models have been deployed into ExplainaBoard platform, which allows researchers to understand our systems in a more fine-grained way.


title: Understanding Quaternions from Modern Algebra and Theoretical Physics

abstract: Quaternions were appeared through Lagrangian formulation of mechanics in Symplectic vector space. Its general form was obtained from the Clifford algebra, and Frobenius' theorem, which says that "the only finite-dimensional real division algebra are the real field ${\bf R}$, the complex field ${\bf C}$ and the algebra ${\bf H}$ of quaternions" was derived. They appear also through Hamilton formulation of mechanics, as elements of rotation groups in the symplectic vector spaces. Quaternions were used in the solution of 4-dimensional Dirac equation in QED, and also in solutions of Yang-Mills equation in QCD as elements of noncommutative geometry. We present how quaternions are formulated in Clifford Algebra, how it is used in explaining rotation group in symplectic vector space and parallel transformation in holonomic dynamics. When a dynamical system has hysteresis, pre-symplectic manifolds and nonholonomic dynamics appear. Quaternions represent rotation of 3-dimensional sphere ${\bf S}^3$. Artin's generalized quaternions and Rohlin-Pontryagin's embedding of quaternions on 4-dimensional manifolds, and Kodaira's embedding of quaternions on ${\bf S}^1\times {\bf S}^3$ manifolds are also discussed.


title: Strong coupling regime and hybrid quasinormal modes of a single plasmonic resonator coupled to a TMDC monolayer

abstract: We present a rigorous photonic mode model to describe the strong coupling between a monolayer of $\rm MoSe_2$ and a single gold nanoparticle. The onset of strong coupling is quantified by computing the three-dimensional hybrid quasinormal modes of the combined structure, allowing one to accurately model light-matter interactions without invoking the usual phenomenological theories of strong coupling. We explore the hybrid quasinormal modes as a function of gap size and temperature and find spectral splittings in the range of around 80-110 meV, with no fitting parameters for the material models. We also show how the hybrid modes exhibit Fano-like resonances and quantify the complex poles of the hybrid modes as well as the Purcell factor resonances from embedded dipole emitters. These effects cannot be described with the usual heuristic normal mode theories.


title: Worst-Case Pointing Performance Analysis for Large Flexible Spacecraft

abstract: This paper presents a tool, PELIB, developed in MATLAB /SIMULINK environment to perform pointing performance analysis based on European pointing standards. PELIB is designed as an extension of the Satellite Dynamics Toolbox (SDT), which derives the Linear Fractional Transformation (LFT) models of flexible space structures. The addition of PELIB will allow the users of SDT to perform pointing performance analysis of real mission scenarios in the same environment used for control synthesis. PELIB offers as well the possibility to take into account uncertainties in the system. This feature represents an enhancement to the current verification tools available in the European space industry community by providing the worst-case pointing budget. The capabilities of PELIB were demonstrated in a case study involving a spacecraft model with two flexible solar arrays. Several error sources, as well as uncertain parameters, were included in this model. The nominal performance has been investigated using PELIB and compared with the current European reference tool. The worst-case performance is also investigated with the new feature of PELIB to obtain the worst-case performance budget


title: Low-Congestion Shortcuts in Constant Diameter Graphs

abstract: Low congestion shortcuts, introduced by Ghaffari and Haeupler (SODA 2016), provide a unified framework for global optimization problems in the congest model of distributed computing. Roughly speaking, for a given graph $G$ and a collection of vertex-disjoint connected subsets $S_1,\ldots, S_\ell \subseteq V(G)$, $(c,d)$ low-congestion shortcuts augment each subgraph $G[S_i]$ with a subgraph $H_i \subseteq G$ such that: (i) each edge appears on at most $c$ subgraphs (congestion bound), and (ii) the diameter of each subgraph $G[S_i] \cup H_i$ is bounded by $d$ (dilation bound). It is desirable to compute shortcuts of small congestion and dilation as these quantities capture the round complexity of many global optimization problems in the congest model. For $n$-vertex graphs with constant diameter $D=O(1)$, Elkin (STOC 2004) presented an (implicit) shortcuts lower bound with $c+d=\widetilde{\Omega}(n^{(D-2)/(2D-2)})$. A nearly matching upper bound, however, was only recently obtained for $D \in \{3,4\}$ by Kitamura et al. (DISC 2019). In this work, we resolve the long-standing complexity gap of shortcuts in constant diameter graphs, originally posed by Lotker et al. (PODC 2001). We present new shortcut constructions which match, up to poly-logarithmic terms, the lower bounds of Das-Sarma et al. As a result, we provide improved and existentially optimal algorithms for several network optimization tasks in constant diameter graphs, including MST, $(1+\epsilon)$-approximate minimum cuts and more.


title: Three-agent Time-constrained Cooperative Pursuit-Evasion

abstract: This paper considers a pursuit-evasion scenario among three agents -- an evader, a pursuer, and a defender. We design cooperative guidance laws for the evader and the defender team to safeguard the evader from an attacking pursuer. Unlike differential games, optimal control formulations, and other heuristic methods, we propose a novel perspective on designing effective nonlinear feedback control laws for the evader-defender team using a time-constrained guidance approach. The evader lures the pursuer on the collision course by offering itself as bait. At the same time, the defender protects the evader from the pursuer by exercising control over the engagement duration. Depending on the nature of the mission, the defender may choose to take an aggressive or defensive stance. Such consideration widens the applicability of the proposed methods in various three-agent motion planning scenarios such as aircraft defense, asset guarding, search and rescue, surveillance, and secure transportation. We use a fixed-time sliding mode control strategy to design the control laws for the evader-defender team and a nonlinear finite-time disturbance observer to estimate the pursuer's maneuver. Finally, we present simulations to demonstrate favorable performance under various engagement geometries, thus vindicating the efficacy of the proposed designs.


title: Denoising and Optical and SAR Image Classifications Based on Feature Extraction and Sparse Representation

abstract: Optical image data have been used by the Remote Sensing workforce to study land use and cover since such data is easily interpretable. Synthetic Aperture Radar (SAR) has the characteristic of obtaining images during all-day, all-weather and provides object information that is different from visible and infrared sensors. However, SAR images have more speckle noise and fewer dimensions. This paper presents a method for denoising, feature extraction and compares classifications of Optical and SAR images. The image was denoised using K-Singular Value Decomposition (K-SVD) algorithm. A method to map the extraordinary goal signatures to be had withinside the SAR or Optical image using support vector machine (SVM) through offering given the enter facts to the supervised classifier. Initially, the Gray Level Histogram (GLH) and Gray Level Co-occurrence Matrix (GLCM) are used for feature extraction. Secondly, the extracted feature vectors from the first step were combined using correlation analysis to reduce the dimensionality of the feature spaces. Thirdly, the Classification of SAR images was done in Sparse Representations Classification (SRC). The above-mentioned classifications techniques were developed and performance parameters are accuracy and Kappa Coefficient calculated using MATLAB 2018a.


title: Reparameterization Dependence and Holographic Complexity of Black Holes

abstract: We refine the calculation of holographic complexity of black holes in the complexity equals action approach by applying the recently introduced criterion that the action of any causal diamond in static vacuum regions must vanish identically. This criterion fixes empty anti-de Sitter (AdS) spacetime as the reference state with vanishing complexity and renders holographic complexity explicitly finite in all the cases we consider. The cases considered here include the Reissner-Nordstr\"om-AdS black hole, the rotating BTZ black hole, the Kerr-AdS black hole, and AdS-Vaidya spacetime. The criterion is equivalent to imposing that the corner contributions vanish. Contrary to earlier results, we find that the generalized Lloyd bound always holds in the Reissner-Nordstr\"om-AdS and BTZ cases.


title: Well Ordered Covers, Simplicial Bouquets, and Subadditivity of Betti Numbers of Square-Free Monomial Ideals

abstract: Well ordered covers of square-free monomial ideals are subsets of the minimal generating set ordered in a certain way that give rise to a Lyubeznik resolution for the ideal, and have guaranteed nonvanishing Betti numbers in certain degrees. This paper is about square-free monomial ideals which have a well ordered cover. We consider the question of subadditivity of syzygies of square-free monomial ideals via complements in the lcm lattice of the ideal, and examine how lattice complementation breaks well ordered covers of the ideal into (well ordered) covers of subideals. We also introduce a family of well ordered covers called strongly disjoint sets of simplicial bouquets (generalizing work of Kimura on graphs), which are relatively easy to identify in simplicial complexes. We examine the subadditivity property via numerical characteristics of these bouquets.


title: Adversarially Adaptive Normalization for Single Domain Generalization

abstract: Single domain generalization aims to learn a model that performs well on many unseen domains with only one domain data for training. Existing works focus on studying the adversarial domain augmentation (ADA) to improve the model's generalization capability. The impact on domain generalization of the statistics of normalization layers is still underinvestigated. In this paper, we propose a generic normalization approach, adaptive standardization and rescaling normalization (ASR-Norm), to complement the missing part in previous works. ASR-Norm learns both the standardization and rescaling statistics via neural networks. This new form of normalization can be viewed as a generic form of the traditional normalizations. When trained with ADA, the statistics in ASR-Norm are learned to be adaptive to the data coming from different domains, and hence improves the model generalization performance across domains, especially on the target domain with large discrepancy from the source domain. The experimental results show that ASR-Norm can bring consistent improvement to the state-of-the-art ADA approaches by 1.6%, 2.7%, and 6.3% averagely on the Digits, CIFAR-10-C, and PACS benchmarks, respectively. As a generic tool, the improvement introduced by ASR-Norm is agnostic to the choice of ADA methods.


title: Salp Swarm Optimization: a Critical Review

abstract: In the crowded environment of bio-inspired population-based metaheuristics, the Salp Swarm Optimization (SSO) algorithm recently appeared and immediately gained a lot of momentum. Inspired by the peculiar spatial arrangement of salp colonies, which are displaced in long chains following a leader, this algorithm seems to provide an interesting optimization performance. However, the original work was characterized by some conceptual and mathematical flaws, which influenced all ensuing papers on the subject. In this manuscript, we perform a critical review of SSO, highlighting all the issues present in the literature and their negative effects on the optimization process carried out by this algorithm. We also propose a mathematically correct version of SSO, named Amended Salp Swarm Optimizer (ASSO) that fixes all the discussed problems. We benchmarked the performance of ASSO on a set of tailored experiments, showing that it is able to achieve better results than the original SSO. Finally, we performed an extensive study aimed at understanding whether SSO and its variants provide advantages compared to other metaheuristics. The experimental results, where SSO cannot outperform simple well-known metaheuristics, suggest that the scientific community can safely abandon SSO.


title: Iterative Empirical Game Solving via Single Policy Best Response

abstract: Policy-Space Response Oracles (PSRO) is a general algorithmic framework for learning policies in multiagent systems by interleaving empirical game analysis with deep reinforcement learning (Deep RL). At each iteration, Deep RL is invoked to train a best response to a mixture of opponent policies. The repeated application of Deep RL poses an expensive computational burden as we look to apply this algorithm to more complex domains. We introduce two variations of PSRO designed to reduce the amount of simulation required during Deep RL training. Both algorithms modify how PSRO adds new policies to the empirical game, based on learned responses to a single opponent policy. The first, Mixed-Oracles, transfers knowledge from previous iterations of Deep RL, requiring training only against the opponent's newest policy. The second, Mixed-Opponents, constructs a pure-strategy opponent by mixing existing strategy's action-value estimates, instead of their policies. Learning against a single policy mitigates variance in state outcomes that is induced by an unobserved distribution of opponents. We empirically demonstrate that these algorithms substantially reduce the amount of simulation during training required by PSRO, while producing equivalent or better solutions to the game.


title: Joint Multi-Channel Dereverberation and Noise Reduction Using a Unified Convolutional Beamformer With Sparse Priors

abstract: Recently, the convolutional weighted power minimization distortionless response (WPD) beamformer was proposed, which unifies multi-channel weighted prediction error dereverberation and minimum power distortionless response beamforming. To optimize the convolutional filter, the desired speech component is modeled with a time-varying Gaussian model, which promotes the sparsity of the desired speech component in the short-time Fourier transform domain compared to the noisy microphone signals. In this paper we generalize the convolutional WPD beamformer by using an lp-norm cost function, introducing an adjustable shape parameter which enables to control the sparsity of the desired speech component. Experiments based on the REVERB challenge dataset show that the proposed method outperforms the conventional convolutional WPD beamformer in terms of objective speech quality metrics.


title: Yet another approach to the inverse square law and to the circular character of the hodograph of Kepler orbits

abstract: The law of centripetal force governing the motion of celestial bodies in eccentric conic sections, has been established and thoroughly investigated by Sir Isaac Newton in his Principia Mathematica. Yet its profound implications on the understanding of such motions is still evolving. In a paper to the royal academy of science, Sir Willian Hamilton demonstrated that this law underlies the circular character of hodographs for Kepler orbits. A fact which was the object of ulterior research and exploration by Richard Feynman and many other authors [1]. In effect, a minute examination of the geometry of elliptic trajectories, reveals interesting geometric properties and relations, altogether, combined with the law of conservation of angular momentum lead eventually, and without any recourse to dealing with differential equations, to the appearance of the equation of the trajectory and to the derivation of the equation of its corresponding hodograph. On this respect, and for the sake of founding the approach on solid basis, I devised two mathematical theorems; one concerning the existence of geometric means, and the other is related to establishing the parametric equation of an off-center circle, altogether compounded with other simple arguments ultimately give rise to the inverse square law of force that governs the motion of bodies in elliptic trajectories, as well as to the equation of their inherent circular hodographs.


title: Representing Syntax and Composition with Geometric Transformations

abstract: The exploitation of syntactic graphs (SyGs) as a word's context has been shown to be beneficial for distributional semantic models (DSMs), both at the level of individual word representations and in deriving phrasal representations via composition. However, notwithstanding the potential performance benefit, the syntactically-aware DSMs proposed to date have huge numbers of parameters (compared to conventional DSMs) and suffer from data sparsity. Furthermore, the encoding of the SyG links (i.e., the syntactic relations) has been largely limited to linear maps. The knowledge graphs' literature, on the other hand, has proposed light-weight models employing different geometric transformations (GTs) to encode edges in a knowledge graph (KG). Our work explores the possibility of adopting this family of models to encode SyGs. Furthermore, we investigate which GT better encodes syntactic relations, so that these representations can be used to enhance phrase-level composition via syntactic contextualisation.


title: Oxygen out-diffusion in REBCO coated conductor due to heating

abstract: Rare earth barium copper oxide (REBCO) coated conductor has emerged as one of the high Tc superconductors suitable for future ultrahigh field superconducting magnet applications. In the design and fabrication of such ultrahigh field REBCO magnets, it is essential to understand the behavior of REBCO coated conductor. The effect of heating on the properties of commercial REBCO coated conductors is very important for many practical reasons. Nevertheless, a comprehensive study on this effect have not yet been presented in the published literature. This work studies a commercial REBCO coated conductor heat-treated at temperatures between 175 {\deg}C and 300 {\deg}C for various durations. Critical current and lap joint resistivity were measured at 77 K and 4.2 K for the heat-treated samples. We found that critical current degrades with heat treatment time and temperature. This degradation can be described by a one-dimensional oxygen out-diffusion model with a diffusion coefficient of D = 2.5 x 10-6 exp (-1.17 eV/kT) m2/s. The heat treatment also causes appreciable increase in joint resistivity. Comprehensive structural and chemical analyses were performed on Cu/Ag/RECBO interfaces by transmission electron microscopy (TEM). Our electron energy loss spectroscopy (EELS) study provided direct evidence of oxygen deficiency in the heat treated REBCO samples. In addition, it is found that the oxygen diffused out of the REBCO layer forms mostly Cu2O at both Ag/REBCO and Cu/Ag interfaces. Cu2O is also observed at grain boundaries of the Ag layer. The oxygen out-diffusion model proposed in this work is used to predict REBCO thermal degradation in several engineering scenarios.


title: Bayesian Inference for Gamma Models

abstract: We use the theory of normal variance-mean mixtures to derive a data augmentation scheme for models that include gamma functions. Our methodology applies to many situations in statistics and machine learning, including Multinomial-Dirichlet distributions, Negative binomial regression, Poisson-Gamma hierarchical models, Extreme value models, to name but a few. All of those models include a gamma function which does not admit a natural conjugate prior distribution providing a significant challenge to inference and prediction. To provide a data augmentation strategy, we construct and develop the theory of the class of Exponential Reciprocal Gamma distributions. This allows scalable EM and MCMC algorithms to be developed. We illustrate our methodology on a number of examples, including gamma shape inference, negative binomial regression and Dirichlet allocation. Finally, we conclude with directions for future research.


title: Robotic Inspection of Underground Utilities for Construction Survey Using a Ground Penetrating Radar

abstract: Ground Penetrating Radar (GPR) is a very useful non-destructive evaluation (NDE) device for locating and mapping underground assets prior to digging and trenching efforts in construction. This paper presents a novel robotic system to automate the GPR data collection process, localize the underground utilities, interpret and reconstruct the underground objects for better visualization allowing regular non-professional users to understand the survey results. This system is composed of three modules: 1) an Omni-directional robotic data collection platform, that carries an RGB-D camera with an Inertial Measurement Unit (IMU) and a GPR antenna to perform automatic GPR data collection, and tag each GPR measurement with visual positioning information at every sampling step; 2) a learning-based migration module to interpret the raw GPR B-scan image into a 2D cross-section model of objects; 3) a 3D reconstruction module, i.e., GPRNet, to generate underground utility model represented as fine 3D point cloud. Comparative studies are performed on synthetic data and field GPR raw data with various incompleteness and noise. Experimental results demonstrate that our proposed method achieves a $30.0\%$ higher GPR imaging accuracy in mean Intersection Over Union (IoU) than the conventional back projection (BP) migration approach and $6.9\%$-$7.2\%$ less loss in Chamfer Distance (CD) than baseline methods regarding point cloud model reconstruction. The GPR-based robotic inspection provides an effective tool for civil engineers to detect and survey underground utilities before construction.


title: You Never Cluster Alone

abstract: Recent advances in self-supervised learning with instance-level contrastive objectives facilitate unsupervised clustering. However, a standalone datum is not perceiving the context of the holistic cluster, and may undergo sub-optimal assignment. In this paper, we extend the mainstream contrastive learning paradigm to a cluster-level scheme, where all the data subjected to the same cluster contribute to a unified representation that encodes the context of each data group. Contrastive learning with this representation then rewards the assignment of each datum. To implement this vision, we propose twin-contrast clustering (TCC). We define a set of categorical variables as clustering assignment confidence, which links the instance-level learning track with the cluster-level one. On one hand, with the corresponding assignment variables being the weight, a weighted aggregation along the data points implements the set representation of a cluster. We further propose heuristic cluster augmentation equivalents to enable cluster-level contrastive learning. On the other hand, we derive the evidence lower-bound of the instance-level contrastive objective with the assignments. By reparametrizing the assignment variables, TCC is trained end-to-end, requiring no alternating steps. Extensive experiments show that TCC outperforms the state-of-the-art on challenging benchmarks.


title: Supercurrent diode effect and finite momentum superconductivity

abstract: When both inversion and time-reversal symmetries are broken, the critical current of a superconductor can be nonreciprocal. In this work we show that in certain classes of two-dimensional superconductors with antisymmetric spin-orbit coupling, Cooper pairs acquire a finite momentum upon the application of an in-plane magnetic field, and as a result, critical currents in the direction parallel and antiparallel to the Cooper pair momentum become unequal. This supercurrent diode effect is also manifested in the polarity-dependence of in-plane critical fields induced by a supercurrent. These nonreciprocal effects may be found in polar SrTiO$_3$ film, few-layer MoTe$_2$ in the $T_d$ phase, and twisted bilayer graphene in which the valley degrees of freedom plays the role analogous to spin.


title: Nonlinear Modulational Dynamics of Spectrally Stable Lugiato-Lefever Periodic Waves

abstract: We consider the nonlinear stability of spectrally stable periodic waves in the Lugiato-Lefever equation (LLE), a damped nonlinear Schr\"odinger equation with forcing that arises in nonlinear optics. So far, nonlinear stability of such solutions has only been established against co-periodic perturbations by exploiting the existence of a spectral gap. In this paper, we consider perturbations which are localized, i.e., integrable on the line. Such localized perturbations naturally yield the absence of a spectral gap, so we must rely on a substantially different method with origins in the stability analysis of periodic waves in reaction-diffusion systems. The relevant linear estimates have been obtained in recent work by the first three authors through a delicate decomposition of the associated linearized solution operator. Since its most critical part just decays diffusively, the nonlinear iteration can only be closed if one allows for a spatio-temporal phase modulation. However, the modulated perturbation satisfies a quasilinear equation yielding an apparent loss of regularity. To overcome this obstacle, we incorporate tame estimates on the unmodulated perturbation, which satisfies a semilinear equation in which no derivatives are lost, yet where decay is too slow to close an independent iteration scheme. We obtain nonlinear stability of periodic steady waves in the LLE against localized perturbations with precisely the same decay rates as predicted by the linear theory.


title: Detection of Dynamical Instability in Titan's Thermospheric Jet

abstract: Similar to Earth, Saturn's largest moon, Titan, possesses a system of high-altitude zonal winds (or jets) that encircle the globe. Using the Atacama Large Millimeter/submillimeter Array (ALMA) in August 2016, Lellouch et al. (2019) discovered an equatorial jet at much higher altitudes than previously known, with a surprisingly fast speed of up to ~340 m/s, but the origin of such high velocities is not yet understood. We obtained spectrally and spatially resolved ALMA observations in May 2017 to map Titan's 3D global wind field and compare our results with a reanalysis of the August 2016 data. Doppler wind velocity maps were derived in the altitude range ~300-1000 km (from the upper stratosphere to the thermosphere). At the highest, thermospheric altitudes, a 47% reduction in the equatorial zonal wind speed was measured over the 9-month period (corresponding to L_s = 82-90 degrees on Titan). This is interpreted as due to a dramatic slowing and loss of confinement (broadening) of the recently-discovered thermospheric equatorial jet, as a result of dynamical instability. These unexpectedly-rapid changes in the upper-atmospheric dynamics are consistent with strong variability of the jet's primary driving mechanism.


title: Total squared mean curvature of immersed submanifolds in a negatively curved space

abstract: Let $n\ge 2$ and $k\ge 1$ be two integers. Let $M$ be an isometrically immersed closed $n$-submanifold of co-dimension $k$ that is homotopic to a point in a complete manifold $N$, where the sectional curvature of $N$ is no more than $\delta<0$. We prove that the total squared mean curvature of $M$ in $N$ and the first non-zero eigenvalue $\lambda_1(M)$ of $M$ satisfies $$\lambda_1(M)\le n\left(\delta +\frac{1}{\operatorname{Vol} M}\int_M |H|^2 \operatorname{dvol}\right).$$ The equality implies that $M$ is minimally immersed in a metric sphere after lifted to the universal cover of $N$. This completely settles an open problem raised by E. Heintze in 1988.


title: Emergent gravity and D-brane adiabatic dynamics: emergent Lorentz connection

abstract: We explore emergent geometry of the spacetime at the microscopic scale by adiabatic transport of a quasi-coherent state of a fermionic string, with quantum spacetime described by the matrix theory (BFSS matrix model). We show that the generator of the Berry phase is the shift vector of the spacetime foliation by spacelike surfaces associated with the quasi-coherent state. The operator-valued generator of the geometric phase of weak adiabatic transport is the Lorentz connection of the emergent geometry which is not torsion free at the microscopic scale. The effects of the torsion seem consistent with the usual interpretation of the Berry curvature as a pseudo magnetic field.


title: A quantitative version of Tao's result on the Toeplitz Square Peg Problem

abstract: Building on a result by Tao, we show that a certain type of simple closed curve in the plane given by the union of the graphs of two $1$-Lipschitz functions inscribes a square whose sidelength is bounded from below by a universal constant times the maximum of the difference of the two functions.


title: Pathology-Aware Generative Adversarial Networks for Medical Image Augmentation

abstract: Convolutional Neural Networks (CNNs) can play a key role in Medical Image Analysis under large-scale annotated datasets. However, preparing such massive dataset is demanding. In this context, Generative Adversarial Networks (GANs) can generate realistic but novel samples, and thus effectively cover the real image distribution. In terms of interpolation, the GAN-based medical image augmentation is reliable because medical modalities can display the human body's strong anatomical consistency at fixed position while clearly reflecting inter-subject variability; thus, we propose to use noise-to-image GANs (e.g., random noise samples to diverse pathological images) for (i) medical Data Augmentation (DA) and (ii) physician training. Regarding the DA, the GAN-generated images can improve Computer-Aided Diagnosis based on supervised learning. For the physician training, the GANs can display novel desired pathological images and help train medical trainees despite infrastructural/legal constraints. This thesis contains four GAN projects aiming to present such novel applications' clinical relevance in collaboration with physicians. Whereas the methods are more generally applicable, this thesis only explores a few oncological applications.


title: Gluon pseudo-distributions at short distances

abstract: We present the results that are necessary in the ongoing lattice calculations of the gluon parton distribution functions (PDFs) within the pseudo-PDF approach. We identify the two-gluon correlator functions that contain the invariant amplitude determining the gluon PDF in the light-cone $z^2 \to 0$ limit, and perform one-loop calculations in the coordinate representation in an explicitly gauge-invariant form. Ultraviolet (UV) terms, which contain $\ln (-z^2)$-dependence cancel in the reduced Ioffe-time distribution (ITD), and we obtain the matching relation between the reduced ITD and the light-cone ITD. Using a kernel form, we get a direct connection between lattice data for the reduced ITD and the normalized gluon PDF.


title: SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

abstract: Deep neural networks (DNNs) are increasingly applied in safety-critical domains, such as self-driving cars, unmanned aircraft, and medical diagnosis. It is of fundamental importance to certify the safety of these DNNs, i.e. that they comply with a formal safety specification. While safety certification tools exactly answer this question, they are of no help in debugging unsafe DNNs, requiring the developer to iteratively verify and modify the DNN until safety is eventually achieved. Hence, a repair technique needs to be developed that can produce a safe DNN automatically. To address this need, we present SpecRepair, a tool that efficiently eliminates counter-examples from a DNN and produces a provably safe DNN without harming its classification accuracy. SpecRepair combines specification-based counter-example search and resumes training of the DNN, penalizing counter-examples and certifying the resulting DNN. We evaluate SpecRepair's effectiveness on the ACAS Xu benchmark, a DNN-based controller for unmanned aircraft, and two image classification benchmarks. The results show that SpecRepair is more successful in producing safe DNNs than comparable methods, has a shorter runtime, and produces safe DNNs while preserving their classification accuracy.


title: Highly Accelerated EPI with Wave Encoding and Multi-shot Simultaneous Multi-Slice Imaging

abstract: We introduce wave encoded acquisition and reconstruction techniques for highly accelerated echo planar imaging (EPI) with reduced g-factor penalty and image artifacts. Wave-EPI involves playing sinusoidal gradients during the EPI readout while employing interslice shifts as in blipped-CAIPI acquisitions. This spreads the aliasing in all spatial directions, thereby taking better advantage of 3D coil sensitivity profiles. The amount of voxel spreading that can be achieved by the wave gradients during the short EPI readout period is constrained by the slew rate of the gradient coils and peripheral nerve stimulation (PNS) monitor. We propose to use a half-cycle sinusoidal gradient to increase the amount of voxel spreading that can be achieved while respecting the slew and stimulation constraints. Extending wave-EPI to multi-shot acquisition minimizes geometric distortion and voxel blurring at high in-plane resolution, while structured low-rank regularization mitigates shot-to-shot phase variations without additional navigators. We propose to use different point spread functions (PSFs) for the k-space lines with positive and negative polarities, which are calibrated with a FLEET-based reference scan and allow for addressing gradient imperfections. Wave-EPI provided whole-brain single-shot gradient echo (GE) and multi-shot spin echo (SE) EPI acquisitions at high acceleration factors and was combined with g-Slider slab encoding to boost the SNR level in 1mm isotropic diffusion imaging. Relative to blipped-CAIPI, wave-EPI reduced average and maximum g-factors by up to 1.21- and 1.37-fold, respectively. In conclusion, wave-EPI allows highly accelerated single- and multi-shot EPI with reduced g-factor and artifacts and may facilitate clinical and neuroscientific applications of EPI by improving the spatial and temporal resolution in functional and diffusion imaging.


title: Low Frequency Two Meter Sky Survey Radial Artifacts Identified as BL Quasars

abstract: Through the use of a High Band Antenna system, the Low Frequency Array Two-Meter Sky Survey (LoTSS) is an attempt to complete a high-resolution survey of the northern celestial sky. To date, thousands of radio sources have been classified by LOFAR with most of them consisting of active galactic nuclei (AGN). The strong AGN emissions detected by LoTSS, it is thought, are powered by supermassive black holes (SMBHs) at the center of galaxies. During an analysis of 1500 images of these AGNs, we identified 10 radio sources with radial spokes emitted from an unknown source. According to LOFAR, the radial spokes are artifacts due to calibration errors with no origin, and therefore they cannot be associated with an optical source. Our preliminary hypothesis for the artifacts was that they were produced by ionized jets emitted from quasi-stellar objects (QSOs). Specifically, that strong emissions from Type 1 broadline (BL) quasars were directed in the line of sight of the observer (i.e., LOFAR) and as a result produced the image artifacts. To test our hypotheses, we cross-referenced the ra and dec coordinates of the artifacts with the galactic coordinates indexed in the Sloan Digital Sky Survey (SDSS) and confirmed that the artifacts were associated with BL QSOs. Further analysis of the QSOs, moreover, demonstrated they exhibited prominent broad emission lines such as CIII and MgII, which are characteristic of Type 1 BL quasars. It is our interpretation, therefore, that the radial spokes characterized as artifacts by LOFAR were produced by the emission of Type 1 BL quasars in the line of sight of the radio telescope.


title: Convolutional Neural Network(CNN/ConvNet) in Stock Price Movement Prediction

abstract: With technological advancements and the exponential growth of data, we have been unfolding different capabilities of neural networks in different sectors. In this paper, I have tried to use a specific type of Neural Network known as Convolutional Neural Network(CNN/ConvNet) in the stock market. In other words, I have tried to construct and train a convolutional neural network on past stock prices data and then tried to predict the movement of stock price i.e. whether the stock price would rise or fall, in the coming time.


title: Sample Selection Bias in Evaluation of Prediction Performance of Causal Models

abstract: Causal models are notoriously difficult to validate because they make untestable assumptions regarding confounding. New scientific experiments offer the possibility of evaluating causal models using prediction performance. Prediction performance measures are typically robust to violations in causal assumptions. However, prediction performance does depend on the selection of training and test sets. Biased training sets can lead to optimistic assessments of model performance. In this work, we revisit the prediction performance of several recently proposed causal models tested on a genetic perturbation data set of Kemmeren. We find that sample selection bias is likely a key driver of model performance. We propose using a less-biased evaluation set for assessing prediction performance and compare models on this new set. In this setting, the causal models have similar or worse performance compared to standard association-based estimators such as Lasso. Finally, we compare the performance of causal estimators in simulation studies that reproduce the Kemmeren structure of genetic knockout experiments but without any sample selection bias. These results provide an improved understanding of the performance of several causal models and offer guidance on how future studies should use Kemmeren.


title: Two-photon scattering in mixed cavity optomechanics

abstract: We study two-photon scattering in a mixed cavity optomechanical system, which is composed of a single-mode cavity field coupled to a single-mode mechanical oscillation via both the first-order and quadratic optomechanical interactions. By solving the scattering problem within the Wigner-Weisskopf framework, we obtain the analytical scattering state and find four physical processes associated with the two-photon scattering in this system. We calculate the two-photon scattering spectrum and find that two-photon frequency anticorrelation can be induced in the scattering process. We also establish the relationship between the parameters of the mixed cavity optomechanical system and the characteristics of the two-photon scattering spectrum. This work not only provides a scattering means to create correlated photon pairs, but also presents a spectrometric method to characterize the optomechanical systems.


title: Conformal Portal to Dark Matter

abstract: We propose a new portal coupling to dark matter by taking advantage of the nonminimally coupled portal sector to the Ricci scalar. Such a portal sector conformally induces couplings to the trace of the energy-momentum tensor of matters including highly secluded dark matter particles. The portal coupling is so feeble that dark matter is produced by freeze-in processes of scatterings and/or the decay of the mediator. We consider two concrete realizations of the portal: conformally induced Higgs portal and conformally induced mediator portal. The former case is compatible with the Higgs inflation, while the latter case can be tested by dark matter direct detection experiments.


title: Highly Efficient Ultrathin Light Emitting Diodes based on Perovskite Nanocrystals

abstract: Light-emitting diodes based on perovskite nanocrystals (PNCs-LEDs) have gained great interest for next-generation display and lighting technologies prized for their color purity, high brightness and luminous efficiency approaching the intrinsic limit imposed by extraction of electroluminescence from the device structure. Although the time is ripe for the development of effective light outcoupling strategies to further boost the device performance, this technologically relevant aspect of PNC-LEDs is still without a definitive solution. Here, following theoretical guidelines and without the integration of complex photonic structures, we realize stable PNC-LEDs with EQE as high as 29.2% (average EQE=24.7%), which substantially break the outcoupling limit of common PNC-LEDs and systematically surpass any previous perovskite-based device. Key to such unprecedented performance is channeling the recombination zone in PNC emissive layers as thin as 10 nm, which we achieve by finely balancing the electron and hole transport using CsPbBr3 PNCs resurfaced with a nickel oxide layer. The ultra-thin approach general and, in principle, applicable to other perovskite nanostructures for fabricating highly efficient, color tunable transparent LEDs ideal for unobtrusive screens and displays and is compatible with the integration of photonic components for further enhanced performance.

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


title: GL-GIN: Fast and Accurate Non-Autoregressive Model for Joint Multiple Intent Detection and Slot Filling

abstract: Multi-intent SLU can handle multiple intents in an utterance, which has attracted increasing attention. However, the state-of-the-art joint models heavily rely on autoregressive approaches, resulting in two issues: slow inference speed and information leakage. In this paper, we explore a non-autoregressive model for joint multiple intent detection and slot filling, achieving more fast and accurate. Specifically, we propose a Global-Locally Graph Interaction Network (GL-GIN) where a local slot-aware graph interaction layer is proposed to model slot dependency for alleviating uncoordinated slots problem while a global intent-slot graph interaction layer is introduced to model the interaction between multiple intents and all slots in the utterance. Experimental results on two public datasets show that our framework achieves state-of-the-art performance while being 11.5 times faster.


title: A new framework for polynomial approximation to differential equations

abstract: In this paper we discuss a framework for the polynomial approximation to the solution of initial value problems for differential equations. The framework, initially devised for the approximation of ordinary differential equations, is further extended to cope with constant delay differential equations. Relevant classes of Runge-Kutta methods can be derived within this framework.


title: A Comparison for Anti-noise Robustness of Deep Learning Classification Methods on a Tiny Object Image Dataset: from Convolutional Neural Network to Visual Transformer and Performer

abstract: Image classification has achieved unprecedented advance with the the rapid development of deep learning. However, the classification of tiny object images is still not well investigated. In this paper, we first briefly review the development of Convolutional Neural Network and Visual Transformer in deep learning, and introduce the sources and development of conventional noises and adversarial attacks. Then we use various models of Convolutional Neural Network and Visual Transformer to conduct a series of experiments on the image dataset of tiny objects (sperms and impurities), and compare various evaluation metrics in the experimental results to obtain a model with stable performance. Finally, we discuss the problems in the classification of tiny objects and make a prospect for the classification of tiny objects in the future.


title: The SAMI Galaxy Survey: Trends in [\alpha/Fe] as a Function of Morphology and Environment

abstract: We present a new set of index-based measurements of [$\alpha$/Fe] for a sample of 2093 galaxies in the SAMI Galaxy Survey. Following earlier work, we fit a global relation between [$\alpha$/Fe] and the galaxy velocity dispersion $\sigma$ for red sequence galaxies, [$\alpha$/Fe]=(0.378$\pm$0.009)log($\sigma$/100)+(0.155$\pm$0.003). We observe a correlation between the residuals and the local environmental surface density, whereas no such relation exists for blue cloud galaxies. In the full sample, we find that elliptical galaxies in high-density environments are $\alpha$-enhanced by up to 0.057$\pm$0.014 dex at velocity dispersions $\sigma$<100 km/s, compared with those in low-density environments. This $\alpha$-enhancement is morphology-dependent, with the offset decreasing along the Hubble sequence towards spirals, which have an offset of 0.019$\pm$0.014 dex. At low velocity dispersion and controlling for morphology, we estimate that star formation in high-density environments is truncated $\sim1$ Gyr earlier than in low-density environments. For elliptical galaxies only, we find support for a parabolic relationship between [$\alpha$/Fe] and $\sigma$, with an environmental $\alpha$-enhancement of at least 0.03 dex. This suggests strong contributions from both environment and mass-based quenching mechanisms. However, there is no evidence for this behaviour in later morphological types.


title: Orthogonality of invariant vectors

abstract: Let $G$ be a finite group with given subgroups $H$ and $K$. Let $\pi$ be an irreducible complex representation of $G$ such that its space of $H$-invariant vectors as well as the space of $K$-invariant vectors are both one dimensional. Let $v_H$ (resp. $v_K$) denote an $H$-invariant (resp. $K$-invariant) vector of unit norm in the standard $G$-invariant inner product $\langle ~,~ \rangle_\pi$ on $\pi$. Our interest is in computing the square of the absolute value of $\langle v_H,v_K \rangle_\pi$. This is the correlation constant $c(\pi;H,K)$ defined by Gross. In this paper, we give a sufficient condition for $\langle v_H, v_K \rangle_\pi$ to be zero and a sufficient condition for it to be non-zero (i.e., $H$ and $K$ are correlated with respect to $\pi$), when $G={\rm GL}_2(\mathbb F_q)$, where $\mathbb F_q$ is the finite field of $q=p^f$ elements of odd characteristic $p$, $H$ is its split torus and $K$ is a non-split torus. The key idea in our proof is to analyse the mod $p$ reduction of $\pi$. We give an explicit formula for $|\langle v_H,v_K \rangle_\pi|^2$ modulo $p$. Finally, we study the behaviour of $\langle v_H,v_K \rangle_\pi$ under the Shintani base change and give a sufficient condition for $\langle v_H,v_K \rangle_\pi$ to vanish for an irreducible representation $\pi={\rm BC}(\tau)$ of ${\rm PGL}_2(\mathbb E)$, in terms of the epsilon factor of the base changing representation $\tau$ of ${\rm PGL}_2(\mathbb F)$, where $\mathbb E/\mathbb F$ is a finite extension of finite fields. This is reminiscent of the vanishing of $L(1/2, {\rm BC}(\tau))$, in the theory of automorphic forms, when the global root number of $\tau$ is $-1$.


title: Tropical linear regression and mean payoff games: or, how to measure the distance to equilibria

abstract: We study a tropical linear regression problem consisting in finding the best approximation of a set of points by a tropical hyperplane. We establish a strong duality theorem, showing that the value of this problem coincides with the maximal radius of a Hilbert's ball included in a tropical polyhedron. We also show that this regression problem is polynomial-time equivalent to mean payoff games. We illustrate our results by solving an inverse problem from auction theory. In this setting, a tropical hyperplane represents the set of equilibrium prices. Tropical linear regression allows us to quantify the distance of a market to the set of equilibria, and infer secret preferences of a decision maker.


title: Hybrid Photonic-Plasmonic Cavities based on the Nanoparticle-on-a-Mirror Configuration

abstract: Hybrid photonic-plasmonic cavities have emerged as a new platform to increase light-matter interaction capable to enhance the Purcell factor in a singular way not attainable with either photonic or plasmonic cavities separately. In the hybrid cavities proposed so far, mainly consisting of metallic bow-tie antennas, the plasmonic gap sizes defined by lithography in a repeatable way are limited to minimum values \approx 10 nm. Nanoparticle-on-a-mirror (NPoM) cavities are far superior to achieve the smallest possible mode volumes, as gaps smaller than 1 nm can be created. Here, we design a hybrid cavity that combines a NPoM plasmonic cavity and a dielectric-nanobeam photonic crystal cavity operating at transverse-magnetic (TM) polarization. The metallic nanoparticle can be placed very close (< 1 nm) to the upper surface of the dielectric cavity, which acts as a low-reflectivity mirror. We demonstrate through numerical calculations that this kind of hybrid plasmonic-photonic cavity architecture exhibits quality factors, Q, above 10^{3} and normalized mode volumes, V , down to 10^{\num{-3}}, thus resulting in high Purcell factors (FP \approx 10^5), whilst being experimentally feasible with current technology. Our results suggest that hybrid cavities with sub-nm gaps should open new avenues for boosting light-matter interaction in nanophotonic systems.


title: A biased MC for muon production for beam-dump experiments

abstract: The search for feebly-interacting new-physics particles in the MeV-GeV mass range often involves high-intensity beams dumped into thick heavy targets. The challenge of evaluating the expected backgrounds for these searches from first principles is limited by the CPU time needed to generate the shower induced by the primary beam. We present a Monte Carlo biasing method allowing a three orders of magnitude increase in the efficiency for the simulation of the muon production in a 400 GeV$/c$ proton beam-dump setup. At the same time, this biasing method is maintaining nearly every feature of a simulation from first principles.


title: An Improved Model for Voicing Silent Speech

abstract: In this paper, we present an improved model for voicing silent speech, where audio is synthesized from facial electromyography (EMG) signals. To give our model greater flexibility to learn its own input features, we directly use EMG signals as input in the place of hand-designed features used by prior work. Our model uses convolutional layers to extract features from the signals and Transformer layers to propagate information across longer distances. To provide better signal for learning, we also introduce an auxiliary task of predicting phoneme labels in addition to predicting speech audio features. On an open vocabulary intelligibility evaluation, our model improves the state of the art for this task by an absolute 25.8%.


title: Enhancing the effective critical current density in a Nb superconducting thin film by cooling in an inhomogeneous magnetic field

abstract: Quantitative magneto-optical imaging of a type-II superconductor thin film cooled under zero, homogeneous, and inhomogeneous applied magnetic fields, indicates that the latter procedure leads to an enhancement of the screening capacity. Such an observation is corroborated by both B-independent and B-dependent critical state model analyses. Furthermore, repulsive (attractive) vortex-(anti)vortex interactions were found to have a decisive role in the shielding ability, with initial states prepared with vortices resulting in a shorter magnetic flux front penetration depth than those prepared with antivortices. The proposed strategy could be implemented to boost the performance of thin superconducting devices.


title: Neutral dissociation of methane by electron impact and a complete and consistent cross section set

abstract: We present cross sections for the neutral dissociation of methane, in a large part obtained through analytical approximations. With these cross sections the work of Song $\textit{et al.}$ [J. Phys. Chem. Ref. Data, $\textbf{44}$, 023101, (2015)] can be extended which results in a complete and consistent set of cross sections for the collision of electrons with up to 100 eV energy with methane molecules. Notably, the resulting cross section set does not require any data fitting to produce bulk swarm parameters that match with experiments. Therefore consistency can be considered an inherent trait of the set, since swarm parameters are used exclusively for validation of the cross sections. Neutral dissociation of methane is essential to include (1) because it is a crucial electron energy sink in methane plasma, and (2) because it largely contributes to the production of hydrogen radicals that can be vital for plasma-chemical processes. Finally, we compare the production rates of hydrogen species for a swarm-fitted data set with ours. The two consistent cross section sets predict different production rates, with differences of $45\%$ (at $100$ Td) and $125\%$ (at $50$ Td) for production of H$_2$ and a similar trend for production of H. With this comparison we underline that the swarm-fitting procedure, used to ensure consistency of the electron swarm parameters, can possibly deteriorate the accuracy with which chemical production rates are estimated. This is of particular importance for applications with an emphasis on plasma-chemical activation of the gas.


title: Entropic measure unveils country competitiveness and product specialization in the World trade web

abstract: We show how the Shannon entropy function can be used as a basis to set up complexity measures weighting the economic efficiency of countries and the specialization of products beyond bare diversification. This entropy function guarantees the existence of a fixed point which is rapidly reached by an iterative scheme converging to our self-consistent measures. Our approach naturally allows to decompose into inter-sectorial and intra-sectorial contributions the country competitivity measure if products are partitioned into larger categories. Besides outlining the technical features and advantages of the method, we describe a wide range of results arising from the analysis of the obtained rankings and we benchmark these observations against those established with other economical parameters. These comparisons allow to partition countries and products into various main typologies, with well-revealed characterizing features. Our methods have wide applicability to general problems of ranking in bipartite networks.


title: On a partition with a lower expected $\mathcal{L}_2$-discrepancy than classical jittered sampling

abstract: We prove that classical jittered sampling of the $d$-dimensional unit cube does not yield the smallest expected $\mathcal{L}_2$-discrepancy among all stratified samples with $N=m^d$ points. Our counterexample can be given explicitly and consists of convex partitioning sets of equal volume.


title: Three-dimensional phase field model for actin-based cell membrane dynamics

abstract: The interface dynamics of a 3D cell immersed in a 3D extracellular matrix is investigated. We suggest a 3D generalization of a known 2D minimal phase field model suggested in [1] for the description of keratocyte motility. Our model consists of two coupled evolution equations for the order parameter and a three-dimensional vector field describing the actin network polarization (orientation). We derive a closed evolutionary integro-differential equation governing the interface dynamics of a 3D cell. The equation includes the normal velocity of the membrane, its curvature, cell volume relaxation, and a parameter that is determined by the non-equilibrium effects in the cytoskeleton. This equation can be considered as a 3D generalization of the 2D case that was derived in [2].


title: Causal Effect Inference for Structured Treatments

abstract: We address the estimation of conditional average treatment effects (CATEs) for structured treatments (e.g., graphs, images, texts). Given a weak condition on the effect, we propose the generalized Robinson decomposition, which (i) isolates the causal estimand (reducing regularization bias), (ii) allows one to plug in arbitrary models for learning, and (iii) possesses a quasi-oracle convergence guarantee under mild assumptions. In experiments with small-world and molecular graphs we demonstrate that our approach outperforms prior work in CATE estimation.


title: THEMIS: A Decentralized Privacy-Preserving Ad Platform with Reporting Integrity

abstract: Online advertising fuels the (seemingly) free internet. However, although users can access most of the web services free of charge, they pay a heavy coston their privacy. They are forced to trust third parties and intermediaries, who not only collect behavioral data but also absorb great amounts of ad revenues. Consequently, more and more users opt out from advertising by resorting to ad blockers, thus costing publishers millions of dollars in lost ad revenues. Albeit there are various privacy-preserving advertising proposals (e.g.,Adnostic, Privad, Brave Ads) from both academia and industry, they all rely on centralized management that users have to blindly trust without being able to audit, while they also fail to guarantee the integrity of the per-formance analytics they provide to advertisers. In this paper, we design and deploy THEMIS, a novel, decentralized and privacy-by-design ad platform that requires zero trust by users. THEMIS (i) provides auditability to its participants, (ii) rewards users for viewing ads, and (iii) allows advertisers to verify the performance and billing reports of their ad campaigns. By leveraging smart contracts and zero-knowledge schemes, we implement a prototype of THEMIS and early performance evaluation results show that it can scale linearly on a multi sidechain setup while it supports more than 51M users on a single-sidechain.


title: Optimizing Rankings for Recommendation in Matching Markets

abstract: Based on the success of recommender systems in e-commerce, there is growing interest in their use in matching markets (e.g., labor). While this holds potential for improving market fluidity and fairness, we show in this paper that naively applying existing recommender systems to matching markets is sub-optimal. Considering the standard process where candidates apply and then get evaluated by employers, we present a new recommendation framework to model this interaction mechanism and propose efficient algorithms for computing personalized rankings in this setting. We show that the optimal rankings need to not only account for the potentially divergent preferences of candidates and employers, but they also need to account for capacity constraints. This makes conventional ranking systems that merely rank by some local score (e.g., one-sided or reciprocal relevance) highly sub-optimal -- not only for an individual user, but also for societal goals (e.g., low unemployment). To address this shortcoming, we propose the first method for jointly optimizing the rankings for all candidates in the market to explicitly maximize social welfare. In addition to the theoretical derivation, we evaluate the method both on simulated environments and on data from a real-world networking-recommendation system that we built and fielded at a large computer science conference.


title: A real-time Automated Glitch Detection Pipeline at Ooty Radio Telescope

abstract: Glitches are the observational manifestations of superfluidity inside neutron stars. The aim of this paper is to describe an automated glitch detection pipeline, which can alert the observers on possible real-time detection of rotational glitches in pulsars. Post alert, the pulsars can be monitored at a higher cadence to measure the post-glitch recovery phase. Two algorithms namely, Median Absolute Deviation (MAD) and polynomial regression have been explored to detect glitches in real time. The pipeline has been optimized with the help of simulated timing residuals for both the algorithms. Based on the simulations, we conclude that the polynomial regression algorithm is significantly more effective for real time glitch detection. The pipeline has been tested on a few published glitches. This pipeline is presently implemented at the Ooty Radio Telescope. In the era of upcoming large telescopes like SKA, several hundreds of pulsars will be observed regularly and such a tool will be useful for both real-time detection as well as optimal utilization of observation time for such glitching pulsars.


title: Groups with a small average number of zeros in the character table

abstract: We classify finite groups with a small average number of zeros in the character table.


title: Intertwined spin, charge and pair correlations in the two-dimensional Hubbard model in the thermodynamic limit

abstract: The high-temperature superconducting cuprates are governed by intertwined striped magnetic and charge orders in addition to superconductivity. Remarkably similar behavior has also been seen in numerical calculations for the Hubbard model describing the copper-oxygen layers in these materials. Finite cluster methods typically find that spin and charge stripe order dominates, while embedded quantum cluster methods, which access the thermodynamic limit, often conclude that superconductivity does. Here, we report the observation of fluctuating spin and charge stripes in an embedded cluster calculation for the Hubbard model. This discovery demonstrates that striped states survive in the thermodynamic limit and allows us to study their influence on the model's superconducting properties, where we find evidence for pair-density-wave correlations intertwined with the stripe correlations.