title: Towards a method to anticipate dark matter signals with deep learning at the LHC

abstract: We study several simplified dark matter (DM) models and their signatures at the LHC using neural networks. We focus on the usual monojet plus missing transverse energy channel, but to train the algorithms we organize the data in 2D histograms instead of event-by-event arrays. This results in a large performance boost to distinguish between standard model (SM) only and SM plus new physics signals. We use the kinematic monojet features as input data which allow us to describe families of models with a single data sample. We found that the neural network performance does not depend on the simulated number of background events if they are presented as a function of $S/\sqrt{B}$, where $S$ and $B$ are the number of signal and background events per histogram, respectively. This provides flexibility to the method, since testing a particular model in that case only requires knowing the new physics monojet cross section. Furthermore, we also discuss the network performance under incorrect assumptions about the true DM nature. Finally, we propose multimodel classifiers to search and identify new signals in a more general way, for the next LHC run.


title: On learning parametric distributions from quantized samples

abstract: We consider the problem of learning parametric distributions from their quantized samples in a network. Specifically, $n$ agents or sensors observe independent samples of an unknown parametric distribution; and each of them uses $k$ bits to describe its observed sample to a central processor whose goal is to estimate the unknown distribution. First, we establish a generalization of the well-known van Trees inequality to general $L_p$-norms, with $p > 1$, in terms of Generalized Fisher information. Then, we develop minimax lower bounds on the estimation error for two losses: general $L_p$-norms and the related Wasserstein loss from optimal transport.


title: The Gamma-Ray Window to Intergalactic Magnetism

abstract: One of the most promising ways to probe intergalactic magnetic fields (IGMFs) is through gamma rays produced in electromagnetic cascades initiated by high-energy gamma rays or cosmic rays in the intergalactic space. Because the charged component of the cascade is sensitive to magnetic fields, gamma-ray observations of distant objects such as blazars can be used to constrain IGMF properties. Ground-based and space-borne gamma-ray telescopes deliver spectral, temporal, and angular information of high-energy gamma-ray sources, which carries imprints of the intervening magnetic fields. This provides insights into the nature of the processes that led to the creation of the first magnetic fields and into the phenomena that impacted their evolution. Here we provide a detailed description of how gamma-ray observations can be used to probe cosmic magnetism. We review the current status of this topic and discuss the prospects for measuring IGMFs with the next generation of gamma-ray observatories.


title: Inner Approximations of the Positive-Semidefinite Cone via Grassmannian Packings

abstract: We investigate the problem of finding inner ap-proximations of positive semidefinite (PSD) cones. We developa novel decomposition framework of the PSD cone by meansof conical combinations of smaller dimensional sub-cones. Weshow that many inner approximation techniques could besummarized within this framework, including the set of (scaled)diagonally dominant matrices, Factor-widthkmatrices, andChordal Sparse matrices. Furthermore, we provide a moreflexible family of inner approximations of the PSD cone, wherewe aim to arrange the sub-cones so that they are maximallyseparated from each other. In doing so, these approximationstend to occupy large fractions of the volume of the PSD cone.The proposed approach is connected to a classical packingproblem in Riemannian Geometry. Precisely, we show thatthe problem of finding maximally distant sub-cones in anambient PSD cone is equivalent to the problem of packingsub-spaces in a Grassmannian Manifold. We further leverageexisting computational method for constructing packings inGrassmannian manifolds to build tighter approximations ofthe PSD cone. Numerical experiments show how the proposedframework can balance between accuracy and computationalcomplexity, to efficiently solve positive-semidefinite programs.


title: Principal Component Hierarchy for Sparse Quadratic Programs

abstract: We propose a novel approximation hierarchy for cardinality-constrained, convex quadratic programs that exploits the rank-dominating eigenvectors of the quadratic matrix. Each level of approximation admits a min-max characterization whose objective function can be optimized over the binary variables analytically, while preserving convexity in the continuous variables. Exploiting this property, we propose two scalable optimization algorithms, coined as the "best response" and the "dual program", that can efficiently screen the potential indices of the nonzero elements of the original program. We show that the proposed methods are competitive with the existing screening methods in the current sparse regression literature, and it is particularly fast on instances with high number of measurements in experiments with both synthetic and real datasets.


title: Dynamics of information erasure and extension of Landauer's bound to fast processes

abstract: Using a double-well potential as a physical memory, we study with experiments and numerical simulations the energy exchanges during erasure processes, and model quantitatively the cost of fast operation. Within the stochastic thermodynamics framework we find the origins of the overhead to Landauer's Bound required for fast operations: in the overdamped regime this term mainly comes from the dissipation, while in the underdamped regime it stems from the heating of the memory. Indeed, the system is thermalized with its environment at all time during quasi-static protocols, but for fast ones, the inefficient heat transfer to the thermostat is delayed with respect to the work influx, resulting in a transient temperature rise. The warming, quantitatively described by a comprehensive statistical physics description of the erasure process, is noticeable on both the kinetic and potential energy: they no longer comply with equipartition. The mean work and heat to erase the information therefore increase accordingly. They are both bounded by an effective Landauer's limit $k_B T_{eff} \ln{2}$, where $T_{eff}$ is a weighted average of the actual temperature of the memory during the process.


title: Normalizing flows for random fields in cosmology

abstract: Normalizing flows are a powerful tool to create flexible probability distributions with a wide range of potential applications in cosmology. Here we are studying normalizing flows which represent cosmological observables at field level, rather than at the level of summary statistics such as the power spectrum. We evaluate the performance of different normalizing flows for both density estimation and sampling of near-Gaussian random fields, and check the quality of samples with different statistics such as power spectrum and bispectrum estimators. We explore aspects of these flows that are specific to cosmology, such as flowing from a physical prior distribution and evaluating the density estimation results in the analytically tractable correlated Gaussian case.


title: Betti numbers of fat forests and their Alexander dual

abstract: Let $k$ be a field and $R=k[x_1,\ldots,x_n]/I=S/I$ a graded ring. Then $R$ has a $t$-linear resolution if $I$ is generated by homogeneous elements of degree $t$, and all higher syzygies are linear. Thus $R$ has a $t$-linear resolution if ${\rm Tor}^S_{i,j}(S/I,k)=0$ if $j\ne i+t-1$. For a simplicial complex $\Delta$ on $[{\bf n}]=\{1,\ldots,n\}$ and a field $k$, the Stanley-Reisner ring $k[\Delta]$ is $k[x_1,\ldots,x_n]/I$, where $I$ is generated by those squarefree monomials $x_{i_1}\cdots x_{i_k}$ for which $\{ i_1,\ldots,i_k\}$ does not belong to $\Delta$. In \cite{Fr} the Stanley-Reisner rings with 2-linear resolution are determined. Their associated complexes has had different names in the literature. We call them fat forests here. In this article we determine the Betti numbers of fat forests. We also consider Betti numbers of Alexander duals of fat forests.


title: Providing Meaningful Data Summarizations Using Exemplar-based Clustering in Industry 4.0

abstract: Data summarizations are a valuable tool to derive knowledge from large data streams and have proven their usefulness in a great number of applications. Summaries can be found by optimizing submodular functions. These functions map subsets of data to real values, which indicate their "representativeness" and which should be maximized to find a diverse summary of the underlying data. In this paper, we studied Exemplar-based clustering as a submodular function and provide a GPU algorithm to cope with its high computational complexity. We show, that our GPU implementation provides speedups of up to 72x using single-precision and up to 452x using half-precision computation compared to conventional CPU algorithms. We also show, that the GPU algorithm not only provides remarkable runtime benefits with workstation-grade GPUs but also with low-power embedded computation units for which speedups of up to 35x are possible. Furthermore, we apply our algorithm to real-world data from injection molding manufacturing processes and discuss how found summaries help with steering this specific process to cut costs and reduce the manufacturing of bad parts. Beyond pure speedup considerations, we show, that our approach can provide summaries within reasonable time frames for this kind of industrial, real-world data.


title: Manin-Mumford in arithmetic pencils

abstract: We obtain a refinement of Manin-Mumford (Raynaud's Theorem) for abelian schemes over some ring of integers. Torsion points are replaced by special 0-cycles, that is reductions modulo some, possibly varying, prime of Galois orbits of torsion points. There is a flat/horizontal part and a vertical one. The irreducible components of the flat part are given by the Zariski closure, over the integers, of torsion cosets of the generic fibre of the abelian scheme. The vertical components are given by translates of abelian subvarieties, which 'come from characteristic zero'.


title: Effective field theory and classical equations of motion

abstract: Given a theory containing both heavy and light fields (the UV theory), a standard procedure is to integrate out the heavy field to obtain an effective field theory (EFT) for the light fields. Typically the EFT equations of motion consist of an expansion involving higher and higher derivatives of the fields, whose truncation at any finite order may not be well-posed. In this paper we address the question of how to make sense of the EFT equations of motion, and whether they provide a good approximation to the classical UV theory. We propose an approach to solving EFTs which leads to a well-posedness statement. For a particular choice of UV theory we rigorously derive the corresponding EFT and show that a large class of classical solutions to the UV theory are well approximated by EFT solutions. We also consider solutions of the UV theory which are not well approximated by EFT solutions and demonstrate that these are close, in an averaged sense, to solutions of a modified EFT.


title: Generation of Spin Defects by Ion Implantation in Hexagonal Boron Nitride

abstract: Optically addressable spin defects in wide-bandage semiconductors as promising systems for quantum information and sensing applications have attracted more and more attention recently. Spin defects in two-dimensional materials are supposed to have unique superiority in quantum sensing since their atomatic thickness. Here, we demonstrate that the negatively boron charged vacancy (V$ _\text{B}^{-} $) with good spin properties in hexagonal boron nitride can be generated by ion implantation. We carry out optically detected magnetic resonance measurements at room temperature to characterize the spin properties of V$ _\text{B}^{-} $ defects, showing zero-filed splitting of $ \sim $ 3.47 GHz. We compare the photoluminescence intensity and spin properties of V$ _\text{B}^{-} $ defects generated by different implantation parameters, such as fluence, energy and ion species. With proper parameters, we can create V$ _\text{B}^{-} $ defects successfully with high probability. Our results provide a simple and practicable method to create spin defects in hBN, which is of great significance for integrated hBN-based devices.


title: General Cubic Interacting Vertex for Massless Integer Higher Spin Fields

abstract: We consider a massless higher spin field theory within the BRST approach and construct a general off-shell cubic vertex corresponding to irreducible higher spin fields of helicities $s_1, s_2, s_3$. Unlike the previous works on cubic vertices, which do not take into account of the trace constraints, we use the complete BRST operator, including the trace constraints that describe an irreducible representation with definite integer helicity. As a result, we generalize the cubic vertex found in [arXiv:1205.3131 [hep-th]] and calculate the new contributions to the vertex, which contain additional terms with a smaller number space-time derivatives of the fields as well as the terms without derivatives.


title: An Integrated Dynamic Method for Allocating Roles and Planning Tasks for Mixed Human-Robot Teams

abstract: This paper proposes a novel integrated dynamic method based on Behavior Trees for planning and allocating tasks in mixed human robot teams, suitable for manufacturing environments. The Behavior Tree formulation allows encoding a single job as a compound of different tasks with temporal and logic constraints. In this way, instead of the well-studied offline centralized optimization problem, the role allocation problem is solved with multiple simplified online optimization sub-problem, without complex and cross-schedule task dependencies. These sub-problems are defined as Mixed-Integer Linear Programs, that, according to the worker-actions related costs and the workers' availability, allocate the yet-to-execute tasks among the available workers. To characterize the behavior of the developed method, we opted to perform different simulation experiments in which the results of the action-worker allocation and computational complexity are evaluated. The obtained results, due to the nature of the algorithm and to the possibility of simulating the agents' behavior, should describe well also how the algorithm performs in real experiments.


title: Task allocation interface design and personalization in gamified participatory sensing for tourism

abstract: The collection of spatiotemporal tourism information is important in smart tourism and user-generated contents are perceived as reliable information. Participatory sensing is a useful method for collecting such data, and the active contribution of users is an important aspect for continuous and efficient data collection. This study has focused on the impact of task allocation interface design and individual personality on data collection efficiency and their contribution in gamified participatory sensing for tourism. We have designed two types of interfaces: a map-based with active selection and a chat-based with passive selection. Moreover, different levels of elaborateness and indirectness have been introduced into the chat-based interface. We have employed the Gamification User Types Hexad framework to identify the differences in the contributions and interface preferences of different user types. The results of our tourism experiment with 108 participants show that the map-based interface collects more data, while the chat-based interface collects data for spots with higher information demand. We also found that the contribution to sensing behavior and interface preference differed depending on the individual user type.


title: TNet: A Model-Constrained Tikhonov Network Approach for Inverse Problems

abstract: Deep Learning (DL), in particular deep neural networks (DNN), by default is purely data-driven and in general does not require physics. This is the strength of DL but also one of its key limitations when applied to science and engineering problems in which underlying physical properties and desired accuracy need to be achieved. DL methods in their original forms are not capable of respecting the underlying mathematical models or achieving desired accuracy even in big-data regimes. However, many data-driven science and engineering problems, such as inverse problems, typically have limited experimental or observational data, and DL would overfit the data in this case. Leveraging information encoded in the underlying mathematical models, we argue, not only compensates missing information in low data regimes but also provides opportunities to equip DL methods with the underlying physics, hence promoting better generalization. This paper develops a model-constrained deep learning approach and its variant TNet that are capable of learning information hidden in both the training data and the underlying mathematical models to solve inverse problems governed by partial differential equations. We provide the constructions and some theoretical results for the proposed approaches. We show that data randomization can enhance the smoothness of the networks and their generalizations. Comprehensive numerical results not only confirm the theoretical findings but also show that with even as little as 20 training data samples for 1D deconvolution, 50 for inverse 2D heat conductivity problem, 100 and 50 for inverse initial conditions for time-dependent 2D Burgers' equation and 2D Navier-Stokes equations, respectively. TNet solutions can be as accurate as Tikhonov solutions while being several orders of magnitude faster. This is possible owing to the model-constrained term, replications, and randomization.


title: Hyperparameter Selection for Imitation Learning

abstract: We address the issue of tuning hyperparameters (HPs) for imitation learning algorithms in the context of continuous-control, when the underlying reward function of the demonstrating expert cannot be observed at any time. The vast literature in imitation learning mostly considers this reward function to be available for HP selection, but this is not a realistic setting. Indeed, would this reward function be available, it could then directly be used for policy training and imitation would not be necessary. To tackle this mostly ignored problem, we propose a number of possible proxies to the external reward. We evaluate them in an extensive empirical study (more than 10'000 agents across 9 environments) and make practical recommendations for selecting HPs. Our results show that while imitation learning algorithms are sensitive to HP choices, it is often possible to select good enough HPs through a proxy to the reward function.


title: Functional Data Analysis with Rough Sample Paths?

abstract: Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for the use of smoothing techniques that annihilate the noise. At the same time, imposing the smoothness assumption excludes a considerable range of stochastic processes, most notably diffusion processes. Under perfect observation of the sample paths, such processes would not need to be excluded from the realm of functional data analysis. In this paper, we introduce a careful modification of existing methods, dubbed the "reflected triangle estimator", and show that this allows for the functional data analysis of processes with nowhere differentiable sample paths, even when these are discretely and noisily observed, including under irregular and sparse designs. Our estimator matches the established rates of convergence for processes with smooth paths, and furthermore attains the same optimal rates as one would get under perfect observation. Thus, with reflected triangle estimation, the scope of applicability of much of the methodology developed for discretely/irregularly/noisily/sparsely sampled functional data is considerably extended. By way of simulation it is shown that the advantages furnished are reflected in practice, hinting at potential closer links with the field of diffusion inference.


title: Spatial distribution of Dust Density Wave Properties in Fluid Complex Plasmas

abstract: Complex plasmas consist of microparticles embedded in a low-temperature plasma and allow investigating various effects by tracing the motion of these microparticles. Dust density waves appear in complex plasmas as self-excited acoustic waves in the microparticle fluid at low neutral gas pressures. Here we show that various properties of these waves depend on the position of the microparticle cloud with respect to the plasma sheath and explain this finding in terms of the underlying ion-drift instability. These results may be helpful in better understanding the propagation of dust density waves in complex plasmas and beyond, for instance, in astrophysical dusty plasmas.


title: Information algebras of coherent sets of gambles in general possibility spaces

abstract: In this paper, we show that coherent sets of gambles can be embedded into the algebraic structure of information algebra. This leads firstly, to a new perspective of the algebraic and logical structure of desirability and secondly, it connects desirability, hence imprecise probabilities, to other formalism in computer science sharing the same underlying structure. Both the domain-free and the labeled view of the information algebra of coherent sets of gambles are presented, considering general possibility spaces.


title: Unpaired Depth Super-Resolution in the Wild

abstract: Depth maps captured with commodity sensors are often of low quality and resolution; these maps need to be enhanced to be used in many applications. State-of-the-art data-driven methods of depth map super-resolution rely on registered pairs of low- and high-resolution depth maps of the same scenes. Acquisition of real-world paired data requires specialized setups. Another alternative, generating low-resolution maps from high-resolution maps by subsampling, adding noise and other artificial degradation methods, does not fully capture the characteristics of real-world low-resolution images. As a consequence, supervised learning methods trained on such artificial paired data may not perform well on real-world low-resolution inputs. We consider an approach to depth super-resolution based on learning from unpaired data. While many techniques for unpaired image-to-image translation have been proposed, most fail to deliver effective hole-filling or reconstruct accurate surfaces using depth maps. We propose an unpaired learning method for depth super-resolution, which is based on a learnable degradation model, enhancement component and surface normal estimates as features to produce more accurate depth maps. We propose a benchmark for unpaired depth SR and demonstrate that our method outperforms existing unpaired methods and performs on par with paired.


title: Evolutionary Algorithms for Designing Reversible Cellular Automata

abstract: Reversible Cellular Automata (RCA) are a particular kind of shift-invariant transformations characterized by a dynamics composed only of disjoint cycles. They have many applications in the simulation of physical systems, cryptography and reversible computing. In this work, we formulate the search of a specific class of RCA -- namely, those whose local update rules are defined by conserved landscapes -- as an optimization problem to be tackled with Genetic Algorithms (GA) and Genetic Programming (GP). In particular, our experimental investigation revolves around three different research questions, which we address through a single-objective, a multi-objective, and a lexicographic approach. The results obtained from our experiments corroborate the previous findings and shed new light on 1) the difficulty of the associated optimization problem for GA and GP, 2) the relevance of conserved landscape CA in the domain of cryptography and reversible computing, and 3) the relationship between the reversibility property and the Hamming weight.


title: Survival of exomoons around exoplanets

abstract: Despite numerous attempts, no exomoon has firmly been confirmed to date. New missions like CHEOPS aim to characterize previously detected exoplanets, and potentially to discover exomoons. In order to optimize search strategies, we need to determine those planets which are the most likely to host moons. We investigate the tidal evolution of hypothetical moon orbits in systems consisting of a star, one planet and one test moon. We study a few specific cases with ten billion years integration time where the evolution of moon orbits follows one of these three scenarios: (1) "locking", in which the moon has a stable orbit on a long time scale ($\gtrsim$ 10$^9$ years); (2) "escape scenario" where the moon leaves the planet's gravitational domain; and (3) "disruption scenario", in which the moon migrates inwards until it reaches the Roche lobe and becomes disrupted by strong tidal forces. Applying the model to real cases from an exoplanet catalogue, we study the long-term stability of moon orbits around known exoplanets. We calculate the survival rate which is the fraction of the investigated cases when the moon survived around the planet for the full integration time (which is the age of the star, or if not known, then the age of the Sun).The most important factor determining the long term survival of an exomoon is the orbital period of the planet. For the majority of the close-in planets (<10 days orbital periods) there is no stable orbit for moons. Between 10 and 300 days we find a transition in survival rate from about zero to 70\%. Our results give a possible explanation to the lack of successful exomoon discoveries for close-in planets. Tidal instability causes moons to escape or being tidally disrupted around close-in planets which are mostly favoured by current detection techniques.


title: BASS: Boosting Abstractive Summarization with Unified Semantic Graph

abstract: Abstractive summarization for long-document or multi-document remains challenging for the Seq2Seq architecture, as Seq2Seq is not good at analyzing long-distance relations in text. In this paper, we present BASS, a novel framework for Boosting Abstractive Summarization based on a unified Semantic graph, which aggregates co-referent phrases distributing across a long range of context and conveys rich relations between phrases. Further, a graph-based encoder-decoder model is proposed to improve both the document representation and summary generation process by leveraging the graph structure. Specifically, several graph augmentation methods are designed to encode both the explicit and implicit relations in the text while the graph-propagation attention mechanism is developed in the decoder to select salient content into the summary. Empirical results show that the proposed architecture brings substantial improvements for both long-document and multi-document summarization tasks.


title: Algebraic properties of face algebras

abstract: Prompted an inquiry of Manin on whether a coacting Hopf-type structure $H$ and an algebra $A$ that is coacted upon share algebraic properties, we study the particular case of $A$ being a path algebra $\Bbbk Q$ of a finite quiver $Q$ and $H$ being Hayashi's face algebra $\mathfrak{H}(Q)$ attached to $Q$. This is motivated by the work of Huang, Wicks, Won, and the second author, where it was established that the weak bialgebra coacting universally on $\Bbbk Q$ (either from the left, right, or both sides compatibly) is $\mathfrak{H}(Q)$. For our study, we define the Kronecker square $\widehat{Q}$ of $Q$, and show that $\mathfrak{H}(Q) \cong \Bbbk \widehat{Q}$ as unital algebras. Then we obtain ring-theoretic and homological properties of $\mathfrak{H}(Q)$ in terms of graph-theoretic properties of $Q$ by way of $\widehat{Q}$.


title: Temporal Action Proposal Generation with Transformers

abstract: Transformer networks are effective at modeling long-range contextual information and have recently demonstrated exemplary performance in the natural language processing domain. Conventionally, the temporal action proposal generation (TAPG) task is divided into two main sub-tasks: boundary prediction and proposal confidence prediction, which rely on the frame-level dependencies and proposal-level relationships separately. To capture the dependencies at different levels of granularity, this paper intuitively presents a unified temporal action proposal generation framework with original Transformers, called TAPG Transformer, which consists of a Boundary Transformer and a Proposal Transformer. Specifically, the Boundary Transformer captures long-term temporal dependencies to predict precise boundary information and the Proposal Transformer learns the rich inter-proposal relationships for reliable confidence evaluation. Extensive experiments are conducted on two popular benchmarks: ActivityNet-1.3 and THUMOS14, and the results demonstrate that TAPG Transformer outperforms state-of-the-art methods. Equipped with the existing action classifier, our method achieves remarkable performance on the temporal action localization task. Codes and models will be available.


title: Climate, Agriculture and Food

abstract: Agriculture is arguably the most climate-sensitive sector of the economy. Growing concerns about anthropogenic climate change have increased research interest in assessing its potential impact on the sector and in identifying policies and adaptation strategies to help the sector cope with a changing climate. This chapter provides an overview of recent advancements in the analysis of climate change impacts and adaptation in agriculture with an emphasis on methods. The chapter provides an overview of recent research efforts addressing key conceptual and empirical challenges. The chapter also discusses practical matters about conducting research in this area and provides reproducible R code to perform common tasks of data preparation and model estimation in this literature. The chapter provides a hands-on introduction to new researchers in this area.


title: Lecture notes on sheaves and perverse sheaves

abstract: Informal lecture notes with examples on sheaf theory and the derived category of sheaves; sheaves and Morse theory; perverse sheaves, and some applications to representation theory. Added Oct 2021: cellular perverse sheaves. Proofs are outlined with references for further details.


title: Leaf multiplicity in a Bienaym\'e-Galton-Watson tree

abstract: This note defines a notion of multiplicity for nodes in a rooted tree and presents an asymptotic calculation of the maximum multiplicity over all leaves in a Bienaym\'e-Galton-Watson tree with critical offspring distribution $\xi$, conditioned on the tree being of size $n$. In particular, we show that if $S_n$ is the maximum multiplicity in a conditional Bienaym\'e-Galton-Watson tree, then $S_n = \Omega(\log n)$ asymptotically in probability and under the further assumption that ${\bf E}\{2^\xi\} < \infty$, we have $S_n = O(\log n)$ asymptotically in probability as well. Explicit formulas are given for the constants in both bounds. We conclude by discussing links with an alternate definition of multiplicity that arises in the root-estimation problem.


title: A class of Hessian quotient equations in the warped product manifold

abstract: In this paper, we consider a class of Hessian quotient equations in the warped product manifold $\overline{M}=I\times_{\lambda}M$. Under some sufficient conditions, we obtain an existence result for the star-shaped compact hypersurface $\Sigma$ in $\overline{M}$ using standard degree theory based on a priori estimates for solutions to the Hessian quotient equations.


title: Big data and big values: When companies need to rethink themselves

abstract: In order to face the complexity of business environments and detect priorities while triggering contingency strategies, we propose a new methodological approach that combines text mining, social network and big data analytics, with the assessment of stakeholders' attitudes towards company core values. This approach was applied in a case study where we considered the Twitter discourse about core values in Italy. We collected more than 94,000 tweets related to the core values of the firms listed in Fortune's ranking of the World's Most Admired Companies (2013-2017). For the Italian scenario, we found three predominant core values orientations (Customers, Employees and Excellence) - which should be at the basis of any business strategy - and three latent ones (Economic-Financial Growth, Citizenship and Social Responsibility), which need periodic attention. Our contribution is mostly methodological and extends the research on text mining and on online big data analytics applied in complex business contexts.


title: Honest-but-Curious Nets: Sensitive Attributes of Private Inputs Can Be Secretly Coded into the Classifiers' Outputs

abstract: It is known that deep neural networks, trained for the classification of non-sensitive target attributes, can reveal sensitive attributes of their input data through internal representations extracted by the classifier. We take a step forward and show that deep classifiers can be trained to secretly encode a sensitive attribute of their input data into the classifier's outputs for the target attribute, at inference time. Our proposed attack works even if users have a full white-box view of the classifier, can keep all internal representations hidden, and only release the classifier's estimations for the target attribute. We introduce an information-theoretical formulation for such attacks and present efficient empirical implementations for training honest-but-curious (HBC) classifiers: classifiers that can be accurate in predicting their target attribute, but can also exploit their outputs to secretly encode a sensitive attribute. Our work highlights a vulnerability that can be exploited by malicious machine learning service providers to attack their user's privacy in several seemingly safe scenarios; such as encrypted inferences, computations at the edge, or private knowledge distillation. Experimental results on several attributes in two face-image datasets show that a semi-trusted server can train classifiers that are not only perfectly honest but also accurately curious. We conclude by showing the difficulties in distinguishing between standard and HBC classifiers, discussing challenges in defending against this vulnerability of deep classifiers, and enumerating related open directions for future studies.


title: Disruptive effects of chlorpyrifos on predator-prey interactions of Ceratophrys ornata tadpoles: consequences at the population level using computational modeling

abstract: Large-scale ecotoxicological studies have technical and ethical limitations, both related to the need to expose individuals to potentially harmful compounds. Computational modeling is a complementary useful and predictive tool that overcomes these limitations. Considering the increasing interest in the effects of pesticides on behavioral traits, the aim of this study was to evaluate the effects of chlorpyrifos (CPF) on intra- and inter-specific interactions of anuran tadpoles, complementing traditional ecotoxicological tools with a theoretical analysis verified by computational simulations. Experiments were developed under two consecutive phases: a first phase of exposure, and a second phase of interactions. The second phase consisted of evaluating the effects of CPF on intra- and inter-specific interactions of exposed C. ornata (Co) tadpoles acting as predators and unexposed Rhinella fernandezae (Rf) tadpoles acting as prey, under different predator-prey proportions. Also, intraspecific interactions of three Co tadpoles under different conditions of exposure were evaluated. During the exposure phase, chlorpyrifos induced significant mortality from 48h, irregular swimming, tail flexure, and the presence of subcutaneous air. Also, it induced effects on the sounds emitted after 96h of exposure, registering less number of pulses and higher dominant frequencies, and altered intra- and inter-specific interactions. During the interaction phase, the larvae continued to show sound effects, however, the antipredator mechanism continued to be operating and efficient. Finally, it was possible to model the behavior of the larvae under the effects of chlorpyrifos. We conclude that experimental data and computational modeling matched within errors. Therefore, computational simulation is a valuable ecotoxicological tool that provides new information and allows predicting natural processes.


title: NEUer at SemEval-2021 Task 4: Complete Summary Representation by Filling Answers into Question for Matching Reading Comprehension

abstract: SemEval task 4 aims to find a proper option from multiple candidates to resolve the task of machine reading comprehension. Most existing approaches propose to concat question and option together to form a context-aware model. However, we argue that straightforward concatenation can only provide a coarse-grained context for the MRC task, ignoring the specific positions of the option relative to the question. In this paper, we propose a novel MRC model by filling options into the question to produce a fine-grained context (defined as summary) which can better reveal the relationship between option and question. We conduct a series of experiments on the given dataset, and the results show that our approach outperforms other counterparts to a large extent.


title: LIGOs Quantum Response to Squeezed States

abstract: Gravitational Wave interferometers achieve their profound sensitivity by combining a Michelson interferometer with optical cavities, suspended masses, and now, squeezed quantum states of light. These states modify the measurement process of the LIGO, VIRGO and GEO600 interferometers to reduce the quantum noise that masks astrophysical signals; thus, improvements to squeezing are essential to further expand our gravitational view of the universe. Further reducing quantum noise will require both lowering decoherence from losses as well more sophisticated manipulations to counter the quantum back-action from radiation pressure. Both tasks require fully understanding the physical interactions between squeezed light and the many components of km-scale interferometers. To this end, data from both LIGO observatories in observing run three are expressed using frequency-dependent metrics to analyze each detector's quantum response to squeezed states. The response metrics are derived and used to concisely describe physical mechanisms behind squeezing's simultaneous interaction with transverse-mode selective optical cavities and the quantum radiation pressure noise of suspended mirrors. These metrics and related analysis are broadly applicable for cavity-enhanced optomechanics experiments that incorporate external squeezing, and -- for the first time -- give physical descriptions of every feature so far observed in the quantum noise of the LIGO detectors.


title: Real-time Monocular Depth Estimation with Sparse Supervision on Mobile

abstract: Monocular (relative or metric) depth estimation is a critical task for various applications, such as autonomous vehicles, augmented reality and image editing. In recent years, with the increasing availability of mobile devices, accurate and mobile-friendly depth models have gained importance. Increasingly accurate models typically require more computational resources, which inhibits the use of such models on mobile devices. The mobile use case is arguably the most unrestricted one, which requires highly accurate yet mobile-friendly architectures. Therefore, we try to answer the following question: How can we improve a model without adding further complexity (i.e. parameters)? Towards this end, we systematically explore the design space of a relative depth estimation model from various dimensions and we show, with key design choices and ablation studies, even an existing architecture can reach highly competitive performance to the state of the art, with a fraction of the complexity. Our study spans an in-depth backbone model selection process, knowledge distillation, intermediate predictions, model pruning and loss rebalancing. We show that our model, using only DIW as the supervisory dataset, achieves 0.1156 WHDR on DIW with 2.6M parameters and reaches 37 FPS on a mobile GPU, without pruning or hardware-specific optimization. A pruned version of our model achieves 0.1208 WHDR on DIW with 1M parameters and reaches 44 FPS on a mobile GPU.


title: A proof of Gromov's cube inequality on scalar curvature

abstract: Gromov proved a cube inequality on the bound of distances between opposite faces of a cube equipped with a positive scalar curvature metric in dimension $\leq 8$ using minimal surface method. He conjectured that the cube inequality also holds in dimension $\geq 9$. In this paper, we prove Gromov's cube inequality in all dimensions with the optimal constant via Dirac operator method. In fact, our proof yields a strengthened version of Gromov's cube inequality, which does not seem to be accessible by minimal surface method.


title: Characterising solar surface convection using Doppler measurements

abstract: The Helioseismic Magnetic Imager (HMI) onboard the Solar Dynamics Observatory (SDO) records line-of-sight Dopplergram images of convective flows on the surface. These images are used to obtain the multi-scale convective spectrum. We design a pipeline to process the raw images to remove large-scale features like differential rotation, meridional circulation, limb shift and imaging artefacts. The Hierarchical Equal Area Pixelization scheme (HEALPix) is used to perform spherical harmonic transforms on the cleaned image. Because we only have access to line-of-sight velocities on half the solar surface, we define a "mixing matrix" to relate the observed and true spectra. This enables the inference of poloidal and toroidal flow spectra in a single step through the inversion of the mixing matrix. Performing inversions on a number of flow profiles, we find that the poloidal flow recovery is most reliable among all the components. We also find that the poloidal spectrum is in qualitative agreement with inferences from Local Correlation Tracking (LCT) of granules. The fraction of power in vertical motions increases as a function of wavenumber and is at 8% level for $\ell = 1500$. In contrast to seismic results and LCT, the flows show nearly no temporal-frequency dependence. Poloidal flow power peaks in the range of $\ell - |m| \approx 150-250$ which may potentially hint at a latitudinal preference for convective flows.


title: Matching Targets Across Domains with RADON, the Re-Identification Across Domain Network

abstract: We present a novel convolutional neural network that learns to match images of an object taken from different viewpoints or by different optical sensors. Our Re-Identification Across Domain Network (RADON) scores pairs of input images from different domains on similarity. Our approach extends previous work on Siamese networks and modifies them to more challenging use cases, including low- and no-shot learning, in which few images of a specific target are available for training. RADON shows strong performance on cross-view vehicle matching and cross-domain person identification in a no-shot learning environment.


title: Shadows and thin accretion disk images of the $\gamma$-metric

abstract: The $\gamma$-metric is a static, axially-symmetric singular solution of the vacuum Einstein's equations without an event horizon. This is a two-parameter family of solutions, generic values of one of which (called $\gamma$) measure the deviation from spherical symmetry. Here, we first study the shadow cast by this geometry, in order to constrain the $\gamma$-metric from observations. We find that for $\gamma < 1/2$, there are, in principle, no shadows cast. On the other hand, shadows cast for all values of $\gamma \geq 1/2$ are consistent with observations of M$87^*$ by the Event Horizon Telescope. We also study images of thin accretion disks in the $\gamma$-metric background. In situations where the $\gamma$-metric possesses light rings, these qualitatively mimic Schwarzschild black holes with the same ADM mass, while in the absence of such rings, they are drastically different from the black hole case.


title: Ten Points on a Cubic

abstract: The 16-year old Blaise Pascal found a way to determine if 6 points lie on a conic using a straightedge. Nearly 400 years later, we develop a method that uses a straightedge to check whether 10 points lie on a plane cubic curve.


title: A vortex sheet based analytical model of the curled wake behind yawed wind turbines

abstract: Motivated by the need for compact descriptions of the evolution of non-classical wakes behind yawed wind turbines, we develop an analytical model to predict the shape of curled wakes. Interest in such modelling arises due to the potential of wake steering as a strategy for mitigating power reduction and unsteady loading of downstream turbines in wind farms. We first estimate the distribution of the shed vorticity at the wake edge due to both yaw offset and rotating blades. By considering the wake edge as an ideally thin vortex sheet, we describe its evolution in time moving with the flow. Vortex sheet equations are solved using a power series expansion method, and an approximate solution for the wake shape is obtained. The vortex sheet time evolution is then mapped into a spatial evolution by using a convection velocity. Apart from the wake shape, the lateral deflection of the wake including ground effects is modelled. Our results show that there exists a universal solution for the shape of curled wakes if suitable dimensionless variables are employed. For the case of turbulent boundary layer inflow, the decay of vortex sheet circulation due to turbulent diffusion is included. Finally, we modify the Gaussian wake model by incorporating the predicted shape and deflection of the curled wake, so that we can calculate the wake profiles behind yawed turbines. Model predictions are validated against large-eddy simulations and laboratory experiments for turbines with various operating conditions.


title: Creating and destroying coherence with quantum channels

abstract: The emerging quantum technologies rely on our ability to establish and control quantum systems in nonclassical states, exhibiting entanglement and quantum coherence. It is thus crucial to understand how entanglement and coherence can be created in the most efficient way. In this work we study optimal ways to create a large amount of quantum coherence via quantum channels. For this, we compare different scenarios, where the channel is acting on an incoherent state, on states which have coherence, and also on subsystems of multipartite quantum states. We show that correlations in multipartite systems do not enhance the ability of a quantum channel to create coherence. We also study the ability of quantum channels to destroy coherence, proving that a channel can destroy more coherence when acting on a subsystem of a bipartite state. Crucially, we also show that the destroyed coherence on multipartite system can exceed the upper bound of those on the single system when the total state is entangled. Our results significantly simplify the evaluation of coherence generating capacity of quantum channels, which we also discuss.


title: Diffusion Means in Geometric Spaces

abstract: We introduce a location statistic for distributions on non-linear geometric spaces, the diffusion mean, serving as an extension and an alternative to the Fr\'echet mean. The diffusion mean arises as the generalization of Gaussian maximum likelihood analysis to non-linear spaces by maximizing the likelihood of a Brownian motion. The diffusion mean depends on a time parameter $t$, which admits the interpretation of the allowed variance of the diffusion. The diffusion $t$-mean of a distribution $X$ is the most likely origin of a Brownian motion at time $t$, given the end-point distribution $X$. We give a detailed description of the asymptotic behavior of the diffusion estimator and provide sufficient conditions for the diffusion estimator to be strongly consistent. Particularly, we present a smeary central limit theorem for diffusion means and we show that joint estimation of the mean and diffusion variance rules out smeariness in all directions simultaneously in general situations. Furthermore, we investigate properties of the diffusion mean for distributions on the sphere $\mathbb S^n$. Experimentally, we consider simulated data and data from magnetic pole reversals, all indicating similar or improved convergence rate compared to the Fr\'echet mean. Here, we additionally estimate $t$ and consider its effects on smeariness and uniqueness of the diffusion mean for distributions on the sphere.


title: Practical Schemes for Finding Near-Stationary Points of Convex Finite-Sums

abstract: In convex optimization, the problem of finding near-stationary points has not been adequately studied yet, unlike other optimality measures such as the function value. Even in the deterministic case, the optimal method (OGM-G, due to Kim and Fessler (2021)) has just been discovered recently. In this work, we conduct a systematic study of algorithmic techniques for finding near-stationary points of convex finite-sums. Our main contributions are several algorithmic discoveries: (1) we discover a memory-saving variant of OGM-G based on the performance estimation problem approach (Drori and Teboulle, 2014); (2) we design a new accelerated SVRG variant that can simultaneously achieve fast rates for minimizing both the gradient norm and function value; (3) we propose an adaptively regularized accelerated SVRG variant, which does not require the knowledge of some unknown initial constants and achieves near-optimal complexities. We put an emphasis on the simplicity and practicality of the new schemes, which could facilitate future work.


title: Semiconductor nanodevices as a probe of strong electron correlations

abstract: Interactions between electrons in solids are often behind exciting novel effects such as ferromagnetism, antiferromagnetism and superconductivity. All these phenomena break away from the single-electron picture, instead having to take into account the collective, correlated behaviour of the system as a whole. In this chapter we look at how tunnelling spectroscopy can be used as the experimental tool of choice for probing correlation and interaction effects in one-dimensional (1D) electron systems. We start by introducing the Tomonaga-Luttinger Liquid (TLL) model, showing how it marks a clear departure from Fermi-liquid theory. We then present some early experimental results obtained using tunnelling devices and how they contributed to the decisive observation of both spin-charge separation and power-law behaviour. Other experimental techniques, such as photoemission and transport measurements, are also discussed. In the second half of the chapter we introduce two nonlinear models that are counterparts to the TLL theory, known as the mobile-impurity and the mode-hierarchy pictures, and present some of the most recent experimental evidence in support of both.

categories: cond-mat.str-el cond-mat.mes-hall physics.app-ph quant-ph


title: Global existence and limiting behavior of unidirectional flocks for the fractional Euler Alignment system

abstract: In this note we continue our study of unidirectional solutions to hydrodynamic Euler alignment systems with strongly singular communication kernels $\phi(x):=|x|^{-(n+\alpha)}$ for $\alpha\in(0,2)$. Here, we consider the critical case $\alpha=1$ and establish a couple of global existence results of smooth solutions, together with a full description of their long time dynamics. The first one is obtained via Schauder-type estimates under a null initial entropy condition and the other is a small data result. In fact, using Duhamel's approach we get that any solution is almost Lipschitz-continuous in space. We extend the notion of weak solution for $\alpha\in[1,2)$ and prove the existence of global Leray-Hopf solutions. Furthermore, we give an anisotropic Onsager-type criteria for the validity of the natural energy law for weak solutions of the system. Finally, we provide a series of quantitative estimates that show how far the density of the limiting flock is from a uniform distribution depending solely on the size of the initial entropy.


title: Ranking earthquake forecasts using proper scoring rules: Binary events in a low probability environment

abstract: Operational earthquake forecasting for risk management and communication during seismic sequences depends on our ability to select an optimal forecasting model. To do this, we need to compare the performance of competing models with each other in prospective forecasting mode, and to rank their performance using a fair, reproducible and reliable method. The Collaboratory for the Study of Earthquake Predictability (CSEP) conducts such prospective earthquake forecasting experiments around the globe. One metric that has been proposed to rank competing models is the Parimutuel Gambling score, which has the advantage of allowing alarm-based (categorical) forecasts to be compared with probabilistic ones. Here we examine the suitability of this score for ranking competing earthquake forecasts. First, we prove analytically that this score is in general improper, meaning that, on average, it does not prefer the model that generated the data. Even in the special case where it is proper, we show it can still be used in an improper way. Then, we compare its performance with two commonly-used proper scores (the Brier and logarithmic scores), taking into account the uncertainty around the observed average score. We estimate the confidence intervals for the expected score difference which allows us to define if and when a model can be preferred. Our findings suggest the Parimutuel Gambling score should not be used to distinguishing between multiple competing forecasts. They also enable a more rigorous approach to distinguish between the predictive skills of candidate forecasts in addition to their rankings.


title: $B_c$ meson exclusive decays to a $P$-wave charmonium and a pion at NLO accuracy

abstract: In this paper, we calculate the next-to-leading order (NLO) quantum chromodynamics (QCD) corrections to the exclusive processes $B_c^+\to \chi_{cJ}(h_c)\pi^+$ in the framework of the nonrelativistic QCD (NRQCD) factorization formalism. The results show that NLO QCD corrections markedly enhance the branching ratios with $K$ factors of about 2.5. In combination with the study of $B_c^+\to J/\psi\pi^+$, we find that the NLO NRQCD prediction for the ratio of branching fractions $\frac{\mathcal{B}(B_c^+\to \chi_{c0}\pi^+)}{\mathcal{B}(B_c^+\to J/\psi \pi^+)}$ is then compatible with the experimental measurement.


title: Holographic duality between local Hamiltonians from random tensor networks

abstract: The AdS/CFT correspondence realises the holographic principle where information in the bulk of a space is encoded at its border. We are yet a long way from a full mathematical construction of AdS/CFT, but toy models in the form of holographic quantum error correcting codes (HQECC) have replicated some interesting features of the correspondence. In this work we construct new HQECCs built from random stabilizer tensors that describe a duality between models encompassing local Hamiltonians whilst exactly obeying the Ryu-Takayanagi entropy formula for all boundary regions. We also obtain complementary recovery of local bulk operators for any boundary bipartition. Existing HQECCs have been shown to exhibit these properties individually, whereas our mathematically rigorous toy models capture these features of AdS/CFT simultaneously, advancing further towards a complete construction of holographic duality.


title: Taxonomy of academic plagiarism methods

abstract: The article gives an overview of the plagiarism domain, with focus on academic plagiarism. The article defines plagiarism, explains the origin of the term, as well as plagiarism related terms. It identifies the extent of the plagiarism domain and then focuses on the plagiarism subdomain of text documents, for which it gives an overview of current classifications and taxonomies and then proposes a more comprehensive classification according to several criteria: their origin and purpose, technical implementation, consequence, complexity of detection and according to the number of linguistic sources. The article suggests the new classification of academic plagiarism, describes sorts and methods of plagiarism, types and categories, approaches and phases of plagiarism detection, the classification of methods and algorithms for plagiarism detection. The title of the article explicitly targets the academic community, but it is sufficiently general and interdisciplinary, so it can be useful for many other professionals like software developers, linguists and librarians.


title: Generalized Frobenius partitions, Motzkin paths, and Jacobi forms

abstract: We show how Andrews' generating functions for generalized Frobenius partitions can be understood within the theory of Eichler and Zagier as specific coefficients of certain Jacobi forms. This reformulation leads to a recursive process which yields explicit formulas for the generalized Frobenius partition generating functions in terms of infinite $q$-products. In particular, we show that specific examples of our result easily reestablish previously known formulas, and we describe new congruences, both conjectural and proven, in additional cases. The modular structure of Jacobi forms indicates that \emph{all} of the coefficients of the forms are of interest. We give a combinatorial definition of these "companion series" and explore their combinatorics via the counting of Motzkin paths.


title: Fast reactive flow simulations using analytical Jacobian and dynamic load balancing in OpenFOAM

abstract: Detailed chemistry-based computational fluid dynamics (CFD) simulations are computationally expensive due to the solution of the underlying chemical kinetics system of ordinary differential equations (ODEs). Here, we introduce a novel open-source library aiming at speeding up such reactive flow simulations using OpenFOAM, an open-source C++ software for CFD. First, our dynamic load balancing model DLBFoam (Tekg\"ul et al., 2021) is utilized to mitigate the computational imbalance due to chemistry solution in multiprocessor reactive flow simulations. Then, the individual (cell-based) chemistry solutions are optimized by implementing an analytical Jacobian formulation using the open-source library pyJac, and by increasing the efficiency of the ODE solvers by utilizing the linear algebra package LAPACK. We demonstrate the speed-up capabilities of this new library on various combustion problems. These test problems include a 2D turbulent reacting shear layer and 3D stratified combustion to highlight the favorable scaling aspects of the library on ignition/flame front initiation setups for dual-fuel combustion. Furthermore, two fundamental 3D demonstrations are provided on non-premixed and partially premixed flames, namely the ECN Spray A and the Sandia flame D experimental configurations. The novel model offers up to two orders of magnitude speed-up for most of the investigated cases. The openly shared code along with the test case setups represent a radically new enabler for reactive flow simulations in the OpenFOAM framework.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Security Analysis in Multicasting over Shadowed Rician and {\alpha}-{\mu} Fading Channels: A Dual-hop Hybrid Satellite Terrestrial Relaying Network

abstract: In this era of 5G technology, the ever-increasing demands for high data rates lead researchers to develop hybrid satellite-terrestrial (HST) networks as a substitution to the conventional cellular terrestrial systems. Since an HST network suffers from a masking effect which can be mitigated by adopting the terrestrial relaying strategy, in this work, we focus on wireless multicasting through an HST relaying net-work (HSTRN) in which a satellite sends messages to multiple terrestrial nodes via multiple relays under the wiretapping efforts of multiple eavesdroppers. Our concern is to protect the multicast messages from being eavesdropped taking advantage of the well-known opportunistic relaying technique. We consider the satellite links follow Shadowed Rician fading whereas the terrestrial links undergo alpha-mu fading. The secrecy performance of the proposed HSTRN model is accomplished by deriving expressions for the probability of nonzero secrecy multicast capacity, ergodic secrecy multicast capacity, and secure outage probability for multicasting in closed-form. Capitalizing on the derived expressions, we analyze how a perfect secrecy level can be preserved in spite of harsh channel conditions and also present a secrecy trade-off in terms of the number of relays, multicast users, and multiple eavesdroppers. Finally, the numerical analyses are corroborated via Monte-Carlo simulations.


title: Conditional Non-Lattice Integration, Pricing and Superhedging

abstract: Closely motivated by financial considerations, we develop an integration theory which is not classical i.e. it is not necessarily associated to a measure. The base space, denoted by $\mathcal{S}$ and called a trajectory space, substitutes the set $\Omega$ in probability theory and provides a fundamental structure via conditional subsets $\mathcal{S}_{(S,j)}$ that allows the definition of conditional integrals. The setting is a natural by-product of no arbitrage assumptions that are used to model financial markets and games of chance (in a discrete infinite time framework). The constructed conditional integrals can be interpreted as required investments, at the conditioning node, for hedging an integrable function, the latter characterized a.e. and in the limit as we increase the number of portfolios used. The integral is not classical due to the fact that the original vector space of portfolio payoffs is not a vector lattice. In contrast to a classical stochastic setting, where price processes are associated to conditional expectations (with respect to risk neutral measures), we uncover a theory where prices are naturally given by conditional non-lattice integrals. One could then study analogues of classical probabilistic notions in such non-classical setting, the paper stops after defining trajectorial martingales the study of which is deferred to future work.


title: Transition-state dynamics in complex quantum systems

abstract: A model is proposed for studying the reaction dynamics in complex quantum systems in which the complete mixing of states is hindered by an internal barrier. Such systems are often treated by the transition-state theory, also known in chemistry as RRKM theory, but the validity of the theory is questionable when there is no identifiable coordinate associated with the barrier. The model consists of two Gaussian Orthogonal Ensembles (GOE) of internal levels coupled to each other and to the wave functions in the entrance and decay channels. We find that the transition-state formula can be derived from the model under some easily justifiable approximations. In particular, the assumption in transition-state theory that the reaction rates are insensitive to the decay widths of the internal states on the far side of the barrier is fulfilled for broad range of Hamiltonian parameters. More doubtful is the common assumption that the transmission factor $T$ across the barrier is unity or can be modeled by a one-dimensional Hamiltonian giving $T$ close to unity above the barrier. This is not the case in the model; we find that the transmission factor only approaches one under special conditions that are not likely to be fulfilled without a strong collective component in the Hamiltonian.


title: The impact of stochastic incorporation on atomic-precision Si:P arrays

abstract: Scanning tunneling microscope lithography can be used to create nanoelectronic devices in which dopant atoms are precisely positioned in a Si lattice within $\sim$1 nm of a target position. This exquisite precision is promising for realizing various quantum technologies. However, a potentially impactful form of disorder is due to incorporation kinetics, in which the number of P atoms that incorporate into a single lithographic window is manifestly uncertain. We present experimental results indicating that the likelihood of incorporating into an ideally written three-dimer single-donor window is $63 \pm 10\%$ for room-temperature dosing, and corroborate these results with a model for the incorporation kinetics. Nevertheless, further analysis of this model suggests conditions that might raise the incorporation rate to near-deterministic levels. We simulate bias spectroscopy on a chain of comparable dimensions to the array in our yield study, indicating that such an experiment may help confirm the inferred incorporation rate.


title: The Wave Function of Simple Universes, Analytically Continued From Negative to Positive Potentials

abstract: We elaborate on the correspondence between the canonical partition function in asymptotically AdS universes and the no-boundary proposal for positive vacuum energy. For the case of a pure cosmological constant, the analytic continuation of the AdS partition function is seen to define the no-boundary wave function (in dS) uniquely in the simplest minisuperspace model. A consideration of the AdS gravitational path integral implies that on the dS side, saddle points with Hawking-Moss/Coleman-De Luccia-type tunnelling geometries are irrelevant. This implies that simple topology changing geometries do not contribute to the nucleation of the universe. The analytic AdS/dS equivalence holds up once tensor fluctuations are added. It also works, at the level of the saddle point approximation, when a scalar field with a mass term is included, though in the latter case, it is the mass that must be analytically continued. Our results illustrate the emergence of time from space by means of a Stokes phenomenon, in the case of positive vacuum energy. Furthermore, we arrive at a new characterisation of the no-boundary condition, namely that there should be no momentum flux at the nucleation of the universe.


title: Lazy Lifelong Planning for Efficient Replanning in Graphs with Expensive Edge Evaluation

abstract: We present an incremental search algorithm, called Lifelong-GLS, which combines the vertex efficiency of Lifelong Planning A* (LPA*) and the edge efficiency of Generalized Lazy Search (GLS) for efficient replanning on dynamic graphs where edge evaluation is expensive. We use a lazily evaluated LPA* to repair the cost-to-come inconsistencies of the relevant region of the current search tree based on the previous search results, and then we restrict the expensive edge evaluations only to the current shortest subpath as in the GLS framework. The proposed algorithm is complete and correct in finding the optimal solution in the current graph, if one exists. We also show that the search returns a bounded suboptimal solution, if an inflated heuristic edge weight is used and the tree repairing propagation is truncated early for faster search. Finally, we show the efficiency of the proposed algorithm compared to the standard LPA* and the GLS algorithms over consecutive search episodes in a dynamic environment. For each search, the proposed algorithm reduces the edge evaluations by a significant amount compared to the LPA*. Both the number of vertex expansions and the number of edge evaluations are reduced substantially compared to GLS, as the proposed algorithm utilizes previous search results to facilitate the new search.


title: A beginner guide to Iris, Coq and separation logic

abstract: Creating safe concurrent algorithms is challenging and error-prone. For this reason, a formal verification framework is necessary especially when those concurrent algorithms are used in safety-critical systems. The goal of this guide is to provide resources for beginners to get started in their journey of formal verification using the powerful tool Iris. The difference between this guide and many others is that it provides (i) an in-depth explanation of examples and tactics, (ii) an explicit discussion of separation logic, and (iii) a thorough coverage of Iris and Coq. References to other guides and to papers are included throughout to provide readers with resources through which to continue their learning.


title: No Deal: Investigating the Influence of Restricted Access to Elsevier Journals on German Researchers' Publishing and Citing Behaviours

abstract: In 2014, a union of German research organisations established Projekt DEAL, a national-level project to negotiate licensing agreements with large scientific publishers. Negotiations between DEAL and Elsevier began in 2016, and broke down without a successful agreement in 2018; in this time, around 200 German research institutions cancelled their license agreements with Elsevier, leading Elsevier to restrict journal access at those institutions from July 2018 onwards. We investigated the effect of these access restrictions on researchers' publishing and citing behaviours from a bibliometric perspective, using a dataset of ~410,000 articles published by researchers at the affected DEAL institutions between 2012-2020. We further investigated these effects with respect to the timing of contract cancellations with Elsevier, research disciplines, collaboration patterns, and article open-access status. We find evidence for a decrease in Elsevier's market share of articles from DEAL institutions, from a peak of 25.3% in 2015 to 20.6% in 2020, with the largest year-on-year market share decreases occurring in 2019 (-1.1%) and 2020 (-1.6%) following the implementation of access restrictions. We also observe year-on-year decreases in the proportion of citations made from articles published by authors at DEAL institutions to articles in Elsevier journals post-2018, although the decrease is smaller (-0.4% in 2019 and -0.6% in 2020) than changes in publishing volume. We conclude that Elsevier access restrictions have led to some reduced willingness of researchers at DEAL institutions to publish their research in Elsevier journals, but that researchers are not strongly affected in their ability to cite Elsevier articles, with the implication that researchers use a variety of other methods (e.g. interlibrary loans, sharing between colleagues, or "shadow libraries") to access scientific literature.


title: Metamorphism -- an Integral Transform Reducing the Order of a Differential Equation

abstract: We propose an integral transform, called metamorphism, which allow us to reduce the order of a differential equation. For example, the second order Helmholtz equation is transformed into a first order equation, which can be solved by the method of characteristics.


title: Operator Compression with Deep Neural Networks

abstract: This paper studies the compression of partial differential operators using neural networks. We consider a family of operators, parameterized by a potentially high-dimensional space of coefficients that may vary on a large range of scales. Based on existing methods that compress such a multiscale operator to a finite-dimensional sparse surrogate model on a given target scale, we propose to directly approximate the coefficient-to-surrogate map with a neural network. We emulate local assembly structures of the surrogates and thus only require a moderately sized network that can be trained efficiently in an offline phase. This enables large compression ratios and the online computation of a surrogate based on simple forward passes through the network is substantially accelerated compared to classical numerical upscaling approaches. We apply the abstract framework to a family of prototypical second-order elliptic heterogeneous diffusion operators as a demonstrating example.


title: Group selection and shrinkage: Structured sparsity for semiparametric additive models

abstract: Sparse regression and classification estimators that respect group structures have application to an assortment of statistical and machine learning problems, from multitask learning to sparse additive modeling to hierarchical selection. This work introduces structured sparse estimators that combine group subset selection with shrinkage. To accommodate sophisticated structures, our estimators allow for arbitrary overlap between groups. We develop an optimization framework for fitting the nonconvex regularization surface and present finite-sample error bounds for estimation of the regression function. As an application requiring structure, we study sparse semiparametric additive modeling, a procedure that allows the effect of each predictor to be zero, linear, or nonlinear. For this task, the new estimators improve across several metrics on synthetic data compared to alternatives. Finally, we demonstrate their efficacy in modeling supermarket foot traffic and economic recessions using many predictors. These demonstrations suggest sparse semiparametric additive models, fit using the new estimators, are an excellent compromise between fully linear and fully nonparametric alternatives. All of our algorithms are made available in the scalable implementation grpsel.


title: Unilateral Ground Contact Force Regulations in Thruster-Assisted Legged Locomotion

abstract: In this paper, we study the regulation of the Ground Contact Forces (GRF) in thruster-assisted legged locomotion. We will employ Reference Governors (RGs) for enforcing GRF constraints in Harpy model which is a bipedal robot that is being developed at Northeastern University. Optimization-based methods and whole body control are widely used for enforcing the no-slip constraints in legged locomotion which can be very computationally expensive. In contrast, RGs can enforce these constraints by manipulating joint reference trajectories using Lyapunov stability arguments which can be computed much faster. The addition of the thrusters in our model allows to manipulate the gait parameters and the GRF without sacrificing the locomotion stability.


title: Efficient Assignment of Identities in Anonymous Populations

abstract: We consider the fundamental problem of assigning distinct labels to agents in the probabilistic model of population protocols. Our protocols operate under the assumption that the size $n$ of the population is embedded in the transition function. Our labeling protocols are silent w.h.p., i.e., eventually each agent reaches its final state and remains in it forever w.h.p., as well as safe, i.e., never update the label assigned to any single agent. We first present a fast, silent w.h.p.and safe labeling protocol for which the required number of interactions is asymptotically optimal, i.e., $O(n \log n/\epsilon)$ w.h.p. It uses $(2+\epsilon)n+O(n^c)$ states, for any $c<1,$ and the label range $1,\dots,(1+\epsilon)n.$ Furthermore, we consider the so-called pool labeling protocols that include our fast protocol. We show that the expected number of interactions required by any pool protocol is $\ge \frac{n^2}{r+1}$, when the labels range is $1,\dots, n+r<2n.$ Next, we provide a protocol which is silent and safe once a unique leader is provided, and uses only $n+5\sqrt n +O(n^c)$ states, for any $c<1,$ and draws labels from the range $1,\dots,n.$ The expected number of interactions required by the protocol is $O(n^3).$ On the other hand, we show that (even if a unique leader is given in advance) any silent protocol that produces a valid labeling and is safe with probability $>1-\frac 1n$, uses $\ge n+\sqrt {n-1} -1$ states. Hence, our protocol is almost state-optimal. We also present a generalization of the protocol to include a trade-off between the number of states and the expected number of interactions. Furthermore, we show that for any silent and safe labeling protocol utilizing $n+t<2n$ states the expected number of interactions required to achieve a valid labeling is $\ge \frac{n^2}{t+1}$.


title: Rate Splitting in VCSEL-based Optical Wireless Networks

abstract: Optical wireless communication is an effective potential solution for enabling high speed next generation cellular networks. In this paper, laser sources, in particular, vertical-cavity surface-emitting (VCSEL) lasers are used for data transmission due to their high modulation speed compared with light emitting diode (LED) sources. To manage multi-user interference, rate splitting (RS) is implemented where the message of a user is split into common and private parts. However, the performance of RS is limited in high density networks. Therefore, hierarchical rate splitting (HRS) particularly suited in high density networks is considered. The results demonstrate the high data rate achieved by using VCSELs. Moreover, HRS is more suitable for achieving high performance in optical networks compared with RS.


title: DSANet: Dynamic Segment Aggregation Network for Video-Level Representation Learning

abstract: Long-range and short-range temporal modeling are two complementary and crucial aspects of video recognition. Most of the state-of-the-arts focus on short-range spatio-temporal modeling and then average multiple snippet-level predictions to yield the final video-level prediction. Thus, their video-level prediction does not consider spatio-temporal features of how video evolves along the temporal dimension. In this paper, we introduce a novel Dynamic Segment Aggregation (DSA) module to capture relationship among snippets. To be more specific, we attempt to generate a dynamic kernel for a convolutional operation to aggregate long-range temporal information among adjacent snippets adaptively. The DSA module is an efficient plug-and-play module and can be combined with the off-the-shelf clip-based models (i.e., TSM, I3D) to perform powerful long-range modeling with minimal overhead. The final video architecture, coined as DSANet. We conduct extensive experiments on several video recognition benchmarks (i.e., Mini-Kinetics-200, Kinetics-400, Something-Something V1 and ActivityNet) to show its superiority. Our proposed DSA module is shown to benefit various video recognition models significantly. For example, equipped with DSA modules, the top-1 accuracy of I3D ResNet-50 is improved from 74.9% to 78.2% on Kinetics-400. Codes are available at https://github.com/whwu95/DSANet.


title: An $\Omega(\log n)$ Lower Bound for Online Matching on the Line

abstract: For online matching with the line metric, we present a lower bound of $\Omega(\log n)$ on the approximation ratio of any online (possibly randomized) algorithm. This beats the previous best lower bound of $\Omega(\sqrt{\log n})$ and matches the known upper bound of $O(\log n)$.


title: Quantum algorithm for credit valuation adjustments

abstract: Quantum mechanics is well known to accelerate statistical sampling processes over classical techniques. In quantitative finance, statistical samplings arise broadly in many use cases. Here we focus on a particular one of such use cases, credit valuation adjustment (CVA), and identify opportunities and challenges towards quantum advantage for practical instances. To improve the depths of quantum circuits for solving such problem, we draw on various heuristics that indicate the potential for significant improvement over well-known techniques such as reversible logical circuit synthesis. In minimizing the resource requirements for amplitude amplification while maximizing the speedup gained from the quantum coherence of a noisy device, we adopt a recently developed Bayesian variant of quantum amplitude estimation using engineered likelihood functions (ELF). We perform numerical analyses to characterize the prospect of quantum speedup in concrete CVA instances over classical Monte Carlo simulations.


title: Line Shapes of Electric Dipole Spin Resonance in Pauli Spin Blockade

abstract: Electric dipole spin resonance (EDSR) is a commonly used tool for manipulation and spectroscopy of quantum-dot-based spin qubits. When an EDSR experiment is embedded in a transport setup and Pauli spin blockade is used as means for spin-state read-out, then measured resonant responses in the leakage current indeed carry information about the level structure of the system under study. However, the actual line shape of these current resonances differs substantially from experiment to experiment, varying from being symmetric to asymmetric and from being a peak to a dip, a thorough understanding of which is still lacking. Here, we investigate theoretically the detailed line shape of EDSR-induced resonances in the leakage current in the regime of spin blockade, and we connect different line shapes to the different underlying physical mechanisms that can enable the EDSR. We carry out both numerical and analytical investigations, producing simple analytic expressions that give insight in the physics at play. Our results thus provide a means to extract more information about the detailed system parameters of quantum dots hosting spin qubits from an EDSR experiment than just their level structure based on the location of the resonances.


title: Investigating Manifold Neighborhood size for Nonlinear Analysis of LIBS Amino Acid Spectra

abstract: Classification and identification of amino acids in aqueous solutions is important in the study of biomacromolecules. Laser Induced Breakdown Spectroscopy (LIBS) uses high energy laser-pulses for ablation of chemical compounds whose radiated spectra are captured and recorded to reveal molecular structure. Spectral peaks and noise from LIBS are impacted by experimental protocols. Current methods for LIBS spectral analysis achieves promising results using PCA, a linear method. It is well-known that the underlying physical processes behind LIBS are highly nonlinear. Our work set out to understand the impact of LIBS spectra on suitable neighborhood size over which to consider pattern phenomena, if nonlinear methods capture pattern phenomena with increased efficacy, and how they improve classification and identification of compounds. We analyzed four amino acids, polysaccharide, and a control group, water. We developed an information theoretic method for measurement of LIBS energy spectra, implemented manifold methods for nonlinear dimensionality reduction, and found while clustering results were not statistically significantly different, nonlinear methods lead to increased classification accuracy. Moreover, our approach uncovered the contribution of micro-wells (experimental protocol) in LIBS spectra. To the best of our knowledge, ours is the first application of Manifold methods to LIBS amino-acid analysis in the research literature.


title: Weyl nodes close to the Fermi energy in NbAs

abstract: The noncentrosymmetric transition metal monopnictides NbP, TaP, NbAs and TaAs are a family of Weyl semimetals in which pairs of protected linear crossings of spin-resolved bands occur. These so-called Weyl nodes are characterized by integer topological charges of opposite sign associated with singular points of Berry curvature in momentum space. In such a system anomalous magnetoelectric responses are predicted, which should only occur if the crossing points are close to the Fermi level and enclosed by Fermi surface pockets penetrated by an integer flux of Berry curvature, dubbed Weyl pockets. TaAs was shown to possess Weyl pockets whereas TaP and NbP have trivial pockets enclosing zero net flux of Berry curvature. Here, via measurements of the magnetic torque, resistivity and magnetisation, we present a comprehensive quantum oscillation study of NbAs, the last member of this family where the precise shape and nature of the Fermi surface pockets is still unknown. We detect six distinct frequency branches, two of which have not been observed before. A comparison to density functional theory calculations suggests that the two largest pockets are topologically trivial, whereas the low frequencies might stem from tiny Weyl pockets. The enclosed Weyl nodes are within a few meV of the Fermi energy.


title: Fundamental limitations in Lindblad descriptions of systems weakly coupled to baths

abstract: It is very common in the literature to write down a Markovian quantum master equation in Lindblad form to describe a system with multiple degrees of freedom and weakly connected to multiple thermal baths which can, in general, be at different temperatures and chemical potentials. However, the microscopically derived quantum master equation up to leading order in system-bath coupling is of the so-called Redfield form which is known to not preserve complete positivity in most cases. Additional approximations to the Redfield equation are required to obtain a Lindblad form. We lay down some fundamental requirements for any further approximations to Redfield equation, which, if violated, leads to physical inconsistencies like inaccuracies in the leading order populations and coherences in the energy eigenbasis, violation of thermalization, violation of local conservation laws at the non-equilibrium steady state (NESS). We argue that one or more of these conditions will generically be violated in all the weak system-bath-coupling Lindblad descriptions existing in literature to our knowledge. As an example, we study the recently derived Universal Lindblad Equation (ULE) and use these conditions to show violation of local conservation laws due to inaccurate coherences but accurate populations in energy eigenbasis. Finally, we exemplify our analytical results numerically in an interacting open quantum spin system.


title: Trajectory Modeling via Random Utility Inverse Reinforcement Learning

abstract: We consider the problem of modeling trajectories of drivers in a road network from the perspective of inverse reinforcement learning. Cars are detected by sensors placed on sparsely distributed points on the street network of a city. As rational agents, drivers are trying to maximize some reward function unknown to an external observer. We apply the concept of random utility from econometrics to model the unknown reward function as a function of observed and unobserved features. In contrast to current inverse reinforcement learning approaches, we do not assume that agents act according to a stochastic policy; rather, we assume that agents act according to a deterministic optimal policy and show that randomness in data arises because the exact rewards are not fully observed by an external observer. We introduce the concept of extended state to cope with unobserved features and develop a Markov decision process formulation of drivers decisions. We present theoretical results which guarantee the existence of solutions and show that maximum entropy inverse reinforcement learning is a particular case of our approach. Finally, we illustrate Bayesian inference on model parameters through a case study with real trajectory data from a large city in Brazil.


title: On Dasgupta's hierarchical clustering objective and its relation to other graph parameters

abstract: The minimum height of vertex and edge partition trees are well-studied graph parameters known as, for instance, vertex and edge ranking number. While they are NP-hard to determine in general, linear-time algorithms exist for trees. Motivated by a correspondence with Dasgupta's objective for hierarchical clustering we consider the total rather than maximum depth of vertices as an alternative objective for minimization. For vertex partition trees this leads to a new parameter with a natural interpretation as a measure of robustness against vertex removal. As tools for the study of this family of parameters we show that they have similar recursive expressions and prove a binary tree rotation lemma. The new parameter is related to trivially perfect graph completion and therefore intractable like the other three are known to be. We give polynomial-time algorithms for both total-depth variants on caterpillars and on trees with a bounded number of leaf neighbors. For general trees, we obtain a 2-approximation algorithm.


title: Three-particle finite-volume formalism for $\pi^+\pi^+ K^+$ and related systems

abstract: We consider three-particle systems consisting of two identical particles and a third that is different, with all being spinless. Examples include $\pi^+\pi^+ K^+$ and $K^+K^+\pi^+$. We derive the formalism necessary to extract two- and three-particle infinite-volume scattering amplitudes from the spectrum of such systems in finite volume. We use a relativistic formalism based on an all-orders diagrammatic analysis in generic effective field theory, adopting the methodology used recently to study the case of three nondegenerate particles. We present both a direct derivation, and also a cross-check based on an appropriate limit and projection of the fully nondegenerate formalism. We also work out the threshold expansions for the three-particle K matrix that will be needed in practical applications, both for systems with two identical particles plus a third, and also for the fully nondegenerate theory.


title: The pion-nucleon sigma term from lattice QCD

abstract: We present an analysis of the pion-nucleon $\sigma$-term, $\sigma_{\pi N}$, using six ensembles with 2+1+1-flavor highly improved staggered quark action generated by the MILC collaboration. The most serious systematic effect in lattice calculations of nucleon correlation functions is the contribution of excited states. We estimate these using chiral perturbation theory ($\chi$PT), and show that the leading contribution to the isoscalar scalar charge comes from N$\pi$ and N$\pi\pi$ states. Therefore, we carry out two analyses of lattice data to remove excited-state contamination, the standard one and a new one including N$\pi$ and N$\pi\pi$ states. We find that the standard analysis gives $\sigma_{\pi N} = 41.9(4.9)$ MeV, consistent with previous lattice calculations, while our preferred $\chi$PT-motivated analysis gives $\sigma_{\pi N} = 59.6(7.4)$ MeV, which is consistent with phenomenological values obtained using $\pi$N scattering data. Our data on one physical pion mass ensemble was crucial for exposing this difference, therefore, calculations on additional physical mass ensembles are needed to confirm our result and resolve the tension between lattice QCD and phenomenology.


title: Intrusion Detection System in Smart Home Network Using Bidirectional LSTM and Convolutional Neural Networks Hybrid Model

abstract: Internet of Things (IoT) allowed smart homes to improve the quality and the comfort of our daily lives. However, these conveniences introduced several security concerns that increase rapidly. IoT devices, smart home hubs, and gateway raise various security risks. The smart home gateways act as a centralized point of communication between the IoT devices, which can create a backdoor into network data for hackers. One of the common and effective ways to detect such attacks is intrusion detection in the network traffic. In this paper, we proposed an intrusion detection system (IDS) to detect anomalies in a smart home network using a bidirectional long short-term memory (BiLSTM) and convolutional neural network (CNN) hybrid model. The BiLSTM recurrent behavior provides the intrusion detection model to preserve the learned information through time, and the CNN extracts perfectly the data features. The proposed model can be applied to any smart home network gateway.


title: Security in Next Generation Mobile Payment Systems: A Comprehensive Survey

abstract: Cash payment is still king in several markets, accounting for more than 90\ of the payments in almost all the developing countries. The usage of mobile phones is pretty ordinary in this present era. Mobile phones have become an inseparable friend for many users, serving much more than just communication tools. Every subsequent person is heavily relying on them due to multifaceted usage and affordability. Every person wants to manage his/her daily transactions and related issues by using his/her mobile phone. With the rise and advancements of mobile-specific security, threats are evolving as well. In this paper, we provide a survey of various security models for mobile phones. We explore multiple proposed models of the mobile payment system (MPS), their technologies and comparisons, payment methods, different security mechanisms involved in MPS, and provide analysis of the encryption technologies, authentication methods, and firewall in MPS. We also present current challenges and future directions of mobile phone security.


title: Logarithmic Criticality in Transverse Thermoelectric Conductivity of the Ferromagnetic Topological Semimetal CoMnSb

abstract: We report the results of our experimental studies on the magnetic, transport and thermoelectric properties of the ferromagnetic metal CoMnSb. Sizable anomalous Hall conductivity $\sigma_{yx}$ and transverse thermoelectric conductivity $\alpha_{yx}$ are found experimentally and comparable in size to the values estimated from density-functional theory. Our experiment further reveals that CoMnSb exhibits $-T\ln T$ critical behavior in $\alpha_{yx}(T)$, deviating from Fermi liquid behavior $\alpha_{yx}\sim T$ over a decade of temperature between 10 K to 400 K, similar to ferromagnetic Weyl and nodal-line semimetals. Our theoretical calculation for CoMnSb also predicts the $-T\ln T$ behavior when the Fermi energy locates near the Weyl nodes in momentum space.


title: Generalized Hessian-Schatten Norm Regularization for Image Reconstruction

abstract: Regularization plays a crucial role in reliably utilizing imaging systems for scientific and medical investigations. It helps to stabilize the process of computationally undoing any degradation caused by physical limitations of the imaging process. In the past decades, total variation regularization, especially second-order total variation (TV-2) regularization played a dominant role in the literature. Two forms of generalizations, namely Hessian-Schatten norm (HSN) regularization, and total generalized variation (TGV) regularization, have been recently proposed and have become significant developments in the area of regularization for imaging inverse problems owing to their performance. Here, we develop a novel regularization for image recovery that combines the strengths of these well-known forms. We achieve this by restricting the maximization space in the dual form of HSN in the same way that TGV is obtained from TV-2. We name the new regularization as the generalized Hessian-Schatten norm regularization (GHSN), and we develop a novel optimization method for image reconstruction using the new form of regularization based on the well-known framework called alternating direction method of multipliers (ADMM). We demonstrate the strength of the GHSN using some reconstruction examples.


title: Complex conjugation and simplicial algebraic hypersurfaces

abstract: We call a real algebraic hypersurface in $(\mathbb{C}^*)^n$ simplicial if it is given by a real Laurent polynomial in $n$-variables that has exactly $n+1$ monomials with non-zero coefficients and such that the convex hull in $\mathbb{R}^n$ of the $n+1$ points of $\mathbb{Z} ^n$ corresponding to the exponents is a non-degenerate $n$-dimensional simplex. Such hypersurfaces are natural building blocks from which more complicated objects can be constructed, for example using O. Viro's Patchworking method. Drawing inspiration from related work by G. Kerr and I. Zharkov, we describe the action of the complex conjugation on the homology of the coamoebas of simplicial real algebraic hypersurfaces, hoping it might prove useful in a variety of problems related to topology of real algebraic varieties. In particular, assuming a reasonable conjecture, we identify the conditions under which such a hypersurface is Galois maximal.


title: The optical response of artificially twisted MoS$_2$ bilayers

abstract: Two-dimensional layered materials offer the possibility to create artificial vertically stacked structures possessing an additional degree of freedom - $the$ $interlayer$ $twist$. We present a comprehensive optical study of artificially stacked bilayers (BLs) MoS$_2$ encapsulated in hexagonal BN with interlayer twist angle ranging from 0 to 60 degrees using Raman scattering and photoluminescence spectroscopies. It is found that the strength of the interlayer coupling in the studied BLs can be estimated using the energy dependence of indirect emission versus the A$_\textrm{1g}$-E$_\textrm{2g}^1$ energy separation. Due to the hybridization of electronic states in the valence band, the emission line related to the interlayer exciton is apparent in both the natural (2H) and artificial (62$^\circ$) MoS$_2$ BLs, while it is absent in the structures with other twist angles. The interlayer coupling energy is estimated to be of about 50 meV. The effect of temperature on energies and intensities of the direct and indirect emission lines in MoS$_2$ bilayers is also quantified.


title: Khovanov homology and the cinquefoil

abstract: We prove that Khovanov homology with coefficients in $\mathbb{Z}/2\mathbb{Z}$ detects the $(2,5)$ torus knot. Our proof makes use of a wide range of deep tools in Floer homology, Khovanov homology, and Khovanov homotopy. We combine these tools with classical results on the dynamics of surface homeomorphisms to reduce the detection question to a problem about mutually braided unknots, which we then solve with computer assistance.