title: Mascara: A Novel Attack Leveraging Android Virtualization

abstract: Android virtualization enables an app to create a virtual environment, in which other apps can run. Originally designed to overcome the limitations of mobile apps dimensions, malicious developers soon started exploiting this technique to design novel attacks. As a consequence, researchers proposed new defence mechanisms that enable apps to detect whether they are running in a virtual environment. In this paper, we propose Mascara, the first attack that exploits the virtualization technique in a new way, achieving the full feasibility against any Android app and proving the ineffectiveness of existing countermeasures. Mascara is executed by a malicious app, that looks like the add-on of the victim app. As for any other add-on, our malicious one can be installed as a standard Android app, but, after the installation, it launches Mascara against the victim app. The malicious add-on is generated by Mascarer, the framework we designed and developed to automate the whole process. Concerning Mascara, we evaluated its effectiveness against three popular apps (i.e., Telegram, Amazon Music and Alamo) and its capability to bypass existing mechanisms for virtual environments detection. We analyzed the efficiency of our attack by measuring the overhead introduced at runtime by the virtualization technique and the compilation time required by Mascarer to generate 100 malicious add-ons (i.e., less than 10 sec). Finally, we designed a robust approach that detects virtual environments by inspecting the fields values of ArtMethod data structures in the Android Runtime (ART) environment.


title: Private Weighted Sum Aggregation

abstract: As large amounts of data are circulated both from users to a cloud server and between users, there is a critical need for privately aggregating the shared data. This paper considers the problem of private weighted sum aggregation with secret weights, where an aggregator wants to compute the weighted sum of the local data of some agents. Depending on the privacy requirements posed on the weights, there are different secure multi-party computation schemes exploiting the information structure. First, when each agent has a local private value and a local private weight, we review private sum aggregation schemes. Second, we discuss how to extend the previous schemes for when the agents have a local private value, but the aggregator holds the corresponding weights. Third, we treat a more general case where the agents have their local private values, but the weights are known neither by the agents nor by the aggregator; they are generated by a system operator, who wants to keep them private. We give a solution where aggregator obliviousness is achieved, even under collusion between the participants, and we show how to obtain a more efficient communication and computation strategy for multi-dimensional data, by batching the data into fewer ciphertexts. Finally, we implement our schemes and discuss the numerical results and efficiency improvements.


title: Fast Outflows in Hot Dust-Obscured Galaxies with Keck/NIRES

abstract: We present rest-frame optical spectroscopic observations of 24 Hot Dust-Obscured Galaxies (Hot DOGs) at redshifts 1.7-4.6 with KECK/NIRES. Our targets are selected based on their extreme red colors to be the highest luminosity sources from the WISE infrared survey. In 20 sources with well-detected emission we fit the key [O III], H$\beta$, H$\alpha$, [N II], and [S II] diagnostic lines to constrain physical conditions. Of the 17 targets with a clear detection of the [O III]$\rm \lambda$5007A emission line, 15 display broad blueshifted and asymmetric line profiles, with widths ranging from 1000 to 8000 $\rm km\ s^{-1}$ and blueshifts up to 3000 $\rm km\ s^{-1}$. These kinematics provide strong evidence for the presence of massive ionized outflows of up to $8000\ \rm M_\odot\ yr^{-1}$, with a median of $150\ \rm M_\odot\ yr^{-1}$. As many as eight sources show optical emission line ratios consistent with vigorous star formation. Balmer line star-formation rates, uncorrected for reddening, range from 30--1300 $\rm M_\odot\ yr^{-1}$, with a median of $50\ \rm M_\odot\ yr^{-1}$. Estimates of the SFR from SED fitting of mid and far-infrared photometry suggest significantly higher values. We estimate the central black hole masses to be of order $10^{8-10}\rm\ M_\odot$, assuming the present-day $\rm M_{BH}-\sigma_*$ relation. The bolometric luminosities and the estimated masses of the central black holes of these galaxies suggest that many of the AGN-dominated Hot DOGs are accreting at or above their Eddington limit. The combination of ongoing star formation, massive outflows, and high Eddington ratios suggest Hot DOGs are a transitional phase in galaxy evolution.


title: Explicit Formulas from the Continuous Spectrum

abstract: The purpose of this note is to announce the results of our investigation into the role played by the continuous spectrum in the development of the Selberg trace formula vis-\`a-vis a pair $(G,\Gamma)$. For the sake of simplicity, we shall restrict ourselves to a "rank-2" situation, a case in point being when $G = \textbf{SL}(3,\mathbb{R}), \ \Gamma = \textbf{SL}(3,\mathbb{Z})$. Full details (in all generality) will appear elsewhere.


title: Investigations of Impartial Games With a Pass

abstract: The study of the combinatorial game Nim and its variants is rich and varied, but little is known of the game Nim with a Pass. It is Nim, but once per game a player is permitted to skip their turn but this can only be done if a nonempty pile remains. In this paper we define a new binary operation on games which we use to prove novel properties of Nim with a Pass, as well as games which are generalizations of it. Most importantly, we make small progress on finding the $\mathcal{P}$-positions and optimal strategies of the game.


title: Robust Constrained Reinforcement Learning for Continuous Control with Model Misspecification

abstract: Many real-world physical control systems are required to satisfy constraints upon deployment. Furthermore, real-world systems are often subject to effects such as non-stationarity, wear-and-tear, uncalibrated sensors and so on. Such effects effectively perturb the system dynamics and can cause a policy trained successfully in one domain to perform poorly when deployed to a perturbed version of the same domain. This can affect a policy's ability to maximize future rewards as well as the extent to which it satisfies constraints. We refer to this as constrained model misspecification. We present an algorithm that mitigates this form of misspecification, and showcase its performance in multiple simulated Mujoco tasks from the Real World Reinforcement Learning (RWRL) suite.


title: Axiom Learning and Belief Tracing for Transparent Decision Making in Robotics

abstract: A robot's ability to provide descriptions of its decisions and beliefs promotes effective collaboration with humans. Providing such transparency is particularly challenging in integrated robot systems that include knowledge-based reasoning methods and data-driven learning algorithms. Towards addressing this challenge, our architecture couples the complementary strengths of non-monotonic logical reasoning, deep learning, and decision-tree induction. During reasoning and learning, the architecture enables a robot to provide on-demand relational descriptions of its decisions, beliefs, and the outcomes of hypothetical actions. These capabilities are grounded and evaluated in the context of scene understanding tasks and planning tasks performed using simulated images and images from a physical robot manipulating tabletop objects.


title: Generation and Structural Characterization of Debye Random Media

abstract: In their seminal paper on scattering by an inhomogeneous solid, Debye and coworkers proposed a simple exponentially decaying function for the two-point correlation function of an idealized class of two-phase random media. Such {\it Debye random media}, which have been shown to be realizable, are singularly distinct from all other models of two-phase media in that they are entirely defined by their one- and two-point correlation functions. To our knowledge, there has been no determination of other microstructural descriptors of Debye random media. In this paper, we generate Debye random media in two dimensions using an accelerated Yeong-Torquato construction algorithm. We then ascertain microstructural descriptors of the constructed media, including their surface correlation functions, pore-size distributions, lineal-path function, and chord-length probability density function. Accurate semi-analytic and empirical formulas for these descriptors are devised. We compare our results for Debye random media to those of other popular models (overlapping disks and equilibrium hard disks), and find that the former model possesses a wider spectrum of hole sizes, including a substantial fraction of large holes. Our algorithm can be applied to generate other models defined by their two-point correlation functions, and their other microstructural descriptors can be determined and analyzed by the procedures laid out here.

categories: cond-mat.dis-nn cond-mat.stat-mech physics.comp-ph physics.data-an


title: Variable guiding strategies in multi-exits evacuation: Pursuing balanced pedestrian densities

abstract: Evacuation assistants and their guiding strategies play an important role in the multi-exits pedestrian evacuation. To investigate the effect of guiding strategies on evacuation efficiency, we propose a force-driven cellular automaton model with adjustable guiding attractions imposed by the evacuation assistants located in the exits. In this model, each of the evacuation assistants tries to attract the pedestrians in the evacuation space towards its own exit by sending a quantifiable guiding signal, which may be adjusted according to the values of pedestrian density near the exit. The effects of guiding strategies pursuing balanced pedestrian densities are studied. It is observed that the unbalanced pedestrian distribution is mainly yielded by a snowballing effect generated from the mutual attractions among the pedestrians, and can be suppressed by controlling the pedestrian densities around the exits. We also reveal an interesting fact that given a moderate target density value, the density control for the partial regions (near the exits) could yield a global effect for balancing the pedestrians in the rest of the regions and hence improve the evacuation efficiency. Our findings may contribute to give new insight into designing effective guiding strategies in the realistic evacuation process.


title: Towards End-to-End In-Image Neural Machine Translation

abstract: In this paper, we offer a preliminary investigation into the task of in-image machine translation: transforming an image containing text in one language into an image containing the same text in another language. We propose an end-to-end neural model for this task inspired by recent approaches to neural machine translation, and demonstrate promising initial results based purely on pixel-level supervision. We then offer a quantitative and qualitative evaluation of our system outputs and discuss some common failure modes. Finally, we conclude with directions for future work.


title: Detecting Media Bias in News Articles using Gaussian Bias Distributions

abstract: Media plays an important role in shaping public opinion. Biased media can influence people in undesirable directions and hence should be unmasked as such. We observe that featurebased and neural text classification approaches which rely only on the distribution of low-level lexical information fail to detect media bias. This weakness becomes most noticeable for articles on new events, where words appear in new contexts and hence their "bias predictiveness" is unclear. In this paper, we therefore study how second-order information about biased statements in an article helps to improve detection effectiveness. In particular, we utilize the probability distributions of the frequency, positions, and sequential order of lexical and informational sentence-level bias in a Gaussian Mixture Model. On an existing media bias dataset, we find that the frequency and positions of biased statements strongly impact article-level bias, whereas their exact sequential order is secondary. Using a standard model for sentence-level bias detection, we provide empirical evidence that article-level bias detectors that use second-order information clearly outperform those without.


title: Towards Understanding the Dynamics of the First-Order Adversaries

abstract: An acknowledged weakness of neural networks is their vulnerability to adversarial perturbations to the inputs. To improve the robustness of these models, one of the most popular defense mechanisms is to alternatively maximize the loss over the constrained perturbations (or called adversaries) on the inputs using projected gradient ascent and minimize over weights. In this paper, we analyze the dynamics of the maximization step towards understanding the experimentally observed effectiveness of this defense mechanism. Specifically, we investigate the non-concave landscape of the adversaries for a two-layer neural network with a quadratic loss. Our main result proves that projected gradient ascent finds a local maximum of this non-concave problem in a polynomial number of iterations with high probability. To our knowledge, this is the first work that provides a convergence analysis of the first-order adversaries. Moreover, our analysis demonstrates that, in the initial phase of adversarial training, the scale of the inputs matters in the sense that a smaller input scale leads to faster convergence of adversarial training and a "more regular" landscape. Finally, we show that these theoretical findings are in excellent agreement with a series of experiments.


title: Automatic Extension of a Symbolic Mobile Manipulation Skill Set

abstract: Symbolic planning can provide an intuitive interface for non-expert users to operate autonomous robots by abstracting away much of the low-level programming. However, symbolic planners assume that the initially provided abstract domain and problem descriptions are closed and complete. This means that they are fundamentally unable to adapt to changes in the environment or task that are not captured by the initial description. We propose a method that allows an agent to automatically extend its skill set, and thus the abstract description, upon encountering such a situation. We introduce strategies for generalizing from previous experience, completing sequences of key actions and discovering preconditions to ensure the efficiency of our skill sequence exploration scheme. The resulting system is evaluated in simulation on object rearrangement tasks. Compared to a Monte Carlo Tree Search baseline, our strategies for efficient search have on average a 29% higher success rate at a 68% faster runtime.


title: Analyzing Political Bias and Unfairness in News Articles at Different Levels of Granularity

abstract: Media organizations bear great reponsibility because of their considerable influence on shaping beliefs and positions of our society. Any form of media can contain overly biased content, e.g., by reporting on political events in a selective or incomplete manner. A relevant question hence is whether and how such form of imbalanced news coverage can be exposed. The research presented in this paper addresses not only the automatic detection of bias but goes one step further in that it explores how political bias and unfairness are manifested linguistically. In this regard we utilize a new corpus of 6964 news articles with labels derived from adfontesmedia.com and develop a neural model for bias assessment. By analyzing this model on article excerpts, we find insightful bias patterns at different levels of text granularity, from single words to the whole article discourse.


title: Quantum Tensor Networks, Stochastic Processes, and Weighted Automata

abstract: Modeling joint probability distributions over sequences has been studied from many perspectives. The physics community developed matrix product states, a tensor-train decomposition for probabilistic modeling, motivated by the need to tractably model many-body systems. But similar models have also been studied in the stochastic processes and weighted automata literature, with little work on how these bodies of work relate to each other. We address this gap by showing how stationary or uniform versions of popular quantum tensor network models have equivalent representations in the stochastic processes and weighted automata literature, in the limit of infinitely long sequences. We demonstrate several equivalence results between models used in these three communities: (i) uniform variants of matrix product states, Born machines and locally purified states from the quantum tensor networks literature, (ii) predictive state representations, hidden Markov models, norm-observable operator models and hidden quantum Markov models from the stochastic process literature,and (iii) stochastic weighted automata, probabilistic automata and quadratic automata from the formal languages literature. Such connections may open the door for results and methods developed in one area to be applied in another.


title: Improved Sobolev inequality under constraints

abstract: We give a new proof of Aubin's improvement of the Sobolev inequality on $\mathbb{S}^{n}$ under the vanishing of first order moments of the area element and generalize it to higher order moments case. By careful study of an extremal problem on $\mathbb{S}^{n}$, we determine the constant explicitly in the second order moments case.


title: Chen-Jiang decompositions for projective varieties, without Hodge modules

abstract: We give a new proof of a theorem by Pareschi, Popa and Schnell that the direct image of the canonical bundle of a smooth projective variety along a morphism to an abelian variety admits a Chen-Jiang decomposition, without using the theory of Hodge modules.


title: Monoidal centres and groupoid-graded categories

abstract: We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distributors) between categories by $\mathrm{Mod}$; the tensor product is cartesian product of categories. For a groupoid $\scr{G}$, we study the monoidal centre $\mathrm{ZPs}(\scr{G},\mathrm{Mod}^{\mathrm{op}})$ of the monoidal bicategory $\mathrm{Ps}(\scr{G},\mathrm{Mod}^{\mathrm{op}})$ of pseudofunctors and pseudonatural transformations; the tensor product is pointwise. Alexei Davydov defined the full centre of a monoid in a monoidal category. We define a higher dimensional version: the full monoidal centre of a monoidale (= pseudomonoid) in a monoidal bicategory $\scr{M}$, and it is a braided monoidale in the monoidal centre $\mathrm{Z}\scr{M}$ of $\scr{M}$. Each fibration $\pi : \scr{H} \to \scr{G}$ between groupoids provides an example of a full monoidal centre of a monoidale in $\mathrm{Ps}(\scr{G},\mathrm{Mod}^{\mathrm{op}})$. For a group $G$, we explain how the $G$-graded categorical structures, as considered by Turaev and Virelizier in order to construct topological invariants, fit into this monoidal bicategory context. We see that their structures are monoidales in the monoidal centre of the monoidal bicategory of $k$-linear categories on which $G$ acts.


title: Statistical Analysis of the LMS Algorithm for Proper and Improper Gaussian Processes

abstract: The LMS algorithm is one of the most widely used techniques in adaptive filtering. Accurate modeling of the algorithm in various circumstances is paramount to achieving an efficient adaptive Wiener filter design process. In the recent decades, concerns have been raised on studying improper signals and providing an accurate model of the LMS algorithm for both proper and improper signals. Other models for the LMS algorithm for improper signals available in the scientific literature either make use of the independence assumptions regarding the desired signal and the input signal vector, or are exclusive to proper signals; it is shown that by not considering these assumptions a more general model can be derived. In the presented simulations it is possible to verify that the model introduced in this paper outperforms the other available models.


title: Display object alignment may influence location recall in unexpected ways

abstract: There is a presumption in human-computer interaction that laying out menus and most other material in neat rows and columns helps users get work done. The rule has been so implicit in the field of design as to allow for no debate. However, the idea that perfect collinearity benefits creates an advantage for both either search and or recall has rarely been tested. Drawing from separate branches of cognitive literature, we tested a minimal brainstorming interface with either aligned or eccentrically arranged layouts on 96 college students. Incidental exact recall of recently worked locations improved in the eccentric condition. And in both conditions there were frequent near-miss recall errors to neighboring aligned objects and groups of objects. Further analysis found only marginal performance advantages specifically for females with the eccentric design. However, NASA-TLX subjective measures showed that in eccentric, females reported higher performance, less effort, and yet also higher frustration; while males reported lower performance with about the same effort, and lower frustration.


title: A universal centred high-order method based on implicit Taylor series expansion with fast second order evolution of spatial derivatives

abstract: In this paper, a centred universal high-order finite volume method for solving hyperbolic balance laws is presented. The scheme belongs to the family of ADER methods where the Generalized Riemann Problems (GRP) is a building block. The solution to these problems is carried through an implicit Taylor series expansion, which allows the scheme to works very well for stiff source terms. A von Neumann stability analysis is carried out to investigate the range of CFL values for which stability and accuracy are balanced. The scheme implements a centred, low dissipation approach for dealing with the advective part of the system which profits from small CFL values. Numerical tests demonstrate that the present scheme can solve, efficiently, hyperbolic balance laws in both conservative and non-conservative form as well. An empirical convergence rate assessment shows that the expected theoretical orders of accuracy are achieved up to the fifth order.


title: Variational Multiscale Nonparametric Regression: Algorithms and Implementation

abstract: Many modern statistically efficient methods come with tremendous computational challenges, often leading to large-scale optimisation problems. In this work, we examine such computational issues for recently developed estimation methods in nonparametric regression with a specific view on image denoising. We consider in particular certain variational multiscale estimators which are statistically optimal in minimax sense, yet computationally intensive. Such an estimator is computed as the minimiser of a smoothness functional (e.g., TV norm) over the class of all estimators such that none of its coefficients with respect to a given multiscale dictionary is statistically significant. The so obtained multiscale Nemirowski-Dantzig estimator (MIND) can incorporate any convex smoothness functional and combine it with a proper dictionary including wavelets, curvelets and shearlets. The computation of MIND in general requires to solve a high-dimensional constrained convex optimisation problem with a specific structure of the constraints induced by the statistical multiscale testing criterion. To solve this explicitly, we discuss three different algorithmic approaches: the Chambolle-Pock, ADMM and semismooth Newton algorithms. Algorithmic details and an explicit implementation is presented and the solutions are then compared numerically in a simulation study and on various test images. We thereby recommend the Chambolle-Pock algorithm in most cases for its fast convergence. We stress that our analysis can also be transferred to signal recovery and other denoising problems to recover more general objects whenever it is possible to borrow statistical strength from data patches of similar object structure.


title: Exploring Overcomplete Representations for Single Image Deraining using CNNs

abstract: Removal of rain streaks from a single image is an extremely challenging problem since the rainy images often contain rain streaks of different size, shape, direction and density. Most recent methods for deraining use a deep network following a generic "encoder-decoder" architecture which captures low-level features across the initial layers and high-level features in the deeper layers. For the task of deraining, the rain streaks which are to be removed are relatively small and focusing much on global features is not an efficient way to solve the problem. To this end, we propose using an overcomplete convolutional network architecture which gives special attention in learning local structures by restraining the receptive field of filters. We combine it with U-Net so that it does not lose out on the global structures as well while focusing more on low-level features, to compute the derained image. The proposed network called, Over-and-Under Complete Deraining Network (OUCD), consists of two branches: overcomplete branch which is confined to small receptive field size in order to focus on the local structures and an undercomplete branch that has larger receptive fields to primarily focus on global structures. Extensive experiments on synthetic and real datasets demonstrate that the proposed method achieves significant improvements over the recent state-of-the-art methods.


title: Courant bracket as T-dual invariant extension of Lie bracket

abstract: We consider the symmetries of a closed bosonic string, starting with the general coordinate transformations. Their generator takes vector components $\xi^\mu$ as its parameter and its Poisson bracket algebra gives rise to the Lie bracket of its parameters. We are going to extend this generator in order for it to be invariant upon self T-duality, i.e. T-duality realized in the same phase space. The new generator is a function of a $2D$ double symmetry parameter $\Lambda$, that is a direct sum of vector components $\xi^\mu$, and 1-form components $\lambda_\mu$. The Poisson bracket algebra of a new generator produces the Courant bracket in a same way that the algebra of the general coordinate transformations produces Lie bracket. In that sense, the Courant bracket is T-dual invariant extension of the Lie bracket. When the Kalb-Ramond field is introduced to the model, the generator governing both general coordinate and local gauge symmetries is constructed. It is no longer self T-dual and its algebra gives rise to the $B$-twisted Courant bracket, while in its self T-dual description, the relevant bracket becomes the $\theta$-twisted Courant bracket. Next, we consider the T-duality and the symmetry parameters that depend on both the initial coordinates $x^\mu$ and T-dual coordinates $y_\mu$. The generator of these transformations is defined as an inner product in a double space and its algebra gives rise to the C-bracket.


title: Long Time Behavior of a Quasilinear Hyperbolic System Modelling Elastic Membranes

abstract: The paper studies the long time behavior of a system that describes the motion of a piece of elastic membrane driven by surface tension and inner air pressure. The system is a degenerate quasilinear hyperbolic one that involves the mean curvature, and also includes a damping term that models the dissipative nature of genuine physical systems. With the presence of damping, a small perturbation of the sphere converges exponentially in time to the sphere, and without the damping the evolution that is $\varepsilon$-close to the sphere has life span longer than $\varepsilon^{-1/6}$. Both results are proved using a new Nash-Moser-H\"{o}rmander type theorem proved by Baldi and Haus.


title: DuetSGX: Differential Privacy with Secure Hardware

abstract: Differential privacy offers a formal privacy guarantee for individuals, but many deployments of differentially private systems require a trusted third party (the data curator). We propose DuetSGX, a system that uses secure hardware (Intel's SGX) to eliminate the need for a trusted data curator. Data owners submit encrypted data that can be decrypted only within a secure enclave running the DuetSGX system, ensuring that sensitive data is never available to the data curator. Analysts submit queries written in the Duet language, which is specifically designed for verifying that programs satisfy differential privacy; DuetSGX uses the Duet typechecker to verify that each query satisfies differential privacy before running it. DuetSGX therefore provides the benefits of local differential privacy and central differential privacy simultaneously: noise is only added to final results, and there is no trusted third party. We have implemented a proof-of-concept implementation of DuetSGX and we release it as open-source.


title: Generalization of the theorems of Barndorff-Nielsen and Balakrishnan-Stepanov to Riesz spaces

abstract: In a Dedekind complete Riesz space, $E$, we show that if $(P_n)$ is a sequence of band projections in $E$ then $$\limsup\limits_{n\to \infty} P_n - \liminf\limits_{n\to \infty} P_n = \limsup\limits_{n\to \infty} P_n(I-P_{n+1}).$$ This identity is used to obtain conditional extensions in a Dedekind complete Riesz spaces with weak order unit and conditional expectation operator of the Barndorff-Nielsen and Balakrishnan-Stepanov generalizations of the First Borel-Cantelli Theorem.


title: Stability of cycling behaviour near a heteroclinic network model of Rock-Paper-Scissors-Lizard-Spock

abstract: The well-known game of Rock--Paper--Scissors can be used as a simple model of competition between three species. When modelled in continuous time using differential equations, the resulting system contains a heteroclinic cycle between the three equilibrium solutions representing the existence of only a single species. The game can be extended in a symmetric fashion by the addition of two further strategies (`Lizard' and `Spock'): now each strategy is dominant over two of the remaining four strategies, and is dominated by the remaining two. The differential equation model contains a set of coupled heteroclinic cycles forming a heteroclinic network. In this paper we carefully consider the dynamics near this heteroclinic network. We are able to identify regions of parameter space in which arbitrarily long periodic sequences of visits are made to the neighbourhoods of the equilibria, which form a complicated pattern in parameter space.


title: Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems

abstract: Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characterize the notion of distributed information of a group of agents as the infimum of the set of join-preserving functions that represent the spaces of the agents in the group. We provide an alternative characterization of this notion as the greatest family of join-preserving functions that satisfy certain basic properties. For completely distributive lattices, we establish that distributed information of a group is the greatest information below all possible combinations of information in the spaces of the agents in the group that derive a given piece of information. We show compositionality results for these characterizations and conditions under which information that can be obtained by an infinite group can also be obtained by a finite group. Finally, we provide an application on mathematical morphology where dilations, one of its fundamental operations, define an scs on a powerset lattice. We show that distributed information represents a particular dilation in such scs.


title: Markov chains on finite fields with deterministic jumps

abstract: We study the Markov chain on $\mathbf{F}_p$ obtained by applying a function $f$ and adding $\pm\gamma$ with equal probability. When $f$ is a linear function, this is the well-studied Chung--Diaconis--Graham process. We consider two cases: when $f$ is the extension of a rational function which is bijective, and when $f(x)=x^2$. In the latter case, the stationary distribution is not uniform and we characterize it when $p=3\pmod{4}$. In both cases, we give an almost linear bound on the mixing time, showing that the deterministic function dramatically speeds up mixing. The proofs involve establishing bounds on exponential sums over the union of short intervals.


title: Transition-based Parsing with Stack-Transformers

abstract: Modeling the parser state is key to good performance in transition-based parsing. Recurrent Neural Networks considerably improved the performance of transition-based systems by modelling the global state, e.g. stack-LSTM parsers, or local state modeling of contextualized features, e.g. Bi-LSTM parsers. Given the success of Transformer architectures in recent parsing systems, this work explores modifications of the sequence-to-sequence Transformer architecture to model either global or local parser states in transition-based parsing. We show that modifications of the cross attention mechanism of the Transformer considerably strengthen performance both on dependency and Abstract Meaning Representation (AMR) parsing tasks, particularly for smaller models or limited training data.


title: Iterative Amortized Policy Optimization

abstract: Policy networks are a central feature of deep reinforcement learning (RL) algorithms for continuous control, enabling the estimation and sampling of high-value actions. From the variational inference perspective on RL, policy networks, when used with entropy or KL regularization, are a form of \textit{amortized optimization}, optimizing network parameters rather than the policy distributions directly. However, \textit{direct} amortized mappings can yield suboptimal policy estimates and restricted distributions, limiting performance and exploration. Given this perspective, we consider the more flexible class of \textit{iterative} amortized optimizers. We demonstrate that the resulting technique, iterative amortized policy optimization, yields performance improvements over direct amortization on benchmark continuous control tasks.


title: Keldysh Rotation in the Large-N Expansion and String Theory Out of Equilibrium

abstract: We extend our study of the large-$N$ expansion of general non-equilibrium many-body systems with matrix degrees of freedom $M$, and its dual description as a sum over surface topologies in a dual string theory, to the Keldysh-rotated version of the Schwinger-Keldysh formalism. The Keldysh rotation trades the original fields $M_\pm$ -- defined as the values of $M$ on the forward and backward segments of the closed time contour -- for their linear combinations $M_{\textrm{cl}}$ and $M_{\textrm{qu}}$, known as the "classical" and "quantum" fields. First we develop a novel "signpost" notation for non-equilibrium Feynman diagrams in the Keldysh-rotated form, which simplifies the analysis considerably. Before the Keldysh rotation, each worldsheet surface $\Sigma$ in the dual string theory expansion was found to exhibit a triple decomposition into the parts $\Sigma^\pm$ corresponding to the forward and backward segments of the closed time contour, and $\Sigma^\wedge$ which corresponds to the instant in time where the two segments meet. After the Keldysh rotation, we find that the worldsheet surface $\Sigma$ of the dual string theory undergoes a very different natural decomposition: $\Sigma$ consists of a "classical" part $\Sigma^{\textrm{cl}}$, and a "quantum embellishment" part $\Sigma^{\textrm{qu}}$. We show that both parts of $\Sigma$ carry their own independent genus expansion. The non-equilibrium sum over worldsheet topologies is naturally refined into a sum over the double decomposition of each $\Sigma$ into its classical and quantum part. We apply this picture to the classical limits of the quantum non-equilibrium system (with or without interactions with a thermal bath), and find that in these limits, the dual string perturbation theory expansion reduces to its appropriately defined classical limit.

categories: hep-th cond-mat.other hep-ph math-ph math.MP quant-ph


title: Optimal Recovery of Block Models with $q$ Communities

abstract: This paper is motivated by the reconstruction problem on the sparse stochastic block model. The paper "Belief Propagation, robust reconstruction and optimal recovery of block models" by Mossel, Neeman, and Sly provided and proved a reconstruction algorithm that recovers an optimal fraction of the communities in the 2 community case. The main step in their proof was to show that when the signal to noise ratio is sufficiently large, in particular $\theta^2d > C$, the reconstruction accuracy on a regular tree with or without noise on the leaves is the same. This paper will generalize their results, including the main step, to any number of communities, providing an algorithm related to Belief Propagation that recovers a provably optimal fraction of community labels.


title: Pushing the Limits of AMR Parsing with Self-Learning

abstract: Abstract Meaning Representation (AMR) parsing has experienced a notable growth in performance in the last two years, due both to the impact of transfer learning and the development of novel architectures specific to AMR. At the same time, self-learning techniques have helped push the performance boundaries of other natural language processing applications, such as machine translation or question answering. In this paper, we explore different ways in which trained models can be applied to improve AMR parsing performance, including generation of synthetic text and AMR annotations as well as refinement of actions oracle. We show that, without any additional human annotations, these techniques improve an already performant parser and achieve state-of-the-art results on AMR 1.0 and AMR 2.0.


title: Quasinormal modes and self-adjoint extensions of the Schroedinger operator

abstract: We revisit here the analytical continuation approach usually employed to compute quasinormal modes (QNM) and frequencies of a given potential barrier $V$ starting from the bounded states and respective eigenvalues of the Schroedinger operator associated with the potential well corresponding to the inverted potential $-V$. We consider an exactly soluble problem corresponding to a potential barrier of the Poschl-Teller type with a well defined and behaved QNM spectrum, but for which the associated Schroedinger operator $\cal H$ obtained by analytical continuation fails to be self-adjoint. Although $\cal H$ admits self-adjoint extensions, we show that the eigenstates corresponding to the analytically continued QNM do not belong to any self-adjoint extension domain and, consequently, they cannot be interpreted as authentic quantum mechanical bounded states. Our result challenges the practical use of the this type of method when $\cal H$ fails to be self-adjoint since, in such cases, we would not have in advance any reasonable criterion to choose the initial eigenstates of $\cal H$ which would correspond to the analytically continued QNM.


title: Some explicit and unconditional results on gaps between zeroes of the Riemann zeta-function

abstract: We make explicit an argument of Heath-Brown concerning large and small gaps between nontrivial zeroes of the Riemann zeta-function, $\zeta(s)$. In particular, we provide the first unconditional results on gaps (large and small) which hold for a positive proportion of zeroes. To do this we prove explicit bounds on the second and fourth power moments of $S(t+h)-S(t)$, where $S(t)$ denotes the argument of $\zeta(s)$ on the critical line and $h \ll 1 / \log T$. We also use these moments to prove explicit results on the density of the nontrivial zeroes of $\zeta(s)$ of a given multiplicity.


title: Image Inversion and Uncertainty Quantification for Constitutive Laws of Pattern Formation

abstract: The forward problems of pattern formation have been greatly empowered by extensive theoretical studies and simulations, however, the inverse problem is less well understood. It remains unclear how accurately one can use images of pattern formation to learn the functional forms of the nonlinear and nonlocal constitutive relations in the governing equation. We use PDE-constrained optimization to infer the governing dynamics and constitutive relations and use Bayesian inference and linearization to quantify their uncertainties in different systems, operating conditions, and imaging conditions. We discuss the conditions to reduce the uncertainty of the inferred functions and the correlation between them, such as state-dependent free energy and reaction kinetics (or diffusivity). We present the inversion algorithm and illustrate its robustness and uncertainties under limited spatiotemporal resolution, unknown boundary conditions, blurry initial conditions, and other non-ideal situations. Under certain situations, prior physical knowledge can be included to constrain the result. Phase-field, reaction-diffusion, and phase-field-crystal models are used as model systems. The approach developed here can find applications in inferring unknown physical properties of complex pattern-forming systems and in guiding their experimental design.


title: Real-time Speech Frequency Bandwidth Extension

abstract: In this paper we propose a lightweight model for frequency bandwidth extension of speech signals, increasing the sampling frequency from 8kHz to 16kHz while restoring the high frequency content to a level almost indistinguishable from the 16kHz ground truth. The model architecture is based on SEANet (Sound EnhAncement Network), a wave-to-wave fully convolutional model, which uses a combination of feature losses and adversarial losses to reconstruct an enhanced version of the input speech. In addition, we propose a variant of SEANet that can be deployed on-device in streaming mode, achieving an architectural latency of 16ms. When profiled on a single core of a mobile CPU, processing one 16ms frame takes only 1.5ms. The low latency makes it viable for bi-directional voice communication systems.


title: Spectrally recycling space-time wave packets

abstract: 'Space-time' (ST) wave packets are propagation-invariant pulsed optical beams that travel rigidly in linear media without diffraction or dispersion at a potentially arbitrary group velocity. These unique characteristics are a result of spatio-temporal spectral correlations introduced into the field; specifically, each spatial frequency is associated with a single temporal frequency (or wavelength). Consequently, the spatial and temporal bandwidths of ST wave packets are correlated, so that exploiting an optical source with a large temporal bandwidth or achieving an ultralow group velocity necessitate an exorbitantly large numerical aperture. Here we show that `spectral recycling' can help overcome these challenges. 'Recycling' or `reusing' each spatial frequency by associating it with multiple distinct but widely separated temporal frequencies allows one to circumvent the proportionality between the spatial and temporal bandwidths of ST wave packets, which has been one of their permanent characteristics since their inception. We demonstrate experimentally that the propagation invariance, maximum propagation distance, and group velocity of ST wave packets are unaffected by spectral recycling. We also synthesize a ST wave packet with group velocity c/14.3 (c is the speed of light in vacuum) with a reasonable numerical aperture made possible by spectral recycling.


title: High accuracy capillary network representation in digital rock reveals permeability scaling functions

abstract: Permeability is the key parameter for quantifying fluid flow in porous rocks. Knowledge of the spatial distribution of the connected pore space allows, in principle, to predict the permeability of a rock sample. However, limitations in feature resolution and approximations at microscopic scales have so far precluded systematic upscaling of permeability predictions. Here, we report fluid flow simulations in capillary network representations designed to overcome such limitations. Performed with an unprecedented level of accuracy in geometric approximation at microscale, the pore scale flow simulations predict experimental permeabilities measured at lab scale in the same rock sample without the need for calibration or correction. By applying the method to a broader class of representative geological samples, with permeability values covering two orders of magnitude, we obtain scaling relationships that reveal how mesoscale permeability emerges from microscopic capillary diameter and fluid velocity distributions.

categories: physics.geo-ph physics.app-ph physics.comp-ph physics.flu-dyn


title: A Global Stochastic Maximum Principle for Forward-Backward Stochastic Control Systems with Quadratic Generators

abstract: We study a stochastic optimal control problem for forward-backward control systems with quadratic generators. In order to establish the first and second-order variational and adjoint equations, we obtain a new estimate for one-dimensional linear BSDEs with unbounded stochastic Lipschitz coefficients involving bounded mean oscillation martingales (BMO-martingales for short) and prove the solvability for a class of multi-dimensional BSDEs with this type. Finally, a new global stochastic maximum principle is deduced.


title: Deep Learning Frameworks for Pavement Distress Classification: A Comparative Analysis

abstract: Automatic detection and classification of pavement distresses is critical in timely maintaining and rehabilitating pavement surfaces. With the evolution of deep learning and high performance computing, the feasibility of vision-based pavement defect assessments has significantly improved. In this study, the authors deploy state-of-the-art deep learning algorithms based on different network backbones to detect and characterize pavement distresses. The influence of different backbone models such as CSPDarknet53, Hourglass-104 and EfficientNet were studied to evaluate their classification performance. The models were trained using 21,041 images captured across urban and rural streets of Japan, Czech Republic and India. Finally, the models were assessed based on their ability to predict and classify distresses, and tested using F1 score obtained from the statistical precision and recall values. The best performing model achieved an F1 score of 0.58 and 0.57 on two test datasets released by the IEEE Global Road Damage Detection Challenge. The source code including the trained models are made available at [1].


title: VenoMave: Targeted Poisoning Against Speech Recognition

abstract: Despite remarkable improvements, automatic speech recognition is susceptible to adversarial perturbations. Compared to standard machine learning architectures, these attacks are significantly more challenging, especially since the inputs to a speech recognition system are time series that contain both acoustic and linguistic properties of speech. Extracting all recognition-relevant information requires more complex pipelines and an ensemble of specialized components. Consequently, an attacker needs to consider the entire pipeline. In this paper, we present VENOMAVE, the first training-time poisoning attack against speech recognition. Similar to the predominantly studied evasion attacks, we pursue the same goal: leading the system to an incorrect and attacker-chosen transcription of a target audio waveform. In contrast to evasion attacks, however, we assume that the attacker can only manipulate a small part of the training data without altering the target audio waveform at runtime. We evaluate our attack on two datasets: TIDIGITS and Speech Commands. When poisoning less than 0.17% of the dataset, VENOMAVE achieves attack success rates of more than 80.0%, without access to the victim's network architecture or hyperparameters. In a more realistic scenario, when the target audio waveform is played over the air in different rooms, VENOMAVE maintains a success rate of up to 73.3%. Finally, VENOMAVE achieves an attack transferability rate of 36.4% between two different model architectures.


title: Slim NoC: A Low-Diameter On-Chip Network Topology for High Energy Efficiency and Scalability

abstract: Emerging chips with hundreds and thousands of cores require networks with unprecedented energy/area efficiency and scalability. To address this, we propose Slim NoC (SN): a new on-chip network design that delivers significant improvements in efficiency and scalability compared to the state-of-the-art. The key idea is to use two concepts from graph and number theory, degree-diameter graphs combined with non-prime finite fields, to enable the smallest number of ports for a given core count. SN is inspired by state-of-the-art off-chip topologies; it identifies and distills their advantages for NoC settings while solving several key issues that lead to significant overheads on-chip. SN provides NoC-specific layouts, which further enhance area/energy efficiency. We show how to augment SN with state-of-the-art router microarchitecture schemes such as Elastic Links, to make the network even more scalable and efficient. Our extensive experimental evaluations show that SN outperforms both traditional low-radix topologies (e.g., meshes and tori) and modern high-radix networks (e.g., various Flattened Butterflies) in area, latency, throughput, and static/dynamic power consumption for both synthetic and real workloads. SN provides a promising direction in scalable and energy-efficient NoC topologies.


title: Spin-orbit coupling effects on spin-phonon coupling in Cd2Os2O7

abstract: Spin-orbit coupling (SOC) is essential in understanding the properties of 5d transition metal compounds, whose SOC value is large and almost comparable to other key parameters. Over the past few years, there have been numerous studies on the SOC-driven effects of the electronic bands, magnetism, and spin-orbit entanglement for those materials with a large SOC. However, it is less studied and remains an unsolved problem in how the SOC affects the lattice dynamics. We, therefore, measured the phonon spectra of 5d pyrochlore Cd2Os2O7 over the full Brillouin zone to address the question by using inelastic x-ray scattering (IXS). Our main finding is a visible mode-dependence in the phonon spectra, measured across the metal-insulator transition at 227 K. We examined the SOC strength dependence of the lattice dynamics and its spin-phonon (SP) coupling, with first-principle calculations. Our experimental data taken at 100 K are in good agreement with the theoretical results obtained with the optimized U = 2.0 eV with SOC. By scaling the SOC strength and the U value in the DFT calculations, we demonstrate that SOC is more relevant than U to explaining the observed mode-dependent phonon energy shifts with temperature. Furthermore, the temperature dependence of the phonon energy can be effectively described by scaling SOC. Our work provides clear evidence of SOC producing a non-negligible and essential effect on the lattice dynamics of Cd2Os2O7 and its SP coupling.


title: Fact-Checking at Scale with DimensionRank

abstract: The most important problem that has emerged after twenty years of popular internet usage is that of fact-checking at scale. This problem is experienced acutely in both of the major internet application platform types, web search and social media. We offer a working definition of what a "platform" is. We critically deconstruct what we call the "PolitiFact" model of fact checking, and show it to be inherently inferior for fact-checking at scale to a platform-b ased solution. Our central contribution is to show how to effectively platformize the problem of fact-checking at scale. We show how a two-dimensional rating system, with dimensions agreement and hotness allows us to create information-seeking queries not possible with the on e-dimensional rating system predominating on existing platforms. And, we show that, underlying our user-friendly user-interface, lies a system that allows the creation of formal proofs in the propositional calculus. Our algorithm is implemented in our open-source DimensionRank software package available at "https://thinkdifferentagain.art".


title: The Secret Arithmetic of Patterns: A General Method for Designing Constrained Codes Based on Lexicographic Indexing

abstract: Constrained codes are used to prevent errors from occurring in various data storage and data transmission systems. They can help in increasing the storage density of magnetic storage devices, in managing the lifetime of electronic storage devices, and in increasing the reliability of data transmission over wires. We recently introduced families of lexicographically-ordered constrained (LOCO) codes. These codes achieve capacity with simple encoding and decoding, and they are easy to reconfigure. In this paper, we generalize our work on LOCO codes by presenting a systematic method that guides the code designer to build any constrained code based on lexicographic indexing once the finite set of data patterns to forbid is known. In particular, we connect the set of forbidden patterns directly to the cardinality of the code and to the rule that uncovers the index associated with a codeword. By doing that, we reveal the secret arithmetic of patterns, and make the code design significantly easier. We design optimal (rate-wise) constrained codes for the new two-dimensional magnetic recording (TDMR) technology. We show notable performance gains as a result of solely applying the new codes. Moreover, we show how near-optimal constrained codes be designed and used to further reduce complexity.


title: Is Batch Norm unique? An empirical investigation and prescription to emulate the best properties of common normalizers without batch dependence

abstract: We perform an extensive empirical study of the statistical properties of Batch Norm and other common normalizers. This includes an examination of the correlation between representations of minibatches, gradient norms, and Hessian spectra both at initialization and over the course of training. Through this analysis, we identify several statistical properties which appear linked to Batch Norm's superior performance. We propose two simple normalizers, PreLayerNorm and RegNorm, which better match these desirable properties without involving operations along the batch dimension. We show that PreLayerNorm and RegNorm achieve much of the performance of Batch Norm without requiring batch dependence, that they reliably outperform LayerNorm, and that they can be applied in situations where Batch Norm is ineffective.


title: Conspiracy in ontological models with measurement contextuality

abstract: The conspiracy of ontic states responding to measurements contextually to comply with noncontextual quantum mechanical probabilities is analyzed for general ontological models. A general physical picture of ontological space structure and how ontic states are disturbed by measurement contexts is presented. A common assumption in ontological models called lambda-sufficiency is analyzed and argued to be inconsistent with measurement contextuality for ontological models with certain symmetry in ontic space with respect to quantum states and measurements.


title: On Ramanujan Sums of a Real Variable and a New Ramanujan Expansion for the Divisor Function

abstract: We show that the absolute convergence of a Ramanujan expansion does not guarantee the convergence of its real variable generalization, which is obtained by replacing the integer argument in the Ramanujan sums with a real number. We also construct a new Ramanujan expansion for the divisor function. While our expansion is amenable to a continuous and absolutely convergent real variable generalization, it only interpolates the divisor function locally on $\mathbb{R}$.


title: A note on an asymptotic formula for integrals of products of Jacobi polynomials

abstract: We recast Byerly's formula for integrals of products of Legendre polynomials. Then we adopt the idea to the case of Jacobi polynomials. After that, we use the formula to derive an asymptotic formula for integrals of products of Jacobi polynomials. The asymptotic formula is similar to an analogous one recently obtained by the first author and Jeff Geronimo for a different case. Thus, it suggests that such an asymptotic behavior is rather generic for integrals of products of orthogonal polynomials.


title: Prediction of Object Geometry from Acoustic Scattering Using Convolutional Neural Networks

abstract: Acoustic scattering is strongly influenced by boundary geometry of objects over which sound scatters. The present work proposes a method to infer object geometry from scattering features by training convolutional neural networks. The training data is generated from a fast numerical solver developed on CUDA. The complete set of simulations is sampled to generate multiple datasets containing different amounts of channels and diverse image resolutions. The robustness of our approach in response to data degradation is evaluated by comparing the performance of networks trained using the datasets with varying levels of data degradation. The present work has found that the predictions made from our models match ground truth with high accuracy. In addition, accuracy does not degrade when fewer data channels or lower resolutions are used.


title: Weak Harnack inequalities for eigenvalues and constant rank theorems

abstract: We consider convex solutions of nonlinear elliptic equations which satisfy the structure condition of Bian-Guan. We prove a weak Harnack inequality for the eigenvalues of the Hessian of these solutions. This can be viewed as a quantitative version of the constant rank theorem.


title: Cucker-Smale type flocking models on a sphere

abstract: We present a Cucker-Smale (C-S) type flocking model on a sphere. We study velocity alignment on a sphere and prove the emergence of flocking for the proposed model. Our model includes three new terms: a centripetal force, multi-agent interactions on a sphere and inter-particle bonding forces. To compare velocity vectors on different tangent spaces, we introduce a rotation operator in our new interaction term. Due to the geometric restriction, the rotation operator is singular at antipodal points and the relative velocity between two agents located at these points is not well-defined. Based on an energy dissipation property of our model and a variation of Barbalat's lemma, we show the alignment of velocities for an admissible class of communication weight functions. In addition, for sufficiently large bonding forces we prove time-asymptotic flocking which includes the avoidance of antipodal points.


title: An Investigation of the Relation Between Grapheme Embeddings and Pronunciation for Tacotron-based Systems

abstract: End-to-end models, particularly Tacotron-based ones, are currently a popular solution for text-to-speech synthesis. They allow the production of high-quality synthesized speech with little to no text preprocessing. Indeed, they can be trained using either graphemes or phonemes as input directly. However, in the case of grapheme inputs, little is known concerning the relation between the underlying representations learned by the model and word pronunciations. This work investigates this relation in the case of a Tacotron model trained on French graphemes. Our analysis shows that grapheme embeddings are related to phoneme information despite no such information being present during training. Thanks to this property, we show that grapheme embeddings learned by Tacotron models can be useful for tasks such as grapheme-to-phoneme conversion and control of the pronunciation in synthetic speech.


title: GDN: A Coarse-To-Fine (C2F) Representation for End-To-End 6-DoF Grasp Detection

abstract: We proposed an end-to-end grasp detection network, Grasp Detection Network (GDN), cooperated with a novel coarse-to-fine (C2F) grasp representation design to detect diverse and accurate 6-DoF grasps based on point clouds. Compared to previous two-stage approaches which sample and evaluate multiple grasp candidates, our architecture is at least 20 times faster. It is also 8% and 40% more accurate in terms of the success rate in single object scenes and the complete rate in clutter scenes, respectively. Our method shows superior results among settings with different number of views and input points. Moreover, we propose a new AP-based metric which considers both rotation and transition errors, making it a more comprehensive evaluation tool for grasp detection models.


title: Initial boundary value problem for a strongly damped wave equation with a general nonlinearity

abstract: In this paper, a strongly damped semilinear wave equation with a general nonlinearity is considered. With the help of a newly constructed auxiliary functional and the concavity argument, a general finite time blow-up criterion is established for this problem. Furthermore, the lifespan of the weak solution is estimated from both above and below. This partially extends some results obtained in recent literatures and sheds some light on the similar effect of power type nonlinearity and logarithmic nonlinearity on finite time blow-up of solutions to such problems.


title: P-wave $\Omega_{b}$ states: masses and pole residues

abstract: In this paper, we consider all P-wave $\Omega_{b}$ states represented by interpolating currents with a derivative and calculate the corresponding masses and pole residues with the method of QCD sum rule. Due to the large uncertainties in our calculation compared with the small difference in the masses of the excited $\Omega_{b}$ states observed by the LHCb collaboration, it is necessary to study other properties of the P-wave $\Omega_{b}$ states represented by the interpolating currents investigated in the present work in order to have a better understanding about the four excited $\Omega_{b}$ states observed by the LHCb collaboration.


title: Batch Sequential Adaptive Designs for Global Optimization

abstract: Compared with the fixed-run designs, the sequential adaptive designs (SAD) are thought to be more efficient and effective. Efficient global optimization (EGO) is one of the most popular SAD methods for expensive black-box optimization problems. A well-recognized weakness of the original EGO in complex computer experiments is that it is serial, and hence the modern parallel computing techniques cannot be utilized to speed up the running of simulator experiments. For those multiple points EGO methods, the heavy computation and points clustering are the obstacles. In this work, a novel batch SAD method, named "accelerated EGO", is forwarded by using a refined sampling/importance resampling (SIR) method to search the points with large expected improvement (EI) values. The computation burden of the new method is much lighter, and the points clustering is also avoided. The efficiency of the proposed SAD is validated by nine classic test functions with dimension from 2 to 12. The empirical results show that the proposed algorithm indeed can parallelize original EGO, and gain much improvement compared against the other parallel EGO algorithm especially under high-dimensional case. Additionally, we also apply the new method to the hyper-parameter tuning of Support Vector Machine (SVM). Accelerated EGO obtains comparable cross validation accuracy with other methods and the CPU time can be reduced a lot due to the parallel computation and sampling method.


title: A Weighted Heterogeneous Graph Based Dialogue System

abstract: Knowledge based dialogue systems have attracted increasing research interest in diverse applications. However, for disease diagnosis, the widely used knowledge graph is hard to represent the symptom-symptom relations and symptom-disease relations since the edges of traditional knowledge graph are unweighted. Most research on disease diagnosis dialogue systems highly rely on data-driven methods and statistical features, lacking profound comprehension of symptom-disease relations and symptom-symptom relations. To tackle this issue, this work presents a weighted heterogeneous graph based dialogue system for disease diagnosis. Specifically, we build a weighted heterogeneous graph based on symptom co-occurrence and a proposed symptom frequency-inverse disease frequency. Then this work proposes a graph based deep Q-network (Graph-DQN) for dialogue management. By combining Graph Convolutional Network (GCN) with DQN to learn the embeddings of diseases and symptoms from both the structural and attribute information in the weighted heterogeneous graph, Graph-DQN could capture the symptom-disease relations and symptom-symptom relations better. Experimental results show that the proposed dialogue system rivals the state-of-the-art models. More importantly, the proposed dialogue system can complete the task with less dialogue turns and possess a better distinguishing capability on diseases with similar symptoms.


title: Geometry-based Occlusion-Aware Unsupervised Stereo Matching for Autonomous Driving

abstract: Recently, there are emerging many stereo matching methods for autonomous driving based on unsupervised learning. Most of them take advantage of reconstruction losses to remove dependency on disparity groundtruth. Occlusion handling is a challenging problem in stereo matching, especially for unsupervised methods. Previous unsupervised methods failed to take full advantage of geometry properties in occlusion handling. In this paper, we introduce an effective way to detect occlusion regions and propose a novel unsupervised training strategy to deal with occlusion that only uses the predicted left disparity map, by making use of its geometry features in an iterative way. In the training process, we regard the predicted left disparity map as pseudo groundtruth and infer occluded regions using geometry features. The resulting occlusion mask is then used in either training, post-processing, or both of them as guidance. Experiments show that our method could deal with the occlusion problem effectively and significantly outperforms the other unsupervised methods for stereo matching. Moreover, our occlusion-aware strategies can be extended to the other stereo methods conveniently and improve their performances.


title: Dark-state impact on the exciton recombination of WS2 monolayers as revealed by multi-time-scale pump-and-probe spectroscopy

abstract: The luminescence yield of transition metal dichalcogenide monolayers frequently suffers from the formation of long-lived dark states, which include excitons with intervalley charge carriers, spin-forbidden transitions, and a large center-of-mass momentum located outside the light cone of dispersion relations. Efficient relaxation from bright exciton states to dark states suppresses the quantum yield of photon emission. In addition, the radiative recombination of excitons is heavily influenced by Auger-type exciton-exciton scattering, which yields another nonradiative relaxation channel at room temperature. Here, we show that Auger-type scattering is promoted not only between (bright) excitons but also between excitons and long-lived dark states. We studied the luminescence dynamics of monolayer WS2 capped with hexagonal BN over broad time ranges of picoseconds to milliseconds using carefully designed pump-and-probe techniques. We observed that luminescence quenching associated with Auger-type scattering occurs on 1-100 microsecond time scales, which thus correspond to the lifetimes of the relevant dark states. The broad distribution of the measured lifetimes implies the impact of various types of long-lived states on the exciton annihilation process.


title: Dispersion and Rotation Measures from the Ejecta of Compact Binary Mergers: Clue to the Progenitors of Fast Radio Bursts

abstract: Since the discovery of FRB 200428 associated with the Galactic SGR 1935+2154, magnetars are considered to power fast radio bursts (FRBs). It is widely believed that magnetars could form by core-collapse (CC) explosions and compact binary mergers, such as binary neutron star (BNS), binary white dwarfs (BWD), and neutron star-white dwarf (NSWD) mergers. Therefore, it is important to distinguish the various progenitors. The expansion of the merger ejecta produces a time-evolving dispersion measure (DM) and rotation measure (RM) that can probe the local environments of FRBs. In this paper, we derive the scaling laws for the DM and RM from ejecta with different dynamical structures (the mass and energy distribution) in the uniform ambient medium (merger scenario) and wind environment (CC scenario). We find that the DM and RM will increase in the early phase, while DM will continue to grow slowly but RM will decrease in the later phase in the merger scenario. We fit the DM and RM evolution of FRB 121102 simultaneously for the first time in the BNS merger scenario, and find the source age is $ \sim9-10 $ yr when it was first detected in 2012, and the ambient medium density is $ \sim 2.5-3.1 $ cm$ ^{-3} $. The large offsets of some FRBs are consistent with BNS/NSWD channel. The population synthesis method is used to estimate the rate of compact binary mergers. The rate of BWD mergers is close to the observed FRB rate. Therefore, the progenitors of FRBs may not be unique.


title: Cancellation of principal in banking: Four radical ideas emerge from deep examination of double entry bookkeeping in banking

abstract: Four radical ideas are presented. First, that the rationale for cancellation of principal can be modified in modern banking. Second, that non-cancellation of loan principal upon payment may cure an old problem of maintenance of positive equity in the non-governmental sector. Third, that crediting this money to local/state government, and fourth crediting to at-risk loans that create new utility value, creates an additional virtuous monetary circuit that ties finances of government directly to commercial activity. Taking these steps can cure a problem I have identified with modern monetary theory, which is that breaking the monetary circuit of taxation in the minds of politicians will free them from centuries of restraint, optimizing their opportunities for implementing tyranny. It maintains and strengthens the current circuit, creating a new, more direct monetary circuit that in some respects combats inequality.


title: Continuous-variable graph states for quantum metrology

abstract: Graph states are a unique resource for quantum information processing, such as measurement-based quantum computation. Here, we theoretically investigate using continuous-variable graph states for single-parameter quantum metrology, including both phase and displacement sensing. We identified the optimal graph states for the two sensing modalities and showed that Heisenberg scaling of the accuracy for both phase and displacement sensing can be achieved with local homodyne measurements.


title: A modular proof of the properness of the Coleman-Mazur eigencurve

abstract: We give a new proof of the properness of the Coleman-Mazur eigencurve. The question of whether the eigencurve satisfies the valuative criterion for properness was first asked by Coleman and Mazur in 1998 and settled by Diao and Liu in 2016 using deep, powerful Hodge- and Galois- theoretic machinery. Our proof is short and explicit and uses no Galois theory. Instead we adapt an earlier method of Buzzard and Calegari based on elementary properties of overconvergent modular forms. To facilitate this, we extend Pilloni's geometric construction of overconvergent forms of arbitrary weight farther into the supersingular locus. Along the way, we show that the Hecke operator $U_p$ is injective on spaces of forms of large overconvergence radius of any analytic weight.


title: Can We Enable the Drone to be a Filmmaker?

abstract: Drones are enabling new forms of cinematography. However, quadrotor cinematography requires accurate comprehension of the scene, technical skill of flying, artistic skill of composition and simultaneous realization of all the requirements in real time. These requirements could pose real challenge to drone amateurs because unsuitable camera viewpoint and motion could result in unpleasing visual composition and affect the target's visibility. In this paper, we propose a novel autonomous drone camera system which captures action scenes using proper camera viewpoint and motion. The key novelty is that our system can dynamically generate smooth drone camera trajectory associated with human movement while obeying visual composition principles. We evaluate the performance of our cinematography system on simulation and real scenario. The experimental results demonstrate that our system can capture more expressive video footage of human action than that of the state-of-the-art drone camera system. To the best of our knowledge, this is the first cinematography system that enables people to leverage the mobility of quadrotor to autonomously capture high-quality footage of action scene based on subject's movements.


title: Detection of COVID-19 through the analysis of vocal fold oscillations

abstract: Phonation, or the vibration of the vocal folds, is the primary source of vocalization in the production of voiced sounds by humans. It is a complex bio-mechanical process that is highly sensitive to changes in the speaker's respiratory parameters. Since most symptomatic cases of COVID-19 present with moderate to severe impairment of respiratory functions, we hypothesize that signatures of COVID-19 may be observable by examining the vibrations of the vocal folds. Our goal is to validate this hypothesis, and to quantitatively characterize the changes observed to enable the detection of COVID-19 from voice. For this, we use a dynamical system model for the oscillation of the vocal folds, and solve it using our recently developed ADLES algorithm to yield vocal fold oscillation patterns directly from recorded speech. Experimental results on a clinically curated dataset of COVID-19 positive and negative subjects reveal characteristic patterns of vocal fold oscillations that are correlated with COVID-19. We show that these are prominent and discriminative enough that even simple classifiers such as logistic regression yields high detection accuracies using just the recordings of isolated extended vowels.


title: Static Einstein-Maxwell space-time invariant by translation

abstract: In this paper we study the static Einstein-Maxwell space when it is conformal to an $n$-dimensional pseudo-Euclidean space, which is invariant under the action of an $(n-1)$-dimensional translation group. We also provide a complete classification of such space.


title: Molten salt synthesis of a nanolaminated Sc2SnC MAX Phase

abstract: The MAX phases are a family of of ternary layered material with both metal and ceramic properties, and it is also precursor ma-terials for synthesis of two-dimensional MXenes. The theory predicted that there are more than 600 stable ternary layered MAX phases. At present, there are more than 80 kinds of ternary MAX phases synthesized through experiments, and few reports on MAX phases where M is a rare earth element. In this study, a new MAX phase Sc2SnC with rare earth element Sc at the M sites was synthesized through the reaction sintering of Sc, Sn, and C mixtures. Phase composition and microstructure of Sc2SnC were confirmed by X-ray diffraction, scanning electron microscopy and X-ray energy spectrum analysis. And structural stability, mechanical and electronic properties of Sc2SnC was investigated via density functional theory. This study open a door for ex-plore more unknown ternary layered rare earth compounds Ren+1SnCn (Re=Sc, Y, La-Nd, n=1) and corresponding rare earth MXenes.


title: Markov Data-Based Reference Tracking of Tensegrity Morphing Airfoils

abstract: This letter presents a data-based control design for reference tracking applications. This design finds the optimal control sequence, which minimizes a quadratic cost function consisting of tracking error and input increments over a finite interval [0,N]. The only information needed is the first N+1 Markov parameters of the system. This design is employed on a tensegrity morphing airfoil whose topology has been described in detail in this letter. A NACA 2412 airfoil with specified morphing targets is chosen to verify the developed design. The principle developed in this letter is also applicable to other structural control problems.


title: On the Global Self-attention Mechanism for Graph Convolutional Networks

abstract: Applying Global Self-attention (GSA) mechanism over features has achieved remarkable success on Convolutional Neural Networks (CNNs). However, it is not clear if Graph Convolutional Networks (GCNs) can similarly benefit from such a technique. In this paper, inspired by the similarity between CNNs and GCNs, we study the impact of the Global Self-attention mechanism on GCNs. We find that consistent with the intuition, the GSA mechanism allows GCNs to capture feature-based vertex relations regardless of edge connections; As a result, the GSA mechanism can introduce extra expressive power to the GCNs. Furthermore, we analyze the impacts of the GSA mechanism on the issues of overfitting and over-smoothing. We prove that the GSA mechanism can alleviate both the overfitting and the over-smoothing issues based on some recent technical developments. Experiments on multiple benchmark datasets illustrate both superior expressive power and less significant overfitting and over-smoothing problems for the GSA-augmented GCNs, which corroborate the intuitions and the theoretical results.


title: Boosting Gradient for White-Box Adversarial Attacks

abstract: Deep neural networks (DNNs) are playing key roles in various artificial intelligence applications such as image classification and object recognition. However, a growing number of studies have shown that there exist adversarial examples in DNNs, which are almost imperceptibly different from original samples, but can greatly change the network output. Existing white-box attack algorithms can generate powerful adversarial examples. Nevertheless, most of the algorithms concentrate on how to iteratively make the best use of gradients to improve adversarial performance. In contrast, in this paper, we focus on the properties of the widely-used ReLU activation function, and discover that there exist two phenomena (i.e., wrong blocking and over transmission) misleading the calculation of gradients in ReLU during the backpropagation. Both issues enlarge the difference between the predicted changes of the loss function from gradient and corresponding actual changes, and mislead the gradients which results in larger perturbations. Therefore, we propose a universal adversarial example generation method, called ADV-ReLU, to enhance the performance of gradient based white-box attack algorithms. During the backpropagation of the network, our approach calculates the gradient of the loss function versus network input, maps the values to scores, and selects a part of them to update the misleading gradients. Comprehensive experimental results on \emph{ImageNet} demonstrate that our ADV-ReLU can be easily integrated into many state-of-the-art gradient-based white-box attack algorithms, as well as transferred to black-box attack attackers, to further decrease perturbations in the ${\ell _2}$-norm.


title: Detection of Opposite Magnetic Polarity in a Light Bridge: Its Emergence and Cancellation in association with LB Fan-shaped Jets

abstract: Light bridges (LBs) are relatively bright structures that divide sunspot umbrae into two or more parts. Chromospheric LBs are known to be associated with various activities including fan-shaped jet-like ejections and brightenings. Although magnetic reconnection is frequently suggested to be responsible for such activities, not many studies present firm evidence to support the scenario. We carry out magnetic field measurements and imaging spectroscopy of a LB where fan-shaped jet-like ejections occur with co-spatial brightenings at their footpoints. We study LB fine structure and magnetic field changes using TiO images, Near-InfraRed Imaging Spectropolarimeter, and Halpha data taken by the 1.6~m Goode Solar Telescope. We detect magnetic flux emergence in the LB that is of opposite polarity to that of the sunspot. The new magnetic flux cancels with the pre-existing flux at a rate of 5.6x10^18 Mx/hr. Both the recurrent jet-like ejections and their base brightenings are initiated at the vicinity of the magnetic flux cancellation, and show apparent horizontal extension along the LB at a projected speed of up to 18.4km/s to form a fan-shaped appearance. Based on these observations, we suggest that the fan-shaped ejections may have resulted from slipping reconnection between the new flux emerging in the LB and the ambient sunspot field.


title: Diagnosis of electron density and temperature by using collisional radiative model in capacitively coupled Ar plasmas I: triple-frequency discharges

abstract: An 18-level argon collisional radiative model (CRM) suitable for low pressure was established. The model can be solved by combining the optical emission spectroscopy (OES) with Langmuir probe calibration. In the capacitively coupled plasmas (CCPs) with different frequency and power, the electron temperature and density obtained by the model were compared with those measured by Langmuir probe. It is found that the calibration point at any frequency or power is suitable for the fixed pressure. This method was then applied to the diagnosis of triple-frequency (TF) CCPs, it is shown that the high frequency (HF) power mainly controls the electron density, the low frequency (LF) power mainly controls the electron temperature, and the intermediate frequency (IF) power was between the two. Compared with the dual-frequency (DF) CCPs, it is found that with the increase of IF power, the HF power can control the electron density more independently with less influence on the electron temperature.


title: Holographic insulator/superconductor phase transitions with excited states

abstract: We construct a family of solutions of the holographic insulator/superconductor phase transitions with the excited states in the AdS soliton background by using both the numerical and analytical methods. The interesting point is that the improved Sturm-Liouville method can not only analytically investigate the properties of the phase transition with the excited states, but also the distributions of the condensed fields in the vicinity of the critical point. We observe that, regardless of the type of the holographic model, the excited state has a higher critical chemical potential than the corresponding ground state, and the difference of the dimensionless critical chemical potential between the consecutive states is around 2.4, which is different from the finding of the metal/superconductor phase transition in the AdS black hole background. Furthermore, near the critical point, we find that the phase transition of the systems is of the second order and a linear relationship exists between the charge density and chemical potential for all the excited states in both s-wave and p-wave insulator/superconductor models.


title: TargetDrop: A Targeted Regularization Method for Convolutional Neural Networks

abstract: Dropout regularization has been widely used in deep learning but performs less effective for convolutional neural networks since the spatially correlated features allow dropped information to still flow through the networks. Some structured forms of dropout have been proposed to address this but prone to result in over or under regularization as features are dropped randomly. In this paper, we propose a targeted regularization method named TargetDrop which incorporates the attention mechanism to drop the discriminative feature units. Specifically, it masks out the target regions of the feature maps corresponding to the target channels. Experimental results compared with the other methods or applied for different networks demonstrate the regularization effect of our method.


title: High-Capacity Complex Convolutional Neural Networks For I/Q Modulation Classification

abstract: I/Q modulation classification is a unique pattern recognition problem as the data for each class varies in quality, quantified by signal to noise ratio (SNR), and has structure in the complex-plane. Previous work shows treating these samples as complex-valued signals and computing complex-valued convolutions within deep learning frameworks significantly increases the performance over comparable shallow CNN architectures. In this work, we claim state of the art performance by enabling high-capacity architectures containing residual and/or dense connections to compute complex-valued convolutions, with peak classification accuracy of 92.4% on a benchmark classification problem, the RadioML 2016.10a dataset. We show statistically significant improvements in all networks with complex convolutions for I/Q modulation classification. Complexity and inference speed analyses show models with complex convolutions substantially outperform architectures with a comparable number of parameters and comparable speed by over 10% in each case.


title: Coded Computing for Master-Aided Distributed Computing Systems

abstract: We consider a MapReduce-type task running in a distributed computing model which consists of ${K}$ edge computing nodes distributed across the edge of the network and a Master node that assists the edge nodes to compute output functions. The Master node and the edge nodes, both equipped with some storage memories and computing capabilities, are connected through a multicast network. We define the communication time spent during the transmission for the sequential implementation (all nodes send symbols sequentially) and parallel implementation (the Master node can send symbols during the edge nodes' transmission), respectively. We propose a mixed coded distributed computing scheme that divides the system into two subsystems where the coded distributed computing (CDC) strategy proposed by Songze Li \emph{et al.} is applied into the first subsystem and a novel master-aided CDC strategy is applied into the second subsystem. We prove that this scheme is optimal, i.e., achieves the minimum communication time for both the sequential and parallel implementation, and establish an {\emph{optimal}} information-theoretic tradeoff between the overall communication time, computation load, and the Master node's storage capacity. It demonstrates that incorporating a Master node with storage and computing capabilities can further reduce the communication time. For the sequential implementation, we deduce the approximately optimal file allocation between the two subsystems, which shows that the Master node should map as many files as possible in order to achieve smaller communication time. For the parallel implementation, if the Master node's storage and computing capabilities are sufficiently large (not necessary to store and map all files), then the proposed scheme requires at most 1/2 of the minimum communication time of system without the help of the Master node.


title: Axial spectral encoding of space-time wave packets

abstract: Space-time (ST) wave packets are propagation-invariant pulsed optical beams whose group velocity can be tuned in free space by tailoring their spatio-temporal spectral structure. To date, efforts on synthesizing ST wave packets have striven to maintain their propagation invariance. Here, we demonstrate that one degree of freedom of a ST wave packet -- its on-axis spectrum -- can be isolated and purposefully controlled independently of the others. Judicious spatio-temporal spectral amplitude and phase modulation yields ST wave packets with programmable spectral changes along the propagation axis; including red-shifting or blue-shifting spectra, or more sophisticated axial spectral encoding including bidirectional spectral shifts and accelerating spectra. In all cases, the spectral shift can be larger than the initial on-axis bandwidth, while preserving the propagation-invariance of the other degrees of freedom, including the wave packet spatio-temporal profile. These results may be useful in range-finding in microscopy or remote sensing via spectral stamping.


title: Diagnosis of electron density and temperature by using collisional radiative model in capacitively coupled Ar plasmas II: two-dimensional distributions

abstract: Effects of radio-frequency power and driven frequency on the two-dimensional (axial and radial) distributions of electron density and temperature were experimentally investigated in low pressure capacitively coupled argon plasmas. The intensity profiles of 696.5 nm and 750.4 nm emission lines were detected by employing a spatially resolved diagnostic system, which consists of a charge coupled device (CCD) and bandpass interference filters. The two-dimensional distributions of electron density and electron temperature were calculated from the spatial distributions of emission intensities via a collisional radiative model (CRM). It is found that the axial and radial distributions of electron density are more uniform at a lower RF power. The axial uniformity of electron density is better at a lower driven frequency, while the radial profiles of electron temperature is flatter at a higher excitation frequency. In all the cases, the electron temperature is extremely uniform in the bulk plasma. Moreover, a mode transition from the {\alpha} to the {\gamma} mode is observed with the increase of input RF power at 13.56 MHz, which causes a significant increase of electron density and an abrupt decrease of electron temperature.


title: ComboLoss for Facial Attractiveness Analysis with Squeeze-and-Excitation Networks

abstract: Loss function is crucial for model training and feature representation learning, conventional models usually regard facial attractiveness recognition task as a regression problem, and adopt MSE loss or Huber variant loss as supervision to train a deep convolutional neural network (CNN) to predict facial attractiveness score. Little work has been done to systematically compare the performance of diverse loss functions. In this paper, we firstly systematically analyze model performance under diverse loss functions. Then a novel loss function named ComboLoss is proposed to guide the SEResNeXt50 network. The proposed method achieves state-of-the-art performance on SCUT-FBP, HotOrNot and SCUT-FBP5500 datasets with an improvement of 1.13%, 2.1% and 0.57% compared with prior arts, respectively. Code and models are available at https://github.com/lucasxlu/ComboLoss.git.


title: Noether-Severi inequality and equality for irregular threefolds of general type

abstract: We prove the optimal Noether-Severi inequality that $\mathrm{vol}(X) \ge \frac{4}{3} \chi(\omega_{X})$ for all smooth and irregular $3$-folds $X$ of general type over $\mathbb{C}$. For those $3$-folds $X$ attaining the equality, we completely describe their canonical models and show that the topological fundamental group $\pi_1(X) \simeq \mathbb{Z}^2$. As a corollary, we obtain for the same $X$ another optimal inequality that $\mathrm{vol}(X) \ge \frac{4}{3}h^0_a(X, K_X)$ where $h^0_a(X, K_X)$ stands for the continuous rank of $K_X$, and we show that $X$ attains this equality if and only if $\mathrm{vol}(X) = \frac{4}{3}\chi(\omega_{X})$.


title: Droplet under confinement: Competition and coexistence with soliton bound state

abstract: We study the stability of quantum droplet and its associated phase transitions in ultracold Bose-Bose mixtures uniformly confined in quasi-two-dimension. We show that the confinement-induced boundary effect can be significant when increasing the atom number or reducing the confinement length, which destabilizes the quantum droplet towards the formation of a soliton bound state. In particular, as increasing the atom number we find the reentrance of soliton ground state, while the droplet is stabilized only within a finite number window that sensitively depends on the confinement length. Near the droplet-soliton transitions, they can coexist with each other as two local minima in the energy landscape. Take the two-species $^{39}$K bosons for instance, we have mapped out the phase diagram for droplet-soliton transition and coexistence in terms of atom number and confinement length. The revealed intriguing competition between quantum droplet and soliton under confinement can be readily probed in current cold atoms experiments.


title: Taming Discrete Integration via the Boon of Dimensionality

abstract: Discrete integration is a fundamental problem in computer science that concerns the computation of discrete sums over exponentially large sets. Despite intense interest from researchers for over three decades, the design of scalable techniques for computing estimates with rigorous guarantees for discrete integration remains the holy grail. The key contribution of this work addresses this scalability challenge via an efficient reduction of discrete integration to model counting. The proposed reduction is achieved via a significant increase in the dimensionality that, contrary to conventional wisdom, leads to solving an instance of the relatively simpler problem of model counting. Building on the promising approach proposed by Chakraborty et al, our work overcomes the key weakness of their approach: a restriction to dyadic weights. We augment our proposed reduction, called DeWeight, with a state of the art efficient approximate model counter and perform detailed empirical analysis over benchmarks arising from neural network verification domains, an emerging application area of critical importance. DeWeight, to the best of our knowledge, is the first technique to compute estimates with provable guarantees for this class of benchmarks.


title: Hyperbolic jigsaws and families of pseudomodular groups II

abstract: In our previous paper, we introduced a hyperbolic jigsaw construction and constructed infinitely many non-commensurable, non-uniform, non-arithmetic lattices of $\mathrm{PSL}(2, \mathbb{R})$ with cusp set $\mathbb{Q} \cup \{\infty\}$ (called pseudomodular groups by Long and Reid), thus answering a question posed by Long and Reid. In this paper, we continue with our study of these jigsaw groups exploring questions of arithmeticity, pseudomodularity, and also related pseudo-euclidean and continued fraction algorithms arising from these groups. We also answer another question of Long and Reid by demonstrating a recursive formula for the tessellation of the hyperbolic plane arising from Weierstrass groups which generalizes the well-known "Farey addition" used to generate the Farey tessellation.


title: MINVO Basis: Finding Simplexes with Minimum Volume Enclosing Polynomial Curves

abstract: This paper studies the polynomial basis that generates the smallest $n$-simplex enclosing a given $n^{\text{th}}$-degree polynomial curve in $\mathbb{R}^n$. Although the Bernstein and B-Spline polynomial bases provide feasible solutions to this problem, the simplexes obtained by these bases are not the smallest possible, which leads to overly conservative results in many CAD (computer-aided design) applications. We first prove that the polynomial basis that solves this problem (MINVO basis) also solves for the $n^\text{th}$-degree polynomial curve with largest convex hull enclosed in a given $n$-simplex. Then, we present a formulation that is independent of the $n$-simplex or $n^{\text{th}}$-degree polynomial curve given. By using Sum-Of-Squares (SOS) programming, branch and bound, and moment relaxations, we obtain high-quality feasible solutions for any $n\in\mathbb{N}$, and prove (numerical) global optimality for $n=1,2,3$ and (numerical) local optimality for $n=4$. The results obtained for $n=3$ show that, for any given $3^{\text{rd}}$-degree polynomial curve in $\mathbb{R}^3$, the MINVO basis is able to obtain an enclosing simplex whose volume is $2.36$ and $254.9$ times smaller than the ones obtained by the Bernstein and B-Spline bases, respectively. When $n=7$, these ratios increase to $902.7$ and $2.997\cdot10^{21}$, respectively.


title: Learning Disentangled Phone and Speaker Representations in a Semi-Supervised VQ-VAE Paradigm

abstract: We present a new approach to disentangle speaker voice and phone content by introducing new components to the VQ-VAE architecture for speech synthesis. The original VQ-VAE does not generalize well to unseen speakers or content. To alleviate this problem, we have incorporated a speaker encoder and speaker VQ codebook that learns global speaker characteristics entirely separate from the existing sub-phone codebooks. We also compare two training methods: self-supervised with global conditions and semi-supervised with speaker labels. Adding a speaker VQ component improves objective measures of speech synthesis quality (estimated MOS, speaker similarity, ASR-based intelligibility) and provides learned representations that are meaningful. Our speaker VQ codebook indices can be used in a simple speaker diarization task and perform slightly better than an x-vector baseline. Additionally, phones can be recognized from sub-phone VQ codebook indices in our semi-supervised VQ-VAE better than self-supervised with global conditions.