title: Stochastic Attribute Modeling for Face Super-Resolution

abstract: When a high-resolution (HR) image is degraded into a low-resolution (LR) image, the image loses some of the existing information. Consequently, multiple HR images can correspond to the LR image. Most of the existing methods do not consider the uncertainty caused by the stochastic attribute, which can only be probabilistically inferred. Therefore, the predicted HR images are often blurry because the network tries to reflect all possibilities in a single output image. To overcome this limitation, this paper proposes a novel face super-resolution (SR) scheme to take into the uncertainty by stochastic modeling. Specifically, the information in LR images is separately encoded into deterministic and stochastic attributes. Furthermore, an Input Conditional Attribute Predictor is proposed and separately trained to predict the partially alive stochastic attributes from only the LR images. Extensive evaluation shows that the proposed method successfully reduces the uncertainty in the learning process and outperforms the existing state-of-the-art approaches.


title: Algebraic Algorithms for Fractional Linear Matroid Parity via Non-commutative Rank

abstract: Matrix representations are a powerful tool for designing efficient algorithms for combinatorial optimization problems such as matching, and linear matroid intersection and parity. In this paper, we initiate the study of matrix representations using the concept of non-commutative rank (nc-rank), which has recently attracted attention in the research of Edmonds' problem. We reveal that the nc-rank of the matrix representation of linear matroid parity corresponds to the optimal value of fractional linear matroid parity: a half-integral relaxation of linear matroid parity. Based on our representation, we present an algebraic algorithm for the fractional linear matroid parity problem by building a new technique to incorporate the search-to-decision reduction into the half-integral problem represented via the nc-rank. We further present a faster divide-and-conquer algorithm for finding a maximum fractional matroid matching and an algebraic algorithm for finding a dual optimal solution. They together lead to an algebraic algorithm for the weighted fractional linear matroid parity problem. Our algorithms are significantly simpler and faster than the existing algorithms.


title: Exact and asymptotic goodness-of-fit tests based on the maximum and its location of the empirical process

abstract: The supremum of the standardized empirical process is a promising statistic for testing whether the distribution function $F$ of i.i.d. real random variables is either equal to a given distribution function $F_0$ (hypothesis) or $F \ge F_0$ (one-sided alternative). Since \cite{r5} it is well-known that an affine-linear transformation of the suprema converge in distribution to the Gumbel law as the sample size tends to infinity. This enables the construction of an asymptotic level-$\alpha$ test. However, the rate of convergence is extremely slow. As a consequence the probability of the type I error is much larger than $\alpha$ even for sample sizes beyond $10.000$. Now, the standardization consists of the weight-function $1/\sqrt{F_0(x)(1-F_0(x))}$. Substituting the weight-function by a suitable random constant leads to a new test-statistic, for which we can derive the exact distribution (and the limit distribution) under the hypothesis. A comparison via a Monte-Carlo simulation shows that the new test is uniformly better than the Smirnov-test and an appropriately modified test due to \cite{r20}. Our methodology also works for the two-sided alternative $F \neq F_0$.


title: Collaborative Learning in Kernel-based Bandits for Distributed Users

abstract: We study collaborative learning among distributed clients facilitated by a central server. Each client is interested in maximizing a personalized objective function that is a weighted sum of its local objective and a global objective. Each client has direct access to random bandit feedback on its local objective, but only has a partial view of the global objective and relies on information exchange with other clients for collaborative learning. We adopt the kernel-based bandit framework where the objective functions belong to a reproducing kernel Hilbert space. We propose an algorithm based on surrogate Gaussian process (GP) models and establish its order-optimal regret performance (up to polylogarithmic factors). We also show that the sparse approximations of the GP models can be employed to reduce the communication overhead across clients.


title: A Nearly Tight Analysis of Greedy k-means++

abstract: The famous $k$-means++ algorithm of Arthur and Vassilvitskii [SODA 2007] is the most popular way of solving the $k$-means problem in practice. The algorithm is very simple: it samples the first center uniformly at random and each of the following $k-1$ centers is then always sampled proportional to its squared distance to the closest center so far. Afterward, Lloyd's iterative algorithm is run. The $k$-means++ algorithm is known to return a $\Theta(\log k)$ approximate solution in expectation. In their seminal work, Arthur and Vassilvitskii [SODA 2007] asked about the guarantees for its following \emph{greedy} variant: in every step, we sample $\ell$ candidate centers instead of one and then pick the one that minimizes the new cost. This is also how $k$-means++ is implemented in e.g. the popular Scikit-learn library [Pedregosa et al.; JMLR 2011]. We present nearly matching lower and upper bounds for the greedy $k$-means++: We prove that it is an $O(\ell^3 \log^3 k)$-approximation algorithm. On the other hand, we prove a lower bound of $\Omega(\ell^3 \log^3 k / \log^2(\ell\log k))$. Previously, only an $\Omega(\ell \log k)$ lower bound was known [Bhattacharya, Eube, R\"oglin, Schmidt; ESA 2020] and there was no known upper bound.


title: Surgery On Foliations

abstract: In this paper, we set up two surgery theories and two kinds of Whitehead torsion for foliations. First, we construct a bounded surgery theory and bounded Whitehead torsion for foliations, which correspond to the Connes' foliation algebra in the K-theory of operator algebras, in the sense that there is an analogy between surgery theory and index theory, and a Novikov Conjecture for bounded surgery on foliations in analogy with the foliated Novikov conjecture of P.Baum and A.Connes in operator theory. This surgery theory classifies the leaves topologically. Secondly, we construct a bounded geometry surgery for foliations, which is a generalization of blocked surgery, and a bounded geometry Whitehead torsion. The classifications in this surgery theory include the specification of the Riemannian metrics of the leaves up to quasi=isometry. We state Borel conjectures for foliations, which solves a problem posed by S.Weinberger \cite{Wein}, and verify these in some cases of geometrical interest.


title: Quantification of Reynolds-averaged-Navier-Stokes model form uncertainty in transitional boundary layer and airfoil flows

abstract: It is well known that Boussinesq turbulent-viscosity hypothesis can introduce uncertainty in predictions for complex flow features such as separation, reattachment, and laminar-turbulent transition. This study adopts a recent physics-based uncertainty quantification (UQ) approach to address such model form uncertainty in Reynolds-averaged Naiver- Stokes (RANS) simulations. Thus far, almost all UQ studies have focused on quantifying the model form uncertainty in turbulent flow scenarios. The focus of the study is to advance our understanding of the performance of the UQ approach on two different transitional flow scenarios: a flat plate and a SD7003 airfoil, to close this gap. For the T3A (flat-plate flow) flow, most of the model form uncertainty is concentrated in the laminar-turbulent transition region. For the SD7003 airfoil flow, the eigenvalue perturbations reveal a decrease as well as an increase in the length of the separation bubble. As a consequence, the uncertainty bounds successfully encompass the reattachment point. Likewise, the region of reverse flow that appear in the separation bubble is either suppressed or bolstered by the eigenvalue perturbations. In this context, the UQ methodology is applied to transition and show great results. This is the first successful RANS UQ study for transitional flows.


title: Generic properties of the Rabinowitz continuum

abstract: In this paper we prove that generically, in the sense of domain variations, the unbounded Rabinowitz continuum of solutions to a nonlinear eigenvalue problem is a simple analytic curve. The global bifurcation diagram resembles the classic model case of the Gel'fand problem in dimension two.


title: Level Set-Based Camera Pose Estimation From Multiple 2D/3D Ellipse-Ellipsoid Correspondences

abstract: In this paper, we propose an object-based camera pose estimation from a single RGB image and a pre-built map of objects, represented with ellipsoidal models. We show that contrary to point correspondences, the definition of a cost function characterizing the projection of a 3D object onto a 2D object detection is not straightforward. We develop an ellipse-ellipse cost based on level sets sampling, demonstrate its nice properties for handling partially visible objects and compare its performance with other common metrics. Finally, we show that the use of a predictive uncertainty on the detected ellipses allows a fair weighting of the contribution of the correspondences which improves the computed pose. The code is released at https://gitlab.inria.fr/tangram/level-set-based-camera-pose-estimation.


title: On the Subjectivity of Emotions in Software Projects: How Reliable are Pre-Labeled Data Sets for Sentiment Analysis?

abstract: Social aspects of software projects become increasingly important for research and practice. Different approaches analyze the sentiment of a development team, ranging from simply asking the team to so-called sentiment analysis on text-based communication. These sentiment analysis tools are trained using pre-labeled data sets from different sources, including GitHub and Stack Overflow. In this paper, we investigate if the labels of the statements in the data sets coincide with the perception of potential members of a software project team. Based on an international survey, we compare the median perception of 94 participants with the pre-labeled data sets as well as every single participant's agreement with the predefined labels. Our results point to three remarkable findings: (1) Although the median values coincide with the predefined labels of the data sets in 62.5% of the cases, we observe a huge difference between the single participant's ratings and the labels; (2) there is not a single participant who totally agrees with the predefined labels; and (3) the data set whose labels are based on guidelines performs better than the ad hoc labeled data set.


title: A Comprehensive Vision on Cloud Computing Environment: Emerging Challenges and Future Research Directions

abstract: Cloud computing has become the backbone of the computing industry and offers subscription-based on-demand services. Through virtualization, which produces a virtual instance of a computer system running in an abstracted hardware layer, it has made it possible for us to share resources among many users. Contrary to early distributed computing models, it guarantees limitless computing resources through its expansive cloud datacenters, and it has been immensely popular in recent years because to its constantly expanding infrastructure, user base, and hosted data volume. These datacenters enormous and sophisticated workloads present a number of problems, including issues with resource use, power consumption, scalability, operational expense, security and many more. In this context, the article provides a comprehensive overview of the most prevalent problems with sharing and communication in organizations of all sizes. There is discussion of a taxonomy of security, load balancing, and the main difficulties encountered in protecting sensitive data. A complete examination of current state-of-the-art contributions, resource management analysis methodologies, load balancing solutions, empowering heuristics, and multi-objective learning-based approaches are required. In its final section, the paper examines, reviews, and suggests future research directions in the area of secure VM placements.


title: Local Stochastic Algorithms for Alignment in Self-Organizing Particle Systems

abstract: We present local distributed, stochastic algorithms for \emph{alignment} in self-organizing particle systems (SOPS) on two-dimensional lattices, where particles occupy unique sites on the lattice, and particles can make spatial moves to neighboring sites if they are unoccupied. Such models are abstractions of programmable matter, composed of individual computational particles with limited memory, strictly local communication abilities, and modest computational capabilities. We consider oriented particle systems, where particles are assigned a vector pointing in one of $q$ directions, and each particle can compute the angle between its direction and the direction of any neighboring particle, although without knowledge of global orientation with respect to a fixed underlying coordinate system. Particles move stochastically, with each particle able to either modify its direction or make a local spatial move along a lattice edge during a move. We consider two settings: (a) where particle configurations must remain simply connected at all times and (b) where spatial moves are unconstrained and configurations can disconnect. Taking inspiration from the Potts and clock models from statistical physics, we prove that for any $q \geq 2,$ these self-organizing particle systems can be made to collectively align along a single dominant direction (analogous to a solid or ordered state) or remain non-aligned, in which case the fraction of particles oriented along any direction is nearly equal (analogous to a gaseous or disordered state). Moreover, we show that with appropriate settings of the input parameters, we can achieve \emph{compression} and \emph{expansion}, controlling how tightly gathered the particles are, as well as \emph{alignment} or \emph{nonalignment}, producing a single dominant orientation or not.


title: On some products taken over the prime numbers

abstract: This paper is devoted to study some expressions of the type $\prod_{p} p^{\lfloor\frac{x}{f(p)}\rfloor}$, where $x$ is a nonnegative real number, $f$ is an arithmetic function satisfying some conditions, and the product is over the primes $p$. We begin by proving that such expressions can be expressed by using the $\mathrm{lcm}$ function, without any reference to prime numbers; we illustrate this result with several examples. The rest of the paper is devoted to study the two particular cases related to $f(m) = m$ and $f(m) = m - 1$. In both cases, we found arithmetic properties and analytic estimates for the underlying expressions. We also put forward an important conjecture for the case $f(m) = m - 1$, which depends on the counting of the prime numbers of a special form.


title: FastML Science Benchmarks: Accelerating Real-Time Scientific Edge Machine Learning

abstract: Applications of machine learning (ML) are growing by the day for many unique and challenging scientific applications. However, a crucial challenge facing these applications is their need for ultra low-latency and on-detector ML capabilities. Given the slowdown in Moore's law and Dennard scaling, coupled with the rapid advances in scientific instrumentation that is resulting in growing data rates, there is a need for ultra-fast ML at the extreme edge. Fast ML at the edge is essential for reducing and filtering scientific data in real-time to accelerate science experimentation and enable more profound insights. To accelerate real-time scientific edge ML hardware and software solutions, we need well-constrained benchmark tasks with enough specifications to be generically applicable and accessible. These benchmarks can guide the design of future edge ML hardware for scientific applications capable of meeting the nanosecond and microsecond level latency requirements. To this end, we present an initial set of scientific ML benchmarks, covering a variety of ML and embedded system techniques.


title: Fourth order differential operators with interior degeneracy and generalized Wentzell boundary conditions

abstract: In this paper we consider the fourth order operators A1u := (au")" and A2u := au"" in divergence form and non divergence form, respectively, where a, defined in [0, 1] with values in R+, degenerates in an interior point of the interval. Using the semigroup technique, under suitable assumptions on a, we study the generation property of these operators associated to generalized Wentzell boundary conditions, proving the well posedness of the corresponding parabolic problems.


title: Standing solitary waves as transitions to spiral structures in gravitationally unstable accretion disks

abstract: Astrophysical disks that are sufficiently cold and dense are linearly unstable to the formation of axisymmetric rings as a result of the disk's gravity. In practice, spiral structures are formed, which may in turn produce bound fragments. We study a nonlinear dynamical path that can explain the development of spirals in a local model of a gaseous disk on the subcritical side of the gravitational instability bifurcation. Axisymmetric equilibria can be radially periodic or localized, in the form of standing solitary waves. The solitary solutions have an energy slightly larger than a smooth disk. They are further unstable to non-axisymmetric perturbations with a wide range of azimuthal wavenumbers. The solitary waves may act as a pathway to spirals and fragmentation.


title: Deformation Quantisation via Kontsevich Formality Theorem

abstract: This dissertation is an exposition of Kontsevich's proof of the formality theorem and the classification of deformation quantisation on a Poisson manifold. We begin with an account of the physical background and introduce the Weyl-Moyal product as the first example. Then we develop the deformation theory via differential graded Lie algebras and $\mathrm{L}_\infty$-algebras, which allows us to reformulate the classification of deformation quantisation as the existence of a $\mathrm{L}_\infty$-quasi-isomorphism between two differential graded Lie algebras, known as the formality theorem. Next we present Kontsevich's proof of the formality theorem in $\mathbb{R}^d$ and his construction of the star product. We conclude with a brief discussion of the globalisation of Kontsevich star product on Poisson manifolds.


title: Conservation of the particle-hole symmetry in the pseudogap state in optimally-doped Bi2Sr2CuO6+{\delta} superconductor

abstract: The pseudogap state is one of the most enigmatic characteristics in the anomalous normal state properties of the high temperature cuprate superconductors. A central issue is to reveal whether there is a symmetry breaking and which symmetries are broken across the pseudogap transition. By performing high resolution laser-based angle-resolved photoemission measurements on the optimally-doped Bi2Sr1.6La0.4CuO6+{\delta} superconductor, we report the observations of the particle-hole symmetry conservation in both the superconducting state and the pseudogap state along the entire Fermi surface. These results provide key insights in understanding the nature of the pseudogap and its relation with high temperature superconductivity.


title: Bounding Pinch Point Schemes of Projected Surfaces

abstract: Let $X$ be a smooth surface and let $\varphi:X\to\mathbb{P}^N$, with $N\geq 4$, be a finitely ramified map which is birational onto its image $Y = \varphi(X)$, with $Y$ non-degenerate in $\mathbb{P}^N$. In this paper, we produce a lower bound for the length of the pinch scheme of a general linear projection of $Y$ to $\mathbb{P}^3.$ We then prove that the lower bound is realized if and only if $Y$ is a rational normal scroll.


title: A Parallel Privacy-Preserving Shortest Path Protocol from a Path Algebra Problem

abstract: In this paper, we present a secure multiparty computation (SMC) protocol for single-source shortest distances (SSSD) in undirected graphs, where the location of edges is public, but their length is private. The protocol works in the Arithmetic Black Box (ABB) model on top of the separator tree of the graph, achieving good time complexity if the subgraphs of the graph have small separators (which is the case for e.g. planar graphs); the achievable parallelism is significantly higher than that of classical SSSD algorithms implemented on top of an ABB. We implement our protocol on top of the Sharemind MPC platform, and perform extensive benchmarking over different network environments. We compare our algorithm against the baseline picked from classical algorithms - privacy-preserving Bellman-Ford algorithm (with public edges).


title: Root-Cause Analysis of Activation Cascade Differences in Brain Networks

abstract: Diffusion MRI imaging and tractography algorithms have enabled the mapping of the macro-scale connectome of the entire brain. At the functional level, probably the simplest way to study the dynamics of macro-scale brain activity is to compute the "activation cascade" that follows the artificial stimulation of a source region. Such cascades can be computed using the Linear Threshold model on a weighted graph representation of the connectome. The question we focus on is: if we are given such activation cascades for two groups, say A and B (e.g. Controls versus a mental disorder), what is the smallest set of brain connectivity (graph edge weight) changes that are sufficient to explain the observed differences in the activation cascades between the two groups? We have developed and computationally validated an efficient algorithm, TRACED, to solve the previous problem. We argue that this approach to compare the connectomes of two groups, based on activation cascades, is more insightful than simply identifying "static" network differences (such as edges with large weight or centrality differences). We have also applied the proposed method in the comparison between a Major Depressive Disorder (MDD) group versus healthy controls and briefly report the resulting set of connections that cause most of the observed cascade differences.


title: Compact groups with high commuting probability of monothetic subgroups

abstract: If $H$ is a subgroup of a compact group $G$, the probability that a random element of $H$ commutes with a random element of $G$ is denoted by $Pr(H,G)$. Let $\langle g\rangle$ stand for the monothetic subgroup generated by an element $g\in G$ and let $K$ be a subgroup of $G$. We prove that $Pr(\langle x\rangle,G)>0$ for any $x\in K$ if and only if $G$ has an open normal subgroup $T$ such that $K/C_K(T)$ is torsion. In particular, $Pr(\langle x\rangle,G)>0$ for any $x\in G$ if and only if $G$ is virtually central-by-torsion, that is, there is an open normal subgroup $T$ such that $G/Z(T)$ is torsion. We also deduce a number of corollaries of this result.


title: Spatial disconnection between stellar and dust emissions: the test of the Antennae Galaxies (Arp 244)

abstract: The detection with of the Atacama Large Millimeter Array (ALMA) of dust-rich high redshift galaxies whose cold dust emission is spatially disconnected from the ultraviolet emission bears a challenge for modelling their spectral energy distributions (SED) with codes based on an energy budget between the stellar and dust components. We test the validity of energy balance modelling on a nearby resolved galaxy with vastly different ultraviolet and infrared spatial distributions and infer what information can be reliably retrieved from the analysis of the full spectral energy distribution. We use 15 broadband images of the Antennae Galaxies ranging from far-ultraviolet to far-infrared and divide Arp 244 into 58 square ~1 kpc$^2$ regions. We fit the data with CIGALE to determine the star formation rate, stellar mass and dust attenuation of each region. We compare these quantities for the addition of the 58 regions to the ones obtained for Arp 244 as a whole and find that both estimates are consistent within one sigma. We present the spatial distribution of these physical parameters as well as the shape of the attenuation curve across the Antennae Galaxies . We also observe a flattening of the attenuation curves with increasing attenuation and dust surface density in agreement with the predictions of hydrodynamical simulations coupled with radiative transfer modelling.


title: Assessing the impact of cyber attacks manipulating distributed energy resources on power system operation

abstract: Successful cyber attacks on power systems cause severe disruptions. One possible manipulation strategy is the utilization of distributed energy resources (DERs) to disturb power system operation. In addition to the impact on bulk power system frequency, local cascading effects caused by DER control and protection can increase the severity of this strategy. To investigate these effects, manipulation scenarios including the disconnection as well as the manipulation of active (P) and reactive power (Q) setpoints of DERs are derived. The impact is analyzed using time-domain simulations and quantified using assessment criteria such as voltage band violation and plant protection triggering. Though DER disconnection leads to high amounts of lost P injection the manipulation of Q setpoints offers potential to disconnect additional DERs through local cascading effects. To mitigate the impact of the manipulation scenarios automated tap changer operation as well as a limitation of remotely accessible Q is suitable.


title: A Study of Long-term Energy-mix Optimization Model: A Case Study in Japan

abstract: There is a strong need to reduce greenhouse gas emissions to deal with climate change. In the power sector, changing the power generation method in the medium and long term is needed to reduce greenhouse gas emissions. This paper proposes a long-term energy-mix optimization mod-el to obtain the process of carbon neutrality in the power system. The proposed model models power supply and demand at an hourly granularity and determines the generation capacity that minimizes the long-term energy supply cost. Compared with the models proposed in previous studies, the proposed model can determine the installed capacity to maintain the balance of power supply and demand by adding the capacity of regulation reserve required by fluctuations in the output of variable renewable energy as a constraint condition. A Japan energy mix calculation is reported as a case study of the proposed model. This model can clarify the roadmap to achieving each country's emission reduction target and support the government's decision-making.


title: Spatz: A Compact Vector Processing Unit for High-Performance and Energy-Efficient Shared-L1 Clusters

abstract: While parallel architectures based on clusters of Processing Elements (PEs) sharing L1 memory are widespread, there is no consensus on how lean their PE should be. Architecting PEs as vector processors holds the promise to greatly reduce their instruction fetch bandwidth, mitigating the Von Neumann Bottleneck (VNB). However, due to their historical association with supercomputers, classical vector machines include micro-architectural tricks to improve the Instruction Level Parallelism (ILP), which increases their instruction fetch and decode energy overhead. In this paper, we explore for the first time vector processing as an option to build small and efficient PEs for large-scale shared-L1 clusters. We propose Spatz, a compact, modular 32-bit vector processing unit based on the integer embedded subset of the RISC-V Vector Extension version 1.0. A Spatz-based cluster with four Multiply-Accumulate Units (MACUs) needs only 7.9 pJ per 32-bit integer multiply-accumulate operation, 40% less energy than an equivalent cluster built with four Snitch scalar cores. We analyzed Spatz' performance by integrating it within MemPool, a large-scale many-core shared-L1 cluster. The Spatz-based MemPool system achieves up to 285 GOPS when running a 256x256 32-bit integer matrix multiplication, 70% more than the equivalent Snitch-based MemPool system. In terms of energy efficiency, the Spatz-based MemPool system achieves up to 266 GOPS/W when running the same kernel, more than twice the energy efficiency of the Snitch-based MemPool system, which reaches 128 GOPS/W. Those results show the viability of lean vector processors as high-performance and energy-efficient PEs for large-scale clusters with tightly-coupled L1 memory.


title: A Survey of Decision Making in Adversarial Games

abstract: Game theory has by now found numerous applications in various fields, including economics, industry, jurisprudence, and artificial intelligence, where each player only cares about its own interest in a noncooperative or cooperative manner, but without obvious malice to other players. However, in many practical applications, such as poker, chess, evader pursuing, drug interdiction, coast guard, cyber-security, and national defense, players often have apparently adversarial stances, that is, selfish actions of each player inevitably or intentionally inflict loss or wreak havoc on other players. Along this line, this paper provides a systematic survey on three main game models widely employed in adversarial games, i.e., zero-sum normal-form and extensive-form games, Stackelberg (security) games, zero-sum differential games, from an array of perspectives, including basic knowledge of game models, (approximate) equilibrium concepts, problem classifications, research frontiers, (approximate) optimal strategy seeking techniques, prevailing algorithms, and practical applications. Finally, promising future research directions are also discussed for relevant adversarial games.


title: Certified Neural Network Watermarks with Randomized Smoothing

abstract: Watermarking is a commonly used strategy to protect creators' rights to digital images, videos and audio. Recently, watermarking methods have been extended to deep learning models -- in principle, the watermark should be preserved when an adversary tries to copy the model. However, in practice, watermarks can often be removed by an intelligent adversary. Several papers have proposed watermarking methods that claim to be empirically resistant to different types of removal attacks, but these new techniques often fail in the face of new or better-tuned adversaries. In this paper, we propose a certifiable watermarking method. Using the randomized smoothing technique proposed in Chiang et al., we show that our watermark is guaranteed to be unremovable unless the model parameters are changed by more than a certain l2 threshold. In addition to being certifiable, our watermark is also empirically more robust compared to previous watermarking methods. Our experiments can be reproduced with code at https://github.com/arpitbansal297/Certified_Watermarks


title: Learn-to-Decompose: Cascaded Decomposition Network for Cross-Domain Few-Shot Facial Expression Recognition

abstract: Most existing compound facial expression recognition (FER) methods rely on large-scale labeled compound expression data for training. However, collecting such data is labor-intensive and time-consuming. In this paper, we address the compound FER task in the cross-domain few-shot learning (FSL) setting, which requires only a few samples of compound expressions in the target domain. Specifically, we propose a novel cascaded decomposition network (CDNet), which cascades several learn-to-decompose modules with shared parameters based on a sequential decomposition mechanism, to obtain a transferable feature space. To alleviate the overfitting problem caused by limited base classes in our task, a partial regularization strategy is designed to effectively exploit the best of both episodic training and batch training. By training across similar tasks on multiple basic expression datasets, CDNet learns the ability of learn-to-decompose that can be easily adapted to identify unseen compound expressions. Extensive experiments on both in-the-lab and in-the-wild compound expression datasets demonstrate the superiority of our proposed CDNet against several state-of-the-art FSL methods. Code is available at: https://github.com/zouxinyi0625/CDNet.


title: Online Prediction in Sub-linear Space

abstract: We provide the first sub-linear space and sub-linear regret algorithm for online learning with expert advice (against an oblivious adversary), addressing an open question raised recently by Srinivas, Woodruff, Xu and Zhou (STOC 2022). We also demonstrate a separation between oblivious and (strong) adaptive adversaries by proving a linear memory lower bound of any sub-linear regret algorithm against an adaptive adversary. Our algorithm is based on a novel pool selection procedure that bypasses the traditional wisdom of leader selection for online learning, and a generic reduction that transforms any weakly sub-linear regret $o(T)$ algorithm to $T^{1-\alpha}$ regret algorithm, which may be of independent interest. Our lower bound utilizes the connection of no-regret learning and equilibrium computation in zero-sum games, leading to a proof of a strong lower bound against an adaptive adversary.


title: On the use of impedance detuning for gastrointestinal segment tracking of ingestible capsules

abstract: During their travel through the gastrointestinal tract, ingestible antennas encounter detuning in their impedance response due to varying electromagnetic properties of the surrounding tissues. This paper investigates the possibility of using this impedance detuning to detect in which segment of the gastrointestinal tract - stomach, small intestine, or large intestine - the capsule is located. Meandered dipole antennas operating in the 433 MHz Industrial, Scientific, and Medical Band are designed for this purpose. The antennas conform to the inner surface of 3D-printed polylactic-acid capsules with a shell thickness of 0.6 or 0.4 mm. The impedance response is first optimized numerically in a homogeneous cylindrical phantom with time-averaged electromagnetic properties. The magnitude and the phase of the reflection coefficient are then obtained in different tissues and compared with simulations and measurements. The experimental demonstration is carried out first using tissue-mimicking liquids and then in a recently deceased ex vivo porcine model. The minimum change in the phase between different gastrointestinal tissues was determined to be around 10 degrees in the porcine model, indicating that the changes in the impedance response, particularly the changes in the phase, provide sufficient information to follow the position of the capsule in the gastrointestinal tract.


title: Hyperparameter Tuning in Echo State Networks

abstract: Echo State Networks represent a type of recurrent neural network with a large randomly generated reservoir and a small number of readout connections trained via linear regression. The most common topology of the reservoir is a fully connected network of up to thousands of neurons. Over the years, researchers have introduced a variety of alternative reservoir topologies, such as a circular network or a linear path of connections. When comparing the performance of different topologies or other architectural changes, it is necessary to tune the hyperparameters for each of the topologies separately since their properties may significantly differ. The hyperparameter tuning is usually carried out manually by selecting the best performing set of parameters from a sparse grid of predefined combinations. Unfortunately, this approach may lead to underperforming configurations, especially for sensitive topologies. We propose an alternative approach of hyperparameter tuning based on the Covariance Matrix Adaptation Evolution Strategy (CMA-ES). Using this approach, we have improved multiple topology comparison results by orders of magnitude suggesting that topology alone does not play as important role as properly tuned hyperparameters.


title: Implementation and pratical aspects of quantitative decision-making in clinical drug development

abstract: Quantitative decision-making (QDM) principles address the issues related to the mapping of results to decisions, the synthesis of information and the quantification of uncertainty. Since the clinical drug development involves a succession of decisions to be made, QDM methods can be applied at various levels. At the study level, it can be used to properly design a study, and improve the decisions that are made either during the trial or at its end. Establishing decision criteria ahead of the study is essential here to address the need for speedy decisions, potentially in real time. At the project level, QDM can be used to inform decisions to continue, adapt or stop a drug development programme based on results from previous studies. At the portfolio level, QDM can be used to choose, prioritise and optimise the development portfolio, e.g. using the probability to reach market access or target sales within a predefined timeline. The increasing interest in QDM and its statistical nature led in 2017 to the development a cross-industry and academia Special Interest Group on QDM within the Society and the European Federation of Statisticians in the Pharmaceutical Industry (PSI and EFSPI). The activities of the group included discussing QDM examples, some published in the literature and some real anonymised ones covering several settings. While the methodologies, and to some extent the terminology, employed also varied depending on the context, discussions within the group distilled common principles to be considered when implementing QDM, particularly around the construction of QDM frameworks, assessment of operating characteristics and communication with the clinical team. The present manuscript presents those points to consider, hoping they can be helpful to statisticians interested in implementing QDM.


title: Robust Multivariate Functional Control Chart

abstract: In modern Industry 4.0 applications, a huge amount of data is acquired during manufacturing processes that are often contaminated with anomalous observations in the form of both casewise and cellwise outliers. These can seriously reduce the performance of control charting procedures, especially in complex and high-dimensional settings. To mitigate this issue in the context of profile monitoring, we propose a new framework, referred to as robust multivariate functional control chart (RoMFCC), that is able to monitor multivariate functional data while being robust to both functional casewise and cellwise outliers. The RoMFCC relies on four main elements: (I) a functional univariate filter to identify functional cellwise outliers to be replaced by missing components; (II) a robust multivariate functional data imputation method of missing values; (III) a casewise robust dimensionality reduction; (IV) a monitoring strategy for the multivariate functional quality characteristic. An extensive Monte Carlo simulation study is performed to compare the RoMFCC with competing monitoring schemes already appeared in the literature. Finally, a motivating real-case study is presented where the proposed framework is used to monitor a resistance spot welding process in the automotive industry.


title: Knowledge Guided Bidirectional Attention Network for Human-Object Interaction Detection

abstract: Human Object Interaction (HOI) detection is a challenging task that requires to distinguish the interaction between a human-object pair. Attention based relation parsing is a popular and effective strategy utilized in HOI. However, current methods execute relation parsing in a "bottom-up" manner. We argue that the independent use of the bottom-up parsing strategy in HOI is counter-intuitive and could lead to the diffusion of attention. Therefore, we introduce a novel knowledge-guided top-down attention into HOI, and propose to model the relation parsing as a "look and search" process: execute scene-context modeling (i.e. look), and then, given the knowledge of the target pair, search visual clues for the discrimination of the interaction between the pair. We implement the process via unifying the bottom-up and top-down attention in a single encoder-decoder based model. The experimental results show that our model achieves competitive performance on the V-COCO and HICO-DET datasets.


title: Limits of Dense Simplicial Complexes

abstract: We develop a theory of limits for sequences of dense abstract simplicial complexes, where a sequence is considered convergent if its homomorphism densities converge. The limiting objects are represented by stacks of measurable [0,1]-valued functions on unit cubes of increasing dimension, each corresponding to a dimension of the abstract simplicial complex. We show that convergence in homomorphism density implies convergence in a cut-metric, and vice versa, as well as showing that simplicial complexes sampled from the limit objects closely resemble its structure. Applying this framework, we also partially characterize the convergence of nonuniform hypergraphs.


title: Indivisible Participatory Budgeting under Weak Rankings

abstract: Participatory budgeting (PB) has attracted much attention in recent times due to its wide applicability in social choice settings. In this paper, we consider indivisible PB which involves allocating an available, limited budget to a set of indivisible projects, each having a certain cost, based on the preferences of agents over projects. The specific, important, research gap that we address in this paper is to propose classes of rules for indivisible PB with weak rankings (i.e., weak ordinal preferences) and investigate their key algorithmic and axiomatic issues. We propose two classes of rules having distinct significance and motivation. The first is layered approval rules which enable weak rankings to be studied by carefully translating them into approval votes. The second is need-based rules which enable to capture fairness issues. Under layered approval rules, we study two natural families of rules: greedy-truncation rules and cost-worthy rules. The paper has two parts. In the first part, we investigate algorithmic and complexity related issues for the proposed rules. In the second part, we present a detailed axiomatic analysis of these rules, for which, we examine and generalize axioms in the literature and also introduce a new axiom, pro-affordability. The paper helps to highlight the trade-offs among practical appeal, computational complexity, and axiomatic compliance of these rules.


title: One-Step Time Series Forecasting Using Variational Quantum Circuits

abstract: Time series forecasting has always been a thought-provoking topic in the field of machine learning. Machine learning scientists define a time series as a set of observations recorded over consistent time steps. And, time series forecasting is a way of analyzing the data and finding how variables change over time and hence, predicting the future value. Time is of great essence in this forecasting as it shows how the data coordinates over the dataset and the final result. It also requires a large dataset to ascertain the regularity and reliability. Quantum computers may prove to be a better option for perceiving the trends in the time series by exploiting quantum mechanical phenomena like superposition and entanglement. Here, we consider one-step time series forecasting using variational quantum circuits, and record observations for different datasets.


title: Approximation algorithms for Steiner Tree Augmentation Problems

abstract: In the Steiner Tree Augmentation Problem (STAP), we are given a graph $G = (V,E)$, a set of terminals $R \subseteq V$, and a Steiner tree $T$ spanning $R$. The edges $L := E \setminus E(T)$ are called links and have non-negative costs. The goal is to augment $T$ by adding a minimum cost set of links, so that there are 2 edge-disjoint paths between each pair of vertices in $R$. This problem is a special case of the Survivable Network Design Problem, which can be approximated to within a factor of 2 using iterative rounding~\cite{J2001}. We give the first polynomial time algorithm for STAP with approximation ratio better than 2. In particular, we achieve an approximation ratio of $(1.5 + \varepsilon)$. To do this, we employ the Local Search approach of~\cite{TZ2022} for the Tree Augmentation Problem and generalize their main decomposition theorem from links (of size two) to hyper-links. We also consider the Node-Weighted Steiner Tree Augmentation Problem (NW-STAP) in which the non-terminal nodes have non-negative costs. We seek a cheapest subset $S \subseteq V \setminus R$ so that $G[R \cup S]$ is 2-edge-connected. Using a result of Nutov~\cite{N2010}, there exists an $O(\log |R|)$-approximation for this problem. We provide an $O(\log^2 (|R|))$-approximation algorithm for NW-STAP using a greedy algorithm leveraging the spider decomposition of optimal solutions.


title: Characterization of Group-Fair Social Choice Rules under Single-Peaked Preferences

abstract: We study fairness in social choice settings under single-peaked preferences. Construction and characterization of social choice rules in the single-peaked domain has been extensively studied in prior works. In fact, in the single-peaked domain, it is known that unanimous and strategy-proof deterministic rules have to be min-max rules and those that also satisfy anonymity have to be median rules. Further, random social choice rules satisfying these properties have been shown to be convex combinations of respective deterministic rules. We non-trivially add to this body of results by including fairness considerations in social choice. Our study directly addresses fairness for groups of agents. To study group-fairness, we consider an existing partition of the agents into logical groups, based on natural attributes such as gender, race, and location. To capture fairness within each group, we introduce the notion of group-wise anonymity. To capture fairness across the groups, we propose a weak notion as well as a strong notion of fairness. The proposed fairness notions turn out to be natural generalizations of existing individual-fairness notions and moreover provide non-trivial outcomes for strict ordinal preferences, unlike the existing group-fairness notions. We provide two separate characterizations of random social choice rules that satisfy group-fairness: (i) direct characterization (ii) extreme point characterization (as convex combinations of fair deterministic social choice rules). We also explore the special case where there are no groups and provide sharper characterizations of rules that achieve individual-fairness.


title: Home-made blues: Residential crowding and mental health in Beijing, China

abstract: Although residential crowding has many well-being implications, its connection to mental health is yet to be widely examined. Using survey data from 1613 residents in Beijing, China, we find that living in a crowded place - measured by both square metres per person and persons per bedroom - is significantly associated with a higher risk of depression. We test for the mechanisms of such associations and find that the residential crowding-depression link arises through increased living space-specific stress rather than increased life stress. We also identify the following subgroups that have relatively stronger residential crowding-depression associations: females, those living with children, those not living with parents, and those living in non-market housing units. Our findings show that inequality in living space among urban residents not only is an important social justice issue but also has health implications.

categories: econ.GN physics.soc-ph q-bio.QM q-fin.EC stat.AP


title: Determination of the Physical Parameters of AGNs in Seyfert 1 Galaxies LEDA 3095839 and VII Zw 244 Based on Spectropolarimetric Observations

abstract: Here we present the detailed investigation of AGNs in two Seyfert 1 galaxies, LEDA 3095839 and VII Zw 244. Both of them were observed within the photometric reverberation mapping project in Special Astrophysical Observatory of the Russian Academy of Sciences (SAO RAS), during which we earlier obtained the SMBHs masses. After that, both galaxies were observed in spectropolarimetric and polarimetric modes on the BTA 6 m telescope of the SAO RAS with the focal reducer SCORPIO-2. The linear polarization of the continuum and broad Balmer lines has been measured. It was found that (i) there were no signs of equatorial scattering in the LEDA 3095839 galaxy in the broad H-alpha line, and we were able to estimate the value of SMBH spin and the magnetic field strength in the disk from the level of continuum polarization; (ii) for the galaxy VII Zw 244, the presence of equatorial scattering was shown, due to which the mass of the SMBH was independently measured, the inclination angle of the system was obtained, and the value of the spin was estimated.


title: A tool for emulating neuromorphic architectures with memristive models and devices

abstract: Memristors have shown promising features for enhancing neuromorphic computing concepts and AI hardware accelerators. In this paper, we present a user-friendly software infrastructure that allows emulating a wide range of neuromorphic architectures with memristor models. This tool empowers studies that exploit memristors for online learning and online classification tasks, predicting memristor resistive state changes during the training process. The versatility of the tool is showcased through the capability for users to customise parameters in the employed memristor and neuronal models as well as the employed learning rules. This further allows users to validate concepts and their sensitivity across a wide range of parameters. We demonstrate the use of the tool via an MNIST classification task. Finally, we show how this tool can also be used to emulate the concepts under study in-silico with practical memristive devices via appropriate interfacing with commercially available characterisation tools.


title: Inference of high quantiles of a heavy-tailed distribution from block data

abstract: In this paper we consider the estimation problem for high quantiles of a heavy-tailed distribution from block data when only a few largest values are observed within blocks. We propose estimators for high quantiles and prove that these estimators are asymptotically normal. Furthermore, we employ empirical likelihood method and adjusted empirical likelihood method to constructing the confidence intervals of high quantiles. Through a simulation study we also compare the performance of the normal approximation method and the adjusted empirical likelihood methods in terms of the coverage probability and length of the confidence intervals.


title: Signed Cumulative Distribution Transform for Parameter Estimation of 1-D Signals

abstract: We describe a method for signal parameter estimation using the signed cumulative distribution transform (SCDT), a recently introduced signal representation tool based on optimal transport theory. The method builds upon signal estimation using the cumulative distribution transform (CDT) originally introduced for positive distributions. Specifically, we show that Wasserstein-type distance minimization can be performed simply using linear least squares techniques in SCDT space for arbitrary signal classes, thus providing a global minimizer for the estimation problem even when the underlying signal is a nonlinear function of the unknown parameters. Comparisons to current signal estimation methods using $L_p$ minimization shows the advantage of the method.

categories: cs.IT cs.LG eess.SP math.FA math.IT math.PR


title: The Roads One Must Walk Down: Commute and Depression for Beijing's Residents

abstract: As a vital aspect of individual's quality of life, mental health has been included as an important component of the U.N. Sustainable Development Goals. This study focuses on a specific aspect of mental health: depression, and examines its relationship with commute patterns. Using survey data from 1,528 residents in Beijing, China, we find that every 10 additional minutes of commute time is associated with 1.1% higher likelihood of depression. We test for the mechanisms of the commute-depression link and find that commute is associated with depression as a direct stressor rather than triggering higher work stress. When decomposing commute time into mode-specific time, we found that time on mopeds/motorcycles has the strongest association with depression. Moreover, the commute-depression associations are stronger for older workers and blue-collar workers. Hence, policies that could reduce commute time, encourage work from home, improve job-housing balance or increase motorcyclists' safety would help promote mental health.

categories: econ.GN physics.soc-ph q-bio.QM q-fin.EC


title: The Local Structure of Injective LOT-Complexes

abstract: Labeled oriented trees, LOT's, encode spines of ribbon discs in the 4-ball and ribbon 2-knots in the 4-sphere. The unresolved asphericity question for these spines is a major test case for Whitehead's asphericity conjecture. In this paper we give a complete description of the link of a reduced injective LOT complex. An important case is the following: If $\Gamma$ is a reduced injective LOT that does not contain boundary reduced sub-LOTs, then $lk(K(\Gamma))$ is a bi-forest. As a consequence $K(\Gamma)$ is aspherical, in fact DR, and its fundamental group is locally indicable. We also show that a general injective LOT complex is aspherical. Some of our results have already appeared in print over the last two decades and are collected here.


title: A Comprehensive Empirical Investigation on Failure Clustering in Parallel Debugging

abstract: The clustering technique has attracted a lot of attention as a promising strategy for parallel debugging in multi-fault scenarios, this heuristic approach (i.e., failure indexing or fault isolation) enables developers to perform multiple debugging tasks simultaneously through dividing failed test cases into several disjoint groups. When using statement ranking representation to model failures for better clustering, several factors influence clustering effectiveness, including the risk evaluation formula (REF), the number of faults (NOF), the fault type (FT), and the number of successful test cases paired with one individual failed test case (NSP1F). In this paper, we present the first comprehensive empirical study of how these four factors influence clustering effectiveness. We conduct extensive controlled experiments on 1060 faulty versions of 228 simulated faults and 141 real faults, and the results reveal that: 1) GP19 is highly competitive across all REFs, 2) clustering effectiveness decreases as NOF increases, 3) higher clustering effectiveness is easier to achieve when a program contains only predicate faults, and 4) clustering effectiveness remains when the scale of NSP1F is reduced to 20%.


title: Relative Position Estimation in Multi-Agent Systems Using Attitude-Coupled Range Measurements

abstract: The ability to accurately estimate the position of robotic agents relative to one another, in possibly GPS-denied environments, is crucial to execute collaborative tasks. Inter-agent range measurements are available at a low cost, due to technologies such as ultra-wideband radio. However, the task of three-dimensional relative position estimation using range measurements in multi-agent systems suffers from unobservabilities. This letter presents a sufficient condition for the observability of the relative positions, and satisfies the condition using a simple framework with only range measurements, an accelerometer, a rate gyro, and a magnetometer. The framework has been tested in simulation and in experiments, where 40-50 cm positioning accuracy is achieved using inexpensive off-the-shelf hardware.


title: Simplicity of non-associative skew Laurent polynomial rings

abstract: We introduce non-associative skew Laurent polynomial rings and characterize when they are simple. Thereby, we generalize results by Jordan, Voskoglou, and Nystedt and \"Oinert.


title: The pure spectrum of a residuated lattice

abstract: This paper studies a fascinating type of filter in residuated lattices, the so-called pure filters. A combination of algebraic and topological methods on the pure filters of a residuated lattice is applied to obtain some new structural results. The notion of purely-prime filters of a residuated lattice has been investigated, and a Cohen-type theorem has been obtained. It is shown that the pure spectrum of a residuated lattice is a compact sober space, and a Grothendieck-type theorem has been demonstrated. It is proved that the pure spectrum of a Gelfand residuated lattice is a Hausdorff space, and deduced that the pure spectrum of a Gelfand residuated lattice is homeomorphic to its usual maximal spectrum. Finally, the pure spectrum of an mp-residuated lattice is investigated and verified that a given residuated lattice is mp iff its minimal prime spectrum is equipped with the induced dual hull-kernel topology, and its pure spectrum is the same.


title: Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake

abstract: Cryptographic Self-Selection is a subroutine used to select a leader for modern proof-of-stake consensus protocols, such as Algorand. In cryptographic self-selection, each round $r$ has a seed $Q_r$. In round $r$, each account owner is asked to digitally sign $Q_r$, hash their digital signature to produce a credential, and then broadcast this credential to the entire network. A publicly-known function scores each credential in a manner so that the distribution of the lowest scoring credential is identical to the distribution of stake owned by each account. The user who broadcasts the lowest-scoring credential is the leader for round $r$, and their credential becomes the seed $Q_{r+1}$. Such protocols leave open the possibility of a selfish-mining style attack: a user who owns multiple accounts that each produce low-scoring credentials in round $r$ can selectively choose which ones to broadcast in order to influence the seed for round $r+1$. Indeed, the user can pre-compute their credentials for round $r+1$ for each potential seed, and broadcast only the credential (among those with a low enough score to be the leader) that produces the most favorable seed. We consider an adversary who wishes to maximize the expected fraction of rounds in which an account they own is the leader. We show such an adversary always benefits from deviating from the intended protocol, regardless of the fraction of the stake controlled. We characterize the optimal strategy; first by proving the existence of optimal positive recurrent strategies whenever the adversary owns last than $38\%$ of the stake. Then, we provide a Markov Decision Process formulation to compute the optimal strategy.


title: Differentiable self-consistent space-charge simulation for accelerator design

abstract: The nonlinear space-charge effects in a high intensity or high brightness accelerator can have a significant impact on the beam properties through the accelerator. These effects are included in the accelerator design via self-consistent multi-particle tracking simulations. In order to study the sensitivity of the final beam's properties with respect to the accelerator design parameters, one has to carry out the time-consuming space-charge simulation multiple times. In this paper, we propose a differentiable self-consistent space-charge simulation model that enables the study of the beam sensitivity through only one simulation. Such a model can also be used with gradient-based numerical optimizers for accelerator design optimizations including the self-consistent space-charge effects.


title: No Grammar to Rule Them All: A Survey of JSON-style DSLs for Visualization

abstract: There has been substantial growth in the use of JSON-based grammars, as well as other standard data serialization languages, to create visualizations. Each of these grammars serves a purpose: some focus on particular computational tasks (such as animation), some are concerned with certain chart types (such as maps), and some target specific data domains (such as ML). Despite the prominence of this interface form, there has been little detailed analysis of the characteristics of these languages. In this study, we survey and analyze the design and implementation of 57 JSON-style DSLs for visualization. We analyze these languages supported by a collected corpus of examples for each DSL (consisting of 4395 instances) across a variety of axes organized into concerns related to domain, conceptual model, language relationships, affordances, and general practicalities. We identify tensions throughout these areas, such as between formal and colloquial specifications, among types of users, and within the composition of languages. Through this work, we seek to support language implementers by elucidating the choices, opportunities, and tradeoffs in visualization DSL design.


title: Intelligent Reflecting Surfaces for the Enhancement of 6G Internet of Things

abstract: With the advancement of sensing technologies over the years, it has become critical to ensure the seamless connectivity of the Internet of Things (IoT) gadgets. With the advancement of communication technology, cellular networks are increasingly being utilized to link IoT systems. An IRS is a rectangular metasurface made up of a vast number of reflecting components that has recently gained research attention due to its ability to significantly improve the energy and spectral efficiencies of communication networks by modifying wireless transmission environments.


title: DiffuStereo: High Quality Human Reconstruction via Diffusion-based Stereo Using Sparse Cameras

abstract: We propose DiffuStereo, a novel system using only sparse cameras (8 in this work) for high-quality 3D human reconstruction. At its core is a novel diffusion-based stereo module, which introduces diffusion models, a type of powerful generative models, into the iterative stereo matching network. To this end, we design a new diffusion kernel and additional stereo constraints to facilitate stereo matching and depth estimation in the network. We further present a multi-level stereo network architecture to handle high-resolution (up to 4k) inputs without requiring unaffordable memory footprint. Given a set of sparse-view color images of a human, the proposed multi-level diffusion-based stereo network can produce highly accurate depth maps, which are then converted into a high-quality 3D human model through an efficient multi-view fusion strategy. Overall, our method enables automatic reconstruction of human models with quality on par to high-end dense-view camera rigs, and this is achieved using a much more light-weight hardware setup. Experiments show that our method outperforms state-of-the-art methods by a large margin both qualitatively and quantitatively.


title: SVGraph: Learning Semantic Graphs from Instructional Videos

abstract: In this work, we focus on generating graphical representations of noisy, instructional videos for video understanding. We propose a self-supervised, interpretable approach that does not require any annotations for graphical representations, which would be expensive and time consuming to collect. We attempt to overcome "black box" learning limitations by presenting Semantic Video Graph or SVGraph, a multi-modal approach that utilizes narrations for semantic interpretability of the learned graphs. SVGraph 1) relies on the agreement between multiple modalities to learn a unified graphical structure with the help of cross-modal attention and 2) assigns semantic interpretation with the help of Semantic-Assignment, which captures the semantics from video narration. We perform experiments on multiple datasets and demonstrate the interpretability of SVGraph in semantic graph learning.


title: EEG2Vec: Learning Affective EEG Representations via Variational Autoencoders

abstract: There is a growing need for sparse representational formats of human affective states that can be utilized in scenarios with limited computational memory resources. We explore whether representing neural data, in response to emotional stimuli, in a latent vector space can serve to both predict emotional states as well as generate synthetic EEG data that are participant- and/or emotion-specific. We propose a conditional variational autoencoder based framework, EEG2Vec, to learn generative-discriminative representations from EEG data. Experimental results on affective EEG recording datasets demonstrate that our model is suitable for unsupervised EEG modeling, classification of three distinct emotion categories (positive, neutral, negative) based on the latent representation achieves a robust performance of 68.49%, and generated synthetic EEG sequences resemble real EEG data inputs to particularly reconstruct low-frequency signal components. Our work advances areas where affective EEG representations can be useful in e.g., generating artificial (labeled) training data or alleviating manual feature extraction, and provide efficiency for memory constrained edge computing applications.


title: SSMTL++: Revisiting Self-Supervised Multi-Task Learning for Video Anomaly Detection

abstract: A self-supervised multi-task learning (SSMTL) framework for video anomaly detection was recently introduced in literature. Due to its highly accurate results, the method attracted the attention of many researchers. In this work, we revisit the self-supervised multi-task learning framework, proposing several updates to the original method. First, we study various detection methods, e.g. based on detecting high-motion regions using optical flow or background subtraction, since we believe the currently used pre-trained YOLOv3 is suboptimal, e.g. objects in motion or objects from unknown classes are never detected. Second, we modernize the 3D convolutional backbone by introducing multi-head self-attention modules, inspired by the recent success of vision transformers. As such, we alternatively introduce both 2D and 3D convolutional vision transformer (CvT) blocks. Third, in our attempt to further improve the model, we study additional self-supervised learning tasks, such as predicting segmentation maps through knowledge distillation, solving jigsaw puzzles, estimating body pose through knowledge distillation, predicting masked regions (inpainting), and adversarial learning with pseudo-anomalies. We conduct experiments to assess the performance impact of the introduced changes. Upon finding more promising configurations of the framework, dubbed SSMTL++v1 and SSMTL++v2, we extend our preliminary experiments to more data sets, demonstrating that our performance gains are consistent across all data sets. In most cases, our results on Avenue, ShanghaiTech and UBnormal raise the state-of-the-art performance bar to a new level.


title: Energy conditions in a modified Brans-Dicke theory

abstract: We consider a modified version of Brans-Dicke theory (MBDT) in four dimensions obtained by applying the induced matter method of Wesson to a 5D generalized Brans-Dicke theory. In 5D the model consists of pure vacuum, with no self-interacting potential, except for a scalar field. Constraining the 5D geometry to be a generalization of the anisotropic Bianchi type I universe model first studied by Kasner, we derive the induced energy-momentum. We discuss the energy conditions and their bounds in the MBDT with such an induced imperfect fluid, with an eye toward a realistic model of the present-day universe, and consider the large-scale behavior of that spatially homogeneous and anisotropic model. We discuss how the energy conditions would be satisfied or violated in the context of MBDT, with the aim of providing a feasible description of the universe in the current era.


title: Exploring The Resilience of Control Execution Skips against False Data Injection Attacks

abstract: Modern Cyber-Physical Systems (CPSs) are often designed as networked, software-based controller implementations which have been found to be vulnerable to network-level and physical level attacks. A number of research works have proposed CPS-specific attack detection schemes as well as techniques for attack resilient controller design. However, such schemes also incur platform-level overheads. In this regard, some recent works have leveraged the use of skips in control execution to enhance the resilience of a CPS against false data injection (FDI) attacks. In this paper, we provide an analytical discussion on when and how skipping a control execution can improve the resilience of the system against FDI attacks while maintaining the control performance requirement. We also propose a methodology to synthesize such optimal control execution patterns. To the best of our knowledge, no previous work has provided any quantitative analysis about the trade-off between attack resilience and control performance for such aperiodic control execution. Finally, we evaluate the proposed method on several safety-critical CPS benchmarks.


title: S4: a High-sparsity, High-performance AI Accelerator

abstract: Exploiting sparsity underlying neural networks has become one of the most potential methodologies to reduce the memory footprint, I/O cost, and computation workloads during inference. And the degree of sparsity one can exploit has become higher as larger model sizes have been considered along with the trend of pre-training giant models. On the other hand, compared with quantization that has been a widely supported option, acceleration through high-degree sparsity is not supported in most computing platforms. In this work, we introduce the first commercial hardware platform supporting high-degree sparsity acceleration up to 32 times -- S4. Combined with state-of-the-art sparse pruning techniques, we demonstrate several-times practical inference speedup on S4 over mainstream inference platforms such as Nvidia T4. We also show that in practice a sparse model of larger size can achieve both higher accuracy and higher throughput on S4 than a dense model of smaller size.


title: A family of counterexamples for a conjecture of Berge on $\alpha$-diperfect digraphs

abstract: Let $D$ be a digraph. A stable set $S$ of $D$ and a path partition $\mathcal{P}$ of $D$ are orthogonal if every path $P \in \mathcal{P}$ contains exactly one vertex of $S$. In 1982, Berge defined the class of $\alpha$-diperfect digraphs. A digraph $D$ is $\alpha$-diperfect if for every maximum stable set $S$ of $D$ there is a path partition $\mathcal{P}$ of $D$ orthogonal to $S$ and this property holds for every induced subdigraph of $D$. An anti-directed odd cycle is an orientation of an odd cycle $(x_0,\ldots,x_{2k},x_0)$ with $k\geq2$ in which each vertex $x_0,x_1,x_2,x_3,x_5,x_7\ldots,x_{2k-1}$ is either a source or a sink. Berge conjectured that a digraph $D$ is $\alpha$-diperfect if and only if $D$ does not contain an anti-directed odd cycle as an induced subdigraph. In this paper, we show that this conjecture is false by exhibiting an infinite family of orientations of complements of odd cycles with at least seven vertices that are not $\alpha$-diperfect.


title: Mott transition, Widom line and pseudogap in the half-filled triangular lattice Hubbard model

abstract: The Mott transition is observed experimentally in materials that are magnetically frustrated so that long-range order does not hide the Mott transition at finite temperature. The Hubbard model on the triangular lattice at half-filling is a paradigmatic model to study the interplay of interactions and frustration on the normal-state phase diagram. We use the dynamical cluster approximation with continuous time auxiliary field quantum Monte Carlo to solve this model for 1, 4, 6, 12, and 16 site clusters with detailed analysis performed for the 6 site cluster. We show that a) for every cluster there is an inflection point in the double occupancy as a function of interaction, defining a Widom line that extends above the critical point of the first-order Mott transition; b) the presence of this line and the cluster size dependence argue for the observability of the Mott transition at finite temperature in the thermodynamic limit; c) the loss of spectral weight in the metal to Mott insulator transition as a function of temperature and for strong interactions is momentum dependent, the hallmark of a pseudogap. That pseudogap spans a large region of the phase diagram near the Mott transition.


title: Power Hardware-In-the-Loop Testing of a Peer-to-Peer Energy Trading Framework

abstract: This paper demonstrates the value of power hardware-in-the-loop (PHIL) testing for the study of peer-to-peer (P2P) energy trading. P2P has emerged as a promising candidate for coordinating large numbers of distributed energy resources (DER) that pose a risk to network operations if left unmanaged. The existing literature has so far relied on pure software simulations to study DER and distribution networks within this context. This requires the development of simplified models for complex components due to the computational limitations involved. Issues that arise through the operation of physical hardware in real-world applications are therefore neglected. We present PHIL testing as a solution to this problem by exhibiting its ability to capture the complex behaviors of physical DER devices. A high-fidelity PHIL test environment is introduced that combines key hardware elements with a simulated network model to study a P2P trading scenario. The initial findings reveal several underlying challenges of coordinating DER that are not typically discussed in prior works.


title: Asymptotic optimality of switched control policies in a simple parallel server system under an extended heavy traffic condition

abstract: This paper studies a 2-class, 2-server parallel server system under the recently introduced extended heavy traffic condition, which states that the underlying 'static allocation' linear program (LP) is critical, but does not require that it has a unique solution. The main result is the construction of policies that asymptotically achieve a lower bound, proved in [1], on an expected discounted linear combination of diffusion-scaled queue lengths, and are therefore asymptotically optimal (AO). Each extreme point solution to the LP determines a control mode, i.e., a set of activities (class--server pairs) that are operational. When there are multiple solutions, these modes can be selected dynamically. It is shown that the number of modes required for AO is either one or two. In the latter case there is a switching point in the (normalized) workload domain, characterized in terms of a free boundary problem. Our policies are defined by identifying pairs of elementary policies and switching between them at this switching point. They provide the first example in the heavy traffic literature where weak limits under an AO policy are given by a diffusion process where both the drift and diffusion coefficients are discontinuous.


title: Properties of Ehrhart Polynomials whose Roots Lie on the Critical Line

abstract: We study a class of polynomials that has all of its roots on the critical line and shares many properties with Ehrhart polynomials. Braun showed that the roots of Ehrhart polynomials are bounded quadratically and Higashitani provided examples for polytopes whose Ehrhart polynomial roots come close to this bound. In the case of polytopes which have their roots on the critical line, we present an improved bound. As a side effect this confirms a special case of a conjecture of Braun.


title: Meta-Referential Games to Learn Compositional Learning Behaviours

abstract: Human beings use compositionality to generalise from past experiences to novel experiences. We assume a separation of our experiences into fundamental atomic components that can be recombined in novel ways to support our ability to engage with novel experiences. We frame this as the ability to learn to generalise compositionally, and we will refer to behaviours making use of this ability as compositional learning behaviours (CLBs). A central problem to learning CLBs is the resolution of a binding problem (BP). While it is another feat of intelligence that human beings perform with ease, it is not the case for state-of-the-art artificial agents. Thus, in order to build artificial agents able to collaborate with human beings, we propose to develop a novel benchmark to investigate agents' abilities to exhibit CLBs by solving a domain-agnostic version of the BP. We take inspiration from the language emergence and grounding framework of referential games and propose a meta-learning extension of referential games, entitled Meta-Referential Games, and use this framework to build our benchmark, the Symbolic Behaviour Benchmark (S2B). We provide baseline results and error analysis showing that our benchmark is a compelling challenge that we hope will spur the research community towards developing more capable artificial agents.


title: The DIVING$^\mathrm{3D}$ Survey -- Deep IFS View of Nuclei of Galaxies -- II. First results: nuclear emission-line properties of the mini-DIVING$^\mathrm{3D}$ sample

abstract: This work presents the first results of the Deep IFS View of Nuclei of Galaxies (DIVING$^\mathrm{3D}$) survey. We analysed the nuclear emission-line spectra of a sub-sample we call mini-DIVING$^\mathrm{3D}$, which includes all Southern galaxies with B < 11.2 and |b| > 15 degrees. We verified that $23\% \pm 4\%$ of the galaxies show nuclear emission-line properties characteristic of Low Ionization Nuclear Emission-Line Regions (LINERs). Diagnostic diagram analysis reveals an apparent dichotomy, not detected in previous studies, between objects classified as H II regions and as LINERs or Seyferts, with very few galaxies classified as transition objects. A possible explanation for this result is that at least part of the transition objects are composite systems, with a central LINER contaminated by the emission from circumnuclear H II regions. The higher spatial resolution of the DIVING$^\mathrm{3D}$ survey, in comparison with previous studies, allowed us to isolate the nuclear emission from circumnuclear contaminations, reducing the number of transition objects. We also propose an alternative scenario, in which the emission-line spectra of some transition objects are the result of shock heating by central outflows, together with photoionization by young stars. Clear evidence of active galactic nuclei (AGNs), in the optical and X-ray spectral bands, were detected in 69$\%$ of the LINERs in the mini-DIVING$^\mathrm{3D}$ sample. Considering the entire mini-DIVING$^\mathrm{3D}$ sample, evidence of AGNs were detected in 65$\%$ of the objects.


title: Analysis of the attack and its solution in wireless sensor networks

abstract: Several years ago, wireless sensor networks were used only by the military. These networks, which have many uses and are subject to limitations, the most important of which is the energy constraint, this energy constraint creates the requirement that the number And the length of the messages exchanged between the sensors is low. Sensor networks do not have a stable topology due to their inaccessible environments, and continually changes with the disappearance or addition of a node, support for the topology is performed in three steps before deployment, after deployment and deployment. . The sensor nodes are scattered across the field and transmitted by a multidimensional connection to the sink. The communication protocol of the sensor networks used by all nodes in the network and sink. The protocol consists of five layers and three levels of management. Sensor networks require a kind of security mechanism due to inaccessibility and protection. Conventional security mechanisms are inefficient due to the inherent limitations of sensor nodes in these networks. Sensor nodes, due to energy and resource constraints, require security requirements such as the confidentiality of data integrity data, authentication, synchronization, etc. Currently, many organizations use wireless sensor networks for purposes such as air, Pollution, Traffic Control and Healthcare Security is the main concern of wireless sensor networks. In this article, I will focus on the types of security attacks and their detection. This article outlines security needs and security attacks in wireless sensor networks. Also, the security criteria in wireless sensor networks are mentioned.


title: Parallel Best Arm Identification in Heterogeneous Environments

abstract: In this paper, we study the tradeoffs between the time and the number of communication rounds of the best arm identification problem in the heterogeneous collaborative learning model, where multiple agents interact with possibly different environments and they want to learn in parallel an objective function in the aggregated environment. By proving almost tight upper and lower bounds, we show that collaborative learning in the heterogeneous setting is inherently more difficult than that in the homogeneous setting in terms of the time-round tradeoff.


title: An Integrated Biological Optimization framework for proton SBRT FLASH treatment planning allows dose, dose rate, and LET optimization using patient-specific ridge filters

abstract: Purpose: Patient-specific ridge filters can modulate proton energy to obtain a conformal dose. We describe a new framework for optimization of filter design and spot maps to meet the unique demands of FLASH radiotherapy. We demonstrate an Integrated Biological Optimization IMPT (IBO-IMPT) approach for optimization of dose, dose-averaged dose rate (DADR), and dose-averaged LET (LETd). Methods: We developed inverse planning software to design patient-specific ridge filters that spread the Bragg peak from a fixed-energy, 250 MeV beam to a proximal beam-specific planning target volume. The software optimizes patient-specific ridge filter and uses a Monte Carlo calculation engine, based on Geant4, to provide dose and LET influence matrices. Plan optimization, using matRAD, accommodates the IBO-IMPT objective function considering dose, dose rate, and LET simultaneously with minimum MU constraints. The framework enables design of both regularly spaced and sparse-optimized ridge filters, which allow faster delivery and selective LET optimization. Volume distributions and histograms for dose, DADR, and LETd are compared using evaluation structures specific to the heart and lung. Results: We used IBO-IMPT to design ridge filters for a central lung tumor patient. The IBO-IMPT framework selectively spared heart and lung by reducing LET and increasing dose rate, relative to IMPT planning. Sparse-optimized ridge filters were superior to regularly spaced ridge filters in dose rate. Together, these innovations substantially increased the DADR in the heart and lung while maintaining good target coverage. The volume that received a FLASH dose rate of higher 40 Gy/second increased by 31% for heart and 50% for lung. Conclusion: This proof-of-concept study demonstrates the feasibility of using an IBO-IMPT framework to accomplish proton FLASH SBPT, accounting for dose, DADR, and LETd simultaneously.


title: Is Soccer a lie or simply a complex system?

abstract: Understanding soccer as a complex system we base on nature and the collective behavior of many organisms that "do calculations," seeking to generate solutions in a bioinspired way. When soccer mysteries appear, complex systems science emerges as a means to provide explanations. However, given the variety of interpretations that complexity and its associated properties can have and the understanding of what a complex system is, it is convenient to provide some elements to understand how unpredictability in soccer gives way to hundreds of counterintuitive results and how the science of complexity could contribute to the understanding of many phenomena in this sport. In this context, the manuscript's objective is to synthetically address some of the most important aspects of applied complexity to soccer to bring science and sport closer together


title: Extend the lifetime of wireless sensor networks by modifying cluster-based data collection

abstract: Wireless sensor networks have significant potential to increase our ability to view and control the physical environment, but the issue of power consumption in these networks has become an important parameter in their reliability and since in many applications of networks. Wireless sensor needs to guarantee end-to-end quality parameters, support for quality of service in these networks is of utmost importance. In wireless sensor networks, one of the most important issues is the lifetime of each network, which is directly related to the energy consumption of the network sensors. Increasing network lifetime is one of the most challenging requirements in these types of networks. This paper presents a clustering approach to reduce power consumption in wireless sensor networks, which is the most effective method for scalability and energy consumption reduction in sensor networks. The simulation results show that the proposed algorithm can reduce the energy consumption of the wireless sensor network and dramatically increase the lifetime of the network.


title: Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability

abstract: Web applications are structured as multi-tier stacks of components. Each component may be written in a different language and interoperate using a variety of protocols. Such interoperation increases developer effort, can introduce security vulnerabilities, may reduce performance and require additional resources. A range of approaches have been explored to minimise web stack interoperation. This paper explores a pragmatic approach to reducing web stack interoperation, namely eliminating a tier/component. That is, we explore the implications of eliminating the Apache web server in a JAPyL web stack: Jupyter Notebook, Apache, Python, Linux, and replacing it with PHP libraries. We conduct a systematic study to investigate the implications for web stack performance, resource consumption, security, and programming effort.


title: Sampling of the Wiener Process for Remote Estimation over a Channel with Unknown Delay Statistics

abstract: In this paper, we study an online sampling problem of the Wiener process. The goal is to minimize the mean squared error (MSE) of the remote estimator under a sampling frequency constraint when the transmission delay distribution is unknown. The sampling problem is reformulated into an optional stopping problem, and we propose an online sampling algorithm that can adaptively learn the optimal stopping threshold through stochastic approximation. We prove that the cumulative MSE regret grows with rate $\mathcal{O}(\ln k)$, where $k$ is the number of samples. Through Le Cam's two point method, we show that the worst-case cumulative MSE regret of any online sampling algorithm is lower bounded by $\Omega(\ln k)$. Hence, the proposed online sampling algorithm is minimax order-optimal. Finally, we validate the performance of the proposed algorithm via numerical simulations.


title: Role of reward shaping in object-goal navigation

abstract: Deep reinforcement learning approaches have been a popular method for visual navigation tasks in the computer vision and robotics community of late. In most cases, the reward function has a binary structure, i.e., a large positive reward is provided when the agent reaches goal state, and a negative step penalty is assigned for every other state in the environment. A sparse signal like this makes the learning process challenging, specially in big environments, where a large number of sequential actions need to be taken to reach the target. We introduce a reward shaping mechanism which gradually adjusts the reward signal based on distance to the goal. Detailed experiments conducted using the AI2-THOR simulation environment demonstrate the efficacy of the proposed approach for object-goal navigation tasks.


title: Monitoring Vegetation From Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net

abstract: Monitoring vegetation productivity at extremely fine resolutions is valuable for real-world agricultural applications, such as detecting crop stress and providing early warning of food insecurity. Solar-Induced Chlorophyll Fluorescence (SIF) provides a promising way to directly measure plant productivity from space. However, satellite SIF observations are only available at a coarse spatial resolution, making it impossible to monitor how individual crop types or farms are doing. This poses a challenging coarsely-supervised regression (or downscaling) task; at training time, we only have SIF labels at a coarse resolution (3km), but we want to predict SIF at much finer spatial resolutions (e.g. 30m, a 100x increase). We also have additional fine-resolution input features, but the relationship between these features and SIF is unknown. To address this, we propose Coarsely-Supervised Smooth U-Net (CS-SUNet), a novel method for this coarse supervision setting. CS-SUNet combines the expressive power of deep convolutional networks with novel regularization methods based on prior knowledge (such as a smoothness loss) that are crucial for preventing overfitting. Experiments show that CS-SUNet resolves fine-grained variations in SIF more accurately than existing methods.


title: Distance-Geometric Graph Attention Network (DG-GAT) for 3D Molecular Geometry

abstract: Deep learning for molecular science has so far mainly focused on 2D molecular graphs. Recently, however, there has been work to extend it to 3D molecular geometry, due to its scientific significance and critical importance in real-world applications. The 3D distance-geometric graph representation (DG-GR) adopts a unified scheme (distance) for representing the geometry of 3D graphs. It is invariant to rotation and translation of the graph, and it reflects pair-wise node interactions and their generally local nature, particularly relevant for 3D molecular geometry. To facilitate the incorporation of 3D molecular geometry in deep learning for molecular science, we adopt the new graph attention network with dynamic attention (GATv2) for use with DG-GR and propose the 3D distance-geometric graph attention network (DG-GAT). GATv2 is a great fit for DG-GR since the attention can vary by node and by distance between nodes. Experimental results of DG-GAT for the ESOL and FreeSolv datasets show major improvement (31% and 38%, respectively) over those of the standard graph convolution network based on 2D molecular graphs. The same is true for the QM9 dataset. Our work demonstrates the utility and value of DG-GAT for deep learning based on 3D molecular geometry.


title: LAVA: Language Audio Vision Alignment for Contrastive Video Pre-Training

abstract: Generating representations of video data is of key importance in advancing the field of machine perception. Most current techniques rely on hand-annotated data, which can be difficult to work with, expensive to generate, and hard to scale. In this work, we propose a novel learning approach based on contrastive learning, LAVA, which is capable of learning joint language, audio, and video representations in a self-supervised manner. We pre-train LAVA on the Kinetics 700 dataset using transformer encoders to learn representations for each modality. We then demonstrate that LAVA performs competitively with the current state-of-the-art self-supervised and weakly-supervised pretraining techniques on UCF-101 and HMDB-51 video action recognition while using a fraction of the unlabeled data.


title: Evaluating a Signalized Intersection Performance Using Unmanned Aerial Data

abstract: This paper presents a novel method to compute various measures of effectiveness (MOEs) at a signalized intersection using vehicle trajectory data collected by flying drones. MOEs are key parameters in determining the quality of service at signalized intersections. Specifically, this study investigates the use of drone raw data at a busy three-way signalized intersection in Athens, Greece, and builds on the open data initiative of the pNEUMA experiment. Using a microscopic approach and shockwave analysis on data extracted from realtime videos, we estimated the maximum queue length, whether, when, and where a spillback occurred, vehicle stops, vehicle travel time and delay, crash rates, fuel consumption, CO2 emissions, and fundamental diagrams. Results of the various MOEs were found to be promising, which confirms that the use of traffic data collected by drones has many applications. We also demonstrate that estimating MOEs in real-time is achievable using drone data. Such models have the ability to track individual vehicle movements within street networks and thus allow the modeler to consider any traffic conditions, ranging from highly under-saturated to highly over-saturated conditions. These microscopic models have the advantage of capturing the impact of transient vehicle behavior on various MOEs.


title: Rewiring Networks for Graph Neural Network Training Using Discrete Geometry

abstract: Information over-squashing is a phenomenon of inefficient information propagation between distant nodes on networks. It is an important problem that is known to significantly impact the training of graph neural networks (GNNs), as the receptive field of a node grows exponentially. To mitigate this problem, a preprocessing procedure known as rewiring is often applied to the input network. In this paper, we investigate the use of discrete analogues of classical geometric notions of curvature to model information flow on networks and rewire them. We show that these classical notions achieve state-of-the-art performance in GNN training accuracy on a variety of real-world network datasets. Moreover, compared to the current state-of-the-art, these classical notions exhibit a clear advantage in computational runtime by several orders of magnitude.


title: Triple-Block Generalized Inverses for Control Applications with Mixed Consistency Requirements

abstract: Extends previous work on block-partitioned mixed generalized inverses from two subsets of system variables with distinct consistency requirements to three subsets. Does not include any notable theoretical contributions.


title: Phonon-assisted Auger-Meitner Recombination in Silicon from First Principles

abstract: We present a consistent first-principles methodology to study both direct and phonon-assisted Auger-Meitner recombination (AMR) in indirect-gap semiconductors that we apply to investigate the microscopic origin of AMR processes in silicon. Our results are in excellent agreement with experimental measurements and show that phonon-assisted contributions dominate the recombination rate in both n-type and p-type silicon, demonstrating the critical role of phonons in enabling AMR. We also decompose the overall rates into contributions from specific phonons and electronic valleys to further elucidate the microscopic origins of AMR. Our results highlight potential pathways to modify the AMR rate in silicon via strain engineering.


title: Staircase solutions and stability in vertically confined salt-finger convection

abstract: Bifurcation analysis of confined salt-finger convection using single-mode equations obtained from a severely truncated Fourier expansion in the horizontal is performed. Strongly nonlinear staircase-like solutions having, respectively, one (S1), two (S2) and three (S3) regions of mixed salinity in the vertical direction are computed using numerical continuation, and their stability properties are determined. Near onset, the one-layer S1 solution is stable and corresponds to maximum salinity transport among the three solutions. The S2 and S3 solutions are unstable but exert an influence on the statistics observed in direct numerical simulations (DNS) in larger two-dimensional (2D) domains. Secondary bifurcations of S1 lead either to tilted-finger (TF1) or to traveling wave (TW1) solutions, both accompanied by the spontaneous generation of large-scale shear, a process favored for lower density ratios and Prandtl numbers (Pr). These states at low Pr are associated, respectively, with two-layer and three-layer staircase-like salinity profiles in the mean. States breaking reflection symmetry in the midplane are also computed. In 2D and for low Pr the DNS results favor direction-reversing tilted fingers (RTF) resembling the pulsating wave state observed in other systems. Two-layer and three-layer mean salinity profiles corresponding to RTF and TW1 are observed in 2D DNS averaged over time. The single-mode solutions close to the high wavenumber onset are in an excellent agreement with 2D DNS in small horizontal domains and compare well with 3D DNS.


title: High-rank subtensors of high-rank tensors

abstract: Let $d \ge 2$ be a positive integer. We show that for a class of notions $R$ of rank for order-$d$ tensors, which includes in particular the tensor rank, the slice rank and the partition rank, there exist functions $F_{d,R}$ and $G_{d,R}$ such that if an order-$d$ tensor has $R$-rank at least $G_{d,R}(l)$ then we can restrict its entries to a product of sets $X_1 \times \dots \times X_d$ such that the restriction has $R$-rank at least $l$ and the sets $X_1, \dots, X_d$ each have size at most $F_{d,R}(l)$. Furthermore, our proof methods allow us to show that under a very natural condition we can require the sets $X_1, \dots, X_d$ to be pairwise disjoint.