title: Stratification, multivalency and turnover of the active cortical machinery are required for steady active contractile flows at the cell surface

abstract: Many cell membrane proteins that bind to actin form dynamic clusters driven by contractile flows generated by the actomyosin machinery at the cell cortex. Recent evidence suggests that a necessary condition for the generation of these protein clusters on the membrane is the stratified organization of the active agents -formin-nucleated actin, myosin-II minifilaments, and ARP2/3-nucleated actin mesh -within the cortex. Further, the observation that these clusters dynamically remodel, requires that the components of this active machinery undergo turnover. Here we develop a coarse-grained agent-based Brownian dynamics simulation that incorporates the effects of stratification, binding of myosin minifilaments to multiple actin filaments and their turnover. We show that these three features of the active cortical machinery -stratification, multivalency and turnover -are critical for the realisation of a nonequilibrium steady state characterised by contractile flows and dynamic orientational patterning. We show that this nonequilibrium steady state enabled by the above features of the cortex, can facilitate multi-particle encounters of membrane proteins that profoundly influence the kinetics of bimolecular reactions at the cell surface.


title: Examples of measures with trivial left and non-trivial right random walk tail boundary

abstract: In early 80's Vadim Kaimanovich presented a construction of a non-degenerate measure, on the standard lamplighter group, that has a trivial left and non-trivial right random walk tail boundary. We show that examples of such kind are possible precisely for amenable groups that have non-trivial factors with infinite conjugacy classes property.


title: Birational Equivalences and Kac-Moody Algebras

abstract: We show that every Kac-Moody algebra is birationally equivalent to a smash biproduct of two copies of a Weyl algebra together with a polynomial algebra. We also show that the same is true for quantized Kac-Moody algebras where one replaces Weyl algebras with their quantum analogues.


title: DDR-Net: Dividing and Downsampling Mixed Network for Diffeomorphic Image Registration

abstract: Deep diffeomorphic registration faces significant challenges for high-dimensional images, especially in terms of memory limits. Existing approaches either downsample original images, or approximate underlying transformations, or reduce model size. The information loss during the approximation or insufficient model capacity is a hindrance to the registration accuracy for high-dimensional images, e.g., 3D medical volumes. In this paper, we propose a Dividing and Downsampling mixed Registration network (DDR-Net), a general architecture that preserves most of the image information at multiple scales. DDR-Net leverages the global context via downsampling the input and utilizes the local details from divided chunks of the input images. This design reduces the network input size and its memory cost; meanwhile, by fusing global and local information, DDR-Net obtains both coarse-level and fine-level alignments in the final deformation fields. We evaluate DDR-Net on three public datasets, i.e., OASIS, IBSR18, and 3DIRCADB-01, and the experimental results demonstrate our approach outperforms existing approaches.


title: Model-Assisted Inference for Covariate-Specific Treatment Effects with High-dimensional Data

abstract: Covariate-specific treatment effects (CSTEs) represent heterogeneous treatment effects across subpopulations defined by certain selected covariates. In this article, we consider marginal structural models where CSTEs are linearly represented using a set of basis functions of the selected covariates. We develop a new approach in high-dimensional settings to obtain not only doubly robust point estimators of CSTEs, but also model-assisted confidence intervals, which are valid when a propensity score model is correctly specified but an outcome regression model may be misspecified. With a linear outcome model and subpopulations defined by discrete covariates, both point estimators and confidence intervals are doubly robust for CSTEs. In contrast, confidence intervals from existing high-dimensional methods are valid only when both the propensity score and outcome models are correctly specified. We establish asymptotic properties of the proposed point estimators and the associated confidence intervals. We present simulation studies and empirical applications which demonstrate the advantages of the proposed method compared with competing ones.


title: Learning Security Classifiers with Verified Global Robustness Properties

abstract: Many recent works have proposed methods to train classifiers with local robustness properties, which can provably eliminate classes of evasion attacks for most inputs, but not all inputs. Since data distribution shift is very common in security applications, e.g., often observed for malware detection, local robustness cannot guarantee that the property holds for unseen inputs at the time of deploying the classifier. Therefore, it is more desirable to enforce global robustness properties that hold for all inputs, which is strictly stronger than local robustness. In this paper, we present a framework and tools for training classifiers that satisfy global robustness properties. We define new notions of global robustness that are more suitable for security classifiers. We design a novel booster-fixer training framework to enforce global robustness properties. We structure our classifier as an ensemble of logic rules and design a new verifier to verify the properties. In our training algorithm, the booster increases the classifier's capacity, and the fixer enforces verified global robustness properties following counterexample guided inductive synthesis. We show that we can train classifiers to satisfy different global robustness properties for three security datasets, and even multiple properties at the same time, with modest impact on the classifier's performance. For example, we train a Twitter spam account classifier to satisfy five global robustness properties, with 5.4% decrease in true positive rate, and 0.1% increase in false positive rate, compared to a baseline XGBoost model that doesn't satisfy any property.


title: Dynamic region proposal networks for semantic segmentation in automated glaucoma screening

abstract: Screening for the diagnosis of glaucoma through a fundus image can be determined by the optic cup to disc diameter ratio (CDR), which requires the segmentation of the cup and disc regions. In this paper, we propose two novel approaches, namely Parameter-Shared Branched Network (PSBN) andWeak Region of Interest Model-based segmentation (WRoIM) to identify disc and cup boundaries. Unlike the previous approaches, the proposed methods are trained end-to-end through a single neural network architecture and use dynamic cropping instead of manual or traditional computer vision-based cropping. We are able to achieve similar performance as that of state-of-the-art approaches with less number of network parameters. Our experiments include comparison with different best known methods on publicly available Drishti-GS1 and RIM-ONE v3 datasets. With $7.8 \times 10^6$ parameters our approach achieves a Dice score of 0.96/0.89 for disc/cup segmentation on Drishti-GS1 data whereas the existing state-of-the-art approach uses $19.8\times 10^6$ parameters to achieve a dice score of 0.97/0.89.


title: Lah distribution: Stirling numbers, records on compositions, and convex hulls of high-dimensional random walks

abstract: Let $\xi_1,\xi_2,\ldots$ be a sequence of independent copies of a random vector in $\mathbb R^d$ having an absolutely continuous distribution. Consider a random walk $S_i:=\xi_1+\cdots+\xi_i$, and let $C_{n,d}:=\text{conv}(0,S_1,S_2,\ldots,S_n)$ be the convex hull of the first $n+1$ points it has visited. The polytope $C_{n,d}$ is called $k$-neighborly if for every indices $0\leq i_0 <\cdots < i_k\leq n$ the convex hull of the $k+1$ points $S_{i_0},\ldots, S_{i_k}$ is a $k$-dimensional face of $C_{n,d}$. We study the probability that $C_{n,d}$ is $k$-neighborly in various high-dimensional asymptotic regimes, i.e. when $n$, $d$, and possibly also $k$ diverge to $\infty$. There is an explicit formula for the expected number of $k$-dimensional faces of $C_{n,d}$ which involves Stirling numbers of both kinds. Motivated by this formula, we introduce a distribution, called the Lah distribution, and study its properties. In particular, we provide a combinatorial interpretation of the Lah distribution in terms of random compositions and records, and explicitly compute its factorial moments. Limit theorems which we prove for the Lah distribution imply neighborliness properties of $C_{n,d}$. This yields a new class of random polytopes exhibiting phase transitions parallel to those discovered by Vershik and Sporyshev, Donoho and Tanner for random projections of regular simplices and crosspolytopes.


title: GMAC: A Distributional Perspective on Actor-Critic Framework

abstract: In this paper, we devise a distributional framework on actor-critic as a solution to distributional instability, action type restriction, and conflation between samples and statistics. We propose a new method that minimizes the Cram\'er distance with the multi-step Bellman target distribution generated from a novel Sample-Replacement algorithm denoted SR($\lambda$), which learns the correct value distribution under multiple Bellman operations. Parameterizing a value distribution with Gaussian Mixture Model further improves the efficiency and the performance of the method, which we name GMAC. We empirically show that GMAC captures the correct representation of value distributions and improves the performance of a conventional actor-critic method with low computational cost, in both discrete and continuous action spaces using Arcade Learning Environment (ALE) and PyBullet environment.


title: FedScale: Benchmarking Model and System Performance of Federated Learning at Scale

abstract: We present FedScale, a federated learning (FL) benchmarking suite with realistic datasets and a scalable runtime to enable reproducible FL research. FedScale datasets encompass a wide range of critical FL tasks, ranging from image classification and object detection to language modeling and speech recognition. Each dataset comes with a unified evaluation protocol using real-world data splits and evaluation metrics. To reproduce realistic FL behavior, FedScale contains a scalable and extensible runtime. It provides high-level APIs to implement FL algorithms, deploy them at scale across diverse hardware and software backends, and evaluate them at scale, all with minimal developer efforts. We combine the two to perform systematic benchmarking experiments and highlight potential opportunities for heterogeneity-aware co-optimizations in FL. FedScale is open-source and actively maintained by contributors from different institutions at http://fedscale.ai. We welcome feedback and contributions from the community.


title: Real-time People Tracking and Identification from Sparse mm-Wave Radar Point-clouds

abstract: Mm-wave radars have recently gathered significant attention as a means to track human movement and identify subjects from their gait characteristics. A widely adopted method to perform the identification is the extraction of the micro-Doppler signature of the targets, which is computationally demanding in case of co-existing multiple targets within the monitored physical space. Such computational complexity is the main problem of state-of-the-art approaches, and makes them inapt for real-time use. In this work, we present an end-to-end, low-complexity but highly accurate method to track and identify multiple subjects in real-time using the sparse point-cloud sequences obtained from a low-cost mm-wave radar. Our proposed system features an extended object tracking Kalman filter, used to estimate the position, shape and extension of the subjects, which is integrated with a novel deep learning classifier, specifically tailored for effective feature extraction and fast inference on radar point-clouds. The proposed method is thoroughly evaluated on an edge-computing platform from NVIDIA (Jetson series), obtaining greatly reduced execution times (reduced complexity) against the best approaches from the literature. Specifically, it achieves accuracies as high as 91.62%, operating at 15 frames per seconds, in identifying three subjects that concurrently and freely move in an unseen indoor environment, among a group of eight.


title: Dual certificates and efficient rational sum-of-squares decompositions for polynomial optimization over compact sets

abstract: We study the problem of computing weighted sum-of-squares (WSOS) certificates for positive polynomials over a compact semialgebraic set. Building on the theory of interior-point methods for convex optimization, we introduce the concept of dual cone certificates, which allows us to interpret vectors from the dual of the sum-of-squares cone as rigorous nonnegativity certificates of a WSOS polynomial. Whereas conventional WSOS certificates are alternative representations of the polynomials they certify, dual certificates are distinct from the certified polynomials; moreover, each dual certificate certifies a full-dimensional convex cone of WSOS polynomials. As a result, rational WSOS certificates can be constructed from numerically computed dual certificates at little additional cost, without any rounding or projection steps applied to the numerical certificates. As an additional algorithmic application, we present an almost entirely numerical hybrid algorithm for computing the optimal WSOS lower bound of a given polynomial along with a rational dual certificate, with a polynomial-time computational cost per iteration and linear rate of convergence.


title: Phonons in MoSe2/WSe2 van der Waals heterobilayer

abstract: We report first-principles calculations of the structural and vibrational properties of the synthesized two-dimensional van der Waals heterostructures formed by single-layers dichalcogenides MoSe2 and WSe2. We show that, when combining these systems in a periodic two-dimensional heterostructures, the intrinsic phonon characteristics of the free-standing constituents are to a large extent preserved but, furthermore, exhibit shear and breathing phonon modes that are not present in the individual building blocks. These peculiar modes depend strongly on the weak vdW forces and has a great contibution to the thermal properties of the layered materials. Besides these features, the departure of flexural modes of heterobilayer from the ones of its monolayer parents are also found.


title: On the pathwidth of hyperbolic 3-manifolds

abstract: According to Mostow's celebrated rigidity theorem, the geometry of closed hyperbolic 3-manifolds is already determined by their topology. In particular, the volume of such manifolds is a topological invariant and, as such, has been investigated for half a century. Motivated by the algorithmic study of 3-manifolds, Maria and Purcell have recently shown that every closed hyperbolic 3-manifold M with volume vol(M) admits a triangulation with dual graph of treewidth at most C vol(M), for some universal constant C. Here we improve on this result by showing that the volume provides a linear upper bound even on the pathwidth of the dual graph of some triangulation, which can potentially be much larger than the treewidth. Our proof relies on a synthesis of tools from 3-manifold theory: generalized Heegaard splittings, amalgamations, and the thick-thin decomposition of hyperbolic 3-manifolds. We provide an illustrated exposition of this toolbox and also discuss the algorithmic consequences of the result.


title: The Surface of (16) Psyche from Thermal Emission and Polarization Mapping

abstract: The asteroid (16) Psyche is the largest of the M-type asteroids, which have been hypothesized to be the cores of disrupted planetesimals and the parent bodies of the iron meteorites. While recent evidence has collected against a pure metal composition for Psyche, its spectrum and radar properties remain anomalous. We observed (16) Psyche in thermal emission with the Atacama Large (sub-)Millimeter Array (ALMA) at a resolution of 30 km over 2/3 of its rotation. The diurnal temperature variations are at the $\sim$10 K level over most of the surface and are best fit by a smooth surface with a thermal inertia of 280$\pm$100 J m$^{-2}$ K$^{-1}$ s$^{-1/2}$. We measure a millimeter emissivity of 0.61$\pm$0.02, which we interpret via a model that treats the surface as a porous mixture of silicates and metals, where the latter may take the form of iron sulfides/oxides or alternatively as conducting metallic inclusions. The emissivity indicates a metal content of no less than 20\% and potentially much higher, but the polarized emission that should be present for a surface with $\geq$20\% metal content is almost completely absent. This requires a highly scattering surface, which may be due to the presence of reflective metallic inclusions. If such is the case, a consequence is that metal-rich asteroids may produce less polarized emission than metal-poor asteroids, exactly the opposite prediction from standard theory, arising from the dominance of scattering over the bulk material properties.


title: Large-Scale Attribute-Object Compositions

abstract: We study the problem of learning how to predict attribute-object compositions from images, and its generalization to unseen compositions missing from the training data. To the best of our knowledge, this is a first large-scale study of this problem, involving hundreds of thousands of compositions. We train our framework with images from Instagram using hashtags as noisy weak supervision. We make careful design choices for data collection and modeling, in order to handle noisy annotations and unseen compositions. Finally, extensive evaluations show that learning to compose classifiers outperforms late fusion of individual attribute and object predictions, especially in the case of unseen attribute-object pairs.


title: Casimir Domains on a sphere

abstract: A Casimir--type analysis of the effect of dividing the two--sphere by several lines of latitude is done for conformally invariant Dirichlet and Neumann scalars and for spinors. An effective action combination is shown to have minima for symmetrical arrangements of the circles. For a domain of two caps and a slice, the Dirichlet slice expands to fill the whole sphere while the Neumann one adjusts to an angular separation of 57.92 degrees. The fermion expression is written in terms of the Weber class function, $\gf$, and a connection is noted with an earlier calculation of twisted scalar effective actions on the tetrahedron.


title: Measurement of Electronic Structure and Surface Reconstruction in the Superionic Cu2-xTe

abstract: Recently, layered copper chalcogenides Cu2X family (X=S, Se, Te) has attracted tremendous research interests due to their high thermoelectric (TE) performance, which is partly due to the superionic behavior of mobile Cu ions, making these compounds phonon liquids. Here, we systematically investigate the electronic structure and its temperature evolution of the less studied single crystal Cu2-xTe by the combination of angle resolved photoemission spectroscopy (ARPES) and scanning tunneling microscope/spectroscopy (STM/STS) experiments. While the band structure of the Cu2-xTe shows agreement with the calculations, we clearly observe a 2 * 2 surface reconstruction from both our low temperature ARPES and STM/STS experiments which survives up to room temperature. Interestingly, our low temperature STM experiments further reveal multiple types of reconstruction patterns, which suggests the origin of the surface reconstruction being the distributed deficiency of liquid-like Cu ions. Our findings reveal the electronic structure and impurity level of Cu2Te, which provides knowledge about its thermoelectric properties from the electronic degree of freedom.


title: Can we imitate the principal investor's behavior to learn option price?

abstract: This paper presents a framework of imitating the principal investor's behavior for optimal pricing and hedging options. We construct a non-deterministic Markov decision process for modeling stock price change driven by the principal investor's decision making. However, low signal-to-noise ratio and instability that are inherent in equity markets pose challenges to determine the state transition (stock price change) after executing an action (the principal investor's decision) as well as decide an action based on current state (spot price). In order to conquer these challenges, we resort to a Bayesian deep neural network for computing the predictive distribution of the state transition led by an action. Additionally, instead of exploring a state-action relationship to formulate a policy, we seek for an episode based visible-hidden state-action relationship to probabilistically imitate the principal investor's successive decision making. Unlike conventional option pricing that employs analytical stochastic processes or utilizes time series analysis to model and sample underlying stock price movements, our algorithm simulates stock price paths by imitating the principal investor's behavior which requires no preset probability distribution and fewer predetermined parameters. Eventually the optimal option price is learned by reinforcement learning to maximize the cumulative risk-adjusted return of a dynamically hedged portfolio over simulated price paths.


title: Local mixing of one-parameter diagonal flows on Anosov homogeneous spaces

abstract: Let $G$ be a connected semisimple real algebraic group and $\Gamma < G$ be a Zariski dense Anosov subgroup with respect to a minimal parabolic subgroup. We prove local mixing of the one-parameter diagonal flow $\{\exp(t\mathsf{v}) : t \in \mathbb R\}$ on $\Gamma \backslash G$ for any interior direction $\mathsf{v}$ of the limit cone of $\Gamma$ with respect to the Bowen--Margulis--Sullivan measure associated to $\mathsf{v}$. More generally, we allow a class of deviations to this flow along a direction $\mathsf{u}$ in some fixed subspace transverse to $\mathsf{v}$. We also obtain a uniform bound for the correlation function which decays exponentially in $\|\mathsf{u}\|^2$. The precise form of the result is required for several applications such as the asymptotic formula for the decay of matrix coefficients in $L^2(\Gamma \backslash G)$ proved by Edwards--Lee--Oh.


title: Adiabatic transport in one-dimensional systems with a single defect

abstract: The adiabatic transport properties of U(1) invariant systems are determined by the dependence of the ground state energy on the twisted boundary condition. We examine a one-dimensional tight-binding model in the presence of a single defect and find that the ground state energy of the model shows a universal dependence on the twist angle that can be fully characterized by the transmission coefficient of the scattering by the defect. We identify resulting pathological behaviors of Drude weights in the large system size limit: (i) both the linear and nonlinear Drude weights depend on the twist angle and (ii) the $N$-th order Drude weight diverges proportionally to the $(N-1)$-th power of the system size. To clarify the physical implication of the divergence, we simulate the real-time dynamics of the tight-binding model under a static electric field and show that the divergence does not necessarily imply the large current. Furthermore, we address the relation between our results and the boundary conformal field theory.

categories: cond-mat.mes-hall cond-mat.other cond-mat.stat-mech cond-mat.str-el quant-ph


title: New multiplicity results for critical $p$-Laplacian problems

abstract: We prove new multiplicity results for the Brezis-Nirenberg problem for the $p$-Laplacian. Our proofs are based on a new abstract critical point theorem involving the ${\mathbb Z}_2$-cohomological index that requires less compactness than the (PS) condition.


title: Absorption spectroscopy of quantum black holes with gravitational waves

abstract: The observation of electromagnetic radiation emitted or absorbed by matter was instrumental in revealing the quantum properties of atoms and molecules in the early XX century, and constituted a turning-point in the development of the quantum theory. Quantum mechanics changes dramatically the way radiation and matter interact, making the probability of emission and absorption of light strongly frequency dependent, as clearly manifested in atomic spectra. In this essay, we advocate that gravitational radiation can play, for the quantum aspects of black holes, a similar role as electromagnetic radiation did for atoms, and that the advent of gravitational-wave astronomy can bring this fascinating possibility to the realm of observations.


title: Sparse Affine Sampling: Ambiguity-Free and Efficient Sparse Phase Retrieval

abstract: Conventional sparse phase retrieval schemes can recover sparse signals from the magnitude of linear measurements only up to a global phase ambiguity. This work proposes a novel approach that instead utilizes the magnitude of affine measurements to achieve ambiguity-free signal reconstruction. The proposed method relies on two-stage approach that consists of support identification followed by the exact recovery of nonzero signal entries. In the noise-free case, perfect support identification using a simple counting rule is guaranteed subject to a mild condition on the signal sparsity, and subsequent exact recovery of the nonzero signal entries can be obtained in closed-form. The proposed approach is then extended to two noisy scenarios, namely, sparse noise (or outliers) and non-sparse bounded noise. For both cases, perfect support identification is still ensured under mild conditions on the noise model, namely, the support size for sparse outliers and the power of the bounded noise. Under perfect support identification, exact signal recovery can be achieved using a simple majority rule for the sparse noise scenario, and reconstruction up to a bounded error can be achieved using linear least-squares (LS) estimation for the non-sparse bounded noise scenario. The obtained analytic performance guarantee for the latter case also sheds light on the construction of the sensing matrix and bias vector. In fact, we show that a near optimal performance can be achieved with high probability by the random generation of the nonzero entries of the sparse sensing matrix and bias vector according to the uniform distribution over a circle. Computer simulations using both synthetic and real-world data sets are provided to demonstrate the effectiveness of the proposed scheme.


title: Self-assembly of polyhedral bilayer vesicles from Piezo ion channels

abstract: Piezo ion channels underlie many forms of mechanosensation in vertebrates, and have been found to bend the membrane into strongly curved dome shapes. We develop here a methodology describing the self-assembly of lipids and Piezo into polyhedral bilayer vesicles. We validate this methodology for bilayer vesicles formed from bacterial mechanosensitive channels of small conductance, for which experiments found a polyhedral arrangement of proteins with snub cube symmetry and a well-defined characteristic vesicle size. On this basis, we calculate the self-assembly diagram for polyhedral bilayer vesicles formed from Piezo. We find that the radius of curvature of the Piezo dome provides a critical control parameter for the self-assembly of Piezo vesicles, with high abundances of Piezo vesicles with octahedral, icosahedral, and snub cube symmetry with increasing Piezo dome radius of curvature.


title: Coercivity, essential norms, and the Galerkin method for second-kind integral equations on polyhedral and Lipschitz domains

abstract: It is well known that, with a particular choice of norm, the classical double-layer potential operator $D$ has essential norm $<1/2$ as an operator on the natural trace space $H^{1/2}(\Gamma)$ whenever $\Gamma$ is the boundary of a bounded Lipschitz domain. This implies, for the standard second-kind boundary integral equations for the interior and exterior Dirichlet and Neumann problems in potential theory, convergence of the Galerkin method in $H^{1/2}(\Gamma)$ for any sequence of finite-dimensional subspaces $(\mathcal{H}_N)_{N=1}^\infty$ that is asymptotically dense in $H^{1/2}(\Gamma)$. Long-standing open questions are whether the essential norm is also $<1/2$ for $D$ as an operator on $L^2(\Gamma)$ for all Lipschitz $\Gamma$ in 2-d; or whether, for all Lipschitz $\Gamma$ in 2-d and 3-d, or at least for the smaller class of Lipschitz polyhedra in 3-d, the weaker condition holds that the operators $\pm \frac{1}{2}I+D$ are compact perturbations of coercive operators -- this a necessary and sufficient condition for the convergence of the Galerkin method for every sequence of subspaces $(\mathcal{H}_N)_{N=1}^\infty$ that is asymptotically dense in $L^2(\Gamma)$. We settle these open questions negatively. We give examples of 2-d and 3-d Lipschitz domains with Lipschitz constant equal to one for which the essential norm of $D$ is $\geq 1/2$, and examples with Lipschitz constant two for which the operators $\pm \frac{1}{2}I +D$ are not coercive plus compact. We also give, for every $C>0$, examples of Lipschitz polyhedra for which the essential norm is $\geq C$ and for which $\lambda I+D$ is not a compact perturbation of a coercive operator for any real or complex $\lambda$ with $|\lambda|\leq C$. Finally, we resolve negatively a related open question in the convergence theory for collocation methods.


title: The singularity probability of a random symmetric matrix is exponentially small

abstract: Let $A$ be drawn uniformly at random from the set of all $n\times n$ symmetric matrices with entries in $\{-1,1\}$. We show that \[ \mathbb{P}( \det(A) = 0 ) \leq e^{-cn},\] where $c>0$ is an absolute constant, thereby resolving a well-known conjecture.


title: Augmenting Modelers with Semantic Autocompletion of Processes

abstract: Business process modelers need to have expertise and knowledge of the domain that may not always be available to them. Therefore, they may benefit from tools that mine collections of existing processes and recommend element(s) to be added to a new process that they are constructing. In this paper, we present a method for process autocompletion at design time, that is based on the semantic similarity of sub-processes. By converting sub-processes to textual paragraphs and encoding them as numerical vectors, we can find semantically similar ones, and thereafter recommend the next element. To achieve this, we leverage a state-of-the-art technique for embedding natural language as vectors. We evaluate our approach on open source and proprietary datasets and show that our technique is accurate for processes in various domains.


title: Ferroelectricity in oxyfluoride Aurivillius phase Bi$_2$TiO$_4$F$_2$ from first-principles

abstract: Using first-principle calculations, we restrained the m=1 oxyfluoride Aurivillius Bi$_2$TiO4F$_2$ to adopt three ordered key configurations, such as tetragonal $I4/mmm$ phases with fluorine anions distributed either at the octahedral apical sites or at the octahedral equatorial ones and orthorhombic $Pma2$ phase with fluorine anions distributed over both apical and equatorial sites. We explored the energetics of the metastable phases and their potential for ferroelectricity and found that the least favorable configuration is equatorial sites for fluorine and the most favorable one is the mixture between apical and equatorial sites for fluorine. Phonon calculations performed in the tetragonal $I4/mmm$ with fluorine at the apical sites showed a strong c-axis polar instability $\Gamma_{3}^{-}$ that co-exists with the ab-plane polar instability $\Gamma_{5}^{-}$, commonly found in Aurivillius oxide phases. These two polar instabilities lead to $Pc$ phase that displays in-plane and out-of-plane spontaneous polarizations as large as 44 $\mu$c/cm$^{2}$ and 35 $\mu$c/cm$^{2}$, respectively, opening new prospective design in thin films Aurivillius FeRAM devices.


title: A new computational framework for log-concave density estimation

abstract: In Statistics, log-concave density estimation is a central problem within the field of nonparametric inference under shape constraints. Despite great progress in recent years on the statistical theory of the canonical estimator, namely the log-concave maximum likelihood estimator, adoption of this method has been hampered by the complexities of the non-smooth convex optimization problem that underpins its computation. We provide enhanced understanding of the structural properties of this optimization problem, which motivates the proposal of new algorithms, based on both randomized and Nesterov smoothing, combined with an appropriate integral discretization of increasing accuracy. We prove that these methods enjoy, both with high probability and in expectation, a convergence rate of order $1/T$ up to logarithmic factors on the objective function scale, where $T$ denotes the number of iterations. The benefits of our new computational framework are demonstrated on both synthetic and real data, and our implementation is available in a github repository \texttt{LogConcComp} (Log-Concave Computation).


title: Heat Distribution of Relativistic Brownian Motion

abstract: Understanding the statistical behavior of the heat in stochastic systems gives us insight about the thermodynamics of such systems. Using the recently proposed Relativistic Stochastic Thermodynamics, we investigate the statistics of the heat of a Relativistic Ornstein-Uhlenbeck particle, comparing with the classical cases. The results are exact through numerical integration of the Fokker-Planck of the joint distribution, and are validated by numerical simulations.


title: On gradient flow and entropy solutions for nonlocal transport equations with nonlinear mobility

abstract: We prove the well-posedness of entropy solutions for a wide class of nonlocal transport equations with nonlinear mobility in one spatial dimension. The solution is obtained as the limit of approximations constructed via a deterministic system of interacting particles that exhibits a gradient flow structure. At the same time, we expose a rigorous gradient flow structure for this class of equations in terms of an Energy-Dissipation balance, which we obtain via the asymptotic convergence of functionals.


title: GraphSAT -- a decision problem connecting satisfiability and graph theory

abstract: Satisfiability of boolean formulae (SAT) has been a topic of research in logic and computer science for a long time. In this paper we are interested in understanding the structure of satisfiable and unsatisfiable sentences. In previous work we initiated a new approach to SAT by formulating a mapping from propositional logic sentences to graphs, allowing us to find structural obstructions to 2SAT (clauses with exactly 2 literals) in terms of graphs. Here we generalize these ideas to multi-hypergraphs in which the edges can have more than 2 vertices and can have multiplicity. This is needed for understanding the structure of SAT for sentences made of clauses with 3 or more literals (3SAT), which is a building block of NP-completeness theory. We introduce a decision problem that we call GraphSAT, as a first step towards a structural view of SAT. Each propositional logic sentence can be mapped to a multi-hypergraph by associating each variable with a vertex (ignoring the negations) and each clause with a hyperedge. Such a graph then becomes a representative of a collection of possible sentences and we can then formulate the notion of satisfiability of such a graph. With this coarse representation of classes of sentences one can then investigate structural obstructions to SAT. To make the problem tractable, we prove a local graph rewriting theorem which allows us to simplify the neighborhood of a vertex without knowing the rest of the graph. We use this to deduce several reduction rules, allowing us to modify a graph without changing its satisfiability status which can then be used in a program to simplify graphs. We study a subclass of 3SAT by examining sentences living on triangulations of surfaces and show that for any compact surface there exists a triangulation that can support unsatisfiable sentences, giving specific examples of such triangulations for various surfaces.


title: Equilibrium Chiral Magnetic Effect: spatial inhomogeneity, finite temperature, interactions

abstract: We discuss equilibrium relativistic fermionic systems in lattice regularization, and extend the consideration of chiral magnetic effect to systems with spatial inhomogeneity and finite temperature. Besides, we take into account interactions due to exchange by gauge bosons. We find that the equilibrium chiral magnetic conductivity remains equal to zero.


title: Manipulating atom-number distributions and detecting spatial distributions in lattice-confined spinor gases

abstract: We present an experimental study demonstrating the manipulation of atom-number distributions of spinor gases after nonequilibrium quantum quenches across superfluid to Mott-insulator phase transitions in cubic optical lattices. Our data indicate that atom distributions in individual Mott lobes can be tuned by properly designing quantum quench sequences, which suggests methods of maximizing the fraction of atoms in Mott lobes of even occupation numbers and has applications in attaining different quantum magnetic phases including massively entangled states. Spatial distributions of gases in three-dimensional lattices are derived from the observed number distributions, which reveal complex spatial dynamics during the quantum quenches. Qualitative agreements are also found between our experimental data and numerical simulations based on time-dependent Gutzwiller approximations in two-dimensional systems.


title: Unconventional charge density wave and photoinduced lattice symmetry change in Kagome Metal CsV$_3$Sb$_5$ probed by time-resolved spectroscopy

abstract: Recently, kagome lattice metal AV$_3$Sb$_5$ (A = K, Rb, Cs) family has received wide attention due to its presence of superconductivity, charge density wave (CDW) and peculiar properties from topological nontrivial electronic structure. With time-resolved pump-probe spectroscopy, we show that the excited quasiparticle relaxation dynamics can be explained by formation of energy gap below the phase transition being similar to a usual second-order CDW condensate, by contrast, the structure change is predominantly first order phase transition. Furthermore, no CDW amplitude mode is identified in the ordered phase. The results suggest that the CDW order is very different from the traditional CDW condensate. We also find that weak pump pulse can non-thermally melt the CDW order and drive the sample into its high temperature phase, revealing the fact that the difference in lattice potential between those phases is small.


title: A quantum-enhanced wide-field phase imager

abstract: Quantum techniques can be used to enhance the signal-to-noise ratio in optical imaging. Leveraging the latest advances in single photon avalanche diode array cameras and multi-photon detection techniques, here we introduce a super-sensitive phase imager, which uses space-polarization hyper-entanglement to operate over a large field-of-view without the need of scanning operation. We show quantum-enhanced imaging of birefringent and non-birefringent phase samples over large areas, with sensitivity improvements over equivalent classical measurements carried out with equal number of photons. The practical applicability is demonstrated by imaging a biomedical protein microarray sample. Our quantum-enhanced phase imaging technology is inherently scalable to high resolution images, and represents an essential step towards practical quantum imaging.


title: NMR of Confined Fluids: a Numerical Study using COMSOL with application in Petrophysics

abstract: Nuclear Magnetic Resonance (NMR) is one of the main experimental tools to evaluate the production potential of porous rocks in oil wells. From the relative areas and mean values obtained from relaxation time distribution curves, information about fluid content, porosity and permeability can be obtained. In this report, a numerical study of pulsed NMR of confined fluids using the software COMSOL (license 9200972) is presented. This is done by solving the Bloch-Torrey equations considering surface relaxivity using the "flux/source" boundary conditions for different geometries, in the fast and slow diffusion regimes. The study is made for a single fluid and for a mixture of two coupled fluids (McConnell equations), first in isolated pores, and then in a "cylindrical porous plug" containing one single 20 microns spherical pore surrounded by 800 X 2 microns, unconnected, also spherical ones. NMR spectra and transverse relaxation are calculated as a function of pore sizes and coupling strength between fluids, for single 90 degrees pulses, followed by the FFT of the NMR signal (FID), and the echo amplitude after a spin-echo pulse sequence, respectively. The simulations show that, in the fast diffusion regime, pore sizes can be, in principle, distinguished by transverse relaxation, but even in noiseless condition and full control of geometry, only a rough estimate of sizes can be obtained. A number of possible follow-up studies with COMSOL are discussed at the concluding remarks.


title: The role of frustration in collective decision-making dynamical processes on multiagent signed networks

abstract: In this work we consider a collective decision-making process in a network of agents described by a nonlinear interconnected dynamical model with sigmoidal nonlinearities and signed interaction graph. The decisions are encoded in the equilibria of the system. The aim is to investigate this multiagent system when the signed graph representing the community is not structurally balanced and in particular as we vary its frustration, i.e., its distance to structural balance. The model exhibits bifurcations, and a ``social effort'' parameter, added to the model to represent the strength of the interactions between the agents, plays the role of bifurcation parameter in our analysis. We show that, as the social effort increases, the decision-making dynamics exhibits a pitchfork bifurcation behavior where, from a deadlock situation of ``no decision'' (i.e., the origin is the only globally stable equilibrium point), two possible (alternative) decision states for the community are achieved (corresponding to two nonzero locally stable equilibria). The value of social effort for which the bifurcation is crossed (and a decision is reached) increases with the frustration of the signed network.

categories: math.OC cs.SI cs.SY eess.SY physics.soc-ph


title: Autonomous Kinetic Modeling of Biomass Pyrolysis using Chemical Reaction Neural Networks

abstract: Modeling the burning processes of biomass such as wood, grass, and crops is crucial for the modeling and prediction of wildland and urban fire behavior. Despite its importance, the burning of solid fuels remains poorly understood, which can be partly attributed to the unknown chemical kinetics of most solid fuels. Most available kinetic models were built upon expert knowledge, which requires chemical insights and years of experience. This work presents a framework for autonomously discovering biomass pyrolysis kinetic models from thermogravimetric analyzer (TGA) experimental data using the recently developed chemical reaction neural networks (CRNN). The approach incorporated the CRNN model into the framework of neural ordinary differential equations to predict the residual mass in TGA data. In addition to the flexibility of neural-network-based models, the learned CRNN model is interpretable, by incorporating the fundamental physics laws, such as the law of mass action and Arrhenius law, into the neural network structure. The learned CRNN model can then be translated into the classical forms of biomass chemical kinetic models, which facilitates the extraction of chemical insights and the integration of the kinetic model into large-scale fire simulations. We demonstrated the effectiveness of the framework in predicting the pyrolysis and oxidation of cellulose. This successful demonstration opens the possibility of rapid and autonomous chemical kinetic modeling of solid fuels, such as wildfire fuels and industrial polymers.


title: A Category for Extensive-Form Games

abstract: This paper introduces Gm, which is a category for extensive-form games. It also provides some applications. The category's objects are games, which are understood to be sets of nodes which have been endowed with edges, information sets, actions, players, and utility functions. Its arrows are functions from source nodes to target nodes that preserve the additional structure. For instance, a game's information-set collection is newly regarded as a topological basis for the game's decision-node set, and thus a morphism's continuity serves to preserve information sets. Given these definitions, a game monomorphism is characterized by the property of not mapping two source runs (plays) to the same target run. Further, a game isomorphism is characterized as a bijection whose restriction to decision nodes is a homeomorphism, whose induced player transformation is injective, and which strictly preserves the ordinal content of the utility functions. The category is then applied to some game-theoretic concepts beyond the definition of a game. A Selten subgame is characterized as a special kind of categorical subgame, and game isomorphisms are shown to preserve strategy sets, Nash equilibria, Selten subgames, subgame-perfect equilibria, perfect-information, and no-absentmindedness. Further, it is shown that the full subcategory for distinguished-action sequence games is essentially wide in the category of all games, and that the full subcategory of action-set games is essentially wide in the full subcategory for games with no-absentmindedness.


title: A comparative study of Higgs boson production from vector-boson fusion

abstract: The data taken in Run II at the LHC have started to probe Higgs boson production at high transverse momentum. Future data will provide a large sample of events with boosted Higgs boson topologies, allowing for a detailed understanding of electroweak Higgs boson plus two-jet production, and in particular the vector-boson fusion mode (VBF). We perform a detailed comparison of precision calculations for Higgs boson production in this channel, with particular emphasis on large Higgs boson transverse momenta, and on the jet radius dependence of the cross section. We study fixed-order predictions at NLO and NNLO QCD, and compare the results to NLO plus parton shower (NLOPS) matched calculations. The impact of the NNLO corrections on the central predictions is mild, with inclusive scale uncertainties of the order of a few percent, which can increase with the imposition of kinematic cuts. We find good agreement between the fixed-order and matched calculations in non-Sudakov regions, and the various NLOPS predictions also agree well in the Sudakov regime. We analyze backgrounds to VBF Higgs boson production stemming from associated production, and from gluon-gluon fusion. At high Higgs boson transverse momenta, the $\Delta y_{jj}$ and/or $m_{jj}$ cuts typically used to enhance the VBF signal over background lead to a reduced efficiency. We examine this effect as a function of the jet radius and using different definitions of the tagging jets. QCD radiative corrections increase for all Higgs production modes with increasing Higgs boson $p_T$, but the proportionately larger increase in the gluon fusion channel results in a decrease of the gluon-gluon fusion background to electroweak Higgs plus two jet production upon requiring exclusive two-jet topologies. We study this effect in detail and contrast in particular a central jet veto with a global jet multiplicity requirement.


title: A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

abstract: Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked at every scale and can communicate with each other and with humans. Nodes can join and leave the network at any time or they can move to different spatial locations. In this scenario, monitoring spatial and temporal properties plays a key role in the understanding of how complex behaviors can emerge from local and dynamic interactions. We revisit here the Spatio-Temporal Reach and Escape Logic (STREL), a logic-based formal language designed to express and monitor spatio-temporal requirements over the execution of mobile and spatially distributed CPS. STREL considers the physical space in which CPS entities (nodes of the graph) are arranged as a weighted graph representing their dynamic topological configuration. Both nodes and edges include attributes modeling physical and logical quantities that can evolve over time. STREL combines the Signal Temporal Logic with two spatial modalities reach and escape that operate over the weighted graph. From these basic operators, we can derive other important spatial modalities such as everywhere, somewhere and surround. We propose both qualitative and quantitative semantics based on constraint semiring algebraic structure. We provide an offline monitoring algorithm for STREL and we show the feasibility of our approach with the application to two case studies: monitoring spatio-temporal requirements over a simulated mobile ad-hoc sensor network and a simulated epidemic spreading model for COVID19.


title: Time-Resolved Cathodoluminescence in an Ultrafast Transmission Electron Microscope

abstract: Ultra-fast transmission electron microscopy (UTEM) combines sub-picosecond time-resolution with the versatility of TEM spectroscopies. It allows one to study the dynamics of materials properties combining complementary techniques. However, until now, time-resolved cathodoluminescence, which is expected to give access to the optical properties dynamics, was still unavailable in a UTEM. In this paper, we report time-resolved cathodoluminescence measurements in an ultrafast transmission electron microscope. We measured lifetime maps, with a 12 nm spatial resolution and sub-nanoseconds resolution, of nano-diamonds with a high density of NV center. This study paves the way to new applications of UTEM and to correlative studies of optically active nanostructures.


title: Scalarized dyonic black holes in vector-tensor Horndeski gravity

abstract: The vector-tensor Horndeski theory is supplemented by a real, massless scalar field non-minimally coupled to the Horndeski interaction term. The generic dyonic Reissner-Nordstrom solutions characterized by electric and magnetic charges, acquire an instability and bifurcate into electromagnetically charged solutions presenting an horizon and a cloud of scalar hairs at specific values of the non-minimal coupling constant. These hairy black holes are studied in terms of the physical parameters of the model and the critical phenomena limiting their domain of existence are discussed.


title: Enhanced multiexciton formation by an electron-hole plasma in 2D semiconductors

abstract: Multiexcitons in monolayer WSe2 exhibit a suite of optoelectronic phenomena that are unique to those of their single exciton constituents. Here, photoluminescence action spectroscopy shows that multiexciton formation is enhanced with increasing optical excitation energy. This enhancement is attributed to the multiexciton formation processes from an electron-hole plasma and results in over 300% more multiexciton emission than at lower excitation energies at 4 K. The energetic onset of the enhancement coincides with the quasiparticle bandgap, corroborating the role of the electron-hole plasma, and the enhancement diminishes with increasing temperature. The results reveal that the strong interactions responsible for ultrafast exciton formation also affect multiexciton phenomena, and both multiexciton and single exciton states play significant roles in plasma thermalization in 2D semiconductors.


title: Infinite flags and Schubert polynomials

abstract: We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety, and study the corresponding pullback map on (equivariant) cohomology rings.


title: The relationship between economic growth and environment. Testing the EKC hypothesis for Latin American countries

abstract: We employ an ARDL bounds testing approach to cointegration and Unrestricted Error Correction Models (UECMs) to estimate the relationship between income and CO2 emissions per capita in 21 Latin American Countries (LACs) over 1960-2017. Using time series we estimate six different specifications of the model to take into account the independent effect on CO2 emissions per capita of different factors considered as drivers of different dynamics of CO2 emissions along the development path. This approach allows to address two concerns. First, the estimation of the model controlling for different variables serves to assess if the EKC hypothesis is supported by evidence in any of the LACs considered and to evaluate if this evidence is robust to different model specifications. Second, the inclusion of control variables accounting for the effect on CO2 emissions is directed at increasing our understanding of CO2 emissions drivers in different countries. The EKC hypothesis effectively describes the long term income-emissions relationship only in a minority of LACs and, in many cases, the effect on CO2 emissions of different factors depends on the individual country experience and on the type and quantity of environmental policies adopted. Overall, these results call for increased environmental action in the region.


title: Sufficiently dense Kuramoto networks are globally synchronizing

abstract: Consider any network of $n$ identical Kuramoto oscillators in which each oscillator is coupled bidirectionally with unit strength to at least $\mu (n-1)$ other oscillators. There is a critical value of the connectivity, $\mu_c$, such that whenever $\mu>\mu_c$, the system is guaranteed to converge to the all-in-phase synchronous state for almost all initial conditions, but when $\mu<\mu_c$, there are networks with other stable states. The precise value of the critical connectivity remains unknown, but it has been conjectured to be $\mu_c=0.75$. In 2020, Lu and Steinerberger proved that $\mu_c\leq 0.7889$, and Yoneda, Tatsukawa, and Teramae proved in 2021 that $\mu_c > 0.6838$. In this paper, we prove that $\mu_c\leq 0.75$ and explain why this is the best upper bound that one can obtain by a purely linear stability analysis.


title: VANiLLa : Verbalized Answers in Natural Language at Large Scale

abstract: In the last years, there have been significant developments in the area of Question Answering over Knowledge Graphs (KGQA). Despite all the notable advancements, current KGQA datasets only provide the answers as the direct output result of the formal query, rather than full sentences incorporating question context. For achieving coherent answers sentence with the question's vocabulary, template-based verbalization so are usually employed for a better representation of answers, which in turn require extensive expert intervention. Thus, making way for machine learning approaches; however, there is a scarcity of datasets that empower machine learning models in this area. Hence, we provide the VANiLLa dataset which aims at reducing this gap by offering answers in natural language sentences. The answer sentences in this dataset are syntactically and semantically closer to the question than to the triple fact. Our dataset consists of over 100k simple questions adapted from the CSQA and SimpleQuestionsWikidata datasets and generated using a semi-automatic framework. We also present results of training our dataset on multiple baseline models adapted from current state-of-the-art Natural Language Generation (NLG) architectures. We believe that this dataset will allow researchers to focus on finding suitable methodologies and architectures for answer verbalization.


title: Diacritics Restoration using BERT with Analysis on Czech language

abstract: We propose a new architecture for diacritics restoration based on contextualized embeddings, namely BERT, and we evaluate it on 12 languages with diacritics. Furthermore, we conduct a detailed error analysis on Czech, a morphologically rich language with a high level of diacritization. Notably, we manually annotate all mispredictions, showing that roughly 44% of them are actually not errors, but either plausible variants (19%), or the system corrections of erroneous data (25%). Finally, we categorize the real errors in detail. We release the code at https://github.com/ufal/bert-diacritics-restoration.


title: A tutorial on reproducing a predefined autocovariance function through AR models: Application to stationary homogeneous isotropic turbulence

abstract: Sequential methods for synthetic realisation of random processes have a number of advantages compared with spectral methods. In this article, the determination of optimal autoregressive (AR) models for reproducing a predefined target autocovariance function of a random process is addressed. To this end, a novel formulation of the problem is developed. This formulation is linear and generalises the well-known Yule-Walker (Y-W) equations and a recent approach based on restricted AR models (Krenk-Moller approach, K-M). Two main features characterise the introduced formulation: (i) flexibility in the choice for the autocovariance equations employed in the model determination, and (ii) flexibility in the definition of the AR model scheme. Both features were exploited by a genetic algorithm to obtain optimal AR models for the particular case of synthetic generation of homogeneous stationary isotropic turbulence time series. The obtained models improved those obtained with the Y-W and K-M approaches for the same model parsimony in terms of the global fitting of the target autocovariance function. Implications for the reproduced spectra are also discussed. The formulation for the multivariate case is also presented, highlighting the causes behind some computational bottlenecks.


title: From Base Data To Knowledge Discovery -- A Life Cycle Approach -- Using Multilayer Networks

abstract: Any large complex data analysis to infer or discover meaningful information/knowledge involves the following steps (in addition to data collection, cleaning, preparing the data for analysis such as attribute elimination): i) Modeling the data -- an approach for modeling and deriving a data representation for analysis using that approach, ii) translating analysis objectives into computations on the model generated; this can be as simple as a single computation (e.g., community detection) or may involve a sequence of operations (e.g., pair-wise community detection over multiple networks) using expressions based on the model, iii) computation of the expressions generated -- efficiency and scalability come into picture here, and iv) drill-down of results to interpret or understand them clearly. Beyond this, it is also meaningful to visualize results for easier understanding. Covid-19 visualization dashboard presented in this paper is an example of this. This paper covers all of the above steps of data analysis life cycle using a data representation that is gaining importance for multi-entity, multi-feature data sets - Multilayer Networks. We use several data sets to establish the effectiveness of modeling using MLNs and analyze them using the proposed decoupling approach. For coverage, we use different types of MLNs for modeling, and community and centrality computations for analysis. The data sets used - US commercial airlines, IMDb, DBLP, and Covid-19 data set. Our experimental analyses using the identified steps validate modeling, breadth of objectives that can be computed, and overall versatility of the life cycle approach. Correctness of results is verified, where possible, using independently available ground truth. We demonstrate drill-down that is afforded by this approach (due to structure and semantics preservation) for a better understanding and visualization of results.


title: Tuning of magnetic structures topology via single-ion anisotropy and magnetic field in frustrated 2D semiconductors

abstract: The effects of competing magnetic interactions in stabilizing different spin configurations are drawing a renewed attention in order to both unveil emerging topological spin textures and to highlight microscopic mechanisms leading to their stabilization. The possible key role of the two-site exchange anisotropy in selecting specific helicity and vorticity of skyrmionic lattices has only recently been proposed. In this work we explore the phase diagram of a frustrated localized magnet on a two-dimensional centrosymmetric triangular lattice, focusing on the interplay between the two-ion anisotropy (TIA) and the single-ion anisotropy (SIA). The effects of an external magnetic field applied perpendicularly to the magnetic layer are also investigated. By means of Monte Carlo simulations, we find a profusion of different spin configurations, going from trivial to high-order Q skyrmionic and meronic lattices. In closer detail, we find that a dominant role is played by the two-ion over the single-ion anisotropy in determining the planar spin texture, whereas the strength and sign of SIA, together with the magnitude of the magnetic field, tune the perpendicular spin components, mostly affecting the polarity (and, in turn, the topology) of the spin-texture. Our analysis confirms the crucial role of anisotropic symmetric exchange in systems with dominant short-range interactions, at the same time predicting a rich variety of complex magnetic textures that may arise from a fine tuning of competing anisotropic mechanisms.


title: Reproducibility Report: Contextualizing Hate Speech Classifiers with Post-hoc Explanation

abstract: The presented report evaluates Contextualizing Hate Speech Classifiers with Post-hoc Explanation paper within the scope of ML Reproducibility Challenge 2020. Our work focuses on both aspects constituting the paper: the method itself and the validity of the stated results. In the following sections, we have described the paper, related works, algorithmic frameworks, our experiments and evaluations.


title: The effect of delayed awareness and fatigue on the efficacy of self-isolation in epidemic control

abstract: The isolation of infectious individuals is a key measure of public health for the control of communicable diseases. However, involving a strong perturbation of daily life, it often causes psychosocial distress, and severe financial and social costs. These may act as mechanisms limiting the adoption of the measure in the first place or the adherence throughout its full duration. In addition, difficulty of recognizing mild symptoms or lack of symptoms may impact awareness of the infection and further limit adoption. Here, we study an epidemic model on a network of contacts accounting for limited adherence and delayed awareness to self-isolation, along with fatigue causing overhasty termination. The model allows us to estimate the role of each ingredient and analyze the tradeoff between adherence and duration of self-isolation. We find that the epidemic threshold is very sensitive to an effective compliance that combines the effects of imperfect adherence, delayed awareness and fatigue. If adherence improves for shorter quarantine periods, there exists an optimal duration of isolation, shorter than the infectious period. However, heterogeneities in the connectivity pattern, coupled to a reduced compliance for highly active individuals, may almost completely offset the effectiveness of self-isolation measures on the control of the epidemic.


title: On the Fourier dimension of $(d,k)$-sets and Kakeya sets with restricted directions

abstract: A $(d,k)$-set is a subset of $\mathbb{R}^d$ containing a $k$-dimensional unit ball of all possible orientations. Using an approach of D.~Oberlin we prove various Fourier dimension estimates for compact $(d,k)$-sets. Our main interest is in restricted $(d,k)$-sets, where the set only contains unit balls with a restricted set of possible orientations $\Gamma$. In this setting our estimates depend on the Hausdorff dimension of $\Gamma$ and can sometimes be improved if additional geometric properties of $\Gamma$ are assumed. We are led to consider cones and prove that the cone in $\mathbb{R}^{d+1}$ has Fourier dimension $d-1$, which may be of interest in its own right.


title: On the Optimality of the Stationary Solution of Secrecy Rate Maximization for MIMO Wiretap Channel

abstract: To achieve perfect secrecy in a multiple-input multiple-output (MIMO) Gaussian wiretap channel (WTC), we need to find its secrecy capacity and optimal signaling, which involves solving a difference of convex functions program known to be non-convex for the non-degraded case. To deal with this, a class of existing solutions have been developed but only local optimality is guaranteed by standard convergence analysis. Interestingly, our extensive numerical experiments have shown that these local optimization methods indeed achieve global optimality. In this paper, we provide an analytical proof for this observation. To achieve this, we show that the Karush-Kuhn-Tucker (KKT) conditions of the secrecy rate maximization problem admit a unique solution for both degraded and non-degraded cases. Motivated by this, we also propose a low-complexity algorithm to find a stationary point. Numerical results are presented to verify the theoretical analysis.


title: Remunerating Space-Time, Load-Shifting Flexibility from Data Centers in Electricity Markets

abstract: We study an electricity market clearing formulation that seeks to remunerate spatio-temporal, load-shifting flexibility provided by data centers (DaCes). Load-shifting flexibility is a key asset for power grid operators as they aim to integrate larger amounts of intermittent renewable power and to decarbonize the grid. Central to our study is the concept of virtual links, which provide non-physical pathways that can be used by DaCes to shift power loads (by shifting computing loads) across space and time. We use virtual links to show that the clearing formulation treats DaCes as prosumers that simultaneously request load and provide a load-shifting flexibility service. Our analysis also reveals that DaCes are remunerated for the provision of load-shifting flexibility based on nodal price differences (across space and time). We also show that DaCe flexibility helps relieve space-time price volatility and show that the clearing formulation satisfies fundamental economic properties that are expected from coordinated markets (e.g., provides a competitive equilibrium and achieves revenue adequacy and cost recovery). The concepts presented are applicable to other key market players that can offer space-time shifting flexibility such as distributed manufacturing facilities and storage systems. Case studies are presented to demonstrate these properties.


title: Skew Orthogonal Convolutions

abstract: Training convolutional neural networks with a Lipschitz constraint under the $l_{2}$ norm is useful for provable adversarial robustness, interpretable gradients, stable training, etc. While 1-Lipschitz networks can be designed by imposing a 1-Lipschitz constraint on each layer, training such networks requires each layer to be gradient norm preserving (GNP) to prevent gradients from vanishing. However, existing GNP convolutions suffer from slow training, lead to significant reduction in accuracy and provide no guarantees on their approximations. In this work, we propose a GNP convolution layer called Skew Orthogonal Convolution (SOC) that uses the following mathematical property: when a matrix is {\it Skew-Symmetric}, its exponential function is an {\it orthogonal} matrix. To use this property, we first construct a convolution filter whose Jacobian is Skew-Symmetric. Then, we use the Taylor series expansion of the Jacobian exponential to construct the SOC layer that is orthogonal. To efficiently implement SOC, we keep a finite number of terms from the Taylor series and provide a provable guarantee on the approximation error. Our experiments on CIFAR-10 and CIFAR-100 show that SOC allows us to train provably Lipschitz, large convolutional neural networks significantly faster than prior works while achieving significant improvements for both standard and certified robust accuracies.


title: Cost-Accuracy Aware Adaptive Labeling for Active Learning

abstract: Conventional active learning algorithms assume a single labeler that produces noiseless label at a given, fixed cost, and aim to achieve the best generalization performance for given classifier under a budget constraint. However, in many real settings, different labelers have different labeling costs and can yield different labeling accuracies. Moreover, a given labeler may exhibit different labeling accuracies for different instances. This setting can be referred to as active learning with diverse labelers with varying costs and accuracies, and it arises in many important real settings. It is therefore beneficial to understand how to effectively trade-off between labeling accuracy for different instances, labeling costs, as well as the informativeness of training instances, so as to achieve the best generalization performance at the lowest labeling cost. In this paper, we propose a new algorithm for selecting instances, labelers (and their corresponding costs and labeling accuracies), that employs generalization bound of learning with label noise to select informative instances and labelers so as to achieve higher generalization accuracy at a lower cost. Our proposed algorithm demonstrates state-of-the-art performance on five UCI and a real crowdsourcing dataset.


title: On the stability of Rotating States in Second-Order Self-Propelled Multi-Particle Systems

abstract: The study of emergent behavior of swarms is of great interest for applied sciences. In this paper, we study the stability of the system of $n$-coupled self-propelled particle systems $\ddot r_k = (1-|\dot r_k|^2)\dot r_k - \frac{1}{n}\sum_{m=1}^n(r_k-r_m)$, $r_k\in \mathbb R^2$, with all-to-all spring-like coupling. Previous numerical experiments have shown that for a large set of initial conditions, after an initial drift, the center of mass of the system converges to a stationary point and each particle eventually rotates with unit angular velocity around the stationary center of mass. The distribution of the particles on the circle need not be uniform. Such limit states are dubbed {\it rotating states}. We prove that a rotating state with particles spinning in the same direction is stable and we show that every solution that starts near a rotating state asymptotically approaches a rotating state. The proof uses new slow manifold ideas to improve the approximations of the flow on the center manifold in the presence of non-isolated fixed points.


title: Multi-TeV Signals of Higgs Troika Model

abstract: We consider a model of baryogenesis that requires extending the Standard Model by two additional multi-TeV Higgs doublets that do not break electroweak symmetry. Adopting the ``Spontaneous Flavor Violation" framework, we can arrange for the heavy Higgs states to have significant couplings to light quarks. This allows for the heavy scalars to be resonantly produced at a future 100 TeV $pp$ collider and discovered in di-jet and top-pair final states up to masses of $\mathcal{O}$(10 TeV). The same mass range can also lead to signals in flavor experiments. Together, these measurements can play a complementary role in probing the physics involved in this Higgs Troika baryogenesis scenario.


title: Scaling laws for the sensitivity enhancement of non-Gaussian spin states

abstract: We identify the large-$N$ scaling of the metrological quantum gain offered by over-squeezed spin states that are accessible by one-axis-twisting, as a function of the preparation time. We further determine how the scaling is modified by relevant decoherence processes and predict a discontinuous change of the quantum gain at a critical preparation time that depends on the noise. Our analytical results provide recipes for optimal and feasible implementations of quantum enhancements with non-Gaussian spin states in existing experiments, well beyond the reach of spin squeezing.


title: Multi-Level Attentive Convoluntional Neural Network for Crowd Counting

abstract: Recently the crowd counting has received more and more attention. Especially the technology of high-density environment has become an important research content, and the relevant methods for the existence of extremely dense crowd are not optimal. In this paper, we propose a multi-level attentive Convolutional Neural Network (MLAttnCNN) for crowd counting. We extract high-level contextual information with multiple different scales applied in pooling, and use multi-level attention modules to enrich the characteristics at different layers to achieve more efficient multi-scale feature fusion, which is able to be used to generate a more accurate density map with dilated convolutions and a $1\times 1$ convolution. The extensive experiments on three available public datasets show that our proposed network achieves outperformance to the state-of-the-art approaches.


title: Representing multiples of $m$ in real quadratic fields as sums of squares

abstract: We study real quadratic fields $\mathbb{Q}(\sqrt{D})$ such that, for a given rational integer $m$, all $m$-multiples of totally positive integers are sums of squares. We prove quite sharp necessary and sufficient conditions for this to happen. Further, we give a fast algorithm that solves this question for specific $m$, $D$ and we give complete results for $m \leq 5000$.


title: The Neumann and Dirichlet problems for the total variation flow in metric measure spaces

abstract: We study the Neumann and Dirichlet problems for the total variation flow in metric measure spaces. We prove existence and uniqueness of weak solutions and study their asymptotic behaviour. Furthermore, in the Neumann problem we provide a notion of solutions which is valid for $L^1$ initial data, as well as prove their existence and uniqueness. Our main tools are the first-order linear differential structure due to Gigli and a version of the Gauss-Green formula.


title: Uncertainty quantification for distributed regression

abstract: The ever-growing size of the datasets renders well-studied learning techniques, such as Kernel Ridge Regression, inapplicable, posing a serious computational challenge. Divide-and-conquer is a common remedy, suggesting to split the dataset into disjoint partitions, obtain the local estimates and average them, it allows to scale-up an otherwise ineffective base approach. In the current study we suggest a fully data-driven approach to quantify uncertainty of the averaged estimator. Namely, we construct simultaneous element-wise confidence bands for the predictions yielded by the averaged estimator on a given deterministic prediction set. The novel approach features rigorous theoretical guaranties for a wide class of base learners with Kernel Ridge regression being a special case. As a by-product of our analysis we also obtain a sup-norm consistency result for the divide-and-conquer Kernel Ridge Regression. The simulation study supports the theoretical findings.


title: Interaction potentials, electric moments, polarizabilities, and chemical reactions of YbCu, YbAg, and YbAu molecules

abstract: Ultracold YbAg molecules have been recently proposed as promising candidates for electron electric dipole moment searches [Verma, Jayich, and Vutha, Phys. Rev. Lett. 125, 153201 (2020)]. Here, we calculate potential energy curves, permanent electric dipole and quadrupole moments, and static electric dipole polarizabilities for the YbCu, YbAg, and YbAu molecules in their ground electronic states. We use the coupled cluster method restricted to single, double, and noniterative triple excitations with large Gaussian basis sets, while the scalar relativistic effects are included within the small-core energy-consistent pseudopotentials. We find that the studied molecules are relatively strongly bound with the well depths of 5708$\,$cm$^{-1}$, 5253$\,$cm$^{-1}$, 13349$\,$cm$^{-1}$ and equilibrium distances of 5.50$\,$bohr, 5.79$\,$bohr, 5.55$\,$bohr for the YbCu, YbAg, and YbAu, respectively. They have large permanent electric dipole moments of 3.2$\,$D, 3.3$\,$D, and 5.3$\,$D at equilibrium distances, respectively. We also calculate equilibrium geometries and energies of corresponding trimers. The studied molecules are chemically reactive unless they are segregated in an optical lattice or shielded with external fields. The investigated molecules may find application in ultracold controlled chemistry, dipolar many-body physics, or precision measurement experiments.


title: Attention-guided Temporally Coherent Video Object Matting

abstract: This paper proposes a novel deep learning-based video object matting method that can achieve temporally coherent matting results. Its key component is an attention-based temporal aggregation module that maximizes image matting networks' strength for video matting networks. This module computes temporal correlations for pixels adjacent to each other along the time axis in feature space, which is robust against motion noises. We also design a novel loss term to train the attention weights, which drastically boosts the video matting performance. Besides, we show how to effectively solve the trimap generation problem by fine-tuning a state-of-the-art video object segmentation network with a sparse set of user-annotated keyframes. To facilitate video matting and trimap generation networks' training, we construct a large-scale video matting dataset with 80 training and 28 validation foreground video clips with ground-truth alpha mattes. Experimental results show that our method can generate high-quality alpha mattes for various videos featuring appearance change, occlusion, and fast motion. Our code and dataset can be found at: https://github.com/yunkezhang/TCVOM


title: Slab Theorem and Halfspace Theorem for constant mean curvature surfaces in $\mathbb H^2\times\mathbb R$

abstract: We prove that a properly embedded annular end of a surface in $\mathbb H^2\times\mathbb R$ with constant mean curvature $0<H\leq \frac{1}{2}$ can not be contained in any horizontal slab. Moreover, we show that a properly embedded surface with constant mean curvature $0<H\leq \frac{1}{2}$ contained in $\mathbb H^2\times[0,+\infty)$ and with finite topology is necessarily a graph over a simply connected domain of $\mathbb H^2$. For the case $H=\frac{1}{2}$, the graph is entire.


title: Comparing symbolic powers of edge ideals of weighted oriented graphs

abstract: Let $D$ be a weighted oriented graph and $I(D)$ be its edge ideal. If $D$ contains an induced odd cycle of length $2n+1$, under certain condition we show that $ {I(D)}^{(n+1)} \neq {I(D)}^{n+1}$. We give necessary and sufficient condition for the equality of ordinary and symbolic powers of edge ideal of a weighted oriented graph having each edge in some induced odd cycle of it. We characterize the weighted naturally oriented unicyclic graphs with unique odd cycles and weighted naturally oriented even cycles for the equality of ordinary and symbolic powers of their edge ideals. Let $ D^{\prime} $ be the weighted oriented graph obtained from $D$ after replacing the weights of vertices with non-trivial weights which are sinks, by trivial weights. We show that the symbolic powers of $I(D)$ and $I(D^{\prime})$ behave in a similar way. Finally, if $D$ is any weighted oriented star graph, we show that $ {I(D)}^{(s)} = {I(D)}^s $ for all $s \geq 2.$


title: A note on the positive mass theorem with boundary

abstract: In this short note we explain how one can use established results to prove various versions of the positive mass theorem for initial data sets with boundary, in dimensions less than 8.


title: A lower bound for the $n$-queens problem

abstract: The $n$-queens puzzle is to place $n$ mutually non-attacking queens on an $n \times n$ chessboard. We present a simple two stage randomized algorithm to construct such configurations. In the first stage, a random greedy algorithm constructs an approximate \textit{toroidal} $n$-queens configuration. In this well-known variant the diagonals wrap around the board from left to right and from top to bottom. We show that with high probability this algorithm succeeds in placing $(1-o(1))n$ queens on the board. In the second stage, the method of absorbers is used to obtain a complete solution to the non-toroidal problem. By counting the number of choices available at each step of the random greedy algorithm we conclude that there are more than $\left( \left( 1 - o(1) \right) n e^{-3} \right)^n$ solutions to the $n$-queens problem. This proves a conjecture of Rivin, Vardi, and Zimmerman in a strong form.


title: Design to automate the detection and counting of Tuberculosis(TB) bacilli

abstract: Tuberculosis is a contagious disease which is one of the leading causes of death, globally. The general diagnosis methods for tuberculosis include microscopic examination, tuberculin skin test, culture method, enzyme linked immunosorbent assay (ELISA) and electronic nose system. World Health Organization (WHO) recommends standard microscopic examination for early diagnosis of tuberculosis. In microscopy, the technician examines field of views (FOVs) in sputum smear for presence of any TB bacilli and counts the number of TB bacilli per FOV to report the level of severity. This process is time consuming with an increased concentration for an experienced staff to examine a single sputum smear. The examination demands for skilled technicians in high-prevalence countries which may lead to overload, fatigue and diminishes the quality of microscopy. Thus, a computer assisted system is proposed and designed for the detection of tuberculosis bacilli to assist pathologists with increased sensitivity and specificity. The manual efforts in detecting and counting the number of TB bacilli is greatly minimized. The system obtains Ziehl-Neelsen stained microscopic images from conventional microscope at 100x magnification and passes the data to the detection system. Initially the segmentation of TB bacilli was done using RGB thresholding and Sauvola's adaptive thresholding algorithm. To eliminate the non-TB bacilli from coarse level segmentation, shape descriptors like area, perimeter, convex hull, major axis length and eccentricity are used to extract only the TB bacilli features. Finally, the TB bacilli are counted using the generated bounding boxes to report the level of severity.


title: $B_s \rightarrow D_s^*$ Form Factors for the full $q^2$ range from Lattice QCD

abstract: We compute the Standard Model semileptonic vector and axial-vector form factors for $B_s\to D_s^*$ decay across the full $q^2$ range using lattice QCD. We use the Highly Improved Staggered Quark (HISQ) action for all valence quarks, enabling us to normalise weak currents nonperturbatively. We use gluon field configurations including $u$, $d$, $s$ and $c$ HISQ sea quarks and multiple HISQ heavy quarks with masses from the $c$ mass up to that of the $b$ on our finest lattices. We determine the physical form factors, with which we construct the differential and total rates for $\Gamma(B_s^0\to D_s^{*-}\ell^+{\nu}_\ell)$. We find $\Gamma_{\ell=e}/|\eta_\mathrm{EW}V_{cb}|^2=2.07(17)_\mathrm{latt}(2)_\mathrm{EM}\times 10^{13} ~\mathrm{s}^{-1}$, $\Gamma_{\ell=\mu}/|\eta_\mathrm{EW}V_{cb}|^2=2.06(16)_\mathrm{latt}(2)_\mathrm{EM}\times 10^{13} ~\mathrm{s}^{-1}$ and $\Gamma_{\ell=\tau}/|\eta_\mathrm{EW}V_{cb}|^2=5.14(37)_\mathrm{latt}(5)_\mathrm{EM}\times 10^{12} ~\mathrm{s}^{-1}$, where $\eta_\mathrm{EW}$ contains the electroweak correction to $G_F$, the first uncertainty is from our lattice calculation, and the second allows for long-distance QED effects. We compute the ratio $R(D_s^{*-})\equiv \Gamma_{\ell=\tau}/\Gamma_{\ell=\mu}=0.2490(60)_\mathrm{latt}(35)_\mathrm{EM}$ and obtain a value for the ratio of decay rates $\Gamma_{\ell=\mu}(B_s\to D_s)/\Gamma_{\ell=\mu}(B_s\to D_s^*)=0.443(40)_\mathrm{latt}(4)_\mathrm{EM}$, which agrees well with recent LHCb results. We determine $|V_{cb}|=42.2 (1.5)_\mathrm{latt}(1.7)_\mathrm{exp}(0.4)_\mathrm{EM} \times 10^{-3}$ by combining our lattice results across the full q^2 range with experimental results from LHCb. A comparison of our results to the normalised differential decay rate from LHCb shows good agreement. We also test the impact of new physics couplings on observables sensitive to lepton flavor universality violation.


title: Universality for the directed configuration model: metric space convergence of the strongly connected components at criticality

abstract: We consider the strongly connected components (SCCs) of a uniform directed graph on $n$ vertices with i.i.d. in- and out-degree pairs distributed as $(D^-,D^+)$, with $\mathbb E[D^+]=\mathbb E[D^-]=\mu$. We condition on equal total in- and out-degree. A phase transition for the emergence of a giant SCC is known to occur at the critical value $\mathbb E[D^-D^+] = \mu$. We study the model at this critical value and, additionally, require that $\mathbb E[(D^-)^i(D^+)^j]<\infty$ for all $i+j\leq 3$, and for $(i,j)=(1,3)$ and $(i,j)=(3,1)$. We show that, under these conditions, the SCCs ranked by decreasing number of edges with distances rescaled by $n^{-1/3}$ converge in distribution to a sequence of finite strongly connected directed multigraphs with edge lengths, and that these are either $3$-regular or loops. The limit objects lie in a $3$-parameter family, which contains the scaling limit of the SCCs in the directed Erd\H{o}s-R\'enyi model at criticality as found by Goldschmidt and Stephenson (2019). This is the first universality result for the scaling limit of a critical directed graph model and the first quantitative result on the directed configuration model at criticality. As a trivial consequence, the largest SCCs at criticality contain $\Theta(n^{1/3})$ vertices and edges in probability, and the diameter of the directed graph at criticality is $\Omega(n^{1/3})$ in probability. We use a metric on the space of weighted multigraphs in which two multigraphs are close if there are compatible isomorphisms between their vertex and edge sets which roughly preserve the edge lengths. We use the product topology on the sequence of multigraphs. Our method of proof involves a depth-first exploration of the directed graph, resulting in a spanning forest with additional identifications, of which we study the limit under rescaling.


title: Electron affinity of oganesson

abstract: The electron affinity (EA) of superheavy element Og is calculated by the use of the relativistic Fock-space coupled cluster (FSCC) and configuration interaction methods. The FSCC cluster operator expansion included single, double, and triple excitations treated in a non-perturbative manner. The Gaunt and retardation electron-electron interactions are taken into account. Both methods yield the results that are in agreement with each other. The quantum electrodynamics correction to EA is evaluated using the model Lamb-shift operator approach. The electron affinity of Og is obtained to be 0.076(4) eV.


title: Differential forms on the curves associated to Appell-Lauricella hypergeometric series and the Cartier operator on them

abstract: Archinard studied the curve $C$ over $\mathbb{C}$ associated to an Appell-Lauricella hypergeometric series and differential forms on its desingularization. In this paper, firstly as a generalization of Archinard's results, we describe a partial desingularization of $C$ over a field $K$ under a mild condition on its characteristic and the space of global sections of its dualizing sheaf, especially we give an explicit basis of it. Secondly, when the characteristic is positive, we show that the Cartier operator on the space can be defined and describe it in terms of Appell-Lauricella hypergeometric series.


title: Counter-Epidemiological Projections of e-Coaching

abstract: This paper considers e-coaching at times of pandemic. It utilizes the Emergency Management Cycle (EMC), a core doctrine for managing disasters. The EMC dimensions provide a useful taxonomical view for the development and application of e-coaching systems, emphasizing technological and societal issues. Typical pandemic symptoms such as anxiety, panic, avoidance, and stress, if properly detected, can be mitigated using the e-coaching tactic and strategy. In this work, we focus on a stress monitoring assistant developed upon machine learning techniques. We provide the results of an experimental study of a prototype of such an assistant. Our study leads to the conclusion that stress monitoring shall become a valuable component of e-coaching at all EMC phases.


title: Robotic additive construction of bar structures: Unified sequence and motion planning

abstract: Additive robotic construction of building-scale discrete bar structures, such as trusses and space frames, is increasingly attractive due to the potential improvements in efficiency, safety, and design possibilities. However, programming complex robots, such as manipulators with seven degrees of freedom, to successfully complete construction tasks can be tedious, challenging, or impossible for a human to do manually. Namely, the structure must be constructed in a sequence that preserves structural properties, such as stiffness, at each step. At the same time, this sequence must allow for the robot to precisely manipulate elements within the in-progress structure while respecting geometric constraints that, for example, ensure the robot does not collide with what it has built. In this work, we present an automated and newly generalized planning approach for jointly finding a construction sequence and robot motion plan for additive construction that satisfies these requirements. Our approach can be applied in a variety of additive construction processes, and we demonstrate it specifically on spatial extrusion and discrete bar assembly in this paper. We demonstrate the effectiveness of our approach on several simulated and real-world extrusion and assembly tasks, including a human-scale physical prototype, for which our algorithm is deployed for the first time to plan the assembly of a complicated double tangent bar system design.


title: 2nd-order Updates with 1st-order Complexity

abstract: It has long been a goal to efficiently compute and use second order information on a function ($f$) to assist in numerical approximations. Here it is shown how, using only basic physics and a numerical approximation, such information can be accurately obtained at a cost of ${\cal O}(N)$ complexity, where $N$ is the dimensionality of the parameter space of $f$. In this paper, an algorithm ({\em VA-Flow}) is developed to exploit this second order information, and pseudocode is presented. It is applied to two classes of problems, that of inverse kinematics (IK) and gradient descent (GD). In the IK application, the algorithm is fast and robust, and is shown to lead to smooth behavior even near singularities. For GD the algorithm also works very well, provided the cost function is locally well-described by a polynomial.


title: Solving an inverse elliptic coefficient problem by convex non-linear semidefinite programming

abstract: Several applications in medical imaging and non-destructive material testing lead to inverse elliptic coefficient problems, where an unknown coefficient function in an elliptic PDE is to be determined from partial knowledge of its solutions. This is usually a highly non-linear ill-posed inverse problem, for which unique reconstructability results, stability estimates and global convergence of numerical methods are very hard to achieve. The aim of this note is to point out a new connection between inverse coefficient problems and semidefinite programming that may help addressing these challenges. We show that an inverse elliptic Robin transmission problem with finitely many measurements can be equivalently rewritten as a uniquely solvable convex non-linear semidefinite optimization problem. This allows to explicitly estimate the number of measurements that is required to achieve a desired resolution, to derive an error estimate for noisy data, and to overcome the problem of local minima that usually appears in optimization-based approaches for inverse coefficient problems.


title: On discrete $L_p$ Brunn-Minkowski type inequalities

abstract: $L_p$ Brunn-Minkowski type inequa\-li\-ties for the lattice point enumerator $\mathrm{G}_n(\cdot)$ are shown, both in a geometrical and in a functional setting. In particular, we prove that \[\mathrm{G}_n\bigl((1-\lambda)\cdot K +_p \lambda\cdot L + (-1,1)^n\bigr)^{p/n}\geq (1-\lambda)\mathrm{G}_n(K)^{p/n}+\lambda\mathrm{G}_n(L)^{p/n}\] for any $K, L\subset\mathbb{R}^n$ bounded sets with integer points and all $\lambda\in(0,1)$. We also show that these new discrete analogues (for $\mathrm{G}_n(\cdot)$) imply the corresponding results concerning the Lebesgue measure.


title: $ (p, N)-$Choquard logarithmic equation involving a nonlinearity with exponential critical growth: existence and multiplicity

abstract: The present work is concerned with the following version of Choquard Logarithmic equations $ -\Delta_p u -\Delta_N u + a|u|^{p-2}u + b|u|^{N-2}u + \lambda (\ln|\cdot|\ast G(u))g(u) = f(u) \textrm{ in } \mathbb{R}^N $ , where $ a, b, \lambda >0 $, $ \max\{\frac{N}{2}, 2 \} < p< N $, $f, g: \mathbb{R} \rightarrow \mathbb{R} $ are continuous functions that behave like $ \exp(\alpha |u|^{\frac{N}{N-1}}) $ at infinity, for $ \alpha >0 $, and that has polynomial growth, respectively, and $ G(s)=\int\limits_{0}^{s}g(\tau)d\tau $. We prove the existence of a nontrivial solution at the mountain pass level and a nontrivial ground state solution. Also, using a version of the Symmetric Mountain-Pass Theorem, we get infinitely many solutions.


title: LuvHarris: A Practical Corner Detector for Event-cameras

abstract: There have been a number of corner detection methods proposed for event cameras in the last years, since event-driven computer vision has become more accessible. Current state-of-the-art have either unsatisfactory accuracy or real-time performance when considered for practical use, for example when a camera is randomly moved in an unconstrained environment. In this paper, we present yet another method to perform corner detection, dubbed look-up event-Harris (luvHarris), that employs the Harris algorithm for high accuracy but manages an improved event throughput. Our method has two major contributions, 1. a novel "threshold ordinal event-surface" that removes certain tuning parameters and is well suited for Harris operations, and 2. an implementation of the Harris algorithm such that the computational load per event is minimised and computational heavy convolutions are performed only "as-fast-as-possible", i.e. only as computational resources are available. The result is a practical, real-time, and robust corner detector that runs more than 2.6x the speed of current state-of-the-art; a necessity when using high-resolution event-camera in real-time. We explain the considerations taken for the approach, compare the algorithm to current state-of-the-art in terms of computational performance and detection accuracy, and discuss the validity of the proposed approach for event cameras.


title: MillimeterDL: Deep Learning Simulations of the Microwave Sky

abstract: We present 500 high-resolution, full-sky millimeter-wave Deep Learning (DL) simulations that include lensed CMB maps and correlated foreground components. We find that these MillimeterDL simulations can reproduce a wide range of non-Gaussian summary statistics matching the input training simulations, while only being optimized to match the power spectra. The procedure we develop in this work enables the capability to mass produce independent full-sky realizations from a single expensive full-sky simulation, when ordinarily the latter would not provide enough training data. We also circumvent a common limitation of high-resolution DL simulations that they be confined to small sky areas, often due to memory or GPU issues; we do this by developing a "stitching" procedure that can faithfully recover the high-order statistics of a full-sky map without discontinuities or repeated features. In addition, since our network takes as input a full-sky lensing convergence map, it can in principle take a full-sky lensing convergence map from any large-scale structure (LSS) simulation and generate the corresponding lensed CMB and correlated foreground components at millimeter wavelengths; this is especially useful in the current era of combining results from both CMB and LSS surveys, which require a common set of simulations.